Topologia — Conjuntos Abertos, Continuidade e Conceitos-Chave

Topologia é o ramo da matemática que estuda espaços usando conjuntos abertos e continuidade, em vez de distância exata. Se você está aprendendo o básico de topologia, a forma mais rápida de começar é esta: escolha quais subconjuntos são abertos e, a partir dessa escolha, defina continuidade.

É por isso que a topologia pode comparar espaços pelo comportamento local, e não por comprimentos, ângulos ou coordenadas.

O Que É Um Espaço Topológico

Seja $X$ um conjunto. Uma topologia em $X$ é uma coleção $\mathcal{T}$ de subconjuntos de $X$, chamados conjuntos abertos, tal que:

1. $\varnothing$ e $X$ pertencem a $\mathcal{T}$.
2. Qualquer união de conjuntos de $\mathcal{T}$ também pertence a $\mathcal{T}$.
3. Qualquer interseção finita de conjuntos de $\mathcal{T}$ também pertence a $\mathcal{T}$.

O par $(X,\mathcal{T})$ é chamado de espaço topológico.

Essa definição é abstrata de propósito. Depois que você sabe quais conjuntos são abertos, pode definir continuidade, vizinhanças e conjuntos fechados sem precisar escrever uma fórmula de distância.

Por Que os Conjuntos Abertos Importam

Os conjuntos abertos dizem o que significa um ponto ter espaço ao seu redor. Na topologia usual de $\mathbb{R}$, um intervalo aberto como $(1,3)$ é aberto porque todo ponto dentro dele tem um intervalo menor ao seu redor que ainda permanece dentro de $(1,3)$.

Essa ideia local é o coração da topologia. Um conjunto é aberto quando cada um de seus pontos está dentro do conjunto com alguma folga local.

Isso também explica por que a abertura depende da topologia. O mesmo subconjunto pode ser aberto em uma topologia e não ser em outra.

Como os Conjuntos Abertos Definem Outras Ideias Básicas

Vizinhanças

Uma vizinhança de um ponto é qualquer conjunto que contém um conjunto aberto ao redor desse ponto. É a forma que a topologia usa para falar de proximidade local sem usar distância.

Conjuntos fechados

Um conjunto é fechado se seu complementar é aberto. Em espaços familiares, como a reta real, conjuntos fechados muitas vezes contêm sua fronteira, mas essa não é a definição.

Continuidade

Se $X$ e $Y$ são espaços topológicos, uma função $f:X \to Y$ é contínua se, para todo conjunto aberto $U \subseteq Y$, a imagem inversa $f^{-1}(U)$ é aberta em $X$.

$$f \text{ é contínua se } f^{-1}(U) \text{ é aberto para todo aberto } U \subseteq Y$$

Isso coincide com a ideia usual do cálculo em $\mathbb{R}$, mas também funciona em espaços nos quais a distância não é a estrutura principal.

Homeomorfismo

Um homeomorfismo é uma função bijetiva que é contínua e tem inversa contínua. Se dois espaços são homeomorfos, a topologia os trata como tendo a mesma forma no sentido topológico.

Essa afirmação depende da continuidade nos dois sentidos. Uma bijeção sozinha não basta.

Exemplo Resolvido: Por Que $f(x)=x^2$ É Contínua Na Topologia Usual

Considere $f:\mathbb{R} \to \mathbb{R}$ dada por

$$f(x)=x^2$$

usando a topologia usual em $\mathbb{R}$.

Tome o conjunto aberto $(1,4)$ no contradomínio. Sua imagem inversa é

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

o que se simplifica para

$$(-2,-1)\cup(1,2).$$

Esse conjunto é aberto na topologia usual de $\mathbb{R}$ porque é uma união de intervalos abertos. Este exemplo mostra a direção correta a verificar: continuidade diz respeito às imagens inversas de conjuntos abertos, não a se $f$ envia conjuntos abertos em conjuntos abertos.

Em $\mathbb{R}$, essa condição acaba coincidindo com a definição usual de continuidade baseada em limites.

Erros Comuns no Básico de Topologia

Achar que "aberto" significa a mesma coisa em todo lugar

Não significa. A noção de aberto é definida em relação a uma topologia escolhida.

Confundir imagem com imagem inversa

Continuidade diz respeito ao fato de imagens inversas de conjuntos abertos serem abertas. Imagens de conjuntos abertos não precisam ser abertas, a menos que você imponha condições extras à função.

Tratar topologia como geometria métrica com palavras novas

Muitos espaços topológicos de fato vêm de métricas, mas a topologia em si é mais geral. Ela preserva apenas a estrutura necessária para falar de comportamento local e continuidade.

Supor que toda bijeção é uma equivalência topológica

Para ser um homeomorfismo, uma aplicação precisa ser bijetiva, contínua e ter inversa contínua.

Onde a Topologia É Usada

A topologia fornece a linguagem por trás de continuidade, compacidade, conexidade e convergência na análise moderna. Ela também aparece em geometria, sistemas dinâmicos, equações diferenciais e análise de dados que estuda forma em um nível mais amplo.

Para quem está começando, o uso prático é mais simples: a topologia explica por que a continuidade pode ser definida de um modo que não depende de coordenadas nem de uma fórmula de distância.

Tente Um Problema Parecido

Use a mesma função $f(x)=x^2$, mas agora comece com o conjunto aberto $(0,1)$. Calcule $f^{-1}((0,1))$ e verifique se ele é aberto em $\mathbb{R}$.

Se quiser dar o próximo passo depois disso, explore outro caso de continuidade e compare a definição topológica com a definição baseada em limites do cálculo.