Espaço topológico quociente

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Em topologia, um quociente de um espaço topológico X é um novo espaço topológico que se obtém colando umas regiões de X a outras.

Definição[editar | editar código-fonte]

O quociente de um espaço topológico X por uma relação de equivalência ~ é o conjunto X/~ das classes de equivalência munido da topologia (chamada topologia quociente) cujos abertos são os conjuntos de classes cuja reunião é um aberto de X.

Exemplos[editar | editar código-fonte]

  • O quociente de pela relação se é homeomorfo a .
  • O quociente de pela relação de equivalência gerada por e , para é homeomorfo ao toro que por sua vez é homeomorfo à .
  • O processo acima, que cola as bordas do quadrado de forma direta, pode ser feito de modo a torcer o quadrado. Assim, a relação de equivalência gerada por e , para gera o plano projectivo, enquanto que a relação de equivalência gerada por e , para gera a garrafa de Klein.

Referências

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.