Skip to main content
Post Made Community Wiki
Source Link
Thierry Zell
  • 4.6k
  • 3
  • 48
  • 59

I'll post this answer CW, because I don't have time to work out the details. Hopefully, someone can fill these in or shoot down the strategy.

On wikipedia, there is a cute remark about characterizing meagre sets using a Banach-Mazur game. Basically, you have two players who take turns to build a nested sequence of open sets $O_n$. If $U=\cap_{n=1}^\infty O_n$ is the resulting intersection, one of the players aims to have $U \cap X =\varnothing$ and the other player aims to have a point from $X$ in $U$.

Then, $X$ is meagre iff the player who wants the empty intersection has a winning strategy.

Couldn't this characterization be used in this problem? As I mentioned, I haven't been able to make the details work right...