## Return to Answer

1 [made Community Wiki]

From my perspective as an analyst, non-metrizable spaces usually arise for one of the following reasons:

1. Separation axiom failure: the space is not, e.g., normal. This mostly happens when the space is not even Hausdorff (spaces that are Hausdorff but not normal are usually too exotic to arise much). Often this is for simple reasons; for example, the topology is defined by a pseudometric such as a seminorm. In this case we usually mod out by zero-distance pairs and try again.

2. The space is too big: examples like the uncountable ordinal and the long line fall under this heading. But they are still locally metrizable, so we usually allow them if we're trying to prove local theorems, but forbid them for global statements.

3. The topology is too weak, and usually not even first countable, so sequences are not enough to define the topology. Most of these examples are based on a product or pointwise-convergence topology: the weak-* topology on the dual $X^*$ of a Banach space $X$, the spectrum of a $C^*$-algebra, Stone-Čech compactifications, etc. (And actually, in the first case, it is often enough just to look at the unit ball of $X^*$, which is metrizable if $X$ is separable, which in applications it usually is.) As compensation, some corollary of Tychonoff's theorem gives us some compactness, which is probably the only reason we've agreed to put up with such an annoyingly weak topology in the first place.

4. Someone is abusing the language of topology, e.g. Fürstenberg's "topological" proof of the infinitude of the primes.

5. I've wandered into an algebraic geometry seminar by mistake. Grouchier analysts may consider this to fall under the previous heading. ;-)
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 5, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9282891750335693, "perplexity_flag": "middle"}