Metrizable implies normal

From Topospaces
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property must also satisfy the second topological space property
View all topological space property implications | View all topological space property non-implications
|
Property "Page" (as page type) with input value "{{{stronger}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
Property "Page" (as page type) with input value "{{{weaker}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

Statement

Any metrizable space is normal.

Proof

For full proof, refer: Metrizable implies monotonically normal

The proof of this result actually shows something stronger: any metrizable space is monotonically normal. In other words, we can choose open subsets for the closed subsets in a monotone fashion.