Przestrzeń nakrywająca

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Przestrzeń nakrywająca przestrzeni topologicznej – para gdzie jest przekształceniem ciągłym (zwanym przekształceniem nakrywającym) oraz dla każdego punktu istnieje takie otoczenie (zwane prawidłowo nakrytym), że podprzestrzeń jest topologicznie równoważna sumie rozłączej o składnikach homeomorficznych ze zbiorem , przy czym przekształcenie nakrywające obcięte do dowolnego takiego składnika ustala ten homeomorfizm.