Cobertura
Origem: Wikipédia, a enciclopédia livre.
Em topologia, uma cobertura de um espaço topológico X conexo por arcos é uma aplicação contínua , onde Y é um espaço conexo por arcos e p é tal que cada ponto de X tem uma vizinhança U cuja imagem recíproca é um conjunto com componentes conexas Si de modo que cada é um homeomorfismo.
O grau de uma cobertura é o cardinal de p − 1(x), para qualquer .
O grupo de uma cobertura é constituído pelas aplicações contínuas tais que .
[editar] Coberturas universais
Se uma cobertura Y é simplesmente conexa, diz-se que é a cobertura universal de X. O grupo fundamental de X é o grupo de uma cobertura universal de X.