Atlas (matematyka)
Z Wikipedii
Atlas - w topologii, zbiór map pokrywających rozmaitość topologiczną.
[edytuj] Definicja
Mapą na rozmaitości topologicznej M nazywamy każdy jej otwarty podzbiór U wraz z homeomorfizmem , tj. parę (U,Φ). Zbiór map nazywamy atlasem, jeśli jest pokryciem M.
Jeżeli , to na mocy twierdzenia Lindelöfa, można wybrać atlas przeliczalny.