Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am working on the entry topological manifold.
I gave it a subsection locally Euclidean spaces, which maybe eventually wants to be split off as an entry in its own right.
Now I have added statement and proof that locally Euclidean spaces are , sober and locally compact (in the compact neighbourhood base sense): here.
I have added statement and proof that locally Euclidean Hausdorff spaces are sigma-compact precisely if they are paracompact with a countable set of connected components: here
I have expanded the statement and proof of the local properties of locally Euclidean spaces (this prop.) to contain 1) 2) sobriety 3) local connectivity, 4) local compactness.
Finally completed statement and proof of the equivalence of the three regularity conditions on locally Euclidean Hausdorff spaces here (the converse direction for second-countable had previously been missing)
added statement and proof that open subspace of topological/differentiable manifolds are themselves such (here)
Used this to complete at general linear group the description as a Lie group (here)
1 to 6 of 6