Continuidade em topologia

Sejam $X$ e $Y$ dois espaços topológicos. Uma aplicação $f : X \to Y$ diz-se contínua se, para todo conjunto aberto $V$ de $Y$, a imagem inversa $f^{-1}(V)$ for um conjunto aberto de $X$.

De forma simples, uma função contínua em topologia é aquela que preserva a organização dos conjuntos abertos ao levar pontos de um espaço para outro.

O objetivo central da continuidade topológica é manter a coerência da estrutura de abertos quando se passa de um espaço topológico a outro.

Observação : Em topologia, a continuidade é uma noção mais geral do que na análise clássica. Na análise, ela se baseia na ideia de distância e proximidade entre pontos. Em topologia, o foco está no comportamento da função em relação aos conjuntos abertos. Isso permite estudar continuidade mesmo em contextos onde a noção de distância não existe.

Um exemplo intuitivo é a deformação de uma figura geométrica sem rasgá-la nem cortá-la. Esse tipo de transformação pode ser descrito por uma função contínua.

A continuidade garante, assim, que a estrutura inicial, especialmente os conjuntos abertos, seja preservada após a transformação.

Um exemplo concreto
Teorema da base para a continuidade
Continuidade em topologias mais grosseiras e mais finas
Conexidade e continuidade: duas noções fundamentais da topologia
Observações

Um exemplo concreto

Consideremos dois espaços topológicos finitos: $X = \{a, b, c, d\}$ e $Y = \{1, 2\}$.

Os conjuntos abertos de $X$ são: $\{\}, \{a\}, \{a, b\}, \{a, b, c, d\}$.
Os conjuntos abertos de $Y$ são: $\{\}, \{1\}, \{1, 2\}$.

Definimos a função $f : X \rightarrow Y$ da seguinte forma:

$ f(a) = 1 $, $ f(b) = 1 $, $ f(c) = 2 $, $ f(d) = 2 $

A questão é: essa função é contínua no sentido topológico?

Para visualizar a situação, representamos graficamente a função $f$ e os dois espaços topológicos, destacando os conjuntos abertos em cada um.

exemplo de continuidade topológica

Vamos verificar a definição passo a passo:

O aberto $\{1\}$ de $Y$ tem como imagem inversa $ f^{-1}(\{1\}) = \{a, b\} $, que é um conjunto aberto de $X$.
O aberto $\{1, 2\}$ de $Y$ tem como imagem inversa $ f^{-1}(\{1, 2\}) = \{a, b, c, d\} $, que também é aberto em $X$.

O conjunto vazio não precisa ser analisado, pois é aberto em qualquer espaço topológico.

Como a imagem inversa de todo aberto de $Y$ é um aberto de $X$, concluímos que a função $f$ é contínua.

Exemplo 2

Consideremos agora outra aplicação $g : X \rightarrow Y$, definida por:

$ g(a) = 1 $, $ g(b) = 1 $, $ g(c) = 1 $, $ g(d) = 2 $

A seguir, representamos a função $g$ e os dois espaços topológicos, evidenciando os conjuntos abertos relevantes.

exemplo de função não contínua

Verifiquemos a continuidade:

O aberto $\{1\}$ de $Y$ tem imagem inversa $ g^{-1}(\{1\}) = \{a, b, c\} $, que não é um conjunto aberto de $X$.

Como existe um aberto de $Y$ cuja imagem inversa não é aberta em $X$, conclui-se que a função $g$ não é contínua.

Exemplo 3

Analisemos agora a função identidade $ id : X \to X $, definida por $ id(x) = x $ para todo $ x \in X $.

$$ x = f(x) $$

A função identidade não altera nenhum elemento do espaço. Do ponto de vista topológico, isso significa que todo conjunto aberto é enviado para si próprio e, portanto, permanece aberto.

Assim, a função identidade $ f(x) = x $ é sempre contínua, pois não modifica a estrutura topológica do espaço.

Exemplo 4

Consideremos agora uma função constante $ f : X \to Y $, definida por $ f(x) = c $ para todo $ x \in X $.

$$ f(x) = c $$

Independentemente do elemento escolhido em $X$, a função retorna sempre o mesmo valor $c$.

Para que $f$ seja contínua, a imagem inversa de todo aberto de $Y$ deve ser um conjunto aberto de $X$. Existem dois casos:

