8
$\begingroup$

Suppose we have a compact metric space $X$ with some designated point $a$ and closed set $B$ such that $a\notin B$. Let $A_0=\{a\}$ and $B_0 = B$. We'll play a game where on each player's turn they choose closed sets $A_{n+1}$ and $B_{n+1}$ with the requirements that $A_n\subseteq A_{n+1}^\circ$ and $B_n\subseteq B_{n+1}^\circ$ and $A_{n+1}\cap B_{n+1}=\varnothing$. After $\omega$ turns, let $A_\omega=\bigcup_{n<\omega}A_n$ and $B_\omega=\bigcup_{n<\omega}B_n$, which are open sets, and let $C=X-(A_\omega \cup B_\omega)$.

The broad question is: What properties can I force $A_\omega$, $B_\omega$, and $C$ to have regardless of what moves you play? For instance: I'm pretty sure that I can force that $A_\omega$ and $B_\omega$ are regular open sets and $C$ is both of their boundaries: On turn $n$ I can make it so that the no point in $X-(A_n \cup B_n)$ has distance more than $2^{-n}$ from $A_n$ and distance no more than $2^{-n}$ from $B_n$, which in the limit ensures that every point in $C$ is a limit point of both $A_\omega$ and $B_\omega$ individually. I'm also pretty sure that if the topological dimension (all the common notions are equivalent for separable metric spaces) of $X$ is $\leq n$, then I can force $\text{dim }C\leq n-1$.

I'm interested in that question in general, but I'm also curious about a particular case: If $X=[0,1]^2$, $a\in(0,1)^2$, and $[0,1]^2 - (0,1)^2\subseteq B$, can I force it that $C$ has a closed subset $D$ which is a Jordan curve clopen in $C$ (i.e. $C-D$ is also closed) surrounding $a$. I would guess the answer is no, but I have no idea how to prove it one way or the other.

$\endgroup$
2
  • $\begingroup$ This doesn't answer your question, but it seems relevant to mention that for a wide class of properties (the ones that are Borel in a suitable sense for the space of sequences of closed sets), it will follow from Borel determinacy that either player I has a strategy to force that $C$ has the property, or player II has a strategy to force that $C$ does not have the property. $\endgroup$ Commented Mar 21, 2018 at 2:14
  • $\begingroup$ I don't think you want to use the word "generic" to describe the properties you are looking for; especially since about all you can say is that in a properly competitive situation, $C$ must be closed nowhere-dense and $A_\omega \cup B_\omega$ must be dense-open (since for any fixed countable dense set $D$, at every move either player has the opportunity to pickup a new point of $D$ and exclude it from their opponent.) $\endgroup$
    – Not Mike
    Commented Mar 21, 2018 at 19:38

0

You must log in to answer this question.

Browse other questions tagged .