Toronto spaces definition + easy properties

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/T000805.md

@@ -0,0 +1,9 @@
+---
+uid: T000805
+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/T000806.md

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

theorems/T000811.md

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

theorems/T000813.md

@@ -0,0 +1,11 @@
+---
+uid: T000813
+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 the two spaces cannot be homeomorphic as $X$ is {P36} and $X \setminus \{p\}$ is not.

theorems/T000814.md

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