Cleanup for S22 Fortissimo space on the reals (#1207)

pi-base · Jan 26, 2025 · bf0767e · bf0767e
1 parent 79e99ce
commit bf0767e
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 50 deletions.
diff --git a/spaces/S000022/README.md b/spaces/S000022/README.md
@@ -1,19 +1,19 @@
 ---
 uid: S000022
-name: Fortissimo Space on the Real Numbers
+name: Fortissimo space on the real numbers
 aliases:
-  - Fortissimo Space
+  - Fortissimo space
   - One-point Lindelöfication of uncountable discrete space
 counterexamples_id: 25
 refs:
   - doi: 10.1007/978-1-4612-6290-9 
     name: Counterexamples in Topology
   - wikipedia: Fort_space
-    name: Fort space
+    name: Fort space on Wikipedia
 ---
 
 Let $X=\mathbb{R}\cup\{\infty\}$.
-Define $U \subseteq X$ to be open if it does not contain $\infty$ or its complement is countable.
+Every point of $\mathbb R$ is isolated and the open neighborhoods of the point $\infty$ are the cocountable subsets of $X$ containing that point.
 
 This space is the one-point Lindelöfication of an uncountable discrete space.
 

diff --git a/spaces/S000022/properties/P000008.md → spaces/S000022/properties/P000002.md b/spaces/S000022/properties/P000008.md → spaces/S000022/properties/P000002.md
@@ -1,10 +1,10 @@
 ---
 space: S000022
-property: P000008
+property: P000002
 value: true
 refs:
 - doi: 10.1007/978-1-4612-6290-9_6
   name: Counterexamples in Topology
 ---
 
-See item #1 for space #25 in {{doi:10.1007/978-1-4612-6290-9_6}}.
+By inspection, every singleton is closed.
diff --git a/spaces/S000022/properties/P000022.md b/spaces/S000022/properties/P000022.md
diff --git a/spaces/S000022/properties/P000028.md b/spaces/S000022/properties/P000028.md
diff --git a/spaces/S000022/properties/P000050.md b/spaces/S000022/properties/P000050.md
diff --git a/spaces/S000022/properties/P000132.md b/spaces/S000022/properties/P000132.md