Spațiu metrizabil
Salt la navigare Salt la căutare
În topologie , un spațiu topologic se spune că poate fi măsurat dacă există pe o metrica astfel încât topologia indusă de fii drept . [1]
Spațiile metrizabile sunt spații homeomorfe și metrice și le induc toate proprietățile. De exemplu, acestea sunt spații Hausdorff , paracompacte și spații al căror punct are o bază numărabilă de cartiere .
Există teoreme care asigură condiții suficiente pentru metrizabilitatea unui spațiu:
- Teorema lui Urysohn : fiecare spațiu Hausdorff, regulat și cu o bază numărabilă, este metrizabil;
- Teorema Nagata-Smirnov : un spațiu este metrizabil dacă și numai dacă este regulat și al lui Hausdorff și are o bază finită - local ;
- Teorema lui Bing : un spațiu este metrizabil dacă și numai dacă este regulat și T0 și are o bază -Discret.
Se spune că un spațiu este localizabil local dacă fiecare punct are un vecinătate metrizabil. De asemenea, de Smirnov rezultă că un spațiu localizabil localizat de Hausdorff este metrizabil dacă și numai dacă este paracompact .
Notă
- ^ M. Manetti , p. 56 .
Bibliografie
- Marco Manetti, Topologia , Springer, 2008, ISBN 978-88-470-0756-7 .