Weak topology on $\ell^2$ is an $\aleph_0$-space (#761)

* S21 has property P179 * fix upload-artifact --------- Co-authored-by: Steven Clontz <[email protected]>
pi-base · Oct 7, 2024 · d3f2b1b · d3f2b1b
1 parent 2593d0c
commit d3f2b1b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/spaces/S000021/properties/P000179.md b/spaces/S000021/properties/P000179.md
@@ -0,0 +1,10 @@
+---
+space: S000021
+property: P000179
+value: true
+refs:
+- mr: 206907
+ name: $\aleph_0$-spaces (E. Michael)
+---
+Corollary 7.10 of {{mr:206907}} says that dual of a separable Banach space in its weak* topology is an $\aleph_0$-space. 
+Since $\ell^2$ is a separable Banach space with $\ell^2$ as its dual, the weak and weak* topology on $\ell^2$ coincide, and corollary 7.10 applies.