Topic: Metrization Theorems

Urysohn Metrization Theorem and Its Hypotheses

The Hilbert Cube and Its Product Metric

Testing Metrizability with Base Criteria

Sigma-Locally-Finite Bases

Pulling Back the Hilbert Cube Metric

Proof Sketch of Nagata-Smirnov Metrization

Proof Sketch of Bing Metrization

Nagata-Smirnov Metrization Criterion

Metrizability as a Topological Property

Locally Finite Families and Open Refinements