From 50f678dc4cf056bbff6a49ed2067d6d048d3c3f9 Mon Sep 17 00:00:00 2001 From: artemetra Date: Thu, 14 May 2026 10:42:04 +0200 Subject: [PATCH 1/2] Circle and rationals are not Toronto --- spaces/S000027/properties/P000219.md | 7 +++++++ spaces/S000170/properties/P000219.md | 7 +++++++ 2 files changed, 14 insertions(+) create mode 100644 spaces/S000027/properties/P000219.md create mode 100644 spaces/S000170/properties/P000219.md diff --git a/spaces/S000027/properties/P000219.md b/spaces/S000027/properties/P000219.md new file mode 100644 index 0000000000..ca2d410f8c --- /dev/null +++ b/spaces/S000027/properties/P000219.md @@ -0,0 +1,7 @@ +--- +space: S000027 +property: P000219 +value: false +--- + +The subset $\mathbb{Z} \subset \mathbb{Q}$ is not homeomorphic to $\mathbb{Q}$ as it is has no isolated points. \ No newline at end of file diff --git a/spaces/S000170/properties/P000219.md b/spaces/S000170/properties/P000219.md new file mode 100644 index 0000000000..dbd9b19fe8 --- /dev/null +++ b/spaces/S000170/properties/P000219.md @@ -0,0 +1,7 @@ +--- +space: S000170 +property: P000219 +value: false +--- + +The subspace $S^1 \setminus \{p\}$ for any $p \in S^1$ has the same cardinality as $S^1$ but is homeomorphic to $\mathbb{R}$. \ No newline at end of file From b6f93e3f97967333676c373d5163bc7621f6dd6a Mon Sep 17 00:00:00 2001 From: artemetra Date: Thu, 14 May 2026 10:57:16 +0200 Subject: [PATCH 2/2] typo --- spaces/S000027/properties/P000219.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spaces/S000027/properties/P000219.md b/spaces/S000027/properties/P000219.md index ca2d410f8c..eeb2a49eeb 100644 --- a/spaces/S000027/properties/P000219.md +++ b/spaces/S000027/properties/P000219.md @@ -4,4 +4,4 @@ property: P000219 value: false --- -The subset $\mathbb{Z} \subset \mathbb{Q}$ is not homeomorphic to $\mathbb{Q}$ as it is has no isolated points. \ No newline at end of file +The subset $\mathbb{Z} \subset \mathbb{Q}$ is not homeomorphic to $\mathbb{Q}$ as it has no isolated points. \ No newline at end of file