Espaços Topológicos e Continuidade

Um espaço topológico codifica quais pontos estão próximos de outros através de uma família de conjuntos abertos, e um mapa contínuo é aquele que respeita essa proximidade — transformando conjuntos abertos em conjuntos abertos.

Definition

Um espaço topológico é um conjunto X juntamente com uma topologia — uma família de subconjuntos abertos fechada sob uniões arbitrárias e interseções finitas e contendo o conjunto vazio e X; uma função entre espaços topológicos é contínua se a pré-imagem de cada conjunto aberto é aberta, e um homeomorfismo é uma bijeção contínua com inversa contínua.

Scope

Este tópico define espaços topológicos através de axiomas de conjuntos abertos e as linguagens equivalentes de conjuntos fechados, vizinhanças, fecho e interior. Ele desenvolve bases e sub-bases como formas econômicas de especificar uma topologia, as topologias de subespaço, produto e quociente, e as noções centrais de continuidade, homeomorfismo e invariantes topológicos. Ele trata da convergência de sequências e redes onde a intuição métrica falha.

Core questions

• Como a mesma topologia pode surgir de bases diferentes, e como comparamos topologias por finura?
• O que significa continuidade quando nenhuma métrica está disponível, e como ela é caracterizada por meio de fechos e vizinhanças?
• Quando dois espaços são homeomorfos, e quais propriedades servem como invariantes para distingui-los?
• Como as construções de subespaço, produto e quociente herdam ou falham em herdar as propriedades da topologia parental?

Key concepts

• Conjuntos abertos, conjuntos fechados, vizinhanças, fecho e interior
• Base e sub-base gerando uma topologia
• Continuidade, homeomorfismo e invariantes topológicos
• Topologias de subespaço, produto e quociente
• Convergência via sequências e redes; o papel da primeira contabilidade

Clinical relevance

Estas definições são o ponto de entrada para todas as estruturas posteriores em geometria e topologia: variedades são espaços topológicos localmente euclidianos, homotopia e homologia atuam em mapas contínuos, e a análise em espaços baseia-se nesta noção de continuidade.

History

A definição de conjunto aberto generalizou os espaços métricos de Fréchet (1906) e os axiomas de vizinhança de Hausdorff (1914); a formulação agora padrão em termos de uniões arbitrárias e interseções finitas tornou-se a norma em livros didáticos através de Bourbaki e textos americanos de meados do século.

Key figures

• Felix Hausdorff
• Maurice Fréchet
• James Munkres

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Toda bijeção contínua é um homeomorfismo?

Não. Uma bijeção contínua pode não ter uma inversa contínua; um homeomorfismo requer adicionalmente que a inversa seja contínua, o que o torna um isomorfismo de espaços topológicos.

Por que as redes generalizam as sequências em topologia?

Em espaços que não são primeiro contáveis, as sequências não conseguem detectar todo o comportamento de fecho e continuidade; as redes (e equivalentemente os filtros) indexam a convergência sobre conjuntos dirigidos arbitrários e recuperam a teoria completa.