Twierdzenie Binga – twierdzenie udowodnione przez R.H. Binga, 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
- Ryszard Engelking: Topologia ogólna. Wyd. pierwsze. Warszawa: Wydawnictwo Naukowe PWN, 1976, s. 346, 402.
Przypisy
- ↑ Bing R.H.: Metrization of topological spaces Canad. J. Math., 3 (1951) ss. 175–186.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.