Se $c \in V$, então $ f^{-1}(V) = X $, que é aberto.
Se $c \notin V$, então $ f^{-1}(V) = \emptyset $, que também é aberto.

Em ambos os casos, a condição de continuidade é satisfeita.

Concluímos, portanto, que a função constante $ f(x) = c $ é contínua.

Observação : Este exemplo mostra que a continuidade de uma função topológica depende tanto da definição da função quanto da estrutura topológica dos espaços envolvidos.

Exemplo 5

Consideremos agora a aplicação identidade $ f : X \to Y $, definida por $ f(x) = x $, mas entre dois espaços topológicos diferentes:

$X = \mathbb{R}$, munido da topologia usual, cujos abertos são os intervalos abertos $ (a, b) $.
$Y = \mathbb{R}$, munido da topologia do limite inferior, cujos abertos são da forma $[a, b)$.

Para verificar se $f$ é contínua, analisamos a imagem inversa dos abertos de $Y$.

Considere o conjunto $ [0, 1) $, que é aberto na topologia do limite inferior.

Como $f$ é a identidade, tem-se $ f^{-1}([0, 1)) = [0, 1) $.

No entanto, esse conjunto não é aberto na topologia usual.

Observação : Na topologia usual, um conjunto é aberto se, em torno de cada ponto, existe um intervalo aberto inteiramente contido nesse conjunto. Em $ [0, 1) $, essa condição falha no ponto $0$.

Conclui-se, assim, que a aplicação identidade $ f : \mathbb{R} \to \mathbb{R} $, definida entre topologias distintas, não é contínua.

Este exemplo deixa claro que a continuidade de uma função depende não apenas da própria função, mas também das topologias escolhidas para os espaços de partida e de chegada.

Em outras palavras, uma mesma função, aqui a identidade $f(x) = x$, pode ser contínua em um contexto e deixar de ser em outro, conforme a estrutura topológica considerada.

Teorema da base para a continuidade

Sejam $X$ e $Y$ dois espaços topológicos. Uma função $f : X \to Y$ é contínua se, e somente se, para todo conjunto $B_Y$ pertencente a uma base da topologia de $Y$, a imagem inversa $f^{-1}(B_Y)$ for um conjunto aberto em $X$.

Este teorema é especialmente útil porque simplifica de maneira decisiva a verificação da continuidade de uma aplicação.

Em vez de analisar todos os conjuntos abertos de $Y$, o que pode ser trabalhoso, basta examinar um conjunto muito menor: os elementos de uma base da topologia de $Y$.

Com isso, o número de casos a verificar é drasticamente reduzido, tornando o raciocínio mais rápido, claro e eficiente.

Demonstração : Todo conjunto aberto de $Y$ pode ser escrito como uma união, possivelmente infinita, de elementos da sua base $B_Y$. Se a imagem inversa de cada elemento da base é um conjunto aberto em $X$, então a imagem inversa de qualquer união desses elementos, por ser união de abertos, também é aberta em $X$. Conclui-se, assim, que $f$ é contínua.

Exemplo

Sejam $X = \{a, b, c, d\}$ e $Y = \{x, y, z\}$, munidos das seguintes estruturas topológicas:

A topologia de $X$ é $ \tau_X = \{\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\}\} $.
A base da topologia de $Y$ é $B_Y = \{\{x\}, \{y\}, \{z\}\}$.

Os conjuntos abertos de $Y$ são obtidos como uniões de elementos dessa base. Por exemplo:

Os conjuntos $ \{x, y\} $, $ \{x, z\} $, $ \{y, z\} $ e $ \{x, y, z\} $ não pertencem à base, mas são abertos por serem uniões de seus elementos.

Definamos agora uma função $f : X \to Y$ por:

$f(a) = x$
$f(b) = x$
$f(c) = y$
$f(d) = z$

Para verificar se $f$ é contínua, basta analisar as imagens inversas dos conjuntos da base $B_Y$.

$f^{-1}(\{x\}) = \{a, b\}$, que é um conjunto aberto em $X$.
$f^{-1}(\{y\}) = \{c\}$, que não é aberto em $X$, pois $ \{c\} \notin \tau_X $.

