MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We call a topological space $X$ a Toronto space if for any subspace $Y \subseteq X$ such that $Y$ and $X$ have the same cardinality it follows that $Y$ is homeomorphic to $X$.

Does anybody know what is known about the following question?:

Is there an uncountable, non-discrete, Hausdorff Toronto space?

It is not hard to show that if $X$ is countable, Hausdorff and Toronto then $X$ has the discrete topology. I have been thinking about the uncountable case for a while and it turns out it is a much harder question.

share|cite|improve this question
never been there... is Toronto really THAT boring? – Yaakov Baruch May 10 '10 at 21:05
This at least used to be one of the major open problems in set-theoretic topology. See page 15 of the "Open problems in topology book" (now 20 years old) I have no idea if there has been any progress in the past 20 years. – Matthew Morrow May 10 '10 at 21:51
Just took a quick look through Open Problems in Topology II, nothing seems to appear, but this really doesn't mean anything. – Michael Blackmon Feb 2 '11 at 22:09
Yaakov, I'm biased since I'm a Montréalais, but the answer is yes: Toronto is indeed that boring... :) – François G. Dorais Feb 3 '11 at 0:10
From Partitioning topological spaces, by William Weiss, in Mathematics of Ramsey theory: "[This] is of course related to the Toronto seminar problem of whether there is an uncountable non-discrete space which is homeomorphic to each of its uncountable subspaces. There are rules for working on this latter problem. The problem can be worked upon only in groups of three or more mathematicians, and it is required that alcohol, preferably beer, be present during this time. Contact anyone in the Toronto Set Theory Seminar for the current status of the problem. It may never be solved." – Andrés E. Caicedo Sep 24 '13 at 19:27
up vote 6 down vote accepted

You can read "The Toronto problem" by William Rea Brian (February 2014) to learn pretty much everything that is known about this problem. The article includes proofs of the folklore facts mentioned by Apollo and some other very interesting facts (e.g. Kunen´s result: An uncountable Hausdorff Toronto space contains no non-trivial convergent sequences).

But to sum up, the problem is now as open as it was 24 years ago: Under $GCH$ the only Hausdorff Toronto spaces (of any cardinality) are the discrete spaces. Also under $PFA$ there are no $T_3$ non-discrete Toronto spaces of size $\aleph_1$. We don´t know if the existence of a Hausdorff non-discrete Toronto space is consistent.

share|cite|improve this answer

From "Open Problems in Topology" the following facts are known (described there as "folklore")

  • any Hausdorff non-discrete Toronto space is scattered with countably many isolated points
  • hence such a space must have derived length $\omega_1$ and be hereditarily separable, thus must be an $S$-space
  • this gives a way to have a model where there are no non-discrete Hausdorff Toronto spaces of size $\aleph_1$: assume $2^{\aleph_0}\neq2^{\aleph_1}$ and note that hereditary separability implies that the space has only $2^{\aleph_0}$ autohomeomorphisms while any Toronto space of size $\lambda$ must have $2^\lambda$ autohomeomorphisms

I have no idea what has been proven since then. It is also mentioned that questions concerning Toronto spaces with larger cardinalities and with stronger separation axioms is still open and gives for example the question "Are all regular (or normal) Toronto spaces of size $\aleph_1$ discrete?"

share|cite|improve this answer
From the 7th status report: in G. Gruenhage, J.T. Moore, Countable Toronto spaces, Fund. Math. 163 (2) (2000) 143–162, they show that there is an $\omega$-Toronto space, where an $\alpha$-Toronto space is a scattered space of Cantor-Bendixson rank $\alpha$ which is homeomorphic to each of its subspaces of rank $\alpha$. They constructed countable $\alpha$-Toronto spaces for each $\alpha\lt\omega$. Gruenhage also constructed consistent examples of countable $\alpha$-Toronto spaces for each $\alpha<\omega_1$. – Apollo Feb 4 '11 at 19:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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