Metrizability

From Queer Beagle Wiki
Revision as of 07:17, 12 January 2023 by Kfagerstrom (talk | contribs) (Created page with " A topological space <math> (X,\mathcal{T}_X) </math> is metrizable if there is a metric <math>d </math> on <math> X</math> such that <math>\mathcal{T}_X = \mathcal{T}_d </mat...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A topological space \( (X,\mathcal{T}_X) \) is metrizable if there is a metric \(d \) on \( X\) such that \(\mathcal{T}_X = \mathcal{T}_d \), where \( \mathcal{T}_d \) is the metric topology on \( X\) induced by \( d\).

Metrizability is a homeomorphism invariant. Metrizability is not preserved by quotients, continuous images, or continuous preimages. Metrizable spaces are \( \mathcal{T}_4 \).