Wolna encyklopedia
Atlas - w topologii, zbiór map pokrywających rozmaitość topologiczną.
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.