11
$\begingroup$

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.

Improve this question
$\endgroup$
6
  • 12
    $\begingroup$ never been there... is Toronto really THAT boring? $\endgroup$
    – Yaakov Baruch
    Commented May 10, 2010 at 21:05
  • 1
    $\begingroup$ 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) www1.elsevier.com/homepage/sac/opit/book.pdf I have no idea if there has been any progress in the past 20 years. $\endgroup$
    – Matthew Morrow
    Commented May 10, 2010 at 21:51
  • 1
    $\begingroup$ Just took a quick look through Open Problems in Topology II, nothing seems to appear, but this really doesn't mean anything. $\endgroup$
    – Not Mike
    Commented Feb 2, 2011 at 22:09
  • 6
    $\begingroup$ Yaakov, I'm biased since I'm a Montréalais, but the answer is yes: Toronto is indeed that boring... :) $\endgroup$
    – François G. Dorais
    Commented Feb 3, 2011 at 0:10
  • 5
    $\begingroup$ 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." $\endgroup$
    – Andrés E. Caicedo
    Commented Sep 24, 2013 at 19:27

2 Answers 2

Reset to default
8
$\begingroup$

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.

Improve this answer
$\endgroup$
4
$\begingroup$

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?"

Improve this answer
$\endgroup$
1
  • 2
    $\begingroup$ 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$. $\endgroup$
    – Apollo
    Commented Feb 4, 2011 at 19:56

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .