Not signed in (Sign In)

Discussion Feed
- RSS2
- ATOM

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: paracompact Hausdorff spaces are normal

1 to 1 of 1

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeApr 28th 2017
- PermaLink
Author: Urs
Format: MarkdownItexWrote out a proof for _[[paracompact Hausdorff spaces are normal]]_. (By the way, I also looked at TopoSpaces [here](https://topospaces.subwiki.org/wiki/Paracompact_Hausdorff_implies_normal) to check what they offer, and am a bit dubious about their step 5. But maybe I am misreading it. In any case, I feel there is a simpler way to state the proof.)

Wrote out a proof for paracompact Hausdorff spaces are normal.

(By the way, I also looked at TopoSpaces here to check what they offer, and am a bit dubious about their step 5. But maybe I am misreading it. In any case, I feel there is a simpler way to state the proof.)

1 to 1 of 1