Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is there a general condition to tell whether a topological space is metrisable? (Without having to find the metric explicitly?)

Thanks

share|improve this question
4  
The following Wikipedia link contains some very relevant information: en.wikipedia.org/wiki/Metrization_theorems –  Asaf Karagila Oct 10 '11 at 9:57
2  
But summarizing it here: if second countable and T3, then metrisable. –  abatkai Oct 10 '11 at 10:27
    
Ah, thanks guys! –  marc Oct 10 '11 at 10:29

1 Answer 1

up vote 2 down vote accepted

Historically the oldest theorem that gives a complete characterization is the (Bing-)Nagata-Smirnov theorem: a space $X$ is metrizable iff it is regular, $T_1$ and it has a $\sigma$-locally-finite base $\mathcal{B}$; the latter means that $\mathcal{B} = \cup_{n \in N} \mathcal{B}_n$, where each $\mathcal{B_n}$ is locally finite (where a family of subsets $\mathcal{F}$ is locally finite when every $x$ in $X$ has a neighborhood that intersects at most finitely many members of $\mathcal{F}$). Bing's variant is that he uses a $\sigma$-discrete base (as above, where every $\mathcal{B_n}$ is a discrete family, so that every point in $X$ has a neighborhood that intersects at most one member from the family), which was discovered independently around the same time that Smirnov and Nagata did their (also separate) discoveries; it was "in the air", one could say.

It's inspired by the study of covering properties like paracompactness; there are other characterizations in terms of special bases too. Many other metrization theorems exist; the main ones are covered in e.g. Engelking's "general topology".

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.