How to show that something is not completely metrizable

A classical trick is to find a closed subset of $A$ which is not a Baire space: then $A$ is not completely metrizable. Note that this is not an equivalent condition, but a Borel set which is such that all closed subsets are Baire must actually be $G_\delta$ (see Hurewicz's theorem in the book of Kechris on descriptive set theory).


There is an equivalent condition for complete metrizability in terms of a game known as the Choquet game. The game is described, for example, in the book Classical Descriptive Set Theory by Kechris, who calls it the strong Choquet game.

The game goes like this. The rounds are labeled with natural numbers. On round $i$, the first player chooses an open set $U_i$ and a point $x_i \in U_i$. The second player then chooses an open set $V_i$ with $x_i \in V_i \subseteq U_i$. At the second and subsequent rounds, the first player must additionally ensure that $U_{i+1} \subseteq V_i$, so the open sets that are chosen are nested $U_1 \supseteq V_1 \supseteq U_2 \supseteq V_2 \supseteq \cdots$. The second player wins if $\bigcap_{i\in\mathbb{N}} U_{i} \not = \emptyset$, which is equivalent to $\bigcap_{i\in\mathbb{N}} V_{i} \not = \emptyset$.

It is an easy exercise to prove that if $(A,d)$ is completely metrizable then the second player has a winning strategy. Choquet proved the converse: a space is completely metrizable if and only if the second player has a winning strategy in the game for that space. Only the easy half of the equivalence is needed for our current purpose.

So, if you can prove the second player does not have a winning strategy for a space, that is sufficient to disprove complete metrizability. In particular, one possible method in the current situation is to attempt to prove that the first player has a winning strategy in the game.