MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added 739 characters in body

Consider a continuous bijection $X\to Y$ such that $X$ is homeomorphic to a separable infinite dimensional Hilbert space. I wonder what can be said about topological properties of $Y$.

To exclude silly pathologies (e.g. $Y$ is $X$ with trivial topology), let's suppose that $Y$ is separable and metrizable.

Motivation. Suppose you study a space that appears naturally, and you manage to bijectively parametrize with a continuous parameter that takes values is a nice parameter space (such as $l^2$). If you discover that the parametrization isn't a homeomorphism, you may wonder if you have proved anything at all.

Remarks (to the original question):

1. $Y$ is path-connected.; in fact, no countable (or finite) subset can separate $Y$. (Here is why: the preimage of a countable subset of $Y$ is a countable subset of $X$. Then it is known that the complement in $l^2$ of a countable subset is homeomorphic to $l^2$, and hence the image of the complement in $Y$ is path-connected.)

2. $Y$ can be homeomorphic to $X$ even when the bijection is not a homeomorphism. In fact, there is a result of Savkin that any infinite dimensional Banach manifold admits a continuous self-bijection that is not a homeomorphism. See also a recent paper by Creswell in Monthly.

3. If

4. The same question is interesting when $X$ is $\mathbb R^n$, then . (I briefly thought that the bijection is a homeomorphism by answer in this case follows from the invariance of domain, and Bill kindly corrected me in comments).

2 added 17 characters in body

Consider a continuous bijection $X\to Y$ such that $X$ is homeomorphic to a separable infinite dimensional Hilbert space. I wonder what can be said about topological properties of $Y$.

To exclude silly pathologies (e.g. $Y$ is $X$ with trivial topology), let's suppose that $Y$ is separable and metrizable.

Remarks:

1. $Y$ is path-connected.

2. $Y$ can be homeomorphic to $X$ even when the bijection is not a homeomorphism. In fact, there is a result of Savkin that any infinite dimensional Banach manifold admits a continuous self-bijection that is not a homeomorphism. See also a recent paper by Creswell in Monthly.

3. If $X$ is $\mathbb R^n$, then the bijection is a homeomorphism by invariance of domain.

1

# Image of the Hilbert space under a continuous bijection

Consider a continuous bijection $X\to Y$ such that $X$ is homeomorphic to a separable infinite dimensional Hilbert space. I wonder what can be said about topological properties of $Y$.

To exclude silly pathologies (e.g. $Y$ is $X$ with trivial topology), let's suppose that $Y$ is separable and metrizable.

Remarks:

1. $Y$ is path-connected.

2. $Y$ can be homeomorphic to $X$ even when the bijection is not a homeomorphism. In fact, there is a result of Savkin that any infinite dimensional Banach manifold admits a continuous self-bijection that is not a homeomorphism. See also a recent paper by Creswell in Monthly.

3. If $X$ is $\mathbb R^n$, then the bijection is a homeomorphism by invariance of domain.