A topological space $X$ is called analytic if it is a continuous image of a Polish space, i.e., the image of a Polish space $P$ under a continuous surjective map $f:P\to X$.

We say that a topological space $X$ is a Borel image of a Polish space if $f(P)=X$ for some Borel surjective function $f:P\to X$ defined on a Polish space $P$.

We recall that a function $f:X\to Y$ between topological spaces is Borel if the preimage $f^{-1}(U)$ of any open set $U\subset Y$ is Borel in $X$.

Problem 1. Is a (regular) topological space $X$ analytic if it is a Borel image of a Polish space $P$? Will be the answer affirmative if $X$ is a (Baire) topological group?

The following theorem reduces the problem to finding a countable network for the space $X$.

Let us recall that a family $\mathcal N$ of subsets of a topological space $X$ is a network for $X$ if for any open set $U\subset X$ and point $x\in U$ tehre exists a set $N\in\mathcal N$ such that $x\in N\subset U$.

Theorem. A regular topological space $X$ is analytic if and only if $X$ has a countable network and $X$ is a Borel image of a Polish space.

Proof. Let $\mathcal N$ be a countable network for $X$. Since $X$ is regular, we can replace each set $N\in\mathcal N$ by its closure $\bar N$ and assume that $\mathcal N$ consists of closed subsets of $X$.

Let $f:P\to X$ be a Borel surjective map defined ona Polish space. It follows that $\{f^{-1}(N):N\in\mathcal N\}$ is a countable family of Borel subsets of $P$. By Exercise 13.5 in the "Classical Descriptive Set Theory" of Kechris, there exists a bijective continuous map $g:Z\to P$ from a Polish space $Z$ such that each set $f^{-1}(N)$, $N\in\mathcal N$, is clopen. Then the map $f\circ g:Z\to X$ is continuous, witnessing that $X$ is an analytic space. $\square$

Therefore, Theorem reduces Problem 1 to the following equivalent

Problem 2. Assume that a regular space $X$ is Borel image of a Polish space. Has $X$ a countable retwork?

I can only prove (using the Four Poles Theorem) that $X$ has countable spread (which means that $X$ each discrete subspace of $X$ is countable).

Probem 3. Assume that a (regular) topological space $X$ is a Borel image of a Polish space.

1) Is $X$ hereditarily Lindelöf?

2) Is $X$ hereditarily separable?

3) Is $X\times X$ a Borel image of a Polish space?

Added in Edit. Under PFA the answer to Problem 3(1) is affirmative (because PFA implies that each regular space with countable spread is hereditarily Lindelof, see Theorem 8.10 in Todorcevic's book "Partition Problems in Topology").


I have found a simple counterexample to Problems 1 and 2 (maybe it will be helpful to other researchers):

Fact. The Sorgenfrey line $\mathbb S$ does not have countable network (and hence is not analytic), but it is the image of the real line under the identity map $\mathbb R\to\mathbb S$, which is Borel (because of hereditary Lindeloffness of $\mathbb S$).

Observe that the Sorgenfrey line is a Baire paratopological group. What about Baire topological groups?

Problem. Is a Baire topological group $X$ Polish if $X$ is a Borel image of a Polish space?

Remark. By an old result of Christensen, a Baire topological group $X$ is Polish if and only if $X$ is a continuous image of a Polish space. The following theorem gives an affirmative answer to the Problem for topological groups of countable pseudocharacter.

Theorem 1. A topological group $X$ is Polish if and only if it is Baire, has countable pseudocharacter and is a Borel image of a Polish space.

Using a result of Todorcevic that under PFA each Hausdorff space of countable spread has a countable pseudocharacter, it is possible to improve the above theorem and prove

Theorem 1'. Under PFA a Baire topological group $X$ is Polish if and only if it is a Borel image of a Polish space.

So, Problem has an affirmative answer under PFA and the problem is to find an answer in ZFC (or a counterexample under CH).

  • $\begingroup$ The first fact you cite is interesting. What would be the function? $\endgroup$ – Asaf Karagila Jan 12 at 8:29
  • $\begingroup$ @AsafKaragila Thank you for the comment. I will make an adjustment to my answer. $\endgroup$ – Taras Banakh Jan 12 at 8:37
  • $\begingroup$ Sorry, it's still early, in my brain I've read "the long line" instead of "the Sorgenfrey line". Still, though. Very interesting, since it would seem reasonable that a Borel image of a Polish space will be analytic. But I guess that this happens only when you can make the Borel function continuous by refining the topology while remaining Polish. So I guess this is not the case in general, which is interesting. $\endgroup$ – Asaf Karagila Jan 12 at 8:37
  • $\begingroup$ About the PFA situation, it sort of reminds me of the choiceless results on automatic continuity between Polish groups, which itself is a theorem of ZF+DC: a Baire measurable or a Borel measurable group homomorphism between Polish groups is continuous. In fact the target group need only be normed, not complete. $\endgroup$ – Asaf Karagila Jan 12 at 8:42
  • $\begingroup$ @AsafKaragila I hope that such pathologies (like those with Sorgenfrey line) cannot appear for topological groups (which is my main motivation), but at the moment I can proof only consistent PFA-results, but not in ZFC. It is interesting if these "Borel" questions can lead to independence results. Usually, evering related to Borel sets is absolute... $\endgroup$ – Taras Banakh Jan 12 at 8:44

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.