Warning: fopen(/host/home3/willkwon/html/wp-content/ql-cache/quicklatex.com-ba2a799fdbd27f397043a4649b63aec8_l3.txt): failed to open stream: Disk quota exceeded in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1513
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1514
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1515
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1516
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1517
Warning: fclose() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1518
Warning: fopen(/host/home3/willkwon/html/wp-content/ql-cache/quicklatex.com-25939d3f6dea205f4dcb9df15e041f14_l3.txt): failed to open stream: Disk quota exceeded in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1513
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1514
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1515
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1516
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1517
Warning: fclose() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1518
Warning: fopen(/host/home3/willkwon/html/wp-content/ql-cache/quicklatex.com-e6ad152d3cce70aedfc2c07e6d5155ca_l3.png): failed to open stream: Disk quota exceeded in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1527
Warning: fwrite() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1528
Warning: fclose() expects parameter 1 to be resource, boolean given in /host/home3/willkwon/html/wp-content/plugins/wp-quicklatex/wp-quicklatex.php on line 1529

**Theorem.** Let be a compact metric space, a Hausdorff space, and a continuous function from onto . Then is metrizable.

*Proof.* Note that since and is continuous and is compact, is compact. Since is Hausdorff space, is . So is . It suffices to show is second

countable. Since is compact, it is second countable. Let be a countable basis for . Define

Clearly, is countable. For , define . Since is open, is closed. Since is closed map, is open. So if we collect these , say , we claim that is basis for .

Let be an open set in and let . Then is open and is closed. So is closed since is continuous. Since is compact space, is compact. So there is a finite collection of such that

since is a basis for and is open in . Let . Then by definition and . Moreover, . For any point , . So . This shows . Since , then . This implies for each open set in and , there is a member of such that

The second condition of basis easily comes from . This shows is a countable basis for So by Urysohn’s metrization theorem, is metrizable.