Fort space on R is Eberlein compact (#1357)

Author: yhx-12243

spaces/S000154/properties/P000091.md

@@ -0,0 +1,16 @@
+---
+space: S000154
+property: P000091
+value: true
+refs:
+  - zb: "0232.46019"
+    name: Weakly compact sets - their topological properties and the Banach spaces they generate (J. Lindenstrauss)
+  - mathse: 5071093
+    name: Is the one-point compactification of an uncountable discrete space Eberlein compact?
+---
+
+It follows from Proposition 3.1 of {{zb:0232.46019}} that the one-point compactification of the disjoint union of {P91} spaces is {P91},
+and {S154} is the one-point compactification of {S3},
+which is the disjoint union of copies of {S162}.
+
+See also {{mathse:5071093}}.