Twierdzenie Binga
Twierdzenie Binga – twierdzenie udowodnione przez R.H. Binga[1], będące wzmocnieniem twierdzenia Nagaty-Smirnowa (skąd nazywane czasem twierdzeniem Nagaty-Binga-Smirnowa) mówiące, że
- Przestrzeń Hausdorffa jest metryzowalna wtedy i tylko wtedy, gdy jest regularna i ma bazę σ-dyskretną.
Jednym z wniosków z twierdzenia Binga jest tzw. kryterium Binga mówiące, że
- Przestrzeń Hausdorffa jest metryzowalna wtedy i tylko wtedy, gdy jest kolektywnie normalna i ma punktowo miałki ciąg pokryć.
Bibliografia
edytuj- Ryszard Engelking: Topologia ogólna. Wyd. pierwsze. Warszawa: Wydawnictwo Naukowe PWN, 1976, s. 346, 402.
Przypisy
edytuj- ↑ Bing R.H.: Metrization of topological spaces Canad. J. Math., 3 (1951) ss. 175–186.