Toronto spaces - roadmap

properties/P000219.md

@@ -0,0 +1,13 @@
+---
+uid: P000219
+name: Toronto
+refs:
+  - wikipedia: Toronto_space
+    name: Toronto space on Wikipedia
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$.
+
+In {{zb:1286.54032}} it is shown that under GCH, every {P3} Toronto space is {P52}.

theorems/T000905.md

@@ -0,0 +1,9 @@
+---
+uid: T000905
+if:
+  P000078: true
+then:
+  P000219: true
+---
+
+For a finite space $X$, the only subspace with the same cardinality is $X$ itself, which is trivally homeomorphic to $X$.

theorems/T000906.md

@@ -0,0 +1,9 @@
+---
+uid: T000906
+if:
+  P000052: true
+then:
+  P000219: true
+---
+
+Let $Y\subseteq X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.

theorems/T000907.md

@@ -0,0 +1,9 @@
+---
+uid: T000907
+if:
+  P000222: true
+then:
+  P000219: true
+---
+
+Let $Y\subset X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.

theorems/T000908.md

@@ -0,0 +1,9 @@
+---
+uid: T000908
+if:
+  P000129: true
+then:
+  P000219: true
+---
+
+Let $Y\subset X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.

theorems/T000909.md

@@ -0,0 +1,12 @@
+---
+uid: T000909
+if:
+  and:
+  - P000219: true
+  - P000204: true
+then:
+  P000078: true
+---
+
+Let $p$ be a cut point of $X$. If $X$ were infinite, $|X\setminus \{p\}|=|X|$, but they cannot be homeomorphic as $X$ is connected but $X \setminus \{p\}$ is not.
+

theorems/T000910.md

@@ -0,0 +1,15 @@
+---
+uid: T000910
+if:
+  and:
+  - P000219: true
+  - P000196: false
+  - P000129: false
+then:
+  P000002: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Follows from Theorem 6.1 in {{zb:1286.54032}}.

theorems/T000911.md

@@ -0,0 +1,15 @@
+---
+uid: T000911
+if:
+  and:
+  - P000219: true
+  - P000181: true
+  - P000129: false
+then:
+  P000196: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Follows from Corollary 6.2 in {{zb:1286.54032}}.