1 Victor Guerassimov Aula 2: Espa

cos topol
ogicos e aplica
c~
oes cont
nuas. 2018.1.12

Estrutura topologica. Vemos que a estrutura num conjunto M respons

avel para con-
tinuidade e mais fraca que a estrutura metrica. Essa estrutura e determinada pelo conjunto
A=AbM ={subconjuntos abertos de M }. Durante os primeiros 20 anos do seculo 20 durou a
busca de axiomas adequadas de estrutura topologica. Vou apresentar o resultado.
Vamos observar algumas propriedades simples de AbM .
Para um espaco metrico (X, ρ) o conjunto Ab(X, ρ) tem as seguintes propriedades.
1. A uni~ao de qualquer colec~ao de abertos e aberto (em particular ∅ e aberto).
2. Intersec~ao de dois abertos e aberto (portanto interseca~o de qualquer colec~ao nita de abertos
e aberto).
3. O mesmo conjunto M e aberto.
Para um conjunto qualquer M denotamos SubM {os subconjuntos de M }.
Denic~ao. Uma estrutura topologica (sin^onimo: `topologia') num conjunto M e uma colec~ao
U⊂SubM tal que
1. S⊂U⇒∪S∈U ;
2. O, P ∈U⇒O∩P ∈U ;
3. M ∈U .
{Segundo a convens~ao comum a uni~ao da coleca~o vazia de conjuntos e o conjunto vazio; e a inteseca~o
da coleca~o vazia e o conjunto maior possvel no contexto corrente. Com essas convens~oes a denica~o
de topologia se simplica: isso e qualquer coleca~o O⊂SubM fechado com respeito de interseca~o nita
e uni~ao qualquer}
A partir de agora a palavra `topologia' tera dois sentidos diferentes:
1. uma area de matematica que estuda o fenomeno de continuidade;
2. uma estrutura num conjunto responsavel pela continuidade.
Espaco topologico. Um conjunto M munido de uma estrutura topologica O e chamado de
espa ogico. Os elementos de O s~
co topol ao os conjuntos abertos do espaco. Os elementos de M
s~ao os pontos de M {na aula precedente consideramos funco~es contnuas num intervalo xado como
\pontos" de alguns espacos metricos}
Quando uma letra (por exemplo `T ') denota um espaco topologico ent~ao por AbT denotemos
o conjunto {os conjuntos abertos de T }. Este conjunto deve ser uma topologia. Por T tambem
denotam o conjunto {os pontos de T } exceito de situac~oes raras quando tal dualidade pode
causar confus~ao.
f
Uma aplicac~ao M → N entre dois espacos toplogicos e chamada contnua, se para qualquer
U ∈AbN tem-se f −1 U ∈AbM .
Importante: Notamos que no caso de espacos metricos temos mais um conceito atual de
f
aplicac~ao uniformemente contnua. Isso e uma aplicac~ao X → Y entre espacos metricos tal
que ∀ε>0∃δ>0∀p, q∈X : dist(p, q)<δ⇒dist(f (p), f (q))<ε.
Na aula precedente discutimos que existem func~oes contnuas em todo ponto que n~ao s~ao
uniformemente contnuas. Ao contario de continuidade, a continuidade uniforma n~ ao pode ser
expressada em termos de topologia. Para trabalhar com este conceito precisamos de mais um
conceito de `espaco uniforme' que sera considerado no futuro neste curso.
Comparac~ao de topologias. Seja M conjunto. Denotamos
 2 Victor Guerassimov Aula 2: Espa
cos topol
ogicos e aplica
c~
oes cont
nuas. 2018.1.12

SubM {os subconjuntos de M }. Uma colec~ao τ ⊂SubM e chamada topologia em M se

(1) S⊂τ ⇒∪S∈τ ;
(2) A, B∈τ A∩B∈τ ;
(3) M ∈τ .
Uma topologia τ em M e mais forte que uma outra topologia λ se τ ⊃λ (dizemos tambem
neste caso que λ e mais fraca que τ ).
A topologia mas forte que qualquer uma outra e a topologia τ =SubM . Tal topologia e
chamado topologia discreta em M . Na topologia discreta quqlquer conjunto⊂M e aberto.
E a topologia mais fraca e a topologia grosseira {∅, M }{sin^onimos: `topologia trivial', `topologia
antidiscreta'}. Na topologia grosseira apenas dois conjuntos s~ao abertos: o conjunto vazio (como
uin~ao da colec~ao vazia) e o conjunto M (como intersc~ao da colec~ao vazia).
Qualquer metrica d num conjunto M determina a topologia metrica τd segundo a de-
nic~ao de conjunto aberto num espaco metico. Temos exemplos quando duas metricas difer-
entes determinam mesma topologia (topologia determinada em Rn por qualquer uma metricas
dist∞ , dist2 , dist1 ). Uma topologia τ e metris
avel se existe uma m
etrica d em M tal que τ =τd .
Nem toda topologia e metrisavel. Por exemplo, a topologia grosseira em M n~ao e metrisavel
se M tem pelo menos dois elementos distintos.
No incio de desenvolvimento de topologia um problema importante foi o seguinte: carac-
terizar na linguagem de topologia as topologias metrisaveis. Este problema se tornou bastante
difcil e foi resolvido completamente nos anos cinquenta do seculo 20. No momento atual este
problema e menos importante.
A aplicac~ao identidade (M, τ ) → (M, λ) e contnua se e somente se τ ⊃λ{nessas notas a
aplicaca~o identidade e denotado por ιM ou simplesmente por `ι'}
Topologia gerada por conjunto. O conjunto TM {topologias em M } e parcialmente
ordenado. A intersec~ao ∩τi de qualquer famlia de topologias e uma topologia.
Portanto para qualquer conjunto S⊂SubM a intersec~ao de todas as topologias τ tais que
τ ⊃S e a menor topologia em M que contem S . Dizemos que essa topologia e gerada por S .
Tambem diz-se que S e uma sub-base de τ se τ e gerada por S .
Para gerar a topologia gerada por S deve-se inicialmente formar o conjunto S ∩ {as in-
tersec~oes nitas de elementos de S} e depois formar o maior conjunto (S ∩ )∪∞ {as uni~oes das
colec~oes arbitrarias de elementos de S ∩ }.
Exerccio: verique que (S ∩ )∪∞ e uma topologia{basta vericar que este conjunto e fechado com
respeito de interseca~o}
Um exemplo: Seja M =R e S{I−∞,r : r∈Q}∪{Ir,+∞ : r∈Q}. Vericaremos que a topologia
metrica de R e gerada por S . Usamos somente numeros racionais pois as topologias geradas
por conjuntos enumeraveis t^em algumas propriedades importantes que n~ao s~ao satisfeitas para
topologias quaisquer.
Calcularemos inicialmente S ∩ . Uma colec~ao nita qualquer dos elementos de S tem forma
C =C− ∪C+ onde C− ={R<a1 , R<a2 , . . . , R<an }, C+ ={R>b1 , R>b2 , . . . , R>bm }. Portanto
∩C =(∩C− )∩(∩C+ ). Cada um dos conjuntos C− , C+ s~ao cadeias (entre quaisquer dois conjuntos
um esta contido no outro) portanto ∩C− =R<a onde amin{a1 , . . . , an }. Analogamente,
 3 Victor Guerassimov Aula 2: Espa
cos topol
ogicos e aplica
c~
oes cont
nuas. 2018.1.12

∩C+ =R>b onde bmax{b1 , . . . , bm }. Temos portanto que ∩C =R<a ∩R>b . Essa intersec~ao e
vazia quando a6b. Se b<a temos C =Ib,a o intevalalo aberto com extremidades racionais.
Temos calculado que S ∩ ={∅}∩S∪{os intevalalos abertos com extremidades racionais}.
Vamos calcular (S ∩ )∪∞ . Este conjunto contem todo intervalo aberto Ia,b . Com efeito,
existe uma sequ^encia decrescente {an : n∈ω}{o smbolo `ω ' signica nestas notas o conjun-
to N={0, 1, 2, . . . }={os numeros naturais}} de n
umeros racionais tal que a=inf {an : n ∈ ω}.
Analogamente existe uma sequ^encia crescente {bn : n∈ω}⊂Q tal que b=sup{bn : n∈ω}. Temos
ent~ao Ia,b =∪{Ian ,bn : n∈ω}.
Agora lembramos que todo conjunto aberto no sentido de dist^ancia dist(x, y )=|x−y| e uni~ao
de intervalos abertos Ia−ε,a+ε (a∈R, ε∈R>0 ). Temos provado que a topologia metrica de R e
gerada pelo conjunto S .
Usaremos este fato no futuro para vericar que o intevalo fechado e compacto.
Bases de topologia. Um conjunto B e uma base de topologia τ se τ =B∪∞ . Isto signica:
qualquer conjunto O∈τ pode ser expressado como uni~ao de conjuntos em B. Exemplo: O
conjunto {N1/n p : p∈M, n∈Z>0 } e uma base para topologia metrica.
Para qualquer conjunto S⊂SubM o conjunto S ∩ e uma base da topologia regada por S .
Soma de topologias. Se σ, τ ∈TM ent~ao por σ+τ denotamos a topologiaP gerada por σ∪τ .
Analogamente para qualquer famlia τi de topologias a soma e a topologia i τi gerada por
∪i τi .
Imagem inversa e direta de topologia. Sejam M, N conjuntos e M → f
N uma apli-
−1
cac~ao. Para topologia τ ∈TN o conjunto f τ {f A : A∈τ } e uma topologia (verique). Essa
∗

topologia e chamada pre-imagem ou imagem inversa da topologia τ em N .

Para topologia σ∈TM o conjunto f∗ σ{A∈N : f −1 A∈σ} e uma topologa em N (verique).
Essa topologia e chamada imagem direta da topologia σ .
Outra terminologia: a topologia f∗ σ e chamada de resultado de transfer^encia da topologia
σ pra frente ao longo de f . E a topologia f ∗ τ e chamada de resultado de transfer^encia da
topologia τ pra traz ao longo de f .
f
 Sejam M, N conjuntos, σ∈TM , τ ∈TN . As seguintes propriedades de aplica
c~ao M →N
s~
ao equivalentes:

a : σ⊃f ∗ τ ;
b : f∗ σ⊃τ ;
c : f e aplicac~ao cont
nua de espa
cos topol
ogicos (M, σ ) → (N, τ ).
≪exerccio≫
Casos particulares:
ιM
1. Seja M subconjunto de N e M → N aplicac~
ao de inclus~ao. Se τ ∈TN ent~ao a topologia
(ιM ) τ e chamada topologia de subespaco. Um conjunto A⊂M e aberto com respeito dessa
∗

topologia se e somente se existe um conjunto B∈τ tal que A=M ∩B .

2. Seja θ uma relac~ao de equival^encia num conjunto M e sejam N M/θ, M → M/θ a
π

\projec~ao" isto e a aplicac~ao que associa a um ponto p∈M a classe [p] da equival^encia θ que
contem p. Para topologia σ∈TM a topologia π∗ σ e chamada de topologia quociente. Um
conjunto B⊂N e aberto nessa topologia se e somente se π −1 B∈σ .