7
$\begingroup$

Recall that a $\sigma$-space is a topological space such that every $F_{\sigma}$-set is $G_{\delta}$-set.

$X$ - $\sigma$-set, if $X$ is a $\sigma$-space and it is subset of real line $R$.

Let $F$ be a Borel isomorphism (Baire isomorphism order $\alpha$) from a $\sigma$-set $X$ onto a topological space $Z$. Does it follow from this that $Z$ is a $\sigma$-space ?

$\endgroup$
  • 2
    $\begingroup$ I think the title of this question should be made more precise, for example: "Are $\sigma$-sets preserved by Borel isomorphisms?" By the way, the name "$\sigma$-space" has been already occupied in the theory of generalized metric spaces for spaces admitting a $\sigma$-discrete network. $\endgroup$ – Taras Banakh Aug 7 '17 at 5:19
5
$\begingroup$

Under some set-theoretic assumptions the answer to this question is negative.

Namely, if there exists a $Q$-set $X$, then $X$ is a $\sigma$-set which is Borel isomorphic to a (hereditarily normal compact) topological space $Y$ which is not a $\sigma$-space.

A topological space $X$ is called a $Q$-space if each subset of $X$ is of type $F_\sigma$. A $Q$-space is called a $Q$-set if $X$ is a subset of the real line. It is well-known that uncountable $Q$-sets exist under MA+$\neg$CH (more precisely, under MA each subset $A\subset\mathbb R$ of cardinality $|A|<\mathfrak c$ is a $Q$-set).

Now take any uncountable $Q$-set $X$ and let $Y$ be the one-point compactification of a discrete space of cardinality $|X|$. Each subset of $Y$ is Borel (more precisely, open or closed). Then any bijective map $f:X\to Y$ is a Borel isomorphism. But $Y$ is not a $\sigma$-space since for the unique non-isolated point $y$ of $Y$ the singleton $\{y\}$ is not of type $G_\delta$ in $Y$.

But this answer is a bit unfair. It would be much interesting to know if a $\sigma$-set can be Borel isomorphic to a subset of the real line which is not a $\sigma$-set.

This question is related to an old open problem of Miller who asked in 1979 if for any ordinals $2\le \alpha<\beta<\omega_1$, a $Q_\alpha$-set $A$ and a $Q_\beta$-set $B$ we have $|A|<|B|$. A counterexample to this Miller's problem for $\alpha=2$ would give a $Q$-set (and hence $\sigma$-set) $A$ which is Borel isomorphic (by any bijection) to a $Q_\beta$-set which is not a $\sigma$-set. But this problem remains open since 1979, so seems to be difficult.

Concerning the problem of preservation of $\sigma$-sets by Borel isomorphisms, let us remark that Serpinski sets (which are $\sigma$-sets) are preserved by Borel isomorphisms.

$\endgroup$
  • $\begingroup$ Taras, Thanks! But, Is there an example with a countable injective weight $iw(Z)=\omega_0$? $\endgroup$ – Alexander Osipov Aug 7 '17 at 5:08
  • 2
    $\begingroup$ @AlexanderOsipov Such an example will be more difficult to obtain since if a space $X$ of cardinality $|X|<\mathfrak c$ has countable $i$-weight, then it admits an injective continuous map $f:X\to\mathbb R$ and its image $f(X)$ is a $Q$-set under MA+$\neg$CH. Then $X$ is a $Q$-space and hence a $\sigma$-space. $\endgroup$ – Taras Banakh Aug 7 '17 at 5:16

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.