Como existe pelo menos um elemento da base cuja imagem inversa não é aberta em $X$, conclui-se que a função $f$ não é contínua.

Observação : Um único contraexemplo, isto é, um elemento da base cuja imagem inversa não seja aberta, é suficiente para concluir que uma função não é contínua. Não é necessário examinar os demais casos.

Continuidade em topologias mais grosseiras e mais finas

Se uma função é contínua em relação a uma topologia mais grosseira, então ela também é contínua em relação a qualquer topologia mais fina definida sobre o mesmo conjunto.

Em geral, a recíproca não é verdadeira: uma função pode ser contínua em uma topologia mais fina e deixar de ser contínua em uma topologia mais grosseira.

Topologias mais finas e mais grosseiras. Dadas duas topologias sobre um mesmo conjunto $X$, diz-se que uma topologia é mais grosseira quando possui menos conjuntos abertos, e mais fina quando possui mais conjuntos abertos.

Exemplo

Consideremos o conjunto $X = \{a, b\}$, munido de duas topologias distintas:

Topologia mais grosseira : $ \tau_1 = \{\varnothing, \{a, b\}\} $, na qual apenas o conjunto vazio e o conjunto total são abertos.
Topologia mais fina : $ \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} $, na qual os conjuntos unitários $\{a\}$ e $\{b\}$ também são abertos.

Definimos uma função $f : X \to Y$, com $Y = \{1\}$, da seguinte forma:

$$ f(a) = 1 \quad ; \quad f(b) = 1 $$

Na topologia $ \tau_1 $, os únicos conjuntos abertos são $ \varnothing $ e $ \{a, b\} $.

Verificando a continuidade de $f$:

$ f^{-1}(\varnothing) = \varnothing $, que é aberto em $ \tau_1 $.
$ f^{-1}(\{1\}) = \{a, b\} $, que também é aberto em $ \tau_1 $.

Conclui-se que a função $f$ é contínua na topologia mais grosseira $ \tau_1 $.

Como todo conjunto aberto de $ \tau_1 $ também é aberto em $ \tau_2 $, segue-se que $f$ é igualmente contínua na topologia mais fina $ \tau_2 $.

A recíproca, porém, não vale em geral : uma função pode ser contínua em uma topologia mais fina e deixar de ser contínua em uma topologia mais grosseira, devido ao menor número de conjuntos abertos disponíveis nesta última.

Exemplo 2

Consideremos novamente o conjunto $X = \{a, b\}$, munido das mesmas topologias:

Topologia mais grosseira : $ \tau_1 = \{\varnothing, \{a, b\}\} $
Topologia mais fina : $ \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} $

Definimos agora uma função $g : X \to Y$, com $Y = \{1, 2\}$, por:

$$ g(a) = 1 \quad ; \quad g(b) = 2 $$

A função $g$ é contínua na topologia mais fina $ \tau_2 $, pois todas as imagens inversas dos conjuntos abertos de $Y$ são abertas nessa topologia:

$ g^{-1}(\varnothing) = \varnothing $, aberto em $ \tau_2 $.
$ g^{-1}(\{1,2\}) = \{a,b\} $, aberto em $ \tau_2 $.
$ g^{-1}(\{1\}) = \{a\} $, aberto em $ \tau_2 $.
$ g^{-1}(\{2\}) = \{b\} $, aberto em $ \tau_2 $.

Por outro lado, a função $g$ não é contínua na topologia mais grosseira $ \tau_1 $, pois algumas imagens inversas não são abertas nessa topologia:

$ g^{-1}(\varnothing) = \varnothing $, aberto em $ \tau_1 $.
$ g^{-1}(\{1,2\}) = \{a,b\} $, aberto em $ \tau_1 $.
$ g^{-1}(\{1\}) = \{a\} $, que não é aberto em $ \tau_1 $.

Conclui-se, portanto, que $g$ é contínua em $ \tau_2 $, mas não em $ \tau_1 $.

Conexidade e continuidade: duas noções fundamentais da topologia

Na topologia geral, a conexidade e a continuidade são conceitos centrais. Ambos descrevem como os pontos de um espaço topológico se relacionam, mas atuam em planos diferentes: a conexidade diz respeito à estrutura interna do espaço, enquanto a continuidade se refere ao comportamento das aplicações entre espaços.

Compreender claramente essa distinção é essencial para entender a lógica dos espaços topológicos e a forma como eles podem ser transformados.

Conexidade: uma propriedade intrínseca do espaço
Um espaço topológico $ X $ é dito conexo quando não é possível decomponê-lo em dois conjuntos abertos não vazios, disjuntos, cuja união seja todo o espaço. De modo equivalente, $ X $ é conexo se não pode ser escrito como a união de dois subconjuntos disjuntos que sejam simultaneamente abertos e fechados (clopens). Intuitivamente, um espaço conexo não pode ser “quebrado” em partes independentes sem destruir a sua estrutura topológica. A conexidade é, portanto, uma propriedade estrutural do próprio espaço, independente de qualquer função definida sobre ele.
Continuidade: uma propriedade das aplicações
A continuidade refere-se a uma aplicação $ f : X \to Y $ entre dois espaços topológicos. Diz-se que $ f $ é contínua se, para todo conjunto aberto $ V \subseteq Y $, a imagem inversa $ f^{-1}(V) $ é um conjunto aberto de $ X $. Em termos intuitivos, uma aplicação contínua respeita a estrutura topológica do domínio, não introduzindo rupturas ou descontinuidades na correspondência entre os pontos. Por exemplo, a função $ f(x) = x^2 $ é contínua de $ \mathbb{R} $ em $ \mathbb{R} $ na topologia usual, mas esse fato, por si só, não fornece informação sobre a conexidade do espaço $ \mathbb{R} $.

Embora existam teoremas que relacionam conexidade e continuidade, essas noções pertencem a níveis conceituais distintos. Uma caracteriza o espaço em si, a outra caracteriza o comportamento de uma função entre espaços.

Um resultado clássico ilustra bem essa relação: se $ X $ é conexo e $ f : X \to Y $ é contínua, então a imagem $ f(X) $ é um subconjunto conexo de $ Y $. Em outras palavras, a continuidade preserva a conexidade.

Em síntese, a conexidade descreve a estrutura global de um espaço topológico, enquanto a continuidade expressa a regularidade das aplicações que atuam sobre essa estrutura. Juntas, essas duas noções constituem pilares fundamentais da topologia moderna e da análise de transformações contínuas.

Observações

Alguns complementos importantes relacionados à continuidade em topologia:

Uma função contínua não é necessariamente aberta
Em geral, uma função contínua não envia conjuntos abertos em conjuntos abertos. Assim, continuidade não implica que a imagem de um aberto seja, ela própria, um conjunto aberto.
Lema da colagem
Se duas funções contínuas $ f : A \to Y $ e $ g : B \to Y $ coincidem em $ A \cap B $, é possível definir uma função contínua $ h : A \cup B \to Y $ que estende simultaneamente $f$ e $g$.
Continuidade da aplicação de inclusão
A aplicação de inclusão $ f : Y \to X $, definida por $ f(y) = y $, é sempre contínua quando $Y$ é considerado como um subespaço topológico de $X$.
Continuidade na topologia quociente
Se $ f : X \to A $ é sobrejetiva, pode-se dotar $A$ da topologia quociente de modo que $f$ seja contínua.
Teorema sobre a aderência
Se $ x \in \overline{A} $ em $X$ e $f$ é contínua, então $ f(x) \in \overline{f(A)} $ em $Y$.
Definição por conjuntos abertos
Uma função $ f $ é contínua se, e somente se, a imagem inversa de todo conjunto aberto de $Y$ é um conjunto aberto em $X$.
Definição por conjuntos fechados
De forma equivalente, $ f : X \to Y $ é contínua se a imagem inversa de todo conjunto fechado de $Y$ é um conjunto fechado em $X$.
Composição de funções contínuas
A composição $ g \circ f $ de duas funções contínuas é também contínua.
Continuidade e sequências convergentes
Se $ f : X \to Y $ é contínua, então a imagem de qualquer sequência convergente em $X$ converge para a imagem do seu limite em $Y$.
Funções polinomiais
Em $ \mathbb{R} $, munido da topologia usual, toda função polinomial $ p(x) = a_n x^n + \dots + a_0 $ é contínua.

E muitas outras propriedades ainda podem ser exploradas a partir desses conceitos fundamentais.