{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nUnder assumption of the axiom of choice, we present two separate constructions of counterexamples to the axiom of determinacy. It follows that the axiom of determinacy and the axiom of choice are incompatible.\n\nThe set *S*\u003csub\u003e1\u003c/sub\u003e of all first player strategies in an ω-game *G* has the same [[cardinality|0G0ASKNA6Z]] as the [[continuum|0WC28W9DNM]]. The same is true for the set *S*\u003csub\u003e2\u003c/sub\u003e of all second player strategies. Let *SG* be the set of all possible sequences in *G*, and *A* be the subset of sequences of *SG* that make the first player win. With the axiom of choice we can well order the continuum, and we can do so in such a way that any proper initial portion has lower cardinality than the continuum. We use the obtained well ordered set *J* to index both *S*\u003csub\u003e1\u003c/sub\u003e and *S*\u003csub\u003e2\u003c/sub\u003e, and construct *A* such that it will be a counterexample.\n\nWe start with empty sets *A* and *B*. Let *α* ∈ *J* be the index of the strategies in *S*\u003csub\u003e1\u003c/sub\u003e and *S*\u003csub\u003e2\u003c/sub\u003e. We need to consider all strategies *S*\u003csub\u003e1\u003c/sub\u003e = {s\u003csub\u003e1\u003c/sub\u003e(*α*)}\u003csub\u003e*α*∈*J*\u003c/sub\u003e of the first player and all strategies *S*\u003csub\u003e2\u003c/sub\u003e = {s\u003csub\u003e2\u003c/sub\u003e(*α*)}\u003csub\u003e*α*∈*J*\u003c/sub\u003e of the second player to make sure that for every strategy there is a strategy of the other player that wins against it. For every strategy of the player considered we will generate a sequence that gives the other player a win. Let *t* be the time whose axis has length ℵ\u003csub\u003e0\u003c/sub\u003e and which is used during each game sequence. We create the counterexample *A* by transfinite recursion on *α*:\n\n1. Consider the strategy s\u003csub\u003e1\u003c/sub\u003e(*α*) of the first player.\n1. Apply this strategy on an ω-game, generating (together with the other player's strategy) s\u003csub\u003e1\u003c/sub\u003e(*α*)) a sequence ⟨*a*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, *b*\u003csub\u003e4\u003c/sub\u003e, ...,a\u003csub\u003e*t*\u003c/sub\u003e, *b*\u003csub\u003e*t*+1\u003c/sub\u003e, ...⟩, which does not belong to *A*. This is possible, because the number of choices for ⟨*b*\u003csub\u003e2\u003c/sub\u003e, *b*\u003csub\u003e4\u003c/sub\u003e, *b*\u003csub\u003e6\u003c/sub\u003e, ...⟩ has the same cardinality as the continuum, which is larger than the cardinality of the proper initial portion { *β* ∈ *J* | *β* \\\u003c *α* } of *J.*\n1. Add this sequence to *B* to indicate that s\u003csub\u003e1\u003c/sub\u003e(*α*) loses (on ⟨*b*\u003csub\u003e2\u003c/sub\u003e, *b*\u003csub\u003e4\u003c/sub\u003e, *b*\u003csub\u003e6\u003c/sub\u003e, ...⟩).\n1. Consider the strategy s\u003csub\u003e2\u003c/sub\u003e(*α*) of the second player.\n1. Apply this strategy on an ω-game, generating (together with the other player's strategy) *s*\u003csub\u003e2\u003c/sub\u003e(*α*)) a sequence ⟨*a*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, *b*\u003csub\u003e4\u003c/sub\u003e, ..., a\u003csub\u003e*t*\u003c/sub\u003e, *b*\u003csub\u003e*t*+1\u003c/sub\u003e, ...⟩, which does not belong to *B.* This is possible, because the number of choices for ⟨*a*\u003csub\u003e1\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, *a*\u003csub\u003e5\u003c/sub\u003e, ...⟩ has the same cardinality as the continuum, which is larger than the cardinality of the proper initial portion { *β* ∈ *J* | *β* ≤ *α* } of *J.*\n1. Add this sequence to *A* to indicate that *s*\u003csub\u003e2\u003c/sub\u003e(*α*) loses (on ⟨*a*\u003csub\u003e1\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, *a*\u003csub\u003e5\u003c/sub\u003e, ...⟩).\n1. Process all possible strategies of *S*\u003csub\u003e1\u003c/sub\u003e and *S*\u003csub\u003e2\u003c/sub\u003e with [[transfinite induction|0ZHQMQ2C1N]] on *α.* For all sequences that are not in *A* or *B* after that, decide arbitrarily whether they belong to *A* or to *B,* so that *B* is the complement of *A.*\n\nOnce this has been done, prepare for an ω-game *G*. For a given strategy *s*\u003csub\u003e1\u003c/sub\u003e of the first player, there is an *α* ∈ *J* such that *s*\u003csub\u003e1\u003c/sub\u003e = *s*\u003csub\u003e1\u003c/sub\u003e(*α*), and *A* has been constructed such that *s*\u003csub\u003e1\u003c/sub\u003e(*α*) fails (on certain choices ⟨*b*\u003csub\u003e2\u003c/sub\u003e, *b*\u003csub\u003e4\u003c/sub\u003e, *b*\u003csub\u003e6\u003c/sub\u003e, ...⟩ of the second player). Hence, *s*\u003csub\u003e1\u003c/sub\u003e fails. Similarly, any other strategy of either player also fails.\n\nIn this construction, the use of the axiom of choice is similar to the choice of socks as stated in the quote by Bertrand Russell.\n\nIn a ω-game, the two players are generating the sequence ⟨*a*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, *b*\u003csub\u003e4\u003c/sub\u003e, ...⟩, an element in ω\u003csup\u003eω\u003c/sup\u003e, where our convention is that 0 is not a natural number, hence neither player can choose it. Define the function *f*: ω\u003csup\u003eω\u003c/sup\u003e → {0, 1}\u003csup\u003eω\u003c/sup\u003e such that *f*(*r*) is the unique sequence of length ω with values in {0, 1} whose first term equals 0, and whose sequence of runs (see run-length encoding) equals *r.* (Such an *f* can be shown to be injective. The image is the subset of {0, 1}\u003csup\u003eω\u003c/sup\u003e of sequences that start with 0 and that are not eventually constant. Formally, *f* is the Minkowski question mark function, {0, 1}\u003csup\u003eω\u003c/sup\u003e is the Cantor space and ω\u003csup\u003eω\u003c/sup\u003e is the Baire space.)\n\nObserve the [[equivalence relation|0G8VEZ3WTK]] on {0, 1}\u003csup\u003eω\u003c/sup\u003e such that two sequences are equivalent if and only if they differ in a finite number of terms. This partitions the set into equivalence classes. Let *T* be the set of equivalence classes (such that *T* has the cardinality of the continuum). Define *g*: {0, 1}\u003csup\u003eω\u003c/sup\u003e → *T* that takes a sequence to its equivalence class. Define the complement of any sequence *s* in {0, 1}\u003csup\u003eω\u003c/sup\u003e to be the sequence s\u003csub\u003e1\u003c/sub\u003e that differs in each term. Define the function *h*: *T* → *T* such that for any sequence *s* in {0, 1}\u003csup\u003eω\u003c/sup\u003e, *h* applied to the equivalence class of *s* equals the equivalence class of the complement of *s* (which is well-defined because if *s* and *s**are equivalent, then their complements are equivalent). One can show that*****h*is an involution with no fixed points, and thus we have a partition of*T*into size-2 subsets such that each subset is of the form {*t*,*h*(*t*)}. Using the axiom of choice, we can choose one element out of each subset. In other words, we are choosing \"half\" of the elements of*T,*a subset that we denote by*U*(where U ⊆ T) such that*t*∈*U*iff*h*(*t*) ∉*U.**\n\nNext, we define the subset *A* ⊆ ω\u003csup\u003eω\u003c/sup\u003e in which **1** wins: *A* is the set of all *r* such that *g*(*f*(*r*)) ∈ *U.* We now claim that neither player has a winning strategy, using a strategy-stealing argument. Denote the current game state by a finite sequence of natural numbers (so that if the length of this sequence is even, then **1** is next to play; otherwise **2** is next to play).\n\nSuppose that *q* is a (deterministic) winning strategy for **2**. Player **1** can construct a strategy *p* that beats *q* as follows: Suppose that player **2** response (according to *q*) to ⟨1⟩ is *b*\u003csub\u003e1\u003c/sub\u003e. Then **1** specifies in *p* that *a*\u003csub\u003e1\u003c/sub\u003e = 1 + *b*\u003csub\u003e1\u003c/sub\u003e. (Roughly, **1** is now playing as **2** in a second parallel game; **1** winning set in the second game equals **2** winning set in the original game, and this is a contradiction. Nevertheless, we continue more formally.)\n\nSuppose that **2** response (always according to *q*) to ⟨1 + *b*\u003csub\u003e1\u003c/sub\u003e⟩ is *b*\u003csub\u003e2\u003c/sub\u003e, and **2** response to ⟨1, *b*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e⟩ is *b*\u003csub\u003e3\u003c/sub\u003e. In constructing *p* for **1**, we only aim to beat *q,* and therefore only have to handle the response *b*\u003csub\u003e2\u003c/sub\u003e to **1** first move. Therefore, set *b*\u003csub\u003e3\u003c/sub\u003e as **1** response to ⟨1 + *b*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e⟩. In general, for even *n,* denote **2** response to ⟨1 + b\u003csub\u003e1\u003c/sub\u003e, ..., b\u003csub\u003e*n*−1\u003c/sub\u003e⟩ by *b*\u003csub\u003e*n*\u003c/sub\u003e and **2** response to ⟨1, *b*\u003csub\u003e1\u003c/sub\u003e, ..., *b*\u003csub\u003e*n*\u003c/sub\u003e⟩ by *b*\u003csub\u003e*n*+1\u003c/sub\u003e. Then we specify in *p* that **1** response to ⟨1 + *b*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e, ..., *b*\u003csub\u003e*n*\u003c/sub\u003e⟩ is *b*\u003csub\u003e*n*+1\u003c/sub\u003e. Strategy *q* is presumed to be winning, and game-result *r* in ω\u003csup\u003eω\u003c/sup\u003e given by ⟨1, *b*\u003csub\u003e1\u003c/sub\u003e, ...⟩ is one possible sequence allowed by *q,* so *r* must be winning for **2** and *g*(*f*(*r*)) must not be in *U.* The game result *r*' in ω\u003csup\u003eω\u003c/sup\u003e given by ⟨1 + *b*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e, ...⟩ is also a sequence allowed by *q* (specifically, *q* playing against *p*), so *g*(*f*(*r*')) must not be in *U.* However, *f*(*r*) and *f*(*r*') differ in all but the first term (by the nature of run-length encoding and an offset of 1), so *f*(*r*) and *f*(*r*') are in complement equivalent classes, so *g*(*f*(*r*)), *g*(*f*(*r*')) cannot both be in *U,* contradicting the assumption that *q* is a winning strategy.\n\nSimilarly, suppose that *p* is a winning strategy for **1**; the argument is similar but now uses the fact that equivalence classes were defined by allowing an arbitrarily large finite number of terms to differ. Let *a*\u003csub\u003e1\u003c/sub\u003e be **1** first move. In general, for even *n,* denote **1** response to ⟨*a*\u003csub\u003e1\u003c/sub\u003e, 1⟩ (if *n* = 2) or ⟨*a*\u003csub\u003e1\u003c/sub\u003e, 1, *a*\u003csub\u003e2\u003c/sub\u003e, ..., *a*\u003csub\u003en−1\u003c/sub\u003e⟩ by *a*\u003csub\u003e*n*\u003c/sub\u003e and **1** response to ⟨*a*\u003csub\u003e1\u003c/sub\u003e, 1 + *a*\u003csub\u003e2\u003c/sub\u003e, ... *a*\u003csub\u003e*n*\u003c/sub\u003e⟩ by *a*\u003csub\u003e*n*+1\u003c/sub\u003e. Then the game result *r* given by ⟨*a*\u003csub\u003e1\u003c/sub\u003e, 1, *a*\u003csub\u003e2\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, ...⟩ is allowed by *p* so that *g*(*f*(*r*)) must be in *U*; also the game result *r*' given by ⟨*a*\u003csub\u003e1\u003c/sub\u003e, 1 + *a*\u003csub\u003e2\u003c/sub\u003e, *a*\u003csub\u003e3\u003c/sub\u003e, ...⟩ is also allowed by *p* so that *g*(*f*(*r*')) must be in *U.* However, *f*(*r*) and *f*(*r*') differ in all but the first *a*\u003csub\u003e1\u003c/sub\u003e + 1 terms, so they are in complement equivalent classes, therefore *g*(*f*(*r*)) and *g*(*f*(*r*')) cannot both be in *U,* contradicting that *p* is a winning strategy.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "MRTQ0P31S3"
    ],
    "kind": "statement",
    "name": "Incompatibility with the axiom of choice",
    "role": "proposition",
    "sources": [
      {
        "locator": "Axiom of determinacy, section Incompatibility with the axiom of choice",
        "mention": "wikipedia://en/1002300#4Q9B",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:1002300@r1345076451"
      }
    ],
    "tag": "YF766VK21E"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/YF766VK21E/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/YF766VK21E.md",
  "msc": null,
  "name": "Incompatibility with the axiom of choice",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YF7/YF766VK21E.md",
  "status": null,
  "tag": "YF766VK21E",
  "uri": "m2://YF766VK21E",
  "url": "https://math2.tamnd.com/wiki/incompatibility-with-the-axiom-of-choice/",
  "writing": {
    "tag": "YF766VK21E",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}