Elementos de Topologia3

Elementos de Topologia para Sistemas Dinmicos
Fernando Lucatelli Nunes
Braslia - DF
Sumrio
Prefcio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
0 Conjuntos e Relaes
0.1 Conjuntos 0.1.1 0.1.2 0.2 0.3 0.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Noes bsicas Funes
5
5 5 6 6 8 9 9 11 12
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Relao de Ordem
Relaes de Equivalncia . . . . . . . . . . . . . . . . . . . . . Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . 0.4.1 0.4.2 0.4.3 Teorema de Cantor-Schroeder-Bernstein Conjunto das partes . . . . . . . .
. . . . . . . . . . . . . . . . . . .
Conjuntos Enumerveis . . . . . . . . . . . . . . . . . .
1 Topologia
1.1 1.2 1.3 Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Linguagem Bsica da Topologia . . . . . . . . . . . . . . . . . Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
15 20 25
2 Conexidade e Compacidade
2.1 2.2 Espaos Hausdor Espaos Conexos 2.2.1 2.2.2 2.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
33 36 41 43 45 48 50
Espaos conexos por caminhos . . . . . . . . . . . . . . Componentes conexas . . . . . . . . . . . . . . . . . .
Espaos Compactos . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 2.3.2 Rigidez Hausdor-Compacto . . . . . . . . . . . . . . . Caracterizao de espaos compactos . . . . . . . . . .
SUMRIO
3 Topologias Produto e Quociente

3.1 Topologia Produto 3.1.1 3.1.2 3.2 . . . . . . . . . . . . . . . . . . . . . . . . Produto Finito de Espaos . . . . . . . . . . . . . . . . Topologia Produto . . . . . . . . . . . . . . . . . . . .
53
53 53 57 63
Topologia Quociente
. . . . . . . . . . . . . . . . . . . . . . .
4 Espaos Mtricos
4.1 A Topologia da Mtrica 4.1.1 4.1.2 4.1.3 4.2 4.3 4.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos Limitados Espaos Vetoriais Normados . . . . . . . . . . . . . . . Mtrica da convergncia uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
68 71 74 78 78 82 83 86 90 94
Funes Contnuas
Convergncia Uniforme . . . . . . . . . . . . . . . . . . . . . . Espaos Mtricos Completos . . . . . . . . . . . . . . . . . . . 4.4.1 Espaos topologicamente completos . . . . . . . . . . .
4.5 4.6
Espaos Mtricos Compactos . . . . . . . . . . . . . . . . . . . Semicontinuidade Inferior e Superior . . . . . . . . . . . . . .
5 Grupos Topolgicos
5.1 Teoria Bsica dos Grupos 5.1.1 5.1.2 5.1.3 5.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Homomorsmo de grupos Teorema de Lagrange . . . . . . . . . . . . . . . . . . . Grupo Quociente
95
95 96 98
. . . . . . . . . . . . . . . . . . . . . 100
Grupos Topolgicos . . . . . . . . . . . . . . . . . . . . . . . . 104 5.2.1 5.2.2 5.2.3 5.2.4 Sistema de vizinhanas do elemento neutro . . . . . . . 106 Axiomas de Separao . . . . . . . . . . . . . . . . . . 108 . . . . . . . . . . . . 109
Subgrupos de grupos topolgicos
Grupos topolgicos quocientes . . . . . . . . . . . . . . 112
SUMRIO
Prefcio
O principal objetivo deste texto cobrir os pr-requisitos necessrios para a leitura da referncia [6]. como sendo um par Nessa referncia, um sistema dinmico denido
grupo topolgico agindo em
(X, G), onde X um espao mtrico compacto e G um G. A topologia e a anlise necessrias para
entender essa terminologia sero apresentadas neste texto. O captulo 0 ser dedicado teoria dos conjuntos. Os captulos 1, 2 e 3 so dedicados topologia geral. Neles, so tratados os assuntos sucientes para entender (e ter uma viso mais ampla) sobre a estrutura dos espaos de fase dos sistemas dinmicos. O captulo 4 complementa o trabalho de-
senvolvido nos captulos anteriores falando sobre espaos mtricos (principal importncia para a referncia [6] ). Finalmente, no captulo 5, h uma reviso de aspectos elementares de teoria bsica dos grupos seguido de uma introduo a grupos topolgicos (com denies e resultados mais pertinentes). A primeira verso deste texto foi parte do meu trabalho de Iniciao Cientca pela UnB, intitulada Introduo Dinmica Topolgica e Aplicaes Teoria dos Nmeros, no perodo de Agosto/2009 - Agosto/2010. Essa Iniciao Cientca recebeu apoio do CNPq e foi orientada pelo professor Mauro Moraes Alves Patro. Para mais detalhes sobre a iniciao, o relatrio a referncia [7], disponibilizada na pgina do grupo de Teoria de Lie e Aplicaes, cujo endereo http://teoriadelie.wordpress.com/
SUMRIO
Captulo 0 Conjuntos e Relaes

0.1 Conjuntos
0.1.1
Um
Noes bsicas
uma coleo de objetos e pode ser denotado ou pela lista
conjunto
explcita de seus objetos (quando possvel), ou por uma uma regra que determine quais so seus membros. Um conjunto
conjunto vazio o conjunto que no possui nenhum elemento e denotado

por
A um subconjunto de B , se todo elemento de A pertencer, tambm, a B . Se A subconjunto de B , denota-se A B . Dois conjuntos, A e B , so iguais, se A B e B A. O .
Dados dois conjuntos
A B = {x A : x B}. Se A B , o complementar do conjunto A relativo ao conjunto B o conjunto AC = B A dos elementos que pertencem a B , mas no pertencem a A. A
e
B,
dene-se
Quando no h ambigidade sobre qual o conjunto universo (qual o C conjunto B ), dizemos apenas complementar de A e denotamos A , para nos referir a Sejam
B A. A e B dois
conjuntos, a
unio
A,
de
o conjunto
B ea a coleo dos elementos que pertencem a A e a B simultnemente. O produto cartesiano de A e B o conjunto A B dos pares (a, b) tais que a A e b B . Analogamente, pode-se denir o produto cartesiano de uma
de todos elementos que pertencem ou a
ou a
AB interseo A B
coleo nita ou innita de conjuntos.
CAPTULO 0.
CONJUNTOS E RELAES
0.1.2
Sejam
Funes
A
e
conjuntos. Uma relao de
em
um subconjunto
do
A B.
(a, b) R, diz-se que a se relaciona com b. Uma funo de A em B uma relao F de A em B tal que (a, b), (a, c) F = b = c, quando F uma funo e (a, b) F , denota-se F (a) = b. Uma funo f de A em B denotada por f : A B . A chamado o domnio e B chamado o contradomnio de f . O conjunto Im(f ) = {f (x) : x A} B a imagem de f . Se Im(f ) = B , a funo f chamada sobrejetiva. Se f (x) = f (y) implicar x = y , f dita injetiva. Caso uma funo seja injetiva
Quando e sobrejetiva, ela dita bijetiva.
f : A B uma funo. Se X B , a imagem inversa de X 1 o conjunto f (X) = {x A : f (x) X}. Se x B , note que o conjunto f 1 (x) = {y A : f (y) = x} pode ser vazio, unitrio ou um conjunto com mais de um elemento. Caso f seja injetiva, a ltima possibilidade excluda e, por sua vez, caso f seja sobrejetiva a primeira possibilidade excluda. 1 Portanto, se f bijetiva, necessariamente f (x) = {y A : f (y) = x} 1 unitrio e, nesse caso, ento, podemos denir a funo inversa de f , f : B A.
Seja
0.2 Relao de Ordem

Nesta seo, apresentaremos algumas denies bsicas sobre ordem num conjunto
A.
Primeiramente, dene-se o que ordem como segue:
Denio 0.1 (Ordem)

A
1. 2. 3. Se
Uma ordem num conjunto
uma relao
Ro
de
nele mesmo que satisfaz as seguintes propriedades:
a A, (a, a) Ro (a, b) Ro (a, b) Ro

e e
(propriedade reexiva) (anti-simetria) (transitividade)
(b, a) Ro = a = b
(b, c) Ro = (a, c) Ro
Ro uma relao de ordem, (a, b) Ro denotado por a b e diz-se que a menor ou igual a b. Uma ordem num conjunto X dita total, se a, b X , ou a b, ou b a. Caso isso no ocorra, a ordem dita ordem
parcial.
0.2.
RELAO DE ORDEM
Quando um conjunto
est munido de uma ordem parcial, ele deno-
minado parcialmente ordenado, e ele denominado totalmente ordenado se estiver munido de uma ordem total.
B A, ento a ordem parcial de A induz uma ordem em B fazendo, para a, b B , a b se, e somente se, a b em A. Se um subconjunto B de um conjunto A parcialmente ordenado totalmente ordenado, ele chamado de cadeia em A.
Seja
um conjunto parcialmente ordenado. Se
Denio 0.2 (Cotas, sup e inf)
A um conjunto parcialmente ordenado. Caso B A, um elemento a A cota superior de B , se b a, b B . Analogamente, um elemento a A cota superior de B , se a b, b B . Se existir um nmero s A, tal que s cota superior de B A e: a A cota superior de B = s a; esse nmero s A chamado o supremo do conjunto B , e denota-se s = sup B . Analogamente, se existir um nmero I A, tal que I cota inferior de B A e: a A cota inferior de B = a I ; esse nmero I A chamado o nmo do conjunto B , e denota-se I = inf B .
Seja
Observao:
Note que nem todo subconjunto
no-vazio de
A possui cota
superior ou cota inferior. Nem todo conjunto
B A,
que possua uma cota superior, possui um
supremo. Analogamente nem todo conjunto
B A,
que possua uma cota
inferior, possui um nmo. Por exemplo, o subconjunto
xQ:x>
possui cota inferior em
e, no entanto, no possui nmo.
Denio 0.3 (Mximo e mnimo)
A um conjunto parcialmente ordenado e B A, o elemento m B mximo em B , se m b para todo b B {m}. O elemento m B mnimo em B , se b m para todo b B {m }.
Seja
Um axioma importante e muito famoso da teoria dos conjuntos o axioma da escolha, o qual enunciado abaixo.
Axioma 0.1 (Axioma da escolha)

tos no-vazios, ento existe uma
{Ai }iL uma famlia de conjunfuno f : L Aj tal que f (j)

Se
jL
Aj , j L.
CAPTULO 0.
CONJUNTOS E RELAES
Geralmente, fazemos uso do axioma da escolha na forma do lema de Zorn que est apresentado na forma de axioma abaixo.
Axioma 0.2 (Lema de Zorn)

em
possui uma cota superior,
A parcialmente ordenado e toda cadeia ento A possui um elemento mximo.

Se
0.3 Relaes de Equivalncia

Denio 0.4 (Relao de equivalncia)
satisfaz as trs propriedades abaixo: 1. 2. 3. Se Uma relao relao de equivalncia, quando a relao de um
Re dita ser uma conjunto A nele mesmo e
a A, (a, a) Re
(propriedade reexiva) (simetria) (transitividade)

denotado por
(a, b) Re = (b, a) Re (a, b) Re a

e
(b, c) Re = (a, c) Re b.
Re
uma relao de equivalncia, equivalente a
(a, b) Re
a b
diz-se que
Um relao satisfazendo a propriedade 1 chamada relao reexiva, satisfazendo a 2 chamada relao simtrica e satisfazendo a 3 dita relao transitiva. Um exemplo trivial de relao de equivalncia num conjunto igualdade
=.
Note que uma ordem difere-se de uma relao de equivalncia
apenas na propriedade 2 (a ordem parcial anti-simtrica, enquanto a relao de equivalncia simtrica).
uma relao de equivalncia em X , o conjunto de todos os elementos de X que so equivalentes a um dado elemento x chamado a classe de equivalncia de x. Com efeito, se x X , o conjunto x = {y X : y x} a classe de equivalncia de x. A famlia das classes de equivalncias denotado por X/ . Seja X um conjunto munido de uma relao de equivalncia. bem fcil de vericar que, se dois elementos de um conjunto X no so relacionados,
Se ento eles possuem classes de equivalncia disjuntos. E, ento, escolhendo um nico (elemento) representante para cada classe de equivalncia em
X,
particionado pelas classes de equivalncia desses representantes.
0.4.
CARDINALIDADE
Exemplo 0.4.1
f : X Y uma funo. Dene-se uma relao em X da seguinte forma: x y , se f (x) = f (y). Isso uma relao de equivaln cia. Podemos denir uma funo injetiva f : X/ Y de maneira natural, x colocando f () = f (x).
Seja
0.4 Cardinalidade
Aqui, ser feita uma breve exposio sobre o tema. O objetivo apenas mostrar alguns dos pontos importantes que sero necessrios para o prosseguimento da leitura do texto. Caso o leitor identique falta de familiaridade com o assunto, ele deve consultar um livro de Teoria dos Conjuntos, como a referncia [1], ou de Anlise, como a referncia [3].
0.4.1
Teorema de Cantor-Schroeder-Bernstein
Apesar do nome, ele simples, alm de ser muito conhecido e Dois conjuntos
O primeiro importante resultado sobre o tema o teorema de Cantor-SchroederBernstein.
A e B so, por denio, de mesma cardinalidade se existe uma bijeo : A B . Quando existe essa bijeo, denota-se card(A) = card(B).
bastante usado. Antes de enunciar o teorema, ser provado um lema e uma proposio.
Lema 0.3
B
Sejam
A, B
conjuntos no-vazios. Existe uma sobrejeo
:A
se, e somente se, existe uma injeo
: B A.
Prova:
cada
Com efeito, se existe uma sobrejeo : A B , segue que, para x B , podemos escolher um nico yx A tal que (yx ) = x. Ento denimos : B A, (x) = yx . Note que isso , evidentemente, uma injeo.
dene-se
: B A injetivo, xando a B qualquer, : A B tal que: (x) = 1 (x) , se x (B); e (x) = a, se x (B). Note que evidentemente sobrejetivo.
Reciprocamente, se existe Dizemos que
cardinalidade de
card(A) card(B) (cardinalidade de A B ) se existe uma injeo : A B .
menor ou igual E, portanto, pelo
lema precedente, isso equivalente a existir uma sobrejeo
: B A.
10
CAPTULO 0.
CONJUNTOS E RELAES
Segue uma proposio que servir de apoio para a demonstrao do teorema de Cantor-Schroeder-Bernstein.
Proposio 0.4
e
Se
cardinalidade. Ou seja, se
B A e card(A) card(B), ento A e B tem a mesma B A e existe uma injeo f : A B , ento A f : A B.

Como
tem a mesma cardinalidade.

Com efeito, toma-se a injeo
Prova:
que n
B A,
todo
tem-se
f (B) f (A). E fcil de vericar por induo que, para f (B) f n (A). Dene-se K= xA:x f n (A) f n (B) .
nN{0}
E, ento, dene-se se
n N,
h:AB
e
tal que
h(x) = f (x),
se
x K;
h(x) = x,
x (A K).
Evidentemente,
h|( A K) so injetivas. Logo, para provar que h a K e b (A K), h(a) = h(b). Bom, supe-se por absurdo que, nessas condies, h(a) = h(b). Isso implica que f (a) = h(a) = h(b) = b. m m Toma-se m N tal que a (f (A) f (B)). Tem-se que f (a) = b f m+1 (A). E, como b K , tem-se que b f m+1 (B). Disse segue que existe t f m (B) tal que f (t) = b. Mas, pela injetividade de f , a = t f m (B). m m Portanto a (f (A) f (B)). Absurdo. Portanto deve-se ter que h(a) = h(b). E isso completa a prova de que h injetiva. Resta provar que h sobrejetiva. Dado q B , se q B K , basta ver t t que h(q) = q . Caso q K B , tem-se que q (f (A) f (B)) para algum t N (positivo), anal q B . Note que, ento, existe z f t1 (A) tal que f (z) = q . E, tamb, tem-se que z f t1 (B), pois o contrrio implicaria f (z) = q f t (B) e, ento, q (f t (A) f t (B)). t1 Disso segue que z (f (A) f t1 (B)) e, portanto, h(z) = f (z) = q . Isso completa a prova da sobrejetividade de h. Portanto h bijeo, donde segue que card(A) = card(B). h|K
injetiva, basta provar que, dados
O Teorema de Cantor-Schroeder-Bernstein enunciado e provado abaixo. Ele diz que, se
card(A) card(B)
card(B) card(A),
ento
card(A) =
card(B).
0.4.
CARDINALIDADE
11
Teorema 0.5 (Teorema de Cantor-Schroeder-Bernstein)

conjuntos no vazios. Se
Sejam
A, B
card(A) card(B) e card(B) card(A), segue que card(A) = card(B). Ou seja, se existem injees f : A B e g : B A, ento existe uma bijeo : A B .
Prova:
Com efeito, tomando as injees f : A B e g : B A, tem-se que f : A f (A), onde f (x) = f (x), uma bijeo entre A e f (A) B . Logo (f g) : B f (A) uma injeo. Como f (A) B , pela proposio 0.4, segue que bijeo
card(f (A)) = card(B), ou, em outras palavras, existe uma h : f (A) B . Note, ento, que = (h f ) : A B composio
de bijees e, portanto, bijeo.
Segue, como consequncia do teorema 0.5, o denominado princpio da casa dos pombos (muito usado em combinatria).
Proposio 0.6 (Princpio da casa dos pombos)

A (estritamente) f : A B.
maior que a cardinalidade de
Se a cardinalidade de
B,
ento no existe injeo
Prova:
Basta ver que se card(B) card(A) e se houvesse uma injeo f : A B , f : A f (A), seguiria que card(A) card(B). E, pelo teorema 0.5, isso implicaria que card(A) = card(B). Isso provou a proposio.
0.4.2
Seja
Conjunto das partes

um conjunto, dene-se o conjunto das partes de
como sendo o
conjunto lidade de
P (X) = {A : A X}. Ser provado P (X) estritamente maior que X .

O conjunto das partes
nesta subseo que a cardina-
Proposio 0.7 Prova:
P (X)
de um conjunto
tem cardi-
nalidade (estritamente) maior que a cardinalidade de

Com efeito, supe-se por absurdo que
X.
Ou
card(X) card(P (X)).
seja, a hiptese de absurdo de que existe
f : X P (X)
12
CAPTULO 0.
CONJUNTOS E RELAES
sobrejetiva. Toma-se o conjunto Pela hiptese de absurdo, 1 f (U ). Se
U = {x X : x f (x)}. 1 segue que f (U ) no vazio.
Toma-se
y U,
segue que
y f (y) = U .
Portanto deveramos ter que
y U.
Mas isso tambm implicaria na contradio de que y U . 1 Portanto no existe y X tal que y f (U ). Ou seja, provou que
f 1 (U ) = (isso
no sobrejetiva).
0.4.3
Conjuntos Enumerveis
X nito, se X = , ou se, para algum n N , houver uma bijeo C : {1, . . . , n} X e, nesse caso, diz-se que X possui n elementos. Quando X possui n elementos, denota-se |X| = n. Se X no nito, ele
Um conjunto
innito.
X
O conjunto nalidade de
X
Se
enumervel, se nito, ou se
possui a mesma cardi-
N.
for innito e no possuir a mesma cardinalidade de
N,
dito no-enumervel.
Exemplo 0.4.2
Pela proposio 0.7, tem-se que
P (N)
no enumervel.
Os racionais, os naturais e os inteiros so enumerveis; mas o conjunto dos reais e o conjunto dos nmeros irracionais so no-enumerveis.
Proposio 0.8
1. Se
Valem as seguintes propriedades sobre conjuntos:
um conjunto innito, ento
card(X) card(N);
2. Um subconjunto de um conjunto nito necessariamente nito; 3. Uma reunio nita de conjuntos nitos nita; 4. Um subconjunto de um conjunto enumervel necessariamente enumervel; 5. Uma reunio enumervel de conjuntos enumerveis necessariamente enumervel; 6. Um produto nito de conjuntos enumerveis enumervel.
0.4.
CARDINALIDADE
13
Observao:
se
Note que um produto enumervel de conjuntos enumerveis
no necessariamente enumervel. Um exemplo so os reais
R.
Com efeito,
a R, a
formado por uma quantidade enumervel de algarismos per-
tencentes ao conjunto injeo
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, ou seja, podemos formar uma f : R {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}N {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}N e, como N N no-enumervel, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
no-enumervel. Temos, tambm, a seguinte verso do princpio da casa dos pombos.
Corolrio 0.8.1
o
Se
um conjunto innito e
f : A B,
existe pelo menos um
tal
B nito, dada uma fun1 que f (x) um conjunto de
cardinalidade innita.
Prova:
f 1 (x)
Com efeito, se nito para todo
B nito e existe uma x B , seguiria que f 1 (x)

xB
funo
f :AB
tal que
uma reunio nita de conjuntos nitos. E, portanto,
seria nito.
14
CAPTULO 0.
CONJUNTOS E RELAES
Captulo 1 Topologia
Esse captulo introduz os conceitos bsicos de topologia geral. Ele comea denindo espao topolgico e, depois, segue que a lingugem bsica de topologia. Para trabalhar esses conceitos, consulte, por exemplo, as referncias [5] e [2].
1.1 Topologias
Munir um conjunto
de uma topologia, equivale a mun-lo de uma estru-
tura de abertos. Essa estrtura deve satisfazer algumas condies que, por exemplo, possibilita a noo de proximidade e, principalmente, possibilita denir continuidade de funes. Segue a denio clara.
Denio 1.1 (Topologia)

mlia 1.
Uma topologia em um conjunto tal que:
uma fa-
de subconjuntos de
, X
pertence a
2. A unio dos conjuntos de qualquer subfamlia de
. .
3. A interseo dos conjuntos de toda subfamlia nita de
pertence a
chamado o espao da topologia
. U . diz-se que X
Um
espao topolgico um par (X, ) de um conjunto e uma topologia

Um subconjunto
especca nesse conjunto.
de
aberto, se
Quando no h ambigidade com relao topologia adotada,
15
16
CAPTULO 1.
TOPOLOGIA
um espao topolgico (em vez de abertos.
(X, )).
Pela denio, sempre
so
est
Quando nos referimos ao espao topolgico munido da topologia
(X, ),
dizemos que
Exemplo 1.1.1 (Topologia trivial e a topologia discreta)

conjunto qualquer. Uma apenas dos conjuntos Outro exemplo a
topologia trivial em X
X .Ou
seja, quando
Seja
um
a topologia que consiste Essa topologia onde se to-
= {X, }.
tambm chamada de topologia catica. mam todas as partes de
topologia discreta em um conjunto X ,

X
como conjuntos abertos.
Exemplo 1.1.2 Exemplo 1.1.3

em
Dado
so exemplos de duas Seja
X = {a, b, c}. Ento {X, , {a}} e {X, , {a} , {a, b} , {a, c}} topologias em X . X
um conjunto. Consegue-se denir uma topologia
consistindo de todos os subconjuntos
U,
tal que
X U U X,
nito ou o tal que
todo. Tambm uma topologia em
a coleo de todos
X U
enumervel ou o
todo. e
Denio 1.2
que
Sejam
duas topologias em
, se
Nesse caso, tambm se diz que
X.
Diz-se que
mais na
mais grosseira que
Tambm usada a terminologia (mais intuitiva)
menor que
quando
.
Tomando um conjunto qualquer em
X,
fcil notar que a topologia discreta
mais na que qualquer outra topologia nesse conjunto. Da mesma
forma, tem-se que a topologia trivial a mais grosseira de todas.
Denio 1.3 (Vizinhana)

junto
Seja
(X, )
um espao topolgico. Um con-
U X
uma vizinhana de um ponto
x X,
se
contm algum
aberto que contenha
x. AX
aberto, se e somente se
Lema 1.1
A
Seja
um espao topolgico.
vizinhana de cada um de seus pontos.
1.1.
TOPOLOGIAS
17
Prova:
A
Se
Evidente que, se
aberto, dado
x A,
por
A A,
tem-se que
vizinhana de
x.
existe
AX
, por hiptese, vizinhana de cada um dos seus pontos, segue
que, para cada
x A,
x A A=
aberto. Portanto
x
xA
uma unio de abertos e, portanto, aberto. O que completa a demonstrao da recproca do lema.
Veremos agora que, dada uma topologia
num conjunto
X,
podemos
ger-la apartir de certos abertos dessa topologia, no sentido que ser esclarecido no lema 1.2. O fato desses abertos gerarem a topologia faz com que a famlia desses abertos receba o nome de base da topologia. Reduzir uma topologia sua base nos ser importante, pois nos facilitar provar propriedades da topologia (como, por exemplo, a continuidade de uma funo) .
Denio 1.4 (Base)

logia
Seja
(X, )
um espao topolgico. A base da topo-
uma famlia B B e, para cada x X tal que x U .
de abertos, chamados elementos bsicos, tal que, e cada vizinhana
de
x,
existe um aberto
Lema 1.2
.
Sejam
(X, ) um
espao topolgico e
uma base para a topologia
Tem-se que
a famlia das unies dos elementos de
B. ,
logo
Prova:
Com efeito, os elementos de
so, tambm, elementos de
a unio dos elementos de qualquer subfamlia de mostra que
pertencem a
O que
B =
que tal
= B : = . Caso = , tem-se = {} evidentemente. Se no-vazio, basta, t , tomar t B que t e t t . Ento evidente que
Resta provar que
t =
t
O que completou a demonstrao.
1 Ver lema 1.12
18
CAPTULO 1.
TOPOLOGIA
Exemplo 1.4.1
somente.
Para todo conjunto
X,
uma base para a topologia discreta
a famlia de todos os conjuntos unitrios pertencentes topologia a nica base possvel para a topologia trivial a famlia que possui
. E X e
Lema 1.3
juntos de 1. 2. 3.
Seja
um conjunto.
Para que
topologia em
necessrio e suciente que
B B
seja uma base para alguma seja uma famlia de subcon-
X,
tal que
x X, x B : x x ; 1 , 2 B , B.
Seja
se
x 1 2 ,
ento
3 B : x 3 1 2 ;
Prova:
a base de alguma topologia em
Tem-se que, dado pela denio. Dados
xX
se
e a vizinhana
X,
existe
X. x
tal que
x x X ;
1 , 2 B ,
x 1 2 , 3 B
segue que
1 2
um aberto (por
ser interseo de abertos) e, portanto, denio, segue que existe Evidente que
B. B
O que
1 2 uma vizinhana de x. Pela x 3 1 2 . completa a prova de que, se B a base de

tal que
uma topologia qualquer, Agora, supomos que
satisfaz as condies do lema.
satisfaz as condies acima. Vamos provar que
uma base de alguma topologia. Toma-se a famlia de cada subfamlia de Com efeito,
das unies dos elementos
B. X.
Basta ver que a unio de todos
uma topologia de
os elementos de qualquer subfamlia pertence ocorre que
evidentemente. Tambm
, X ,
pois
a unio de todos os elementos de
unio dos elementos da subfamlia Dada uma interseo nita existe
{} B .
de elementos em
B (e x ),
segue que
tal que
Dada uma interseo nita
x .
de elementos de
T,
essa interseo vai ser
x , x pertence a uma dessas intersees e, portanto, existe x B tal que x . Portanto x = , o que completa a prova de que uma topologia.
uma reunio de intersees nitas de
B.
Logo, para cada
x
2 Basta fazer induo sobre a condio 2 para vericar.
1.1.
TOPOLOGIAS
19
x X em relao topologia , basta tomar um aberto K que contenha x contido em U e, ento, teremos que esse aberto uma reunio de conjuntos em B . Logo existe x B tal que x x K U . O que completa a prova de que B
Agora fcil notar que, dada uma vizinhana
de
base da topologia formada pelas unies dos elementos das suas subfamlias.
Para todo conjunto
X,
uma base para a topologia discreta
dada pela famlia de todos os conjuntos unitrios. Pelo ltimo lema, a famlia de todos os intervalos
(a, b)
uma base de uma topologia em da reta (ou padro da reta).
R.
Tal topologia chamada topologia usual
Da mesma forma, o conjunto de interiores de todos retngulos num plano 2 cartesiano uma base para uma topologia 2 em R . Outra base para a mesma topologia o conjunto dos interiores de todos os crculos no plano. 2 A topologia 2 chamada topologia usual de R . De forma anloga, o conjunto de todos interiores das esferas uma base 3 3 para uma topologia 3 em R . Tal topologia a topologia usual de R . De n forma geral, R possui uma topologia anloga, como ser explicado no captulo 4.
F uma famlia qualquer de subconjuntos de X . Existe uma menor topologia que contm F . Basta tomar a famlia B de todas intersees nitas de F . B a base da menor topologia que contm F . F diz-se subbase da topologia gerada por B .
Seja
Denio 1.5 (Subbase)
Exemplo 1.5.1 (Topologia produto)

os topolgicos. Ento a famlia
Sejam
(X, X )
(Y, Y ) Y}
dois espa-
B = {U V : U
aberto em
aberto em
a base para a topologia produto de
U V.
Exemplo 1.5.2
Seja
bespao topolgico
(X, ) um espao topolgico. Se Y X , ento o suY de (X, ) Y munido da topologia Y denida por: Y = {Y U : U }
20
CAPTULO 1.
TOPOLOGIA
Diz-se que
(Y, Y ) Y
subespao topolgico de
(X, X ).
Podemos omitir,
dizendo o subespao topolgico que adotamos em
de
(X, )
deixando, assim, subentendido
a topologia acima denida.
Teorema 1.4
ento, que
Sejam
um espao topolgico e
Y X
um aberto. Temos,
AY
aberto no subespao
se, e somente se,
aberto em
X.
Prova:
Com efeito, seja
A Y.
Se
Y . Reciprocamente, se aberto K X tal que A = K Y . temos que K Y = A um aberto

aberto em
A AY
Mas, em
X , ento A Y = A aberto em Y , ento existe um como K aberto (e Y tambm),

aberto em por ser uma interseo nita de
abertos. Isso completa a demonstrao da recproca do teorema.
1.2 Linguagem Bsica da Topologia

Segue alguns conceitos e terminologias bsicas de topologia geral.
Denio 1.6 (Ponto isolado)

ponto isolado em
Seja
um espao topolgico.
xX
um
X,
se
{x}
um aberto em
X.
Ou,
Por exemplo, todos os pontos de um espao discreto so isolados. com a topologia usual, o conjunto
{1/n : n N} {0}
tal que
o nico ponto no isolado.
Denio 1.7 (Conjunto fechado)

polgico
Um subconjunto aberto.
de um espao to-
fechado, se
AC = X A
Exemplo 1.7.1
R(quando
(nem aberto) em
O intervalo fechado
[a, b] R
um conjunto fechado em
munido da topologia usual). Basta ver que
[a, b]
o complemento
da unio dos abertos
(, a) (b, +).
Mas o conjunto
no fechado
R. X
um espao topolgico, sobre os conjuntos fechados de
Lema 1.5
Seja
pode-se armar que:
1.2.
LINGUAGEM BSICA DA TOPOLOGIA
21
1. A unio nita de conjuntos fechados um conjunto fechado; 2. A interseo dos elementos de qualquer famlia de conjuntos fechados um conjunto fechado.
Prova:
Dados
F1 , F2 , . . . , Fn X
n n
fechados, o complementar
Ai
de
Fi
aberto evidentemente, tem-se, ento, que:
Fi =
i=1 n
ou seja,
(Ai ) = (
i=1 i=1
Ai )C
Fi
i=1
o complementar de uma interseo nita de abertos (que,
evidentemente, um aberto), logo
Fi
i=1
um fechado. O que completa a
demonstrao de 1. Dada uma famlia famlia
de fechados no espao topolgico
X,
segue que a
= {X F : F }
uma famlia de abertos. Logo
X
F
aberto. E, portanto,
F =
A
F
F
fechado.
Como a intero dos elementos de qualquer famlia de fechados (num espao topolgico
X)
um fechado, segue que, dado um conjunto
F X,
podemos tomar o menor fechado que contm
F.
Esse menor fechado , na
verdade, a interseo de todos os fechados que contm chamada de fecho de
F.
Essa interseo
em
X. A X, X.
podemos tomar
De forma anloga, a unio dos elementos de uma famlia qualquer de abertos (de um espao
X)
um aberto. Logo, dado
o maior aberto contido em em
X,
ou seja, a unio de todos os abertos contidos
X.
Essa reunio chamada de interior de
em
A denio desses conceitos seguem abaixo.
22
CAPTULO 1.
TOPOLOGIA
Denio 1.8 (Interior de um conjunto)

A
de um espao topolgico
O interior de um subconjunto
(X, )
a unio de todos os conjuntos abertos
contidos em
A.
Ou seja,
int(A) =
A,
=
A,
int(A)
ou por
O interior de um conjunto
denotado por
Ao . AX
a
Denio 1.9 (Fecho e densidade)

denotado por
O fecho de um conjunto
interseo de todos os conjuntos fechados que contm
A.
O fecho de
A.
Ou seja,
A=
A,C
A
so ditos valores de aderncia de
. Os pontos do fecho de um conjunto O conjunto
AX
diz-se
denso em B , se A = B .
Q
A.
Exemplo 1.9.1
denso em
O conjunto e de
dos racionais denso em
R.
Mas
no
R. Q Z
so vazios. Seja
Os interiores de
Lema 1.6
(X, ) um espao topolgico. Se A X , ento A = X int(X A) = (int(X A))C . Ou seja, os pontos de A so os pontos que 0 C no esto em ((X A) ) . int(X A) X A, temos que (X A)C = A X int(X A) = (int(X A))C , donde segue, por X (X A)0 ser fechado, que A X int(X A). Reciprocamente, como A A, tem-se que X A X A e, por o complementar do fecho de A ser aberto, segue que X A int(X A). Portanto X int(X A) A. O que completa C a prova de que A = X int(X A) = (int(X A)) .
Basta ver que, como
Prova:
Proposio 1.7 (Abertos e Fechados: caracterizao)

espao topolgico e 1. 2.
Sejam
(X, ) um
A X.
Segue que so verdadeiras as armaes:
AX AX
aberto, se e somente se
A = Ao . A = A.
fechado, se e somente se
1.2.
LINGUAGEM BSICA DA TOPOLOGIA
23
Prova:
A aberto fcil ver que A = Ao . Reciprocamente, se, por o hiptese, A = A, ento segue que A unio de abertos, portanto aberto. (2): Evidente que, se A fechado, A = , ou seja, A = A. Reciproca(1): Se
A
mente, se, por hiptese, e, portanto, pelo lema
A = A, tem-se que A 1.5, A fechado.
uma interseo de fechados
Denio 1.10 (Fronteira)

junto
A fronteira de um conjunto
AX
o con-
A = A A
Sejam
. um espao topolgico e
Lema 1.8
x A X A.
(X, )
um subconjunto de
X.
se, e somente se, toda vizinhana de
contm elementos de
e de
x A = A A0 , ento, evidentemente, x A0 , ou seja, 0 no existe uma vizinhana de x contida em A . Portanto a interseo de toda vizinhana de x com X A no-vazia. Por x A, segue, pelo lema 1.6, que x int(X A) e, portanto, nenhuma vizinhana est contida em (X A) tambm. Isso completa a demonstrao de que, dado x A, toda vizinhana U de x contm pontos de A e de seu complementar. Reciprocamente, se x tal que todas as suas vizinhanas tem intersees 0 no vazias tanto com A quanto com X A, ento x A e x int(X A). 0 De x int(X A), pelo lema 1.6, temos que x A e, de x A , segue que 0 x A A = A. O que completa a prova da recproca.
Se
Prova:
Observao:
Note que, se (X, ) um espao topolgico, dado A X 0 0 qualquer, tem-se que X = A A (X A) uma reunio disjunta. Para provar, basta ver que, dado ou existe uma vizinhana
x X , somente uma das armaes verdadeira: de x contida em A, ou existe uma vzinhana de
contida em
toda vzinhana de
X A, ou no ocorre nenhuma das anteriores (e, portanto, x possui intersees no-vazias tanto com X quanto com
X A).
Lema 1.9
A fronteira de um conjunto
AX
vazia, se e somente se
fechado e aberto ao mesmo tempo.
24
CAPTULO 1.
TOPOLOGIA
Prova:
A;
1.7, que
Sempre ocorre
portanto fcil
Ao A A. Se a fronteira vazia, segue que Ao = o provar que A = A = A, donde segue, pela proposio
fechado e, tambm, aberto.
o Reciprocamente, se A fechado e, tambm, aberto, ento A = A = A . o Portanto A = A A = A A = . O que completa a demonstrao da

recproca.
Exemplo 1.10.1
Em um espao topolgico
(X, ),
o conjunto
e o
so
exemplos abertos que tambm so fechados.
J em um espao topolgico
discreto, todos subconjuntos so tanto abertos quanto fechados.
Denio 1.11 (Ponto de acumulao)
A X , diz-se que x ponto de acumulao de A, se toda vizinhana U de x tem interseo com A que contenha um elemento diferente do x. Ou seja, x ponto de acumulao de A, se toda vizinhana U de x tal que a A U ; a = x. O conjunto dos pontos de acumulao de A chamado conjunto derivado de A.
Se
Lema 1.10
topolgico
Seja
o conjunto derivado de um subconjunto
de um espao
(X, ).
Segue que
A A K.
Prova:
x A = A A0 A A tal que toda vizinhana sua possui intersees no vazias com A e X A. Ento, dado x A A, segue que a interseo de toda vizinhana U de x com A no vazia e, por x A, tem-se que a A U ; a = x, ou seja, x ponto de acumulao de A (x K ). O que completa a prova da incluso A A K.
Pelo lema 1.8, segue que todo ponto
Lema 1.11 Prova:
Seja
um espao topolgico.
AX
fechado se, e somente
se, todos os pontos de acumulao de

Seja
so elementos de
A. XA
vizi-
fechado. Temos que
XA
nhana de cada um dos seus pontos ; donde segue que no existe ponto de
aberto, logo
A em X A, pois, para todo x (X A), (X A) uma vizinhana de x e tal que (X A) A = evidentemente. Logo temos que todo ponto de acumulao de A est em A.
acumulao de
3 Pelo lema 1.1.
1.3.
CONTINUIDADE
25
A contenha todos os seus pontos de acumulao, segue que os pontos de X A so tais que existe uma vizinhana tal que tal que A = , ou seja, (X A). Donde tira-se que (X A) vizinhana de todos os seus pontos, ou seja, (X A), pelo lema 1.1, aberto. Portanto A fechado.
Supondo que
1.3 Continuidade
Entre dois grupos, denido um tipo de aplicao elementar que, de certa forma, preserva a estrutura de grupo: o homomorsmo. Entre dois espaos vetoriais, so denidas as transformaes lineares. Essas aplicaes so os morsmos entre cada tipo de objetos. No caso da topologia, entre espaos topolgicos, os mormos so as aplicaes contnuas. Segue a denio mais direta de aplicao contnua, partindo da denio de topologia adotada.
Denio 1.12 (Aplicao contnua)

Uma aplicao for aberto em
Sejam X e Y espaos topolgicos. f : X Y contnua, se, V Y aberto, f 1 (V ) tambm X , ou seja, f : X Y contnua se valer:
V Y
as topologias em
aberto
= f 1 (V )
aberto em
X.
A continuidade de uma funo depende da coerncia de sua denio com
e em
Y.
Na verdade, existe uma forma local de denir
continuidade (que parece ser a mais natural). Uma funo entre dois espaos topolgicos vizinhana
f : X Y contnua num ponto x se a imagem inversa de toda de f (x) uma vizinhana de x. bem fcil a vericao de que
essa denio coerente com a precedente (ou seja, uma aplicao contnua segundo a primeira denio se, e somente se, contnua em todos os pontos do domnio). Para vericar a continuidade de uma aplicao suciente checar as imagens inversas dos elementos bsicos da topologia de no lema seguinte:
Y;
como estabelecido
Lema 1.12
Sejam
X, Y
espaos topolgicos e
contnua se, e somente se, para todo
B uma base de Y . f : X Y B , f 1 () aberto em X .
26
CAPTULO 1.
TOPOLOGIA
Prova:
base aberto.
Se, por hiptese, a
B , B
f : X Y contnua, evidente que, dada uma 1 imagem inversa f () aberta em X , por ser um f : X Y
tal que as imagens inversas dos ele-
Reciprocamente, seja mentos de uma base
da topologia de
so abertas em
X.
Dado
aberto, pelo lema 1.2, temos que
pode ser escrito da forma:
para algum
L B,
ou seja, na forma de unio de elementos
V V = de B .
L Tem-se que
f 1 (V ) = f 1
e, como
()
L
(f 1 ())
L 1
()
aberto
B ,
tem-se que a reunio acima (f
(V ))
uma reunio de abertos, portanto um aberto.
O lema seguinte simplica ainda mais a vericao da continuidade de uma aplicao.
Lema 1.13
cao aberto em
Sejam
X, Y
espaos topolgicos e
uma subbase de
f :X Y X.
contnua se, e somente se, para cada
Y . A apliU S , f 1 (U )
Prova:
De fato, se
contnua, as imagens inversas dos membros de uma
subbase de
subbase da topologia de dado Logo
necessariamente sero abertas. Reciprocamente, seja F uma Y . Se f 1 (U ) aberto para todo U F , segue que, n
A Y
pertencente base
B,
n
tem-se que
A =
i=1
Ui ,
onde
Ui F .
f 1 (A) = f 1
i=1
ou seja
Ui
=
i=1
f 1 (Ui ) ,
(A)
interseo nita de abertos e, portanto, um aberto.
Exemplo 1.12.1
dade
Seja
(X, )
um espao topolgico.
A aplicao identi-
id : X X
Basta ver que
do espao topolgico (X, ) no prprio (X, ) contnua. f 1 (A) = A, donde segue que, se A aberto, ento f 1 (A) =
aberto.
1.3.
CONTINUIDADE
27
Tambm, se
(X, )
um espao topolgico discreto, ento toda funo
f :
XX
contnua.
Proposio 1.14
es a respeito de 1.
X e Y f : X Y so
Sejam
espaos topolgicos. As seguintes armaequivalentes:
contnua.
2. Para todo subconjunto fechado 3. Para todo subconjunto
de
Y , f 1 (B)
fechado em
X.
de
X , f (A) f (A).
Prova: (1) = (2)

gue que 1 C
f : X Y contnua. Se B um subconjunto fechado em Y , seB C = Y B aberto; logo f 1 (B C ) aberto em X . Portanto (f (B ))C = f 1 (B) fechado em X . O que completa a demonstrao de (1) = (2).
Seja
(2) = (1)
Reciprocamente, seja f : X Y tal que, para todo subconjunto fechado B de Y , f 1 (B) fechado em X . Se A um subconjunto aberto em Y , C 1 segue que A = Y A fechado; logo f (AC ) fechado em X . Portanto 1 C C 1 (f (A )) = f (A) aberto em X . O que completa a prova de que f contnua.
(2) = (3) 1 Se f : X Y tal que, para todo subconjunto fechado B de Y , f (B) 1 fechado em X ; ento, dado A X , f (f (A)) fechado. Evidente que A f 1 (f (A)), donde segue, por f 1 (f (A)) ser fechado, que A f 1 (f (A)). Ou seja, f (A) f (A). O que completa a demonstrao dessa parte do teorema.
(3) = (2) Seja f : X Y tal que, para todo subconjunto A de X , f (A) f (A). 1 Seja B Y fechado, faz-se A = F (B). A incluso A A bvia, basta, ento, provar que A A. Dado x A, segue que f (x) f (A) f (A) = B = B , ou seja, x f 1 (B) = A. O que completa a prova da incluso A A
28
CAPTULO 1.
TOPOLOGIA
e, portanto, da igualdade
A = A,
ou seja, de que
fechado.
Os prximos teoremas do formas de se contruir funes contnuas.
teorema 1.15 trata de funes de espaos topolgicos em espaos topolgicos. J o teorema 1.16 lida com o caso restrito de funes com contra-domnios nos reais.
Teorema 1.15
Sejam
X ,Y
espaos topolgicos, ento vale: contnua; contnua;
1. A funo constante
f :XY
2. A funo identidade 3. Se
id : X X
f :X Y eg :Y Z X Z contnua; AX A
um subespao de
so contnuas, ento a composta
gf :
4. Se
X,
ento a aplicao de incluso
j:A
X
5. Se
contnua; um subespao de
e a aplicao
f :XY
contnua, ento
a restrio de
em
A,
denotada por
f |A
e denida por
f |A : A Y ,
f |A (x) = f (x),
6. As projees
tambm contnua; e
p1 : X Y X , p1 (x, y) = x,
dado por
p2 : X Y Y ,
ento
p2 (x, y) = y
7. Se
so contnuas;
f : X Y Z
f (a) = (f1 (a), f2 (a)),
se, e somente se, tambm so contnuas as aplicaes
f contnua f1 : X Y e
f2 : X Z .
Prova:
f (x) = k , x X . Dado A Y aberto, tem-se que, ou k A, 1 ou k A. Se k A, f (A) = X aberto. Caso k A, f 1 (A) = abero. 1 Portanto, independente da escolha do aberto A Y , f (A) aberto, id est, f contnua.
(1): Seja
1.3.
CONTINUIDADE
29
(2): Seja ento
id : X X a funo 1 evidente que id (A) = A
identidade. Se aberto em
AX
aberto em
X,
X.
Portanto
id
contnua.
1 (3): Dado A Z aberto, segue que g (A) 1 1 se que f (g (A)) X aberto, ou seja, f 1
aberto.
Y aberto. Logo tem(g 1 (A)) = (g f )1 (A)
j : A X , j(x) = id(x). Tem-se que, dado um aberto K X , j (K) = id (K)A = K A. Como A subespao de X (e, portanto, tem a topologia induzida), os abertos de A so justamente as intersees B A, 4 sendo B um aberto de X . Id est, K A aberto em A, o que completa a demonstrao de que j contnua.
(4): Seja
(5): Seja
tem-se, pelo (3), que
j : A X . De fato, f |A = (f j) f |A = (f j) contnua.
e, como
so contnua,
(6): Utilizando a topologia denida em 1.5.1,dado um aberto A X , 1 evidente que pi (A) = A Y . Como A aberto e Y tambm, segue que p1 (A) = A Y tambm aberto. O que completa a prova de que pi i contnua. A prova de que
pj
contnua anloga.
(7): Seja Como
f : X Y Z
contnua e seja
pi : Y Z Y
a funo projeo.
f e pi so contnuas, segue que tambm contnua a aplicao (pi f ) = f1 : X Y . Da mesma forma, seja a projeo pj : Y Z Z . Como pj e f so contnuas, segue que contnua a funo (pj f ) = f1 : X Z . O
que completou a demonstrao de um sentido da armao.
f1 : X Y e f2 : X Z contnuas. Temos que, dado A B Y Z aberto, como A Y e B Z so abertos, 1 1 1 segue que f1 (A) e f2 (B) so abertos em X e, portanto, f (A B) = 1 1 f1 (A) f1 (B) uma interseo nita de abertos, ou seja, um aberto em
Reciprocamente, sejam
4 Conforme foi denido no exemplo 1.5.2
30
CAPTULO 1.
TOPOLOGIA
X.
O que completa a demonstrao.
Teorema 1.16
Sejam
tnuas. Segue que f ento g tambm contnua.
X um espao topolgico e f, g : X R funes conf + g , f g e f g so contnuas, e, se g(x) = 0, x X ,
Prova:
Note que a adio A : R R R contnua. Dene-se h : X R R, h(x) = (f (x), g(x)), que , pelo teorema precedente, contnnua. Logo f + g = (A h) contnua. As demonstraes para as outras funes so anlogas.
Agora, deniremos um tipo de aplicao que o principal tipo estudado na topologia: O homeomorsmo. Se existe um homeomorsmo de um espao
num espao
Y , eles so ditos homeomorfos e, do ponto de vista topolgico,

5
.
eles so, de certa forma, indistinguveis
Denio 1.13 (Homeomorsmo)

f : X Y
chamada de
Sejam
uma bijeo tal que ambas funes
homeomorsmo,
U
aberto em
espaos topolgicos e 1 e f so contnuas. f
morfos. Ou, equivalentemente,
X e Y so f : X Y um
e
espaos topolgicos homeohomeomorsmo, se:
X f (U )
aberto em
Y.
A relao de homeomorsmo entre espaos uma relao de equivalncia. Com efeito, fcil ver que fcil ver que, se
sempre homeomorfo a ele mesmo. Tambm
homeomorfo a
B, B
homeomorfo a
(pela denio).
E, fazendo composio dos homeomorsmos, conseguimos chegar transiti-
J : A B) e B homeomorfo a C (existe homeomorsmo T : B C ); ento A homeomorfo a C (pois T J : A C homeomorsmo).

vidade: se
homeomorfo a
(existe homeomorsmo
Lema 1.17
Y.
Todos intervalos abertos da reta so homeomorfos entre si.
5 Todas as propriedades oriundas da estrutura da topologia de

Essas propriedades so chamadas propriedades topolgicas.
so preservadas em
1.3.
CONTINUIDADE
31
com a < b, homeba o raio do intervalo e omorfo ao intervalo (1, 1). Chamemos R = 2 a+b c = 2 o centro dele. Basta, ento, ver que a hometetia mR (x) = R x e, tambm, a translao t(bR) (x) = x + (b R) so homeomorsmos. Basta provar que qualquer intervalo
Prova:
(a, b),
(t(bR) mR ) : R R um homeomorsmo e que (t(bR) mR ) ((1, 1)) = (a, b). Logo (t(bR) mR ) : (1, 1) (a, b) um homeomorsmo, ou seja, (1, 1) homeomorfo a (a, b).
fcil, ento, ver que
Proposio 1.18 Prova:
Todo intervalo aberto da reta homeomorfo reta toda.
Como, pelo lema acima, todos os intervalos abertos so homeomor-
fos entre si, basta provar que a reta homeomorfa a um dessses intervalos. x Com efeito, basta vercar que f : (1, 1) R, f (x) = um homeomor1+|x| smo (Verique!). Donde segue que
(1, 1) homeomorfo reta e, portanto,
todo intervalo homeomorfo reta (por homeomorsmo ser uma relao de equivalncia).
Sejam
(X, X )
(Y, Y )
espaos topolgicos. Um homeomorsmo
f :XY
induz uma bijeo entre os abertos do espao seguinte forma:
e os abertos de
da
H : X X , H(U ) = f (U ).Portanto
toda propriedade
que depende apenas dos abertos do espao (ou seja, que depende apenas da topologia dele) preservada pelos homeomorsmos. Tais propriedades so chamadas
propriedades topolgicas de X .
6
No prximo captulo,
ser trabalhado com algumas propriedades topo-
lgicas. So elas: conexidade e compacidade. Esse captulo ser encerrado com um importante resultado sobre funes contnuas.
Teorema 1.19
segue que
Sejam
X, Y
espaos topolgicos. Se
f :XY
contnua,
homeomorfo ao grco
G(f ) = {(x, f (x)) : x X}

de
f.
6 No captulo 2.
32
CAPTULO 1.
TOPOLOGIA
Prova:
Com efeito, basta vericar que
H : X G(f ) x (x, f (x))
um homeomorsmo. De fato, fcil vericar que uma bijeo. A continuidade bvia (da denio de topologia produto). E a inversa a projeo (portanto contnua).
Captulo 2 Conexidade e Compacidade

As propriedades invariantes por homeomorsmo so chamadas propriedades topolgicas. Nste captulo, estudaremos trs tipos de propriedades topolgicas: conexidade, compacidade e
T2 .
2.1 Espaos Hausdor

Intuitivamente, pensamos nos conjuntos nitos como conjuntos fechados, assim como ocorre em
R.
No entanto, fcil denir uma topologia sem essa ento
propriedade. Por exemplo, se fechado, j que seu
X = {a, b, c} e = {, X, {b}}, complemento {a, b} no aberto. T1 .
{b}
no
Para o espao topolgico satisfazer essa intuio geomtrica, costuma-se acrescentar uma hiptese extra, chamada condio Aqui, falaremos sobre
uma condio um pouco mais forte, denominada, condio de Hausdor .
Denio 2.1 (Espao Hausdor)

de Hausdor, se, para todo par nhanas abertas
A reta,
de
de
Um espao topolgico X um espao x, y X de pontos distintos, existem viziy , tais que U V = .

Veremos,
Rn
e todos subespaos desses espao so Hausdor.
futuramente, por exemplo, que todos espaos mtricos so Hausdor.
Teorema 2.1 Prova:

em Seja
Todo subespao de um espao Hausdor Hausdor.
um espao Hausdor. Se
A,
existem abertos
Ua
Ub
tais que
A X , tem-se que, dados a = b a Ua , b Ub e Ua Ub = .
33
34
CAPTULO 2.
CONEXIDADE E COMPACIDADE
Evidente, ento, que
(Ua A) (Ub A) = .
E, como
so, respectivamente, vizinhanas abertas de demonstrao.
(Ua A) e (Ub A) b em A; isso completa a
A proposio abaixo mostra que todo subconjunto nito de um espao Hausdor , de fato, um fechado no espao todo.
Proposio 2.2
A
fechado.
Seja
um espao de Hausdor. Se
AX
nito, ento
Prova:
Considere o conjunto unitrio
existem vizinhanas abertas particular,
x Uy .
Toma-se
Uy de K=
{x} X . Para todo y = x em X , y e Vy de x, tal que Uy Vy = . Em Uy . K uma reunio de abertos, logo {x}
fechado.
y=x
um aberto. Como
X K = {x},
segue que
Como todo conjunto nito uma reunio nita de conjuntos unitrios, segue que os conjuntos nitos so fechados.
Sejam
x X
de
ponto de
acumulao
A X um subconjunto. Um ponto de A se toda vizinhana de x possui
innitos pontos de
A. Na reta, um ponto de acumulao se, e somente se, -acumulao. Segue, abaixo, a prova de que isso vale para qualquer
espao Hausdor.
Teorema 2.3
x
Sejam
um espao de Hausdor e
A X.
Segue que
xX
um ponto de acumulao de contm innitos pontos de

Seja
A A.
se, e somente se, toda vizinhana aberta de
X um espao de Hausdor e A X . Se x ponto de acumulao de A, supe-se, por absurdo, que uma vizinhana aberta U de x contm nitos pontos de A {x}. Seja {x1 , x2 , . . . , xn } o conjunto de todos esses pontos. Pela proposio anterior, {x1 , x2 , . . . , xn } fechado e, C ento, {x1 , x2 , . . . , xn } = X {x1 , x2 , . . . , xn } aberto. Segue que U {x1 , x2 , . . . , xn } = U (X {x1 , x2 , . . . , xn }) uma interseo de dois abertos (e contm x), ou seja, um aberto e, por conter x, uma vizinhana aberta de x. Essa vizinhana aberta no contm nenhum ponto de A {x}, o que contraria a hiptese de que x ponto de acumulao.
Prova:
2.1.
ESPAOS HAUSDORFF
35
Evidente que a recproca verdadeira: se toda vizinhana de um ponto
x X contm de A {x}.
innitos pontos de
A,
toda vizinhana conter algum ponto
A condio Hausdor uma propriedade topolgica: a vericao desse fato imediata. Abaixo, ser provada uma caracterizao de espaos Hausdor. Depois, para encerrar a seo, sero provados teoremas importantes sobre aplicaes contnuas com contradomnio Hausdor.
X um espao topolgico. O subconjunto = {(x, y) X X : x = y} denominado diagonal de X X . Observe que o espao X X munido
Seja
da topologia produto, denida no exemplo 1.5.1. Mais detalhes sobre a topologia produto sero encontrados no captulo 3.
Teorema 2.4
X X
O espao
fechada dem
X Hausdor X X. X
se, e somente se, a diagonal
de
Prova:
(x, y) (X X ), segue que x = y . Logo existem abertos U, V tais que U V = e x U, y V . Note, ento, que U V (X X ) uma vizinhana aberta de (x, y) em X X . Isso completa a prova de que (X X ) fechado em X X . Reciprocamente, se fechado em X X , segue que, dados x, y X distintos, (x, y) (X X ). Como (x, y) (X X ) aberto em X X , pela base da topologia produto, segue que existem abertos U, V X tais que (x, y) U V (X X ). Portanto U, V X so abertos tais que x U , y V e U V = .
Com efeito, se Hausdor, dado
f, g : X Y aplicaes contnuas. Chamamos de ncleo diferena de (f, g), denotado por Ker(f, g), o subespao Ker(f, g) = {x X : f (x) = g(x)} de X . Os teoremas abaixo sero
Sejam
X, Y
espaos topolgicos e
principalmente importantes para a prxima seo.
Teorema 2.5
contnuas. Se em
Sejam
X, Y
espaos topolgicos e
Hausdor, segue que o Kernel diferena de
f, g : X Y aplicaes (f, g) fechado
X.
36
CAPTULO 2.
Prova:
Dene-se a aplicao
h: X Y Y x
Temos que temos que
(f (x), g(x))
contnua. Seja
fechado em
Note que, pela
a diagonal de Y Y . Se Y Hausdor, Y Y. 1 continuidade de h, h () = Ker(f, g) fechado.
Como corolrio do teorema precedente, segue um resultado que ser usado na seo sobre conexidade.
Corolrio 2.5.1
dor e
Sejam
X, Y
espaos topolgicos e contnuas tais
f =g
(ou seja,
f, g : A Y so aplicaes Ker(f, g) = A).

Com efeito,
A X . Se Y Hausque A Ker(f, g), ento
Prova:
Ker(f, g)
fechado em
X.
Logo, se
A Ker(f, g),
A Ker(f, g).
2.2 Espaos Conexos

A conexidade uma forma de generalizar a idia que temos de componentes 2 de um subconjunto de R . Um conjunto formado por dois crculos disjuntos certamente no homeomorfo a um subconjunto contendo apenas um crculo. Veremos que, com conexidade, podemos entender situaes anlogas
em contextos mais gerais.
Denio 2.2 (Espao conexo)

decomposio
Uma ciso do espao topolgico X uma X = U V com U e V abertos tais que U V = . Qualquer espao topolgico X admite a ciso trivial X = X . Quando X adimite uma ciso no trivial X = U V , X denominado desconexo. Por outro lado, quando X admite somente a ciso trivial, ele chamado de conexo. Um subconjunto Z X conexo, quando o subespao Z conexo (com a topologia de subespao induzida).
2.2.
ESPAOS CONEXOS
37
facil ver que
conexo se, e somente se, os nicos conjuntos que so
abertos e fechados em
so o
e o
Portanto a denio de conexidade
depende apenas dos abertos e fechados em implica que, se a
X , ou seja, da topologia de X .
Isso
conexo, ento tambm conexo todo espao homeomorfo
X,
o que signica que conexidade um propriedade topolgica. O fato de
conexidade ser uma propriedade topolgica vai ser conrmado no teorema 2.7. Sejam
X, Y
espaos topolgicos, denotamos por
o conjunto das aplicaes contnuas
X Y.
Seja
Hom(X, Y ) ou C(X, Y ) D o espao topolgico
discreto de dois elementos. Verique que todos espaos topolgicos discretos de dois elementos so homeomorfos entre si: em particular, so homeomorfos ao espao discreto
{1, 2}.
importante notar que
Hausdor.
Trabalharemos com uma caracterizao dos espaos conexos que depende da cardinalidade do conjunto de aplicaes contnuas denidas no espao e com contradomnio em
D.
Teorema 2.6
pontos.
Sejam
conexo se, e somente,
C(X, D)
tem cardinalidade
conexo se, e somente se, toda aplicao
D um espao discreto de dois 2. Ou seja, contnua X D aplicao
constante.
Prova:
lidade
Note que, se
espao topolgico, de fato,
se, e somente se, todas aplicaes contnuas
C(X, D) tem cardinaX D so aplicaes
constante. Denotemos
D = {1, 2}. D.
Seja
aplicao contnua, segue que um aberto-fechado de
X um espao conexo. Se f : X D uma f (1) um aberto-fechado, visto que {1}

1
Pela observao sobre espaos conexos, segue que, ou 1 f (1) = X . Nos dois casos, teremos que f constante. Reciprocamente, se
f 1 (1)
vazio, ou
X um espao desconexo, temos que X = A B para algum par A, B X de abertos-fechados disjuntos. Dene-se a funo h : X D, com h(x) = 1, se x A, e h(y) = 2, se y B . Note que h
contnua e no-constante.
Portanto poderamos ter denido espao conexo usando essa caracterizao. E, portanto, poderamos dizer que, por denio, um espao
conexo, se satisfaz
38
CAPTULO 2.
f : X {1, 2}
contnua
= f
constante.
Faremos muito uso dessa caracterizao, pois ela torna algumas demonstraes bem mais diretas.
Denio 2.3 (Desconexidade total)

subconjunto
Seja
um espao topolgico. Um
AX
denominado conexo, se o subespao topolgico
for
conexo. fcil ver que todo conjunto unitrio conexo. Um espao topolgico chamado totalmente desconexo, se os nicos subconjuntos conexos de
forem os conjuntos unitrios. Sejam
Teorema 2.7
X e Y espaos topolgicos. Se f : X Y uma aplicao contnua e A um subconjunto conexo de X , ento f (A) conexo. Conseqentemente, se g : X Y for um homeomorsmo, ento: A conexo f (A) conexo.
Prova:
Sejam
X, Y
espaos topolgicos,
A X
conexo e
f : X Y
contnua. Considera-se a aplicao
g : A f (A) x f (x). D o espao discreto de dois pontos. Provemos que toda aplicao contnua f (A) D constante. Se k : f (A) D contnua, segue que (k g) : A D contnua. Mas, pela conexidade de A, segue que (k g) constante. Como g sobrejetiva, isso implica que k constante.
Observe que contnua. Seja
Corolrio 2.7.1 Prova:

Y
Se
conexo, todo espao homeomorfo a
conexo.
conseqncia imediata do teorema precedente.
Com efeito, se donde,
homeomorfo a
X,
ento existe um homeomorsmo
f : X Y,
segue, pelo teorema precedente, que
f (X) = Y
conexo.
Segue do corolrio precedente que, se tivermos, teramos que eles no so homeomorfos. Seguem alguns exemplos de espaos conexos, desconexos ou totalmente desconexos.
2.2.
ESPAOS CONEXOS
39

um irracional ciso no
Evidente que o espao topolgico discreto
totalmente
desconexo. Em contraste, o espao topolgico trivial conexo. O espao dos racionais totalmente desconexo. Com efeito, Logo
qualquer subconjunto no unitrio
r (a, b). trivial de F .
F Q tal que, dados a < b F , existe F = (F (, r)) (F (r, +)) uma
Exemplo 2.3.3 (Reais)

absurdo, supe-se que tomar
O conjunto dos reais
conexo. Com efeito, por
R = AB
uma ciso no-trivial de
R.
Logo, podemos
b B e supor, sem perda de generalidade, que a < b. Temos que o conjunto S = {x A : x < b} no-vazio (pois ao menos a S ) e possui uma cota superior (o b); logo possui um sup. Tomemos s = sup(S), donde temos que, ou s A, ou s B . Se s B , temos que, por B ser aberto, existe > 0 tal que (s , s + ) B , id est, teramos s 2 B , entretanto, pela denio de sup, temos que existe t > s 2 em S , o que signica que existe t (s , s + ) B tal que t A. Mas, como A e B so disjuntos, isso um absurdo. Supondo, agora, que s A, analogamente, teramos que existe > 0 tal que (s , s + ) A, ou seja, s < 2 A. Logo s b < 2 , pois o contrrio implicaria em s < 2 S (o que um absurdo). Id est, b (s , s + ) A. Absurdo, pois A e B so disjuntos. Portanto no h ciso no-trivial de R, i.e., R conexo. E, como foi
e visto, todo intervalo aberto homeomorfo reta, donde infere-se que todo intervalo aberto conexo.
Caminharemos rumo ao teorema que fala que um subconjunto de
aA
conexo se, e somente se, um intervalo. Com esse forte teorema, poderemos provar posteriormente o teorema da anlise real conhecido por teorema do valor intermedirio. Comearemos provando a proposio 2.8.
Proposio 2.8
e
Sejam
A B A,
ento
X um espao topolgico e A, B X . Se A conexo B tambm conexo. Em particular, o fecho de um
conjunto conexo
conexo.
Prova:
que
pontos. Se
D = {1, 2} o espao topolgico discreto de dois k : B D uma aplicao contnua, dene-se f = k|A . Temos f : A D contnua.
Com efeito, seja
40
CAPTULO 2.
A, f constante. Dado a A, f constante igual a f (a). Dene-se F : B D com F (x) = f (a) para todo x B . Note que o fecho de A em B B e, tambm, F, k : A D so aplicaes contnuas tais que F |A = k|A (ou seja, A Ker(F, k)). Portanto, pelo corolrio 2.5.1, F = k . Ou seja, k constante.
Pela conexidade de Com a proposio precedente, temos a ferramenta necessria para demonstrar a proposio que nos diz que os nicos subconjuntos conexos de so intervalos.
Proposio 2.9
intervalo.
Um subconjunto
de
conexo se, e somente se, um
Prova:
Se
um intervalo aberto, temos que ele conexo.
Se
um intervalo qualquer, basta ver que os intervalos fechados so fecho de um intervalo aberto (que conexo). E, tambm, basta ver que os intervalos
semi-fechados satisfazem a hiptese da proposio 2.8, logo so conexos.
X R conexo. Toma-se a, b X , supondo, sem perda de generalia < b, dado c R tal que a < c < b. Se, por absurdo, c X , ento X = ((, c) X)((c, +) X) um ciso de X , onde os dois abertos so no-vazios, pois ao menos a ((, c) X) e ao menos b ((c, +) X), ou seja, uma ciso no-trivial de X . Absurdo, pois X conexo. Portanto deve-se ter que c tal que a < c < b, c X ; o que completa a demonstrao de que X um intervalo.
Seja dade,
Teorema 2.10 Prova:
Seja
um espao topolgico conexo e
f : M R
uma
funo real contnua. Segue que
f (M )
um intervalo.
Pelo teorema 2.7, temos que
f (M )
conexo e, portanto, pela pro-
posio precedente,
f (M )
um intervalo.
De fato, a recproca do teorema precedente verdadeira. espao topolgico contnua
Ou seja, um
conexo se, e somente se, a imagem de toda aplicao
X R
um intervalo.
aplicao contnua no constante
Y f : X D,
De fato, se
desconexo, existe uma onde
D = {1, 2}.
Logo
i f : X R, imagem {1, 2}.
onde
i:D R
incluso, uma aplicao contnua com
2.2.
ESPAOS CONEXOS
41
Como consequncia de alguns resultados provados, segue imediatamente o Teorema do Valor Intermedirio.
Corolrio 2.10.1 (Teorema do Valor Intermedirio)

R
contnua, com
Seja
a < b.
Se
f (a) < d < f (b),
segue que existe
f : [a, b] c (a, b) tal
que
f (c) = d.
De fato, pelo teorema anterior, temos que o que
Prova:
logo,
d (f (a), f (b)), d f ([a, b]); f (c) = d.
f ([a, b]) um intervalo; signica que c (a, b) tal que
2.2.1
Espaos conexos por caminhos
Alm da conexidade como foi denida, outra idia de conexidade a de um conjunto no qual se pode passar de um ponto qualquer a outro por um movimento contnuo. Isso o que motiva o conceito de conexidade por ca-
minhos, conceito mais particular e provido de mais signicado intuitivo do

que o conceito geral de espao conexo. Agora, enunciaremos e demonstraremos dois resultados sobre conexidade que prepararo o terreno para denir conexidade por caminhos. Esse conceito no ser muito explorado aqui:
deniremos e demonstraremos alguns poucos resultados.
Teorema 2.11
.
Seja
{Xi }iL uma famlia de conjuntos conexos tal que

jL
Xj =
Tem-se que a reunio
C=
iL
Xi
um conjunto conexo.
Prova:
Toma-se
a
jL
Xj = . f :
jL
Seja
D = {1, 2}
um espao topolgico
discreto de dois pontos. Se constante.
Xj D
contnua, provaremos que
t L, f |Xt : Xt D contnua. Logo, pela conexidade de Xt , temos que f constante igual a f (a). Portanto isso provou que, para todo j L, f (x) = f (a) para todo x Xj . Ou seja, f constante igual a f (a).
Dado
42
CAPTULO 2.
Corolrio 2.11.1
algum conexo
A m de que um espao topolgico
cessrio e suciente que dois pontos quaisquer
M seja conexo, nea, b M estejam contidos em
Xab M .
Prova:
Se
algum conexo
M tal que dois pontos quaisquer a, b M esto contidos em Xab M , xando um a M , fazemos M = Xab e, pelo
bM
teorema precedente, segue que Reciprocamente, se basta tomar o conexo
conexo.
M conexo, temos que, dados dois pontos a, b M , Xab = M , que, evidentemente, tal que a, b Xab . O
que completa a demonstrao do teorema.
Segue a denio de conexidade por caminos.
Denio 2.4 (Conexidade por caminhos)

polgico
Um caminho num espao toOs pontos
uma aplicao contnua
b = (1)
so os extremos do caminho
: [0, 1] M . . Diz-se, neste X
a = (0)
caso, que o caminho
liga o ponto
ao ponto
em
X.
Um espao topolgico
chama-se conexo
por caminhos quando dois pontos quaisquer de caminho contido em
podem ser ligados por um
X.
No entanto, bem fcil
Evidente que todo subconjunto conexo da reta conexa por caminhos. O mesmo no ocorre em contextos mais gerais.
provar que a conexidade por caminhos implica em conexidade. Segue, ento, o enunciado desse resultado (e sua demonstrao).
Proposio 2.12
X
conexo.
Se o espao topolgico
conexo por caminhos, ento
a, b X , temos ab : [0, 1] R contnua, logo, por [0, 1] ser conexo, a imagem Xab = ab ([0, 1]) conexa. Donde, pelo corolrio 2.11.1, tem-se que X conexo.
Basta ver que, dados Para encerrar a seo, provaremos alguns resultados que mostram que conexidade por caminhos uma propriedade topolgica, ou seja, invariante por homeomorsmos.
Prova:
Teorema 2.13
f :M N
caminhos.
Seja
um espao topolgico conexo por caminhos e seja
uma funo contnua. Tem-se, ento, que
f (M )
conexo por
2.2.
ESPAOS CONEXOS
43
f (a), f (b) f (M ), toma-se o caminho ab : [0, 1] M . Segue que a composio (f ab ) : [0, 1] f (M ) uma composio de funes
Dados contnuas e, portanto, contnua, ou seja um caminho. Os extremos desse caminho so
Prova:
f (a) e f (b) evidentemente.
O que completou a demonstrao.
Seja
f :M N
um homeomorsmo. Tem-se que
conexo por caminhos se, e somente se,

Basta ver que, se
conexo por caminhos.
conexo por caminhos, pelo teorema anterior A recproca bvia, pois camos no f 1 : N M .
f (M ) = N
conexo por caminhos.
mesmo caso considerando a funo inversa
2.2.2
Componentes conexas
O conceito de componentes conexas formaliza a idia de espao formado por
X , se A X conexo, podemos tomar a unio de todos os conexos que contm A: essa unio o maior conexo que contm o subconjunto A: chamado de componente conexa que contm A.
mais de um pedao. Quando temos um espao topolgico
Denio 2.5 (Componente conexa)

subconjunto
Seja
um espao topolgico. Um
CX
chamado de componente conexa se ele conexo maxi-
mal, ou seja, nenhum conjunto que o contenha propriamente conexo.

As componentes conexas so sempre fechadas no espao.
Teorema 2.14 Prova:
Toda componente de um espao
conexa fechada em
X.
Basta saber que fecho de conexo conexo.
Logo o fecho de uma
componente conexa seria um conexo que contm a componente conexa. Portanto o fecho da componente igual componente.
Teorema 2.15
do espao
Seja
um espao topolgico com um nmero nito de com-
ponentes conexas. Segue que cada componente conexa um aberto-fechado
X.
44
CAPTULO 2.
Prova:
Como as componentes conexas so fechadas, supondo que o n-
mero de componentes conexas nito, o complementar de uma componente conexa uma reunio nita de fechados: portanto o complementar seria fechado. Logo a componente donexa aberta.
importante destacar que o teorema 2.15 vale apenas no caso de um nmero nito de componentes conexas. Existem vrios exemplos de espaos com um nmero innito de componentes conexas, em que as componentes no so abertas: o conjunto dos racionais um exemplo (as componentes conexas dos racionais so os pontos, os quais no so abertos).
Lema 2.16
nexa de
Todo ponto de um espao
pertence a alguma componente co-
X.
Dado
Prova:
x X , basta tomar a unio de todos os subconjuntos conexos

Pelo teorema 2.11, essa unio seria conexa e note que seria,
que contm
x.
de fato, maximal (pois qualquer conexo que contivesse essa unio, seria um conexo da unio).
Teorema 2.17
todo.
As componentes conexas formam uma partio do espao,
ou seja, so duas-a-duas disjuntas e a unio das componentes o espao
Prova:
Com efeito, se duas componentes conexas distintas tivessem interse-
o no vazia, a unio dessas componentes conexas seria, pelo teorema 2.11, conexa. Teramos um conexo contendo propriamente a componente conexa: absurdo. Por outro lado, pelo lema 2.16, todo ponto do espao est na reunio de todas componentes conexas.
De forma anloga, denimos componentes conexas por caminhos. demos denir uma relao de equivalncia num espao topolgico
PoDois
X.
pontos so equivalentes caso exista um caminho (contnuo) que ligue esses dois pontos. As classes de equivalncia dessa relao so chamadas componentes conexas por caminhos. Outra denio equivalente segue abaixo.
Denio 2.6
X
Seja
um espao topolgico. Chamamos um conjunto
de componente conexa por caminhos, caso
seja conexo por caminhos
2.3.
ESPAOS COMPACTOS
45
maximal, ou seja, nenhum conjunto conexo por caminhos contm amente.
propri-
Componentes conexas por caminhos nem sempre so fechadas, mas, como as componentes conexas, elas formam uma partio do espao. Isso ca
evidenciado pelo fato de serem classes de equivalncia da relao denida anteriormente.
2.3 Espaos Compactos

Uma das propriedades topolgicas que so mais fortemente utilizadas em Dinmica Topolgica a compacidade. O conceito de compacidade , realmente, bem frutfero. A condio de compacidade diz que, de certa forma, o espao topolgico possui poucos abertos.
Denio 2.7 (Espao compacto)

espao topolgico contm
Uma famlia
de subconjuntos de um
cobre
X,
se a unio de todos os elementos da famlia
X.
Essa famlia chamada de uma cobertura aberta de
X,
quando
seus elementos so todos conjuntos abertos. O espao
compacto, se toda cobertura aberta de
contiver uma
subfamlia nita que cobre
X,
ou seja, se toda cobertura aberta de
contiver
uma subcobertura nita. Um subconjunto
KX
compacto, se o subespao
compacto. Um conjunto
perfeito, se ele compacto e no contm nenhum ponto
isolado.
Claramente, todo conjunto nito compacto, pois a quantidade de subconjuntos abertos necessariamente nita e, portanto, toda cobertura aberta nita. Em geral, difcil determinar se um conjunto compacto ou no. Antes de dar algun exemplos de conjuntos compacto e no-compactos, o teorema 2.18, que nos mostra que compacidade uma propriedade topolgica, ser estabelecido.
Teorema 2.18
topolgica.
Seja
f :XY
contnua. Se
compacto, ento
f (X)
compacto. Conseqentemente, se se, e somente se,
so homeomorfos,
compacto
compacto. Ou seja, compacidade uma propriedade
46
CAPTULO 2.
Prova:
X compacto. Toma-se uma cobertura aberta qualquer de f (X), = {Ai }iL . Segue, ento, que = {f 1 (Ai )}iL uma cobertura aberta de X e, como X compacto, segue que existe uma subcobertura nita. 1 Seja = {f (A1 ), f 1 (A2 ), f 1 (A3 ), . . . , f 1 (An )}, ento
Seja contnua, sendo
f : X Y
f f 1 (Ai ) = f
i{1,...,n} i{1,...,n}
ou seja,
f 1 (Ai ) = f (X),
(Ai ) = f (X),
i{1,...,n}
id est,
que
{Ai }i{1,...,n} uma f (X) compacto.
subcobertura nita. O que completa a prova de
A conseqncia bvia.
Exemplo 2.7.1
A reta
no compacta. Basta ver que a cobertura aberta
{(n, n + 5) : n Z}
no possui subcobertura nita. Como vimos no teorema
2.18, compacidade um invariante topolgico, donde segue que os intervalos abertos no so compactos (pois esses so homeomorfos a
R).

conjunto
O intervalo fechado
[0, 1] R
compacto. Conseqente-
mente, todo intervalo fechado compacto, pois todos so homeomorfos.

Dada uma cobertura aberta
= {U }L
tal que
de
C = {x [0, 1] : existe
uma subcobertura nita
[0, 1], tomamos o de [0, x)}.
0 Ao e, portanto, existe um intervalo (a, b) aberto que contm 0 contido em Ao , ou seja, isso prova que C = (pois b C ) e que 0 no cota superior de C , pois 0 < b C (pois [0, b) possui uma subcobertura nita). Temos, tambm, que 1 cota superior de C . Toma-se, ento, sup(C) = c e supe-se, por absurdo, que c (0, 1). Ou c C , ou c C . Se c C , toma-se a subcobertura nita = {Uj1 , . . . , Ujk } de [0, c). Tem-se que existe U tal que c U e, por
Evidente que existe um aberto
Ao
em
2.3.
ESPAOS COMPACTOS
47
U ser aberto, segue que existe um intervalo aberto (m, n) U tal que c (m, n). Portanto {U } = {Uj1 , . . . , Ujk , U } uma subcobertura nita de [0, n), o que contraria a hiptese de sup(C) = c. Caso c C , toma-se a subcobertura nita = {Vj1 , . . . , Vjk } de [0, c)V (tal que V um intervalo aberto que contenha c). Mas, ento, segue que {V } = {Vj1 , . . . , Vjk , V } uma subcobertura nita de [0, c), o que contraria a hiptese de que c C . O que completa a demonstrao por absurdo de que c (0, 1), logo c = 1. E tomando a subcobertura nita = {Tj1 , . . . , Tjk } de [0, 1) , basta acrescentar um aberto T 1 contido em e, ento, {T } = {Tj1 , . . . , Tjk } uma subcobertura nita de [0, 1], o que completa a prova de que, dada uma cobertura aberta de [0, 1], conseguimos obter uma subcobertura nita; ou seja, [0, 1] compacto.
Conseqentemente, todo intervalo fechado compacto, pois todos intervalos fechados so homeomorfos entre si.
Segue desse resultado que um intervalo fechado no homeomorfo a um intervalo aberto, pois o primeiro compacto e o segundo no. Antes de
entender o conceito de compacidade, essa prova poderia ter sido feita usando conexidade . Segue uma forma de caracterizar a compacidade de um subconjunto de um espao.
Teorema 2.20
X
Seja
um espao topolgico. Um subespao
de
com-
pacto se, e somente se, toda cobertura aberta de contm uma subcobertura nita cobrindo
Supe-se que
por conjuntos abertos de
Y. X = Y =
Prova:
compacto.
Logo, dada uma cobertura Ento tem-se que
{Uj }jL de Y por {Uj Y : j L}
conjuntos abertos
Uj X .
evidentemente uma cobertura aberta de
Y.
Portanto
h uma subcobertura
{Uj1 Y, . . . , Ujn Y } = Y que cobre Y , donde segue que {Uj1 , . . . , Ujn } X uma subcobertura por conjuntos abertos de X que cobre Y . Reciprocamente, se ocorre que toda cobertura aberta de Y por conjuntos abertos de X contm uma subcobertura nita cobrindo Y . Ento tem-se que,
1 Usando conexidade, poderamos, tambm, provar que um intervalo semi-fechado no
homeomorfo a um intervalo aberto.
48
CAPTULO 2.
Y por conjuntos abertos de Y , temos que podemos tomar conjuntos U X abertos tais que V = U Y . Logo X = {Uj }jL uma cobertura de Y por conjuntos abertos de X e, ento, pela hiptese, existe uma subcobertura {Uj1 , . . . , Ujn } de Y por conjuntos abertos de X , donde segue que {Vj1 , . . . , Vjn } uma subcobertura de Y por conjuntos abertos de Y . Ou seja, Y compacto.
se uma cobertura de Dado um conjunto compacto
Y = {Vj }jL
K,
falso dizer que subconjuntos de
so
compactos. fcil dar exemplos para isso: o intervalo fechado compacto, mas o intervalo aberto contido nele no . Mas veremos que todo subconjunto fechado de um compacto
compacto. Segue esse resultado.
Teorema 2.21 Prova:

X.
Seja
Todo conjunto fechado de um espao compacto compacto.
um espao topolgico compacto.
Se
Y X
fechado,
= {Ui }iL de Y por conjuntos abertos de {X Y } uma cobertura aberta de X e, portanto, h uma subcobertura nita {Uj1 , . . . , Ujn , X Y } = de X , donde segue que {Uj1 , . . . , Ujn } uma subcobertura nita de Y usando conjuntos abertos de X . Isso completa a demonstrao de que Y compacto.
toma-se uma cobertura aberta Temos, ento, que Segue dessa proposio que nenhum subconjunto fechado de um compacto homeomorfo a um espao no compacto. Por exemplo, o conjunto de Cantor, por ser fechado de um compacto, compacto: logo no homeomorfo a nenhum conjunto no-compacto (no caso da reta, isso implica que o conjunto de Cantor no homeomorfo a nenhum conjunto no-limitado).
2.3.1
Rigidez Hausdor-Compacto
Espaos Hausdor e espaos compactos tm certa relao entre suas condies impostas aos abertos. A condio Hausdor diz que, de certa forma, o espao contm muitos abertos. E, por outro lado, a condio de compaci-
dade diz que, de certa forma, o espao possui poucos abertos. Veremos que essa idia intuitiva faz sentido, quando vericarmos que, num conjunto
X,
no existe uma topologia Hausdor (estritamente) menor que uma topologia compacta. Mas, antes disso, seguem alguns importantes resultados que relacionam a topologia Hausdor com compacidade.
2.3.
ESPAOS COMPACTOS
49
Teorema 2.22
de
Seja
um espao Hausdor. Todo subconjunto compacto
fechado.
Com efeito, sejam
Prova:
Dado
um espao Hausdor e
K H
compacto.
z K , segue que, para cada x K , (de x) e Ux (de z ) disjuntas. Segue que K

de
existem vizinhanas abertas
Vx
Vx .
xK
Logo, pela compacidade
K,
tem-se que existem
x1 , . . . , x n K
tais que
Vxi .
i=1 n Portanto Uxi uma vizinhana aberta de z contida no complementar i=1 C de K . Como z foi tomado de forma arbitrria, isso provou que K aberto,
ou seja,
fechado.
Como todo fechado de um compacto compacto, segue o seguinte corolrio.

H
Seja
um espao Hausdor compacto.
K X
com-
pacto se, e somente se, fechado.

Note que esse corolrio conseqncia imediata dos dois teore-
mas precedentes (teoremas 2.22 e 2.21). De fato, dado um espao Hausdor compacto, tem-se que todo subconjunto fechado de Reciprocamente, se
compacto, pelo
teorema 2.21. Hausdor,
K H
compacto, ento, por
ser
fechado (segundo o teorema 2.22).
O que completa a de-
monstrao do corolrio.
Segue dos resultados acima, um importante resultado sobre aplicaes contnuas denidas em compactos e com contradomnio em espaos Hausdor.
Teorema 2.23
f :XY
Sejam
um espao compacto e
um espao Hausdor. Se
contnua, segue que
fechada.
dado E,
X ser compacto, compacto. Logo f (F ) Y compacto. que f (F ) Y fechado em Y .

Com efeito, por
Prova:
F X por Y ser
fechado, segue que
Hausdor, implica-se
50
CAPTULO 2.
O corolrio abaixo deixa precisa a armao de que, num conjunto
X,
no existe uma topologia Hausdor (estritamente) menor que uma topologia compacta.
Corolrio 2.23.1
dor.
Sejam
um espao compacto e
um espao de Haus-
f :XY
uma funo contnua bijetiva se, e somente se,
um
homeomorsmo (e
compacto).
Prova:
Isso conseqncia imediata do teorema precedente.
Desse ltimo corolrio, segue um interessante (e til) resultado.
Proposio 2.24
qualquer. compacto
X um espao Hausdor e Y um espao topolgico O grco G(f ) = {(x, f (x)) : x X} de uma funo f : X Y se, e somente se, f contnua e X compacto.
Sejam
Prova:
X X
Com efeito, seja
o homeomorfo a Hausdor e
X compacto. Como f G(f ). Logo G(f ) compacto.
contnua, tem-se que Reciprocamente, sejam
pX : G(f ) X uma aplicao bijetiva contnua. Como X Hausdor e G(f ) compacto, segue que pX um homeomorsmo. Disso j segue que X compacto. Se pY : G(f ) Y a projeo, segue que f = (pY (pX )1 ) : X Y uma G(f )
compacto. Tem-se que a projeo composio de aplicaes contnuas e, portanto, contnua.
2.3.2
Caracterizao de espaos compactos
Aqui, ser apresentada uma forma de se caracterizar espaos compactos. Neste texto, ela ser especialmente importante na demonstrao do teorema de Tychono. Essa caracterizao muito importante em argumentos de
envolvendo espaos compactos e, conseqntemente, ser usada em argumentos de Dinmica Topolgica (por exemplo, para provar a existncia de subsistemas minimais). Abaixo, dene-se propriedade da interseo nita para que seja enunciado o teorema 2.25, principal objetivo desta subseo.
2.3.
ESPAOS COMPACTOS
51
Denio 2.8 (Propriedade de interseo nita)

conjuntos de nita
Uma coleo
de sub-
satisfaz a propriedade nita de interseo, se toda coleo n possuir interseo no-vazia, ou seja,
i=1
{A1 , . . . , An }
Ai = .
um com-
Teorema 2.25 (Interseo nita)
Um espao topolgico
pacto se, e somente se, para toda coleo
de subconjuntos fechados sa-
tisfazendo a propriedade de interseo nita tal que

A
A = .
Prova:
juntos
= X A = AC : A . Essa uma coleo de subconabertos, j que uma famlia de subconjuntos fechados. Segue que
Seja
cobre
se, e somente se,
A = ,
A
j que
AC
A
=
A
()C = X . Seja X
tal que para toda coleo
de conjuntos fechados satisfazendo a
propriedade de interseo nita tal que
A = .
A
Tomando uma cobertura tal que nita, ou
aberta
de X , segue que a famlia u = AC = X A : A U = e, portanto, u no satisfaz a propridade da interseo

n
U u
seja, existe uma subfamlia nita existe uma subfamlia
{U1 , . . . , Un }
tal que
Ui = .
i=1 C
Portanto
{A1 , . . . , An } = (U1 )C , . . . , (Un )

n n C
tal que
Ai =
i=1
, ou seja,
(Ui ) =
i=1 i=1
Ui
= ()C = X
{A1 , . . . , An } uma subfamlia aberta de X . Isso completa a prova de que X compacto. Seja X compacto. Se a famlia de fechados, = {Ui }iL , tal que Ui = ,
iL
ento
= (Ui )C
uma cobertura aberta de
X,
pois:
iL
(Ui )C =
iL iL
(Ui )
= ()C = X.
52
CAPTULO 2.
E, por
X ser compacto, existe uma subcobertura nita (U1 )C , . . . , (Un )C

n n C
e, portanto,
(Ui )
= X
(Ui )
= X C = .
Ou seja, provamos que
i=1 i=1 a interseo de todos conjuntos de uma famlia de subconjuntos do compacto

ser no-vazia implica que no tem a propriedade de interseo nita. O que completa a demonstrao da recproca do teorema.
Segue, como corolrio, que toda famlia decrescente de fechados novazios
F1 F2 Fn
num espao compacto
possui interseo
no-vazia.
Captulo 3 Topologias Produto e Quociente

Um dos importantes meios de se obter espaos de outros espaos topolgicos com os conceitos de topologia produto e topologia quociente. neste captulo, que teoremas importantes, como o teorema de Tychono, sero provados. A importncia para a referncia [6] desse captulo principalmente na demonstrao do teorema de Van der Waerden usando dinmica simblica ( l que o teorema de Tychono no caso enumervel usado).
3.1 Topologia Produto

Aqui, pretende-se denir uma topologia para um espao topolgico que seja o produto cartesiano de outros espaos topolgicos. Note que zemos isso no exemplo 1.5.1. Podemos estender a denio do exemplo ao caso de um produto nito de espaos topolgicos (produto de
espaos topolgicos).
Esse captulo ter como objetivo essa extenso da denio e, posteriormente, a construo de uma topologia para um produto innito de espaos.
3.1.1
Produto Finito de Espaos

Seja
Denio 3.1
L = {1, . . . , n}.
{Xi }iL
uma famlia nita de espaos topolgicos, onde
A famlia
B=
iL
Ui : Ui
subconjunto aberto de
Xi
53
54
CAPTULO 3.
TOPOLOGIAS PRODUTO E QUOCIENTE
uma base de uma topologia de

iL
Xi .
Essa topologia denominada topologia
produto de
Xi
e, quando no mencionado o contrrio, o produto nito de
iL espaos topolgicos sempre munido dessa topologia.

De fato, essa famlia a base de uma topologia. Fica a cargo do leitor essa vericao, mas basta ver que a interseo de membros da famlia pertence a
B. Xi
munido da topologia produto denominado
O espao topolgico
iL espao produto. As aplicaes projeo
pi : X Xi , pi (x) = xi ,
desempe-
nham papel principal quando falamos em topologia produto (de fato, elas que motivam a denio da topologia produto).
Proposio 3.1
espaos
As projees do espao produto
Xj
em qualquer um dos
Xi
jL so aplicaes contnua. Ou seja, as projees
pi :
jL
Xj
Xi
(x1 , . . . , xn ) xi
so contnuas.
Prova:
Dado
A Xi
aberto, segue que
i1
p1 (A) = i
j=1
ou seja, a imagem inversa prova de que
Xj
A
j=i+1
Xj
, Xj .
p1 (A) i
um aberto em
Isso completa a
jL
pi
contnua (i
L).
O lema abaixo mostra uma outra forma que a topologia de um produto nito de espaos poderia ter sido denida.
Lema 3.2
Seja
{Xj }jL
uma famlia nita de espaos topolgicos. A famlia e
F = p1 (U ) : i L i
aberto em
Xi
3.1.
TOPOLOGIA PRODUTO
55
uma sub-base da topologia produto em

iL
Xi .
Prova:
Com efeito, os abertos bsicos da topologia produto de
Xj
jL
so
os conjuntos
Uj ,
onde
Uj
aberto em
Xj .
Logo cada aberto bsico
Uj
jL jL 1 dado por pj (Uj ). Isso prova que a base da topologia produto est conjL
tida na base gerada por
F.
A recproca trusmo.
Logo poderamos ter denido a topologa do produto nito de espaos como sendo a topologia gerada pela subbase descrita acima. abaixo tambm caracteriza a topologia produto. O teorema
Teorema 3.3
Sejam L um conjunto nito de ndices e {Xj }jL uma famlia de espaos topolgicos. Uma aplicao com contradomnio no produto desses espaos contnua se, e somente se, as suas projees so contnuas (as funes coordenadas so contnuas). Isto , sejam
pi :
jL
Xj Xi
as
projees,
f :Y
jL
Xj pj f
uma aplicao contnua
contnua se, e somente se, a composio seja qual for o
j L. pi f A
jL
so composies de
Prova:
Se
contnua, segue que as composies
funes contnuas e, portanto, so contnuas. Reciprocamente, se todas as composies
pi f
so contnuas, segue que, dado
Xj
pertencente
1 sub-base, ou seja, dado A = pi (U ) (onde U aberto em Xi e i L), segue 1 1 que f (pi (U )) aberto, pois pi f contnua. Isso completa a prova de
que
contnua.
De fato, ca a cargo do leitor vericar que o teorema acima caracteriza a topologia produto. Ou seja, um produto de espaos est munido da topologia produto se, e somente se, vale o teorema acima. Futuramente, isso ser
56
CAPTULO 3.
interessante para vericar se uma mtrica coerente/induz com a topologia produto.
Lema 3.4
topolgico
f : X Y uma aplicao contnua. Se Z qualquer, g : X Z Y , g(x, z) = g(x), contnua.

Seja
um espao
Prova:
Com efeito, dado
U Y
aberto,
g 1 (U ) = f 1 (U ) Z ,
ou seja,
um aberto.
Proposio 3.5
Seja
f :XY
uma aplicao contnua. Segue que
(f f ) : X X Y Y (x, y)
contnua. E, se
(f (x), f (y))
aberto.
aberto, ento
(f f )
(f f ) so (f f ) contnua. Dados abertos U, V de X . Tem-se que (f f )(U V ) = f (U )f (V ). Logo f aberta.

Com efeito, para provar basta notar que as projees de Isso completa a prova de que contnuas. Uma outra propriedade importante da topologia produto que produto de conexos conexo. O caso de produto nito de espaos provado abaixo.
Prova:
Teorema 3.6
X 1 Xk
Sejam
X1 , . . . , X k
espaos topolgicos.
O espao topolgico conexo.
conexo se, e somente se, para todo
j = 1, . . . , k , Xj
Prova:
X1 Xk conexo, ento, dado j {1, . . . , k}, Xj a imagem do espao X1 Xk pela j -sima projeo (que uma aplicao contnua). Portanto Xj conexo.
De fato, se o produto Reciprocamente, provemos que o produto de dois espaos conexos conexo (a prova para
espaos conexos sai por induo). Sejam
X1 , X2
so
espaos conexos. Escolhe-se
b X2
e, para cada
a X1 ,
dene-se
Pa = ({a} X2 ) (X1 {b}).

Note que qual for
X1 homeomorfo a X1 {b}, e X2 homeomorfo a {a} X2 a X1 . Portanto X1 {b} e {a} X2 so conexos.
seja
3.1.
TOPOLOGIA PRODUTO
57
Temos que, para todo conexo (pois unio de que, para todo
a X1 , (a, b) (X1 {b}) ({a} X2 ), logo Pa conexos no disjuntos). Escolhe-se f X1 . Temos (f, b) X1 {b} Pa .
a X1 ,
Logo
Pa
uma reunio de conexos no-disjuntos.
Portanto
Pa
aX1
aX1 conexo.
3.1.2
Seja
Topologia Produto
uma famlia innita de espaos topolgicos. Essa subseo ser
{Xi }iL
dedicada a encontrar uma topologia razovel para o produto
Xi .
iL
Lembremos que o conjunto
Xi
iL
, na verdade, o conjunto de todas as O axioma da escolha
funes
u:L
Xi
tal que
u(j) Xj (j L).
iL garante que esse produto cartesiano no-vazio (se todos os conjuntos

no forem).
Xi
Para mun-lo de uma topologia, nos motivaremos com o caso nito. Uma das propriedades que seria razovel manter para o caso innito o fato das projees serem contnuas. Note que, se
f :
X Y uma aplicao, possvel encontrar uma topologia para X que torna f : X Y contnua. Uma topologia que satisfaria isso a topologia
discreta: de fato, a topologia discreta a maior topologia que satisfaz isso. Para que as projees que a topologia
pj :
iL
Xi X j
sejam contnuas, devemos ter
em
Xi
iL
seja maior ou igual (mais na) que a topologia e
gerada pela subbase
F = p1 (U ) : i L i Xk
kL
aberto em
Xi
Denio 3.2 (Topologia produto)

os topolgicos. A topologia em
Seja
{Xk }kL
uma famlia de espa-
gerada pela subbase
F = p1 (U ) : i L i
aberto em
Xi
58
CAPTULO 3.
chamada topologia produto de

jL
Xj .
Teorema 3.7
projees
Seja
{Xi }iL
uma famlia innita de espaos topolgicos. As
pj :
iL
Xi Xj x xj
so contnuas (j
L).
Prova:
Conseqncia direta da denio da topologia produto.
Teorema 3.8
Seja
iL
Xi
um espao produto. Temos que as projees
pj :
iL
Xi X j
so aplicaes abertas, ou seja, as imagens de conjuntos abertos so a conjuntos abertos.
Prova:
Com efeito, basta provar que a imagem de cada elemento da base
da topologia em
Xi
um berto em
Xj .
Para isso, note que os elementos
iL da base so do tipo
U = {x : F
para algum
x U } ,
aberto. Note que seja, a imagem de
F L nito, onde U X j F , ou pj (U ) = Xj caso contrrio. Ou Portanto pj uma aplicao aberta.
pj (U ) = Uj U aberta.
se
Temos, abaixo, o principal resultado que envolve a topologia produto e continuidade de funes. Esse resultado, como veremos, caracteriza a topologia produto.
3.1.
TOPOLOGIA PRODUTO
59
Teorema 3.9
Sejam
{Xi }iL
uma famlia de espaos topolgicos e
um
espao topolgico. Uma funo
f :Y
iL
Xi pj f (j L)
contnua; onde
contnua se, e somente se, cada projeo
pj :
iL
Xi Xj
a funo projeo da j-sima coordenada.
Prova:
pj f
De fato, se
contnua, temos que
pj f
uma composio de
aplicaes contnuas, ou seja, contnua. Reciprocamente, se cada projeo da funo
f :Y
iL
Xi
for contnua, segue que, para todo j L e todo Uj Xj , a imagem inversa f 1 p1 (Uj ) um aberto. Ou seja, a imagem inversa por f dos elementos j 1 da subbase pj (Uj ) da topologia produto so abertos. Portanto f contnua.
A propriedade acima uma caracterizao da topologia produto. Ou seja,
Xi
est munido da topologia produto se, e somente se, o teorema acima
iL vale. Provemos a recproca do teorema como lema.
Lema 3.10
iL
{Xi }iL Xi de uma topologia .

Seja
uma famlia de espaos topolgicos. Suponha que, para qualquer espao
Mune-se o
Y , uma funo
f :Y
iL
Xi pj f (j L)
contnua; onde
contnua se, e somente se, cada projeo
pj :
Xi Xj
a funo projeo da j-sima coordenada.
iL Segue, ento, que
a topologia produto.
Prova:
Com efeito, temos que a aplicao identidade
Id :
Xi
Xi
contnua (na topologia
).
iL iL Logo, segue da hiptese, que as aplicaes
60
CAPTULO 3.
projeo so contnuas na topologia
Temos que a topologia produto a
menor topologia que torna todas projees contnuas. Portanto a topologia produto menor (ou igual) que a topologia Seja
. Xi
munido da topologia pro-
o produto cartesiano dos conjuntos
duto. Dene-se
T : P
iL
Xi
z z
Compondo o no espao
T P
com as projees, teremos exatamente as aplicaes proje(que munido da topologia produto). Logo teremos apliSegue, ento, da hiptese que
caes contnuas. topologia
contnuo.
Ou seja, a
menor ou igual topologia produto.
Sempre, num produto de espaos, consideramos a topologia produto. A situao do lema aquela em que voc mune um produto cartesiano de conjuntos de uma topologia e, depois, prova que, na verdade, essa topologia a topologia produto em relao a uma famlia de espaos topolgicos (espao produto daqueles conjuntos munidos de certas topologias). O produto de uma famlia de espaos conexos conexo. Segue o resultado em sua forma mais geral.
Teorema 3.11
X
L
Seja
{X }L
uma famlia de espaos topolgicos. Segue que
conexo se, e somente se, para todo
L , X
conexo.
Prova:
Com efeito, se
X
L
conexo, dado
k L,
temos que
Xk
imagem de
pela
k -sima
aplicao projeo (que contnua). Logo
Xk
L conexo.
Reciprocamente, se
conexo para todo
L , a X .
Ento, para cada
L, escolhe-se, para subconjunto nito F L, toma-se

LF
cada
AF =
F
{a } .
3.1.
TOPOLOGIA PRODUTO
61
Observe que
AF
homeomorfo a
X e, portanto, homeomorfo a um proPf o conjunto AF conexo pois (a ) AF .

F Pf
F duto nito de espaos conexos: em particular, conexo. Seja

das partes nitas de
L.
Temos que
Z=
F Pf
Verique que todos os abertos da base da topologia produto de
X
L
possui interseo no vazia com prova de que
Z.
Portanto
Z=
L
X ,
o que completa a
X
L
conexo.
Como veremos futuramente, nem todo produto de espaos mtricos metrizvel (apenas produtos enumerveis). Mas uma propriedade interessante de espaos produto que o produto (qualquer) de espaos Hausdor um espao Hausdor. Segue o teorema que estabelece isso.
Teorema 3.12
Segue que
Seja
{X }L
uma famlia de espaos topolgicos Hausdor.
X
L
um espao Hausdor.
Prova:
Com efeito, basta notar que, se
a, b
so pontos distintos,
L temos que, para algum h L, ah = bh . Portanto existem vizinhanas Uh 1 1 (de ah ) e Vh (de bh ) disjuntas em Xh , donde segue que ph (Uh ) e ph (Vh ) so vizinhanas disjuntas de a e b (respectivamente) no espao produto
X .
L
A recproca do teorema acima tambm verdadeira. desse fato ser adiada para a prxima seo.
A demonstrao
Um dos mais famosos resultados sobre espaos compactos de topologia geral, o teorema de Tychono, envolve a topologia produto. Esse teorema arma que o produto de conjuntos compactos compacto.
62
CAPTULO 3.
Seja
um espao topolgico. Usando o lema de Zorn, fcil provar que,
dada uma famlia
de subconjuntos de
interseo nita, existe uma famlia
X satisfazendo a propriedade de M F de subconjuntos de X maximal

usando esse resultado, que
em relao propriedade interseo nita. provaremos o teorema de Tychono.
Lema 3.13
um conjunto coleo
Sejam
uma coleo de partes de
com a propriedade de interseo nita. Existe, ento, uma
de partes de
maximal satisfazendo a propriedade de interseo
nita e contendo
F.
Prova:
a
P a famlia das colees (de subconjuntos de X ) que satisfazem a propriedade de interseo nita e que contm F. Dada uma cadeia em P,
Seja bem fcil vericar que a reunio dos elementos dessa cadeia tambm pertence
P.
Portanto, essa reunio uma cota superior para a cadeia.
Portanto segue do lema de Zorn que
possui elemento maximal
M.
Segue o enunciado e a demonstrao do teorema de Tychono.
Teorema 3.14 (Teorema de Tychono)

espaos compactos. Segue que
L
Seja
{K }L
uma famlia de
compacto.
Prova:
Seja
{K }L
uma famlia de espaos compactos.
Usaremos o
teorema 2.25 para provar que
K
L
compacto.
Dada uma famlia
F de fechados em
satisfazendo a propriedade da
L interseo nita, segue do lema precedente que existe
maximal contendo
e satisfazendo a propriedade de interseo nita. Para completar a demonstrao, precisamos provar que
F = .
F F
Mas,
para isso basta provar que M M M no vazio. Note que, para todo
L,
a projeo
satisfaz a propriedade de interseo nita. (para todo
p (M) = {p (M ) : M M} Portanto, por X ser compacto
L),
segue que
A = .
Ap (M)
3.2.
TOPOLOGIA QUOCIENTE
63
Logo, para cada
L,
podemos escolher
x
Ap (M)
A X . U
Esco-
lhendo dessa forma, segue que, para todo todo
L,
toda vizinhana
de
M M,
vale
U p (M ) = .
Portanto
p1 (U ) M = para quaisquer L, vizinhana U de x e M M. E, como M maximal em relao propriedade de interseo nita, isso implica que, para todo L e todo aberto U contendo x , p1 (U ) M. Segue, ento, que, dados 1 , . . . , m L e abertos U1 , . . . , Um contendo x1 , . . . , xm (respectivamente), a interseo M p1 (U1 ) p1 (Um ) 1 m
no vazia. Isso provou que todo aberto bsico contendo vazia com
(para todo
M M).
E, ento,
x = (x ) tem interseo no segue que x M para todo
M M,
donde segue que
x
M M
Em particular, isso provou que
M. M = ,
M M
o que completa a prova do
teorema.
3.2 Topologia Quociente

f : X Y uma aplicao sobrejetiva. Se X um espao topolgico, pode-se munir Y de uma topologia que torne f : X Y contnua. Por exemplo, se Y estiver munido da topologia indiscreta, teria-se f contnua.
Seja No entanto, o interesse est em encontrar a maior topologia que satisfaz isso.
Denio 3.3
(em relao a
Seja
f :XY
uma aplicao. A topologia quociente em
f)
a denida por
= U : f 1 (U )
aberto em
X .
64
CAPTULO 3.
fcil vericar que, de fato, essa a maior topologia que torna No entanto, ser provado na proposio a seguir.
contnua.
Proposio 3.15
(X, X ) em (Y, Y ). Se a topologia quociente de Y (em relao a f ), ento Y . Ou seja, a topologia quociente a maior topologia que torna f contnua.
Seja uma aplicao contnua de
Prova:
U Y , por f ser contnua, tem-se que f 1 (U ) aberta em X . Portanto U . Isso completa a prova de que , de fato, a maior topologia que torna f contnua.
Dado
Teorema 3.16
(Y, Y ).
Se
Seja
f : X Y Y
uma sobrejeo contnua de
(X, X )
em
aberta (ou fechada), ento a topologia em relao
exatamente a
topologia quociente de
f.
Prova:
uma sobrejeo contnua e aberta. Denotemos por Y . Dado U , segue que f 1 (U ) aberto. Por 1 ser uma sobrejeo, tem-se que f (f (U )) = U e, por ser aberta, U Y . a topologia quociente em Isso prova que
Seja
f :XY
Y .
E, por
ser maximal, isso prova que
= Y . Y
Seja
f :X Y
uma aplicao sobrejetiva. Quando a topologia em
coincide com a topologia quociente em relao a chamada de aplicao quociente.
f : X Y, f : X Y
O teorema precedente provou que uma aplicao aberta (ou fechada) sobrejetiva necessariamente uma aplicao quociente. E, ento, segue do teorema 2.23 que toda aplicao sobrejetiva de um compacto num Hausdor uma aplicao quociente. O teorema abaixo caracteriza a topologia a quociente.
Teorema 3.17
aplicao
Seja
f :X Y
uma aplicao quociente. Segue que uma
g:Y M
contnua se, e somente se,
g f : X M
contnua.
Prova:
aberto
Com efeito, se
contnua,
gf
uma composio de funes con-
tnuas e, portanto, contnua. Reciprocamente, se g f contnua, dado um U M , tem-se que f 1 (g 1 (U )) aberto em X . Logo, por Y estar 1 munido da topologia quociente, tem-se que g (U ) necessariamente aberto
3.2.
TOPOLOGIA QUOCIENTE
65
em
Y.
Portanto
contnua. Isso completa a demonstrao do teorema.
O teorema precedente, na verdade, caracteriza a topologia quociente. Ou seja, um espao topolgico a uma aplicao
Y est munido da topologia quociente em relao f : X Y se, e somente se, o teorema precedente vlido. Seja X um espao topolgico. Uma relao nos pontos de X encarado como sendo um subconjunto E X X . Se R uma relao de equivalncia, denotamos o conjunto das classes de equivalncia por X/R. Dene-se a
projeo
P : X X/R x
Onde
x x.
Evidentemente que
x X/R
a classe de equivalncia de
est
bem denida e uma sobrejeo. Mune-se, ento, ente (em relao a
X/R
da topologia quoci-
P ). g : X Y,
temos que
Dada uma aplicao quociente
X =
yY
g 1 (y).
Podemos, ento, denir uma relao de equivalncia em Assim, podemos identicar obtido da forma acima.
X : R = {(x, y) : g(x) = g(y)}.
com
X/R:
e, ento, todo espao quociente
Teorema 3.18
Temos que se,
Seja
um espao topolgico. Se
lncia no conjunto
X,
tal que a aplicao
R uma relao de equivaquociente P : X X/R aberta.
X/R
(munido da topologia quociente) Hausdor se, e somente
fechado em
X X.
Prova:
P : X X/R a aplicao quociente. Armamos que (P P ) : X X X/R X/R, dada por (P P )(y, z) = (P (y), P (z)),
Com efeito, seja aplicao quociente (visto que uma aplicao aberta e sobrejetiva). Se X/R Hausdor, segue que a diagonal de X/R X/R fechada em X/R X/R. Logo temos que a imagem inversa da diagonal pela P P fechada em X X . Essa imagem inversa justamente a relao R X X . Ou seja, provamos que R fechada em X X . Reciprocamente, se R fechada em X X , ento o complementar de R aberto. Mas o complementar imagem inversa do complementar da diagonal de X/R X/R. Portanto, pela topologia quociente, segue que o
66
CAPTULO 3.
complementar da diagonal aberto em
X/R X/R.
Hausdor.
Ou seja, a diagonal de
X/R X/R
fechada. Portanto
X/R
Para completar o captulo, provaremos um resultado que relaciona as duas topologias: quociente e produto. De fato, as projees do espao produto so aplicaes quociente.
Teorema 3.19 Prova:
Seja
que as aplicaes de
{X }L uma famlia de espaos topolgicos. Temos projeo p : L X X so aplicaes quociente.
Esse resultado sai imediamente do fato de que as projees so apli-
caes abertas (sobrejetivas).
Um exemplo de aplicao do resultado acima o teorema abaixo.
Teorema 3.20 Prova:

Se
Seja
Hausdor se, e
{H }L uma famlia de espaos. Temos que L H somente se, H Hausdor para todo L. L,
j provamos que o produto desses
Hausdor
espaos ser Hausdor na seo precendente. Reciprocamente, se o produto Hausdor, dado
L,
temos que a projeo
p :
L
H H
aplicao quociente. Toma-se o conjunto
R=
(u, j)
L
: p (u) = p (j) .
Note que
fechado em
Como a projeo
L uma aplicao quociente aberta, segue que
L X Hausdor.
Captulo 4 Espaos Mtricos

Denio 4.1
tal que 1. 2. 3. 4. Um mtrica num conjunto
uma funo
d:X X R
d(x, y) = d(y, x); d(x, x) = 0; x = y d(x, y) > 0; x, y, z X , d(x, z) d(x, y) + d(y, z).
A ltima condio chamada origem). A funo o par
desigualdade triangular
(devido a sua
chamada de mtrica ou funo distncia em
X,
(X, d)
um espao mtrico.
bem fcil encontrar exemplos de espaos mtricos. mtrico, quando munido da mtrica usual mais geral, um espao vetorial normado mtrica usual (d(x, y) subespao mtrico.
R (d(x, y) = |x y|).
um espao De forma
um espao mtrico, com sua
= xy
) e qualquer subconjunto de do espao um
Denio 4.2 (Bola aberta)
(M, d) um espao mtrico. A bola aberta de centro a M e raio R o conjunto B(a; R) = {x M : d(a, x) < R}. Dene-se tambm a bola fechada e a esfera de centro a M e raio R como sendo os conjuntos B [a; R] = {x M : d(a, x) R} e S(a; R) = {x M : d(a, x) = R}, respectivamente.
Seja
67
68
CAPTULO 4.
ESPAOS MTRICOS
4.1 A Topologia da Mtrica

Um espao mtrico
um tipo especial de espao topolgico, quando Tal
adotamos a topologia induzida pela mtrica do espao em questo. topologia ser apresentada abaixo.
Denio 4.3 (Topologia da mtrica)
Um espao mtrico
(M, d)
de
M da topologia d que tem base Hd = {B(a; r) : a M e r 0}. Para ver que existe uma topologia cuja base Hd basta vericarmos os tpicos do lema 1.3. Com efeito, x M , temos, evidentemente, que x B(x; 1), e, dadas duas bolas no-disjuntas B(a; r) e B(b; R), toma-se t B(a; r)B(b; R) e, ento B (t, min {R d(t, b), r d(t, a)}) B(a; r) B(b; R) (Verique!). O que foi mostrado somado ao fato de que B(a, 0) = Hd completa a prova de que B uma base para uma topologia. A topologia d gerada pela base Hd chamada topologia induzida pela mtrica d, ou simmplesmente topologia do espao mtrico (M, d).
forma natural um espao topolgico, munindo
M com duas mtricas diferentes d2 : M M R. Assim temos dois espaos mtricos diferentes, so eles (M, d1 ) e (M, d2 ). Quando essas duas mtricas induzem a mesma topologia em M , elas so ditas equivalentes.
Podemos munir um conjuto e
Observao:
d1 : M M R
Exemplo 4.3.1 (Subespao mtrico)

A M , (A, d|AA )
topolgico topologia induzida por
Seja
chamado de subespao mtrico de
(M, d) um espao mtrico. Se M . Note que a
d|AA
em
justamente a topologia do subespao
de
M,
denida no exemplo 1.5.2.
Um dos problemas que motivaram uma parte da pesquisa em topologia no passado foi o de metrizibilidade. Ou seja, descobrir quando um espao topolgico pode ser munido de uma mtrica coerente com sua topologia.
Denio 4.4 (Espao topolgico metrizvel)

metrizvel, se podemos denir uma mtrica
Um espao topolgico
(X, )
em
que induza a topologia
Um espao mtrico pode ser considerado um par
(X, d),
onde
um
espao topolgico metrizvel e
uma mtrica que induza a topologia de
X. d :
Exemplo 4.4.1
X X R
Dado um conjunto
X,
dene-se a mtrica zero-um
dada por:
4.1.
A TOPOLOGIA DA MTRICA
69
d(x, y) = 1, d(x, y) = 0,
se se
x = y; x = y.
A topologia induzida por essa mtrica a topologia discreta (Verique!). bem fcil vericar a recproca, ou seja, que todo espao topolgico discreto metrizvel: e a mtrica zero-um coerente com a topologia.
O produto nito de espaos mtricos metrizvel.
E existem algumas
mtricas coerentes com a topologia produto. Segue a denio.
Exemplo 4.4.2 (Mtrica produto)

(Mn , dn )
espaos mtricos. O produto e
(M1 , d1 ), (M2 , d2 ), (M3 , d3 ), . . . , cartesiano M1 M2 Mn tornaSejam sendo
se um espao mtrico ao mun-lo com uma das trs mtricas abaixo. Dados
x = (x1 , x2 , . . . , xn )
so tais que:
y = (y1 , y2 , . . . , yn ),
n
xi , yi Mi ,
essas mtricas
dC (x, y) =
i=1
di (xi , yi );
(4.1)
dm (x, y) = maxi{1,...,n} {di (xi , yi )} ;

n 1/2
(4.2)
dE (x, y) =
i=1
di (xi , yi )2
1
(4.3)
Tais mtricas induzem a topologia produto
das topologias induzidas por
d1 , . . . , d n
em
M1 , . . . , Mn .
Todas as trs so, portanto, equivalentes.
O produto innito (enumervel) de espaos mtricos metrizvel, mas adiaremos essa armao para a subseo de conjuntos limitados. As topologias induzidas por uma mtrica tm algumas propriedades especiais. Um exemplo que todas as topologias induzidas por uma mtrica so Hausdor.
Proposio 4.1
1 Ver seo 3.1.
Todo espao mtrico Hausdor. E, portanto, todo espao
topolgico metrizvel Hausdor.
70
CAPTULO 4.
ESPAOS MTRICOS
Prova:
B a;
dor.
Seja M um espao mtrico. Dados a, b M distintos, basta ver que d(a,b) d(a,b) e B b; so abertos que satisfazem a condio de Haus2 2
Assim, todo espao que no for Hausdor no metrizvel. Outra propriedade topolgica interessante que espaos mtricos (e metrizveis) possuem de possurem bases locais enumerveis. Isso quer dizer que, para cada
num espao mtrico, existe uma famlia enumervel de vizinhanas abertas de
tal que, para qualquer vizinhana
de
x,
existe um elemento dessa
famlia que subconjunto de cada
V.
Note que, num espao mtrico
M,
para
x M,
podemos tomar a famlia
{B(x; 1/n) : n N}.
Quando um espao topolgico
possui bases locais (tambm chamadas
de sistema fundamental de vizinhanas abertas) enumerveis, dizemos quee
satisfaz o 1
axioma da enumerabilidade.
Nem todo espao topolgico satisfaz o 1
axioma da enumerabilidade e
fcil ver que isso uma propriedade topolgica, portanto, quando um espao topolgico no satisfaz o 1
axioma da enumerabilidade, ele no metrizvel.
Quando um espao topolgico possui uma base enumervel, diz-se que ele satisfaz o segundo axioma da enumerabilidade. bem fcil de vericar que todo espao que satisfaz o segundo axioma da enumerabilidade, satisfaz, tambm, o primeiro axioma da enumerabilidade. Diferente do primeiro axioma da enumerabilidade, nem todo espao mtrico satisfaz o segundo axioma da enumerabilidade. um espao mtrico, somente se, Na verdade, se
satisfaz o segundo axioma da enumerabilidade se, e
separvel .
Vale, ento, o seguinte lema de Urysohn (que no ser provado por no ter muita importncia no contexto).
Lema 4.2 (Lema de Urysohn)

X
metrizvel.
Seja
um espao topolgico.
Se
Hausdor, satisfaz o segundo axioma da enumerabilidade e todo par de fecha3 dos disjuntos em X possui um par de abertos disjuntos os contendo , ento
Como conseqncia desse lema, temos que todo espao Hausdor compacto com base enumervel metrizvel.
3 Essa condio chamada de espao regular.
2 Ser separvel signica possuir um subconjunto enumervel denso em
M.
4.1.
71
Teorema 4.3
trizvel.
Todo espao Hausdor, compacto com base enumervel me-
Prova:
bem fcil de provar que um espao Hausdor se, e somente se,
separa compactos por abertos (ou seja, todo par de subconjuntos compactos disjuntos no espao possui um par de abertos disjuntos os contendo (cada um aberto contm um compacto)). Logo, dado um par de fechados disjuntos num espao Hausdor compacto
(satisfazendo o segundo axioma da enumerabilidade), segue que temos um
par de subconjuntos compactos disjuntos em
X.
E, portanto, esse par se-
parado por abertos. Isso completou a prova do teorema, pois provamos que o espao Hausdor, compacto com base enumervel satisfaz a hiptese do lema de Urysohn.
4.1.1
Conjuntos Limitados
Uma propriedade mtrica aquela que preservada por isometrias (aplicaes bijetivas que preservam distncias). Como fcil ver, toda propriedade topolgica uma propriedade mtrica, mas nem toda propriedade mtrica topolgica. Veremos, aqui, uma propriedade que no topolgica: a limitao. Mas, usando isso, nesta subseo, mostraremos que um produto enumervel de espaos metrizveis metrizvel.
Denio 4.5 (Conjunto limitado)
M um espao mtrico. A M um conjuto limitado, se o conjunto {d(x, y) : x, y A} limitado. Denese, tambm, o dimetro de A. Com efeito, se A limitado, o dimetro de A dado por diam(A) := sup {d(x, y) : x, y A}. Note que a propriedade de A ser limitado no uma propriedade topolgica, j que depende da mtrica em A.
Seja
Seja
um espao mtrico. Se
limitado, dizemos que a mtrica de
limitada.
O lema abaixo diz que todo espao metrizvel possui uma
mtrica coerente com a topologia que limitada.
Lema 4.4
Seja
uma mtrica
(M, d) um espao mtrico. Para todo k N, segue que existe dl limitada por 1/k equivalente mtrica d.
72
CAPTULO 4.
ESPAOS MTRICOS
Prova:
Com efeito, basta denir
dl (x, y) =
fcil de vericar que quaisquer
d(x, y) . k(1 + d(x, y)) dl (x, y) 1/k

para
dl
mtrica. Alm disso, de fato,
x, y M .
O lema precendente implica, em particular, que, de forma geral, limitao no uma propriedade topolgica, anal, todo espao topolgico metrizvel possui uma mtrica limitada. Com essas observaes, podemos provar que o produto enumervel de espaos metrizveis metrizvel.
Proposio 4.5
que
Seja
{Mn }nN
uma famlia de espaos metrizveis. Segue
M=
nN
Mn
metrizvel.
Prova:
Com efeito, basta ver que, para cada espao metrizvel Mn da n famlia, existe uma mtrica dn limitada por 1/2 . Logo, dados x, y M , podemos denir
d(x, y) =
nN
dn (xn , yn ).
Vericar que isso
De fato, isso converge e, portanto, est bem denido.
uma mtrica e que coerente com a topologia produto fcil.
Seguem alguns resultados bsicos sobre conjuntos limitados.
Lema 4.6
es:
Seja
um espao mtrico. So verdadeiras as seguintes arma-
1. Todo subconjunto de um conjunto limitado limitado; 2. As bolas abertas, bolas fechadas e esferas so conjuntos limitados; 3. A reunio de duas bolas abertas limitada;
4.1.
73
Prova:
(1): Seja
AM
limitado. Dada uma cota superior ver que,
c das distncias
d(x, y) (x, y M ), basta d(x, y) c, x, y A.
d(x, y) c, x, y M
e, em particular,
(2): Dada uma bola aberta
B (a; r) M , tomando x, y B (a; r), tem-se que, pela desigualdade triangular, d(x, y) d(X, T ) + d(a, y) r + r = 2r . Logo 2r cota superior do conjunto {d(x, y) : x, y B (a; r)}, ou seja, B (a; r)
limitado. As demonstraes para as esferas e para as bolas fechadas so anlogas.
(3): Dadas as bolas abertas dados
B1 = B (a; r)
B2 = B (b; R). x B1
e
Basta ver que,
x, y B1 B2 .
Ou eles pertecem cada um a um conjunto, ou eles
pertecem a um mesmo conjunto. Se supormos que pela desigualdade triangular, que:
y B2 .
Tem-se,
d(x, y) d(x, b) + d(b, y) d(x, a) + d(a, b) + d(b, y) R + r + d(a, b)

Ou seja, temos que do conjunto
max {(d(a, b) + R + r) , 2R, 2r} uma cota {d(x, y) : x, y B1 B2 }, ou seja, B1 B2 limitado.
superior
Lema 4.7
X
Seja
um espao mtrico.
XM
limitado se, e somente se,
est contido numa bola aberta.
Prova:
Como toda bola aberta em
limitado, se
subconjunto de
A limitado. Reciprocamente, tem-se que, se X M limitado, ento, a X , tem-se B (a; sup {d(x, y) : x, y X}) X . O que
uma bola aberta, ento completa a demonstrao da recproca.
Proposio 4.8
limitados seja, n
Seja
um espao mtrico. A reunio de dois conjuntos
A, B M limitada. Conseqentemente, podemos generalizar, ou sejam Xi M, i {1, . . . , n} conjuntos limitados, ento a reunio
limitada.
Xi
i=1
74
CAPTULO 4.
ESPAOS MTRICOS
Prova:
A, B M limitados. Tomando as bolas abertas B1 , B2 M tais que B1 A e B2 B , basta ver que, pelo lema 4.6, B1 B2 limitado e, como B1 B2 A B , tem-se, pelo mesmo lema, que A B limitado. Se Xi M limitado i {1, . . . , n, n + 1}, supe-se por induo que
Sejam
n+1
Xi
limitado. Basta ver que
Xi =
i=1
Xi
Xn
uma reunio de
i=1 i=1 dois conjuntos limitados, logo limitado.
Segue um lema bem interessante sobre espaos metrizveis compactos.
Lema 4.9 Prova:
Todo espao mtrico compacto limitado.
Seja
um espao mtrico compacto. Basta tomar uma cobertura
aberta por bolas abertas de raio existe uma subcobertura nita. Ou seja,
1.
Pela hiptese de compacidade, segue que
est contido numa reunio nita de limitados. E, portanto,
limitado.
O lema precedente mostrou que todas as mtricas de um espao metrizvel compacto so limitadas. Tnhamos visto que todos os espaos metrizveis
possuem uma mtrica limitada. No caso de espaos compactos, vemos que s existem mtricas limitadas.
4.1.2
Espaos Vetoriais Normados

A mtrica usual da reta
Exemplo 4.5.1 (Mtrica em Rn )
a mtrica
dada por d(x, y) = |x y|. Ela induz a topologia usual da reta (Verique!). 2 Em R usamos distncia de ponto a ponto e teremos a de : R2 R2 tal que, dados
mtrica euclidiana
x = (x1 , x2 ) R2
e
y = (y1 , y2 ) R2 , de (x, y) = (x1 y1 )2 + (x2 y2 )2 . R2 .
Essa mtrica induz a topologia usual de
4.1.
75
De forma geral, a mtrica euclidiana de
Rn
tal que, dados
x = (x1 , x2 , . . . , xn ) Rn
e
y = (y1 , y2 , . . . , yn ) Rn ,
n 1/2
dE (x, y) =
i=1
(xi yi )
(4.4)
Rn (note que essa mtrica coincide com as que vimos para os casos n = 3, n = 2 e n = 1). n Outras mtricas induzem a mesma topologia em R . So elas a mtrica dC : Rn Rn e a mtrica dm : Rn Rn tais que, dados x = (x1 , x2 , . . . , xn ) Rn e y = (y1 , y2 , . . . , yn ) Rn ,
A mtrica euclidiana induz a chamada topologia usual de
n
dC (x, y) =
i=1
|xi yi |
e
(4.5)
dm (x, y) = maxi{1,...,n} {|xi yi |} .

Essas trs mtricas so equivalentes.
(4.6)
Podemos denir de maneira natural uma mtrica num espao vetorial normado. Antes de den-la, vamos relembrar o que queremos dizer por
espao vetorial normado. Comecemos por denir o que uma norma num espao vetorial.
Denio 4.6 (Funo norma)

em
Seja
um espao vetorial. Uma norma
uma funo
:ER
tal que:
1. 2. 3.
u = 0 = u R
e
o vetor nulo; ;
u E , u = || u
.
u, v E , u + v u + v
A ltima condio tambm chamada
desigualdade triangular.
76
CAPTULO 4.
ESPAOS MTRICOS
Observao:
norma nele.
Um espao vetorial
munido de uma funo norma cha-
mado de espao vetorial normado. denotado pelo par
Um espao vetorial normado pode ser o espao vetorial e
(E,
),
sendo
:ER
a funo
Antes de denir a mtrica do espao vetorial normado, vamos apresentar alguns resultados bsicos sobre a funo norma.
Proposio 4.10
que: 1.
Seja
(E,
um espao vetorial normado. Segue, ento,
u 0, u E ; z
o vetor nulo do espao
2. Se
se, e somente se,
z = 0.
Prova:
ou seja,
Para demonstrar 1, utilizamos a desigualdade triangular da funo
u E , basta ver que u + (u) u + (u) , u + (1)u 0 = 0, donde tem-se que u + |(1)| u 0. Portanto u + u 0, id est, 2 u 0 e, ento, u 0. Para provar o 2, se z o vetor nulo, evidente que z = 0 z . Portanto
norma. Com efeito, dado
z = 0 z = |0| z = 0,
o que completa a demonstrao do 2, j que a recproca j uma condio para que seja uma norma.
Denio 4.7
a mtrica
(E, ) um espao vetorial d : E E R, d(x, y) = x y .

Seja .
normado. Dene-se em
Tal mtrica chamada de
mtrica proveniente da norma
Observao:
1. Dados
Resta-nos provar que a mtrica acima denida realmente
uma mtrica, id est, satisfaz os 4 postulados da mtrica. Com efeito,
u, v E , d(u, v) = u v = (1)v u = |(1)| v u = 1 v u = v u = d(v, u). u E , d(u, u) = u u = 0; u = v em E , tem-se d(u, v) = u v > 0.

que
2.
3. Dados
uv
no o vetor nulo.
Portanto
4.1.
77
4.
u, v, w E , d(u, w) = u w = (u v) + (v w) e, pela desigualdade triangular da norma, d(u, w) = (u v) + (v w) u v + v w = d(u, v) + d(v, w). Ou seja, d(u, w) = d(u, v) + d(v, w).
O que completa a prova de que estamos realmente falando de uma mtrica.
Exemplo 4.7.1 (Espao vetorial Rn )

dene-se uma das trs normas:
No espao vetorial
Rn normalmente
1/2
1. Dado
x = (x1 , . . . , xn ) Rn , x =
i=1 n
x2 i
2. Dado
x = (x1 , . . . , xn ) R
x =
i=1
|xi |;
3. Dado
x = (x1 , . . . , xn ) Rn , x = max {|x1 | , . . . , |xn |}.
Note que as mtricas provenientes dessas normas so as mtricas 4.4, 4.5 e 4.6 do exemplo 4.5.1. Fica a cargo do leitor demonstrar que essas funes n acima denidas so realmente normas em R . As trs normas acima so ditas provenientes delas o serem.
equivalentes pelo fato de que as mtricas
Exemplo 4.7.2
1 ), . . . , (En , n ) espaos vetoriais normados. Segue que E1 En um espao vetorial e podemos mun-lo de uma das
Sejam
(E1 ,
trs normas abaixo:

n 1/2 2
1. Dado
x = (x1 , . . . , xn ) (E1 En ), x =
i=1 n
( xi i )
2. Dado
x = (x1 , . . . , xn ) (E1 En ), x =
i=1
xi
i;
3. Dado
x = (x1 , . . . , xn ) (E1 En ), x = max { x1
, . . . , xn
n }.
As mtricas provenientes dessa norma so as mtricas 4.3, 4.1 e 4.2 do exemplo 4.4.2, as quais so equivalentes; logo as normas acima tambm so chamadas de equivalentes.
78
CAPTULO 4.
ESPAOS MTRICOS
4.1.3
Mtrica da convergncia uniforme

Uma aplicao
Denio 4.8
f : X M , denida num conjunto arbitrrio X e tomando valores num espao mtrico (M, d), chama-se limitada quando sua imagem f (X) um subconjunto limitado de M .
Exemplo 4.8.1 (Mtrica da convergncia uniforme)

junto arbitrrio e
Sejam
um con-
(M, dM )
um espao mtrico.
Indica-se com a notao quando
(X; M )
f : X M. Dadas f, g (X; M ), as distncias dM (f (x), g(x)), em X , formam um conjunto limitado, pois f (X) g(X)
o conjunto das funes limitadas
varia
uma reunio de
limitados temos que:
{d (f (x), g(x)) : x X} {d(a, b) : a, b f (X) g(X)} ,

ou seja, um subconjunto de um conjunto limitado, portanto limitado. Por
{d (f (x), g(x)) : x X}
ser limitado, pode-se denir
dcm : (X; M ) (X; M ) R (f, g) sup {d (f (x), g(x)) : x X} .

Fica a cargo do leitor mostrar que isso realmente uma mtrica. Essa m4 trica chamada mtrica do sup ou mtrica da convergncia uniforme.
4.2 Funes Contnuas

Nesta seo, ser trabalhado com funes contnuas em espaos mtricos: ser denido e alguns resultados sero provados.
Denio 4.9
(M, dM ) e (N, dN ) espaos mtricos. f : M N contnua no ponto a M , se > 0, > 0, tal que d(x, a) < = d(f (x), f (a)) < . A funo f contnua, se for contnua em todos os pontos a M . Ou seja, f : M N contnua, se para toda bola BN (f (a); ) N , existe uma bola BM (a; ) M tal que f (BM (a; )) BN (f (a); ).
Sejam
Vamos, primeiramente, provar que essa denio de continuidade equivalente denio de continuidade em espaos topolgicos metrizveis. Com efeito, a proposio abaixo estabelece isso.
4 Esse ltimo nome devido a um fato que car claro na seo 4.3.
4.2.
FUNES CONTNUAS
79
Proposio 4.11
cas
Sejam
espaos topolgicos metrizveis com mtri-
dM
dN
respectivamente. Ento
f :M N
contnua se, e somente
se, para toda bola
BN (f (a); ) N , f (BM (a; )) BN (f (a); ).
existe uma bola
BM (a; ) M
tal que
Prova:
fcil ver que, se
contnua com as topologias induzidas pe-
B(f (a); ) um aberto; logo podemos tomar uma bola aberta B(a; ) tal que B(a; ) f 1 (B(f (a); )), ou seja, f (B(a; )) f 1 (B(f (a); )). Para provar a recproca, basta ver que, se f : M N contnua se1 gundo a denio acima, e se A N aberto, ento, dado a f (A ), por A ser aberto, existe > 0 tal que BN (f (a); ) A . Pela denio acima, segue que existe > 0 tal que f (BM (a; )) BN (f (a); ) A . O que quer 1 dizer que B(a; ) f (A ), ou seja, a f 1 (A ), existe > 0 tal que B(a; ) f 1 (A ). Isso quer dizer que f 1 (A ) um aberto, o que completa
las mtricas, ento a imagem inversa de um bola aberta a prova da recproca.
Logo poderamos ter denido (de forma mais interessante) uma funo contnua entre espaos mtricos como sendo uma funo contnua de acordo com as topologias induzidas.
Exemplo 4.9.1
f :M N
homeomorsmo.
Um exemplo de aplicao contnua uma funo sobrejetiva
tal que
d(f (x), f (y)) = d(x, y)
para quaisquer
x, y M .
Esse
tipo de aplicao chamado de isometria.
De fato, toda isometria um
As propriedades preservadas por isometrias so chamdas de propriedades mtricas (dois espaos mtricos isomtricos so indistinguveis). Pelo observado, segue que toda propriedade mtrica uma propriedade topolgica. Quando a aplicao satisfaz a igualdade, mas no sobrejetiva, ela chamada de imerso isomtrica. Nesse caso, o espao do domnio isomtrico 5 a sua imagem (um subconjunto do espao contadomnio) .
Denio 4.10 (Seqncia e seqncia convergente)

pontos num espao topolgico denotada por
Uma seqncia de
uma funo
o n-simo termo da seqncia e denota-se
(x1 , x2 , . . .),
ou por
(xn )nN ,
ou
x : N M . Diz-se que x(n) por xn . A seqncia pode ser ainda por apenas (xn ).
5 Verique que toda imerso isomtrica injetiva.
80
CAPTULO 4.
ESPAOS MTRICOS
(xn ) converge para L M , se, para toda vizinhana aberta U de L, existe N N, tal que n > N = xn U . Escreve-se lim xn = L ou xn L. L denominado o limite da seqncia (xn )
Diz-se que
Como os espaos topolgicos podem ter comportamentos patolgicos, o teorema da unicidade do limite no vale para todos os espaos topolgicos. Assim, uma seqncia num espao topolgico pode convergir para mais de um ponto. No caso de espaos Hausdor, perdemos essa possibilidade.
Proposio 4.12
limite nico.
Num espao de Hausdor, se
(xn )
converge, ento seu
Prova:
Seja
um espao topolgico de Hausdor.
Por absurdo, caso
x, y M distintos de uma seqncia (xn ), teramos que existem abertos Ux e Uy tais que x Ux , Uy Uy e Ux Uy = . Pela denio de convergncia, teramos que existem Nx N e Ny N tais que n > Nx = xn Ux e n > Ny = xn Uy . Portanto n > max {Ny , Nx } = xn Ux e xn Uy , ou seja, xn Ux Uy , o que um absurdo (pois Ux Uy = ). O que completa a prova por absurdo de que o
existissem dois limites limite nico.
Como todo espao mtrizvel Hausdor, segue uma conseqncia bvia.
Corolrio 4.12.1
de pontos de
Em um espao mtrizvel
M,
se
(xn )
for uma seqncia
convergente em
M,
ento seu limite nico.
Prova:
Pela proposio 4.1, todo espao mtrizvel Hausdor e, pela
proposio precedente, temos que isso infere que todo espao metrizvel tem os limites de suas seqncias convergentes nicos.
Trabalharemos, aqui, apenas com seqncias em espaos metrizveis. Portanto as seqncias convergentes, aqui, consideradas tero necessariamente limites nicos.
Proposio 4.13
Ento que
Seja X um espao (xn ) converge para L X se, e n > N = xn B(L; ).
mtrico e
somente se,
(xn ) um seqncia em X . > 0, existe N N tal
4.2.
FUNES CONTNUAS
81
(xn ) contnua, ento, dado uma vizinhana B(L; ) de L, existe N N tal que n > N = xn B(L; ). Para provar a recproca, basta ver que se > 0, existe N N tal que n > N = xn B(L; ), ento, dada uma vizinhana U de x, temse que existe uma bola B(L; ) U e, portanto, existe N N tal que n > N = xn B(L; ) U , ou seja, x U . O que completa a demonstraSe o da proposio.
Prova:
Podemos caracterizar a topologia de um espao metrizvel por seqncias. Assim, muitos conceitos topolgicos, como conjuntos serem fechados, conjuntos serem abertos, dentre outras, podem ser caracterizadas de acordo com o comportamento de certas seqncias. Segue uma caracterizao desse tipo: caracterizao de funes contnuas por seqncias.
Teorema 4.14
f (a)
(em
Sejam
N espaos mtricos. Ento f : M N (xn ) em M ser tal que xn a implicar f (xn )

e
N ).
Seja
Prova:
f : M N
contnua.
Dada uma seqncia
x n a,
tem-
se que, dada uma vizinhana aberta
de
f (a),
a imagem inversa de
tambm um aberto (vizinhana aberta de a). Logo existe N N tal que n > N = xn f 1 (U ), ou seja, existe N N tal que n > N = f (xn ) U ,
f (xn ) f (a). Seja f : M N tal que (xn ) em M converge para a implique f (xn ) f (a). Por absurdo, suponhamos que f no contnua em um dado a M . Logo tem-se que, existe > 0 tal que para cada n N, podemos escolher xn B (a; 1/n) e d (f (xn ), f (a)) ; ou seja, temos que xn a, mas no f (xn ) no converge para f (a), pois, caso f (xn ) f (a), teramos que, para algum N N, n > N = d (f (xn ), f (a)) < . O fato de f (xn ) no convergir para f (a) (e xn a) contraria a hiptese, o que completa a demonstrao
o que completa a prova de que por absurdo da recproca do teorema.
Existe uma noo de continuidade uniforme em espaos mtricos.
En-
quanto a noo de continuidade local (fala-se em continuidade em um ponto), a noo de continuidade uniforme global. Segue a denio.
82
CAPTULO 4.
ESPAOS MTRICOS
Denio 4.11
Sejam
M, N
espaos mtricos. Uma aplicao
diz-se uniformemente contnua, quando para todo
>0
existe
f :M N > 0 tal que
d(x, y) < d(f (x), f (y)) <
Exemplo 4.11.1
contnua. Sejam
Evidente que toda aplicao uniformemente contnua Uma aplicao tal que, para
X, Y
espaos mtricos.
aplicao de Lipschitz, se existe
>0
f : X Y chama-se todo x, y M ,
d(f (x), f (y)) d(x, y).

Segue que toda aplicao de Lipschitz uniformemente contnua. dado Anal,
> 0,
basta tomar
e, ento, segue que
d(x, y) < d(f (x), f (y)) < .
4.3 Convergncia Uniforme

Denio 4.12 (Convergncia uniforme)
cia de funes de um espao mtrico Diz-se que para todo Seja
fn : X Y
uma seqn-
(fn ) converge uniformemente > 0, existir um N N tal que
(X, dX )
num espao mtrico
para a funo
(Y, dY ). f : x Y , se,
n > N = dY (fn (x), f (x)) < , x X.

Note que converge uniformemente para 6 espao mtrico ( (X; M ) , dcm ) .
(fn )
f,
se
(fn )
converge para
no
fn : X Y uma seqncia de funes contnuas de um espao topolgico X num espao mtrico Y . Se (fn ) converge uniformemente para f : X Y , ento f contnua.
Teorema 4.15
Seja
Prova:
N N
Dados um ponto tal que
xo X
e uma bola aberta
B(f (xo ); ) em Y , existe
n > N = d(fn (x), f (x)) < , x X. 3

6 Espao mtrico apresentado no exemplo 4.8.1.
4.4.
ESPAOS MTRICOS COMPLETOS
83
Pela continuidade de
fN +1 ,
segue que existe uma vizinhana
de
xo
tal que
x V = d(fN +1 (xo ), fN +1 (x)) <

. Segue que
x V = d(f (x), f (xo )) < d(f (x), fN +1 (x)) + d(fN +1 (x), fN +1 (xo )) + d(fN +1 (xo ), f (xo )) < <
Isso completa a prova de que
contnua.
4.4 Espaos Mtricos Completos

Para apresentar a denio de espaos mtricos completos, precisamos fazer uso de um tipo de seqncia chamada seqncia de Cauchy.
Denio 4.13 (Seqncia de Cauchy)

Uma seqncia tal que:
Seja
(M, d)
um espao mtrico.
(xn ) de pontos em M m, n > N d(xn , xm ) < .
dita de Cauchy, se
> 0,
existe
Para comearmos a discutir a noo acima introduzida, enunciaremos a proposio abaixo.

Seja
Seja
um espao mtrico. Toda seqncia
(xn )
em
convergente Cauchy.
(xn )
convergente. Basta ver que, dado
> 0,
existe
N N
tal que n > N implica xn B(L; ) (onde L o limxn ), donde 2 m, n > N implica que d(xn , xm ) d(xn , L) + d(xm , L) = 2 + 2 = ver o espao mtrico
segue que . Basta
Note que a recproca da proposio 4.16 nem sempre verdadeira.
(Q, d)
dos racionais com a mtrica induzida da reta
tal que podemos tomar uma seqncia de Cauchy que no tenha limite (fato que explicitado em cursos de Anlise). Por exemplo, se tomarmos que
(xn )
tal
xn = 3, a1 a2 . . . an ,
onde
an
o n-simo digito do
Evidente que essa
84
CAPTULO 4.
ESPAOS MTRICOS
seqncia de Cauchy e, no entanto, sabemos que ela no converge para nenhum ponto em
Q. (M, d)
completo. Por exemplo, a reta com a mtrica
Quando a recproca da proposio acima vale para um espao mtrico
(M, d),
dizemos que
usual completa.
Denio 4.14 (Espao mtrico completo)

trico
Diz-se que um espao m-
completo, quando toda seqncia de Cauchy de pontos em
con-
verge para um ponto em convergente.
M,
ou seja, quando toda seqncia de Cauchy
Veremos, futuramente, que um espao mtrico ser completo no uma propriedade topolgica. Um exemplo o espao dos nmeros irracionais.
Com a mtrica usual (induzida pela mtrica usual da reta), esse espao no completo. Mas existe uma mtrica equivalente usual que o torna completo. Um exemplo mais fcil um intervalo aberto da reta. com a mtrica usual, intervalos abertos no so completos. Evidente que, Mas sabemos
que intervalos abertos so homeomorfos reta; logo, tomando a mtrica induzida por esse homeomorsmo (que equivalente mtrica usual por induzir a mesma topologia), os intervalos abertos se tornam completos. Uma das importantes caracterizaes de espaos mtricos completos tem a ver com fechados encaixantes. Segue o teorema que estabelece essa caracterizao.
Teorema 4.17 (Caracterizao)

dos no-vazios em
Um espao mtrico
se, e somente se, toda seqncia decrescente
(M, d) F1 F2 . . . Fn . . .
completo de fecha-
M,
com
diamFn 0
tem interseo unitria, ou seja,
Fi = {a}
i=1
para algum
a F1 . F1 F2 . . . Fn . . . uma seqncia
Prova:
Com efeito, se
completo, dada
de fechados no-vazios em que, para cada
satisfazendo as condies da hiptese, segue
j N, podemos tomar aj Fj . A seqncia (an ) obviamente de Cauchy, pois, dado > 0, existe m N, tal que diamFm < . Logo, como n, k > m implica an , ak Fm , segue que isso implica d(a, ak ) < . Logo (an ) , de fato, de Cauchy. Donde segue que an L M . Como an Fm para
4.4.
85
todo que
n N e para todo m N, por Fm ser L Fm para todo m N. Ou seja,
fechado (para todo
m N,
segue
L
i=1
Dado um ponto
Fi .
existe
z = L no espao mtrico M , segue que d(z, L) diam(Ft ) < . Portanto z Ft e, em paticular, 2
tN
tal que
z
i=1
Isso completou a prova de que
Fi .
Fi = {L}.
i=1 Reciprocamente, se toda seqncia de fechados no-vazios num espao

mtrico
satisfazendo as condies da hiptese tiverem interseo unitria,
ento, dada uma seqncia
(an )
de Cauchy, segue que
Fm = {an : n > m} (an ) ser de Cauchy, tem-se que, dado > 0, existe m0 N tal que d(x, y) < para quaisquer x, y {an : n > m0 }, ou seja, diamFm0 . Isso provou que F1 F2 . . . Fn . . . um seqncia decrescente de fechados em M e diamFn 0.
um seqncia decrescente de fechados no-vazios. Por
Logo, pela hiptese,
Fi = {L}.
i=1
Note que, dado
> 0,
existe
t0 N
tal que
n > t0 diam(Fn ) <
e, em particular,
n > t0 d(an , L) < .

Portanto
an L .
E isso completa a prova de que
completo.
Com a caracterizao acima, ca fcil provar que todo espao mtrico compacto completo.
Corolrio 4.17.1
Todo espao mtrico compacto completo.
86
CAPTULO 4.
ESPAOS MTRICOS
Prova:
M compacto, dada uma seqncia decrescente de fechados no-vazios F1 . . . Fn . . . como diam(Fn ) , tem-se que, para qualquer subfamlia nita = {Fj1 , . . . , Fjk } de {Fn : n N},
Com efeito, se
Fjk = Fmxji = .
i=1
Logo essa famlia de fechados necessariamente satisfaz a propriedade de inter seo nita. Por
ser compacto, segue que a interseo
Fi = .
i=1
Portanto
podemos tomar
L
i=1
Fi .
que existe
Dado um ponto que
z = L do espao mtrico M , segue d(z, L) diam(Fq0 ) < . Logo z Fi . Portanto 2 i=1
q0 N
tal
Fi = {L} .
i=1
Isso completou a prova de que
completo.
O corolrio acima muito interessante, pois mostra que toda mtrica num espao compacto metrizvel completa. bem fcil de provar que toda mtric
4.4.1
Espaos topologicamente completos
Um espao topolgico topologicamente completo quando homeomorfo a um espao mtrico completo, ou seja, ele metrizvel e existe uma mtrica completa para ele. Em particular, todo espo mtrico completo topoloExistem alguns importantes resultados para espaos
gicamente completo.
topologicamente completos (em particular, para espaos completos). Alguns deles, sero usados no livro de dinmica topolgica.
Teorema 4.18
Todo aberto de um espao mtrico topologicamente completo
topologicamente completo.
4.4.
87
Prova:
Com efeito, se
um espao topolgicamente completo e
AM
M de uma mtrica completa. Dene-se a funo contnua : M R , onde (x) = d(x, M A) . Como (x) > 0 para todo x A, segue que podemos denir f : A R, 1 onde f (x) = . Tem-se que f contnua. (x) Note que o grco da funo f a imagem inversa de {1} pela funo contnua F : M R R, onde F (x) = t (x) . Logo o grco de f um fechado de M R e, como M R completo (por ser produto de completos) , segue que o grco G de f completo com a mtrica induzida.
um aberto, mune-se Como o domnio de uma funo contnua homeomorfo ao seu grco, segue que
homeomorfo a um espao mtrico completo
O teorema precedente generalizou o fato de intervalos abertos possurem mtricas (equivalentes s usuais) completas.
Teorema 4.19
fechado, ento
Seja
um espao topologicamente completo. Se
F M
Prova:
Mune-se
de uma mtrica completa. Um fechado de um completo
completo (evidentemente). Logo
, com a mtrica induzida, completo.
Teorema 4.20
Seja
{Ai }iN
uma famlia enumervel de abertos em completo.
M,
segue que
i=1
Ai
topologicamente
Prova:
de
Com efeito, tem-se, pelo teorema j demonstrado, que todo aberto
topologicamente completo. Logo
Ai topologicamente completo para
completa. Logo
todo
i N.
Mune-se
Ai
de sua mtrica
di
Ai
i=1
com alguma
das mtricas produto (por exemplo,
d(x, y) =
1 dn (xn , yn ) 2n
) completo.
Tem-se que a diagonal fechada em
(xn ) : xi = xj j, i N, (xn )
i=1
Ai
i=1
Ai ,
logo
completo.
88
CAPTULO 4.
ESPAOS MTRICOS
Dene-se
:
i=1
Ai ,
onde
(xn ) = x1 .
Tem-se que
obviamente
um homeomorsmo.
Exemplo 4.14.1
conjunto
Se
um espao topologicamente completo, todo sub-
de
tal que o complementar enumervel topologicamente
completo (ou seja, se "tirarmos"uma "quantidade"enumervel de pontos de um espao topologicamente completo, o espao permanece topologicamente completo). Com efeito, basta ver que, se
X H
enumervel, ento
H=
xXH
X {x} X.
uma interseo enumervel de abertos de
Segue disso que o conjunto dos nmeros irracionais (munido da topologia usual) topologicamente completo. Alm disso, o conjunto dos nmeros transcendentes (com a topologia usual) topologicamente completo.
Um subconjunto de um espao topolgico
diz-se magro se ele est
contido numa reunio enumervel de fechados com interior vazio. O complementar de um subconjunto magro chamado residual. Um espao topolgico diz-se de Baire se todo subconjunto magro possui interior vazio.
Teorema 4.21 (Teorema de Baire)

de Baire.
Todo espao topologicamente completo
Prova:
X M.
Seja
M
,
um espao topologicamente completo. Mune-se
de uma
mtrica completa. Se
XM
um conjunto magro, tem-se que
Fi
i=1 para alguma famlia enumervel

em Logo
{Fi }iN de fechados com interior vaizo {Ai }iN , onde Ai = M Fi , uma famlia de abertos densos. Para provar que X tem interior vazo, basta provar que i=1 Fi tem interior
vazio. E, para isso, podemos provar que Dada uma bola aberta
A=
i=1
Ai
denso. Por bola
A1
ser denso, tem-se que
B M , provemos que B A no-vazio. A1 B no-vazio e aberto. Logo existe uma
4.4.
89
B1 A1 B
aberta de raio menor que
1.
Dene-se indutivamente,
Bn+1
da
seguinte forma:
Bn An
(aberto) no vazio por
An
ser denso, logo podemos
tomar uma bola aberta
Bn+1 Bn An+1
com raio menor que
1 . (n + 1)
para
Como todo
completo, segue que e
Bi = {a} BA
, ou seja, .
a Bn An
n N,
a B1
i=1 B . Portanto a
Teorema 4.22
Se
um espao de Baire e
X=
i=1]
Fi , tem-se que int(Fj )
no-vazio para algum
jN
.
de fechados com
Prova:
Com efeito, caso
interior vazio, seguiria
X fosse uma reunio enumervel que X tem interior vazio. Absurdo.
Teorema 4.23
onde em
Seja
M=
i=1
Fi ,
{Fi }iN
uma famlia de fechados em
M,
segue que
i=1
intFi
denso
M.
Dado um aberto
Prova:
U M,
segue que
Alm disso, ele escrito como a reunio enumervel de fechados em
U =U
Fi =
(Fi U ). intU Fj = U intFj

no-vazio para
i=1 i=1 Logo, por U ser de Baire, segue que

algum
jN
. Portanto
U
i=1
Fi
no vazio.
Isso provou que
Fi
i=1
denso.
Exemplo 4.14.2
Todo espao enumervel topologicamente completo tem,
como conjunto (aberto e) denso, o conjunto dos pontos isolados. Com efeito,
90
CAPTULO 4.
ESPAOS MTRICOS
se
um espao topologicamente completo enumervel, segue que ele a
reunio enumervel de seus pontos. Logo a reunio dos interiores dos pontos densa (ou seja, a reunio dos pontos isolados). Segue desse exemplo que logia usual). Com efeito, no topologicamente completo (com a topofosse
enumervel e, no entanto, no possui pontos
isolados (o conjunto dos pontos isolados vazio). Pelo exemplo, se topologicamente completo, seguiria que
denso em
Q:
absurdo.
Analogamente, o conjunto dos nmeros algbricos (com a topologia usual) no possui pontos isolados e enumervel. Logo no topologicamente completo.
4.5 Espaos Mtricos Compactos

Existem muitas propriedades importantes que so inferidas de um espao compacto metrizvel. Algumas dessas propriedades sero trabalhadas nesse captulo. Comearemos com um teorema de caracterizao.
Denio 4.15
se para todo que cobrem
Um espao mtrico
chamado de totalmente limitado,
> 0,
existe uma famlia nita e bolas com raios menores que
M.
Seja
Proposio 4.24 (Caracterizao)

guintes armaes so equivalentes
um espao mtrico, as se-
compacto;
Todo subconjunto innito de Toda seqncia em
possui um ponto de acumulao;
possui subseqncia convergente;
completo e totalmente limitado.
Prova: (1) (2):

A M um subconjunto. Se A no possui ponto de acumulao, segue que A contm o conjunto dos seus pontos de acumulao e, portanto, A fechado. Como A M fechado de um compacto, segue que A compacto. Por A no ter pontos de
Com efeito, sejam
um espao mtrico compacto e
4.5.
ESPAOS MTRICOS COMPACTOS
91
acumulao, segue que existe, para cada
x A uma vizinhana aberta Vx A.
de
tal que
A Vx = {x}. Portanto A Vx
xA
Disso segue que
x1 , . . . , xn A tais que A n Vxi . Mas isso implica que A i=1 {x1 , . . . , xn }. Ou seja, A nito. Isso completa a prova de que (1) (2).
existem
(2) (3):
Com efeito, dada uma seqncia nito, evidente que
(xn ) em M , segue que, se {xn : n N}
(xn ) possui uma subseqncia constante e, portanto, convergente. Se {xn : n N} innito, segue, pela hiptese, que {xn : n N} possui um ponto de acumulao z . E, disso, segue que, pode-se tomar xn1 {xn : n N} e, dado k N, pode-se tomar nk > nk1 tal que d(xnk , z) < 1/k . Disso segue que xnk z .
(3) (4):
Dada uma seqncia de Cauchy
(xn )
em
(xn )
possui uma subseqncia convergente. Por
M , segue, pela hiptese, que (xn ) ser de Cauchy, possui

Isso completou a prova
subseqncia convergente implica que de que
(xn ) converge.
completo.
Supe-se, por absurdo, que
no totalmente limitado.
Logo existe
>0
tal que toda coleo nita de bolas abertas de raio
no cobre
M.
Fixa-se
e, ento, escolhe-se C x1 , . . . , xn1 , como B[xi ; ] =
x1 M
x2 B[x1 ; ]. ,
toma-se
Indutivamente, tomados
xn
B[xi ; ] (xn ). M
. (xn )
tal que
Denida assim, temos uma seqncia
Logo a seqncia
d(xm , xk )
m, k N,
donde segue que
(xn )
no possui subseqncia
convergente. Absurdo. Logo deve-se ter
totalmente limitado.
(4) (1):
92
CAPTULO 4.
ESPAOS MTRICOS
Supe-se por absurdo que existe uma cobertura aberta no possui subcobertura nita. cobrir Como
M =
que
L totalmente limitado, pode-se
por um nmero nito de fechados de dimetros menores que
1.
Segue que pelo menos um desses fechados no pode ser coberto por uma
{A }L . Seja X1 um desses fechados. Indutivamente, supe-se que foram tomados X1 Xn1 fechados tais que Xi no pode ser coberto por uma subfamlia nita de {A }L , e tal que diam(Xi ) < 1/i. Como Xn1 M , segue que Xn1 totalmente limitado. Portanto pode-se cobrir Xn1 por um nmero nito de fechados com dimetros menor que 1/n. Como Xn1 no possui subcobertura nita, segue que pelo menos um desses fechados (da cobertura) no possui subcobertura nita. Seja Xn um
subfamlia nita de desses fechados. Isso provou que podemos tomar uma seqncia de fechados
X1 Xn com diamXn 0 e tal que Xi no possui subcobertura nita para todo i N. Por M ser completo, segue de 4.17 que existe a M
tal que
Xi = {a} .
nN
Tem-se que, para algum existe n0 N tal que diamXn0 < 1/n0 , logo
L, a A . Como A aberto, segue que a B(a; 1/n0 ) A . Mas tem-se que a Xn0 e Xn0 B(a; 1/n0 ) A .
Ou seja, pacto.
Xn0
possui uma subcobertura nita. Absurdo. Segue que
com-
Temos o primeiro resultado sobre aplicaes contnuas denidas em espaos mtricos compactos.
Teorema 4.25 Prova:
Sejam
Funes contnuas
K um espao compacto e M um espao metrizvel. f : K M so limitadas (em qualquer mtrica de M ). f (K)

compacto e subespao de
Com efeito,
M.
Segue que
um espao metrizvel compacto. Portanto
f (K) limitado (independente da
4.5.
ESPAOS MTRICOS COMPACTOS
93
mtrica coerente com a topologia adotada em
M ).
Antes de provar o prximo resultado importante sobre funes contnuas denidas em espaos metrizveis compactos, vamos falar sobre uma interessente propriedade relacionadas com coberturas abertas de espaos mtricos: existncia de um nmero de Lebesgue. Essa propriedade extensamente utilizada em argumentos bsicos que envolvem espaos mtricos compactos (e aplicaes contnuas denidas nele). Em particular, essa propriedade usada em argumentos elementares de Dinmica Topolgica. Segue a denio de nmero de Lebesgue.
Denio 4.16
de se
Sejam
um espao mtrico e
M =
L
uma cobertura
M.
Diz-se que
>0
um nmero de Lebesgue da cobertura
M=
L
C ,
S M, diam(S) < = L : S C .
Proposio 4.26 (Existncia de nmero de Lebesgue)

trico
Se o espao m-
compacto, ento toda cobertura aberta de
possui um nmero de
Lebesgue.
Prova:
Supe-se por absurdo que existe uma cobertura aberta
M=
L
que no possui um nmero de Lebesgue. Toma-se, para cada
n N, Sn M com diam(Sn ) < 1/n tal que Sn A para todo L. Como Si = para todo i N, segue que, para cada n N, pode-se tomar xn Sn . Por M ser compacto, segue que existem L M e uma subseqncia (xnj ) tais que xnj L. Tem-se que L A para algum L. Logo existe n0 N tal que B(L; 4/n0 ) A . Como xnj L, segue que existe m0 N tal que m0 > n0 e tal que d(L, xm0 ) < 1/n0 . Logo tem-se que y Sm0 d(L, y) d(L, xm0 )+d(xm0 , y) 1/n0 +1/m0 < 1/n0 +1/n0 < 4/n0 .
Disso segue que
Sm0 B(L; 4/n0 ) A .
Absurdo, pois contraria a hiptese.
E isso completa, ento, a prova de que toda cobertura aberta de um nmero de Lebesgue.
possui
Segue um teorema muito importante sobre aplicaes contnuas denidas em espaos mtricos compactos. Ele ser extensamente utilizados no [6].
94
CAPTULO 4.
ESPAOS MTRICOS
Teorema 4.27
M
Sejam
compacto, segue
M, N espaos mtricos. Se f : M N que f uniformemente contnua.

n
tais que
contnua e
Prova:
Com efeito, dado
> 0, tem-se que, como f (M ) compacto, existem f (M )

i=1 n
f (x1 ), . . . , f (xn ) f (M ),
B(f (xi ); /2).
Logo
M=
i=1
f 1 (B(f (xi ); /2))

Disso segue que existe um nmero de Lebesgue
M.
tal que
d(x, y) < delta = j {1, . . . , n} : x, y f 1 (B(f (xj ); /2)) = d(f (x), f (y)) d(f (x), f (xj )) + d(f (xj ), f (y)) < .
E, ento, isso completou a prova do teorema.
4.6 Semicontinuidade Inferior e Superior

Um dos teoremas de Furstenberg em Dinmica Topolgica que do apoio para a demonstrao de um dos resultados em teoria dos nmeros (Teorema de Van der Waerden) na referncia [6] recorre denio de Semicontinuidade Inferior. Segue a denio e, para encerrar o captulo, um resultado elementar a respeito.
Denio 4.17
o. 1
Sejam
um espao mtrico e
f diz-se semicontnua inferiormente, se, ((, +)) aberto em M . Analogamente, f diz-se semicontnua 1 ormente, se, para todo R, tem-se f ((, )) aberto em M .
Note que uma aplicao e somente se,
f : M R uma para todo R,
aplicatem-se superi-
f : M R
semicontnua superiormente se,
semicontnua inferiormente. Alm disso, uma aplicao
f :M R
semicontnua superiormente e
inferiormente.
Teorema 4.28
Se uma funo
f : M R
denida num espao mtrico
completo semicontnua superiormente (ou inferiormente), ento o conjunto de pontos em que
contnua residual.
Captulo 5 Grupos Topolgicos

Um conceito que estar intimamente ligado com toda teoria de dinmica topolgica exposta no texto de [6] o de grupos topolgicos. Antes de abordlos, ser feita uma breve reviso da teoria bsica de grupos. Existem vrios livros de lgebra que possuem um tratamento interessante de teoria bsica dos grupos. O leitor interessado pode recorrer a esses livros.
5.1 Teoria Bsica dos Grupos

Denio 5.1 (Grupo)
operao denida em Um par
(G, ),
onde
um conjunto e
uma
G,
um grupo quando a operao
associativa, com
elemento neutro, e com inversos. Ou seja, 1. 2. 3.
(a b) c = a (b c), a, b, c G; e G
tal que
a e = e a = a a G;
a G, a1 a = e.
comutativa, o grupo chamado abeliano.
Quando a operao
Resultados elementares sobre grupos podem ser encontrados em qualquer livro de lgebra.
Denio 5.2
subgrupo de
Seja
(G, )
um grupo. Um subconjunto
HG
denominado
e denotado por
H G,
95
se
(H, )
um grupo.
96
CAPTULO 5.
GRUPOS TOPOLGICOS
Exemplo 5.2.1 R, Q, Z, C
casos,
so grupos aditivos (ou seja, so grupos em re-
lao operao de adio).
R, Q, C (G, )
so grupos multiplicativos. Em ambos e
subgrupo de
R. (H, ), G H se torna naturalmente tal que (a, b) (c, d) = (a c, b d).
Tambm, dados dois grupos O grupo
um grupo quando munido da operao
GH
chamado de grupo produto.
5.1.1
Homomorsmo de grupos
Em toda teoria, montamos uma relao de equivalncia de tal forma que as propriedades estudadas so invariantes por classe de equivalncia. Assim as propriedades topolgicas (que provm unicamente da estrutura topologia do espao) so mantidas por homeomorsmos Em espaos mtricos, a isometria preserva a estrutura que provm da mtrica (propriedades mtricas). Em lgebra, d-se o nome de isomorsmo relao (de equivalncia) que mantm a estrutura algbrica. E, na teoria (bsica) dos grupos, as
propriedades que se mantm por classes de equivalncia dessa relao que so o objeto de estudo. grupos. Aqui ser apresentado o chamado isomorsmo de
Denio 5.3 (Homomorsmo de grupos)

Uma aplicao
Sejam
f : G H um homomorsmo, f (a) f (b) para todo a, b G. Quando f bijeo, f denominado isomorsmo e G e H dizem-se isomorfos. Quando f sobrejetivo, f chamado epimorsmo. E, quando f injetivo, chamado monomorsmo.
(G, ) e (H, ) grupos. se satisfaz f (a b) =
A relao de isomorsmo , de fato, uma relao de equivalncia. A demonstrao de carter trivial e ca a cargo do leitor. Outras proposies elementares sobre homomormos e isomorsmos podem ser encontradas em qualquer livro de lgebra 1, por exemplo, no livro [8] da referncia bibliogrca.
Denio 5.4
conjunto
O Ncleo ou Kernel de um homomorsmo
f :GH
Ker(f ) = {g G : f (g) = eH } .
A imagem de
o conjunto
Im(f ) = {h H : g G
tal que
f (g) = h} .
5.1.
TEORIA BSICA DOS GRUPOS
97
Teorema 5.1
1. O ncleo
Seja
f :GH
um homomorsmo. As seguintes armaes
so verdadeiras:
Ker(f ) Im(f )
um subgrupo de um subgrupo de
G; H; Ker(f ) = {eG };
2. A imagem 3. 4.
f f
um monomorsmo se, e somente se, um epimorsmo se, e somente se,

A ltima armao bvia.
Im(f ) = H
Prova:
Para provar 1, basta ver que, dados
a, b Ker(f ), f (a b) = f (a) (f (b))1 = eH eh = eH ,

ou seja,
a1 Ker(f ).
Isso mais o fato de que ao menos
eG Ker(f )
tais que
completa a prova de que, de fato, Analogamente, dados
Ker(f ) G. a, b Im(f ), segue que
existem
g, t G
f (g) = a
f (t) = b.
Logo
f (g t1 ) = f (g) f (t)1 = a b1 , g t1 G tal que f (g t1 ) = a b1 . Portanto g t1 Im(f ). Isso junto com o fato de que ao menos eH Im(f ) completam a demonstrao de que, de fato, Im(f ) H . Para provar 3, primeiramente, nota-se que, se f monomorsmo, segue obviamente que Ker(f ) = {eG }. Reciprocamente, se Ker(f ) = {eG }, tem-se que, dados a, b G tais que f (a) = f (b), segue que
ou seja,
f (a) f (b)1 = f (a b1 ) = eH ,
ou seja, seja,
(a b1 ) Ker(f ). Pela hiptese, isso implica a = b. Isso completa a prova da recproca.
que
a b1 = e.
Ou
Exemplos de homomorsmos e isomorsmos normalmente so trabalhados e apresentados em livros de lgebra 1. Como foi dito anteriormente, do ponto de vista algbrico, dois grupos isomorfos so indistinguveis. Mas nem sempre a estrutura de grupo a nica presente em algum objeto de estudo como o caso dos grupos topolgicos.
98
CAPTULO 5.
GRUPOS TOPOLGICOS
5.1.2
Teorema de Lagrange
Sejam
Denio 5.5
de equivalncia:
um grupo e
H G.
Dene-se a seguinte relao
a b(modH) a1 b H.
As classes de equivalncia dessa relao so chamadas classes laterais da esquerda de
e so, na verdade, os conjuntos
b H.
Dene-se analogamente, a relao de equivalncia:
a (modH)b a b1 H.
As classes de equivalncia de
H b
so denominadas classes laterais da direita
H.
Prova-se que, de fato, essa relao uma relao de equivalncia. Para
isso, provaremos para a primeira relao denida (a demonstrao para a segunda anloga).
Prova:
Basta provar que a relao reexiva, simtrica e transitiva. evidentemente que,
1. Reexividade:
a G, a a1 = e H . H
Isso
completa a prova da reexividade. 2. Simetria: se
(a1 b) H ,
ento, por
ser um subgrupo,
(a1 b)1 = b1 a H.
Isso completa a prova da simetria; 3. Transitividade: se
a1 b H
b1 c H ,
segue que
a1 b b1 c H,
ou seja,
a1 c H .
Isso completa a prova da transitividade.
Portanto, de fato, trata-se de uma relao de equivalncia.
Denio 5.6 (ndice)
A quantidade de classes laterais esquerda distin-
tas denominado ndice de
em
e denotado por
(G : H).
Ou seja,
5.1.
99
a cardinalidade da famlia das classes laterais esquerda chamada de ndice de
{g H : g G}
em
G.
Onde est escrito classe lateral esquerda pode ser substitudo por classe lateral direita. Basta notar que
: {g H : g G} {H g : g G} gH H g
uma bijeo, ou seja, as duas famlias tem mesma cardinalidade.
Proposio 5.2
laterais de
Sejam
um grupo e
H G
um subgrupo. Todas classes
possuem mesma cardinalidade de
H.
Prova:
Dado
x G,
seja
uma bijeo. De fato,
: H x H tal que (g) = x g . Provemos que dados g, h H tais que (g) = (h), segue que xg =xh
e, portanto, 1
k H
uma
g = h. Isso prova que injeo. Dado k x H , (x1 k) = k . Isso prova que sobrejeo. bijeo e a cardinalidade de H a mesma de x H .
e que
tem-se que Portanto
A cardinalidade um grupo denominada a ordem do grupo. A ordem de um grupo pode ser nita ou innita. A ordem de um elemento a ordem do subgrupo gerado por esse elemento. Seja G um grupo, o subgrupo gerado por n um elemento a G o subgrupo {a : n Z} denotado por a . Note que, de fato, isso um subgrupo de
G.
Um subgrupo gerado por um subconjunto
de
o menor subgrupo que contm
e denotado por
Teorema 5.3 (Teorema de Lagrange)

subgrupo de de
Sejam
um grupo nito e
um
G.
Ento
dividem a ordem de
|G| = |H| (G : H). G.
Em particular, o ndice e a ordem
Prova:
de
Com efeito, as classes laterais
g H
so, evidentemente, uma partio
G.
Existem
(G : H)
classes laterais com cada uma
|H|
elementos (como
foi provado em 5.2).
100
CAPTULO 5.
GRUPOS TOPOLGICOS
Corolrio 5.3.1
Tem-se que
Seja
f : G H
um homomorsmo de grupos nitos.
|G| = |Ker(f )| |Im(f )| .
Prova:
Note que
|Im(f )|
exatamente o ndice do ncleo em
G.
De outra forma, note que
{a Ker(f ) : a G}
uma partio de
G.
E a quantidade de elementos distintos nessa famlia
exatamente o nmero de elementos da imagem (pois para cada elemento da imagem, escolhe-se um representante
na imagem inversa).
5.1.3
Grupo Quociente
(Z/mZ, +).
Aqui, o objetivo generalizar a idia da construo do grupo Para isso, dene-se subgrupo normal.
Denio 5.7 (Subgrupo Normal)

G
denominado normal, se
G um grupo. g G g N g 1 N .
Seja
Um subgrupo
Proposio 5.4
g G.
Um subgrupo
N G normal se, e somente se, gN = N g
Prova:
Com efeito, se
N G normal, segue que, dados g G e gn gN , g n g 1 N.
tem-se, por
ser normal, que
g n g 1 g N g , ou seja, g n N g . Isso completa a prova de que g N N g . A prova da incluso N g g N anloga. Reciprocamente, se g N = N g g G, ento, dados g G e n N ,
Logo tem-se que
g n g N = N g.
De
gnN g
segue que
g n g 1 N .
Logo
normal e isso completa
a prova da recproca do teorema.
5.1.
101
Proposio 5.5 Prova:

Sejam
Todo subgrupo de um grupo abeliano normal.

um grupo abeliano e
N G.
Dados
nN
g G,
g n g 1 = g g 1 n = e n = n N.
Isso demonstrou a proposio.
Proposio 5.6
subgrupo de
Sejam
(e de
subgrupo normal
G um grupo e H, K G. Segue que H K um G). E, ainda, se K subrupo normal de G, ento H K de H .
Prova:
A primeira armao de fcil demonstrao. Se K normal, dados n H K e g H , segue que g n g 1 K (por K ser subgrupo normal de G). Mas, tambm, g n g 1 H , pois n, g H . Logo g n g 1 K H . Isso completou a prova de que
K H
subgrupo normal de
H.
Teorema 5.7
normal de
O Kernel de um homomorsmo
f :GH
um subgrupo
G. gG
e
Prova:
Dados
n Ker(f ),
segue que
f (g n g 1 ) = f (g) f (n) f (g 1 ) = f (g) eH f (g)1 = f (g) f (g)1 = eH

Ou seja,
g n g 1 Ker(f ).
Ker(f )
um
subgrupo normal.
Denio 5.8
O centro de um grupo
o conjunto
Z(G) = {g G : g h = h g, h G} .
Proposio 5.8
Um grupo
abeliano se, e somente se,
G = Z(G).
102
CAPTULO 5.
GRUPOS TOPOLGICOS
Prova:
ento
Evidente que se abeliano.
G um grupo abeliano, G = Z(G).
E, se
Z(G) = G,
Denio 5.9
a operao
Sejam
um grupo e
N G
um subgrupo normal. Dene-se
em
G/N = {gN : g G}
da seguinte forma
gN hN = ghN . j=h
Prova:
e
Resta provar que a operao acima est bem denida. Dados do grupo
g=t
tais que
gN = tN
jN = hN .
Segue, ento, que
gN jN = gjN = ghN = gN h = tN h = thN = tN hN.

est bem denida.
Teorema 5.9 Prova:
O conjunto
G/N
munido da operao denida em 5.9 um
grupo. Ele chamado de grupo quociente.
O elemento
N = eN G/N
o elemento neutro de , pois
gN G/N, gN eN = eN gN = egN = gN.

Dado
gN G/N , g 1 N gN = eN = N .
Isso completa a prova da existncia
de inversos. Para provar a associatividade, basta ver que
aN (bN cN ) = a (bcN ) = a(bc)N = (ab)cN = abN cN = (aN bN ) cN.
Proposio 5.10
Sejam
que o grupo quociente
G um grupo abeliano e H G/H abeliano.
um subgrupo de
G.
Segue
5.1.
103
Prova:
G/H ,
A demonstrao trivial. Com efeito, basta ver que, dados
aH, bH
aH bH = abH = baH = bH aH.
Observao:
Seja
um grupo e
vezes, denota-se os elementos
H G um subgrupo xH G/N por x G/N , ou
normal. por
Muitas
Teorema 5.11 (Primeiro teorema do isomorsmo)

um homomorsmo de grupos. Segue que
G/Ker(f )
f : G H isomorfo Im(f ).
Se
Prova:
que
Com efeito, dene-se
Provemos que isso
a = bt (onde f (b). Ou seja, a funo
: G/Ker(f ) Im(f ), (xKer(f )) = f (x). est bem denido. Com efeito, dados a bKer(f ), segue t Ker(f )). Portanto f (a) = (aKer(f )) = f (bt) =
est bem denida. Nota-se facilmente que isso um
homomorsmo e que sobrejetivo. Nota-se que
Ker() = {xKer(f ) : x Ker(f )} = {Ker(f )} = {e}

Logo, de fato,
um isomorsmo.
Teorema 5.12
G, H grupos e N G, M H subgrupos normais. n Tem-se que G/N H/M isomorfo a (GH)/(N M ). Em especial,(G/N ) n n isomorfo G /N .
Sejam
Prova:
Com efeito, primeiramente deve-se provar que
(N M )
subgrupo
normal de
G H.
Dados
g GH
a N M,
1 1 gag 1 = (g1 a1 g1 , g2 a2 g2 ) N M.
Agora, dene-se o seguinte homomorsmo:
f : G/N H/M (G H)/(N M ), f (xN, yM ) = (x, y)(N M ).
104
CAPTULO 5.
GRUPOS TOPOLGICOS
Prova-se que isso se trata realmente de um homomorsmo. dados
Note que,
(x1 N, x2 M ), (y1 M, y2 M ) (G/N H/M ),
tem-se que:
f ((x1 N, x2 M )(y1 N, y2 M )) = f ((x1 y1 )N, (x2 y2 )M ) = (x1 y1 , x2 y2 )(N M ) = (x1 , x2 )(N M )(y1 , y2 )(N M ) = f ((x1 N, x2 M )) f ((y1 N, y2 M ))
Evidente que
uma sobrejeo.
Provemos que
seja um monomorCom efeito, se Por-
smo (para isso, basta provar que o Kernel unitrio).
f ((x1 N, x2 M )) = (eG , eH )(N M ), segue que x1 = eG N, x2 = eH M . tanto isso completa a prova de que f se trata de um isomorsmo.
5.2 Grupos Topolgicos

Agora, vamos tratar de grupos topolgicos. Grupos topolgicos so conjuntos munidos da estrutura de grupo e de topologia, com as duas estrturas concordando. A denio abaixo estabelece de forma precisa o que grupo topolgico.
Denio 5.10 (Grupos topolgicos)

(G, )
munido de uma topologia tal que: 1. A operao 2.
Um grupo topolgico um grupo
m : G G G, m(x, y) = x y ,
contnua.
contnua;
I : G G, I(x) = x1 ,
Um grupo
Lema 5.13 Prova:

e
(G, )
munido de uma topologia
gico se, e somente se, a funo
um grupo topolg : G G G, g(x, y) = x y 1 , contnua.
Na demonstrao desse lema, f : G G denotar a funo denida 1 por f (x) = x , m : GG G denotar a funo denida por m(x, y) = xy ,
g : G G G denotar a funo denida no enunciado. Seja (G, ) munido de tal que a funo g : G G G contnua. Segue que a funo g|H restrita ao domnio H = {e}G contnua. Evidente que a funo k : G H , g(x) = (e, x), contnua e, portanto, g|H k = f : G G
5.2.
GRUPOS TOPOLGICOS
105
contnua (note que, de fato,
f (x) = x1 ).
Ou seja, a funo que associa
cada elemento ao seu inverso contnua. Seja
I : G G, I(x) = x,
a aplicao identidade. Por
ser contnua,
segue que a aplicao
(I f ) : G G G G (x, y)
contnua. Logo
(x, y 1 )
contnua.
Isso completa a prova de que Reciprocamente,
m = g (I f ) : G G G, m(x, y) = x y G , de fato, um grupo topolgico. seja (G, ) um grupo topolgico. Temos que g = m (I f ) : G G G,
logo
contnua.
Exemplo 5.10.1
Qualquer grupo munido da topologia discreta (ou indis-
creta) um grupo topolgico. Tambm, o grupo aditivo logia usual, assim como o gupo multiplicativo topolgico usando a topologia usual de
munido da topo um grupo
R {0}
munido da mesma
topologia, so grupos topolgicos. O grupo multiplicativo
C {0}
C. G.
Se
Lema 5.14
Seja
um subgrupo de
um grupo topolgico,
munido da topologia induzida por subgrupo topolgico de
um grupo topolgico e chamado de
G.
Prova:
e
f :G
Basta ver que as restries das funes m : G G, m(x, y) = x y , G, f (x) = x1 , a H H e a H permanecero, evidentemente,
contnuas.
Exemplo 5.10.2
Tem-se, adio.
O subgrupo
S 1 = {x C : x = 1}
de
C {0} R
um sub-
grupo topolgico de
C {0}. tambm, que Z, Q
so subgrupos topolgicos de
com respeito
106
CAPTULO 5.
GRUPOS TOPOLGICOS
5.2.1
Sistema de vizinhanas do elemento neutro

Essas propriedades normalmente nos servem
Os sistemas de vizinhanas dos elementos de um grupo topolgico tem propriedades bem interessantes.
bastante quando se quer provar algo a respeito de de grupos topolgicos. Por isso, essa subseo dedicada a apresentar tais propriedades.
Teorema 5.15
esquerda
Seja
um grupo topolgico. As translaes direita
Ra
La
so homeomorsmos.
Prova:
Provemos que a translao direita
Ra : G G x xa Ra = (m t), onde t : G G G tal que t(x) = (x, a) e m : G G G a operao. Resta apenas provar que t contnua. Para isso, basta tomar um aberto bsico U V de G G e 1 notar que, ou a V , ou a V . Se a V , segue que t (U V ) = , ou 1 seja, aberto. Caso a V , segue que t (U V ) = U , ou seja, aberto. Isso completa a prova de que t contnua. Portanto Ra uma composio de funes contnuas, ou seja, contnua. Evidentemente que Ra uma bijeo e, tambm, que Ra1 a inversa de Ra . Como Ra1 , tambm, uma translao a direita, segue que contnua. Portanto Ra homeomorsmo. A prova para a translao esquerda La anloga.
contnua. Com efeito, Os resultados abaixo descrevem o bom comportamento das vizinhanas num grupo topolgico. Como conseqncia dos resultados abaixo, dizemos que os grupos topolgicos so espaos uniformes.
Teorema 5.16
G um grupo topolgico. Dado g G, U vizinhana de G se, e somente se, U g 1 vizinhana de e (onde e o elemento neutro). Ou seja, todas vizinhanas de g G so do tipo gV , onde V uma vizinhana de e. E, se V uma vizinhana de e, ento gV vizinhana de g .
Seja O teorema vale tambm para translaes direita das vizinhanas.
5.2.
GRUPOS TOPOLGICOS
107
Prova:
g G, se U vizinhana de e, ento Lg (U ) = gU uma vizinhana de g (por Lg homeomorsmo). Da mesma forma, se V 1 vizinhana de g , ento Lg 1 (V ) = g V vizinhana de e (por Lg1 ser um
Com efeito, dado homeomorsmo). A prova para translaes direita da vizinhana do elemento neutro anloga.
Corolrio 5.16.1
e G, gU
de
Seja
ento, para todo
G um gU g 1
grupo topolgico. Se uma vizinhana
U de e.
uma vizinhana de
Prova:
e.
Com efeito, dada uma vizinhana
de
e G.
Pelo teorema 5.16,
vizinhana de
g.
E, pelo mesmo teorema, segue que
gU g 1
vizinhana
Note que, com os resultados anteriores, vericamos que a topologia de um grupo topolgico bem descrita, quando sabemos o sistema de vizinhanas do elemento neutro. Todo espao vetorial normado (ou, de forma mais geral, topolgico) , em particular, um grupo (abeliano aditivo) topolgico. Logo as vizinhanas so bem comportadas (por translaes) de forma semelhante descrita pelos resultados anteriores.
um grupo topolgico. Se U uma vizinhana de e, ento existe uma vizinhana V de e tal que V V 1 U . Seja
Com efeito, por
ser um grupo topolgico, tem-se que
m: GG G (g, h) gh1 G G.
1 contnua. Logo, dada uma vizinhana U de e, m (U ) aberto em 1 Por m (U ) ser aberto, segue que existe uma vizinhana V tal que
e V V m1 (U ).
Isso acontece por de
{U T : U
so abertos em
G} ser a base da topologia
G G.
Note que essa vizinhana
tal que
V V 1 m(V ) U.
Isso completa a demonstrao do teorema.
108
CAPTULO 5.
GRUPOS TOPOLGICOS
5.2.2
Axiomas de Separao
Para enunciar o nico resultado desta subseo, sero feitas algumas denies sobre os axiomas de separao de espaos topolgicos. Essa nica proposio diz que, se dois elementos distintos de um grupo topolgico podem sempre ser de alguma forma topologicamente distinguidos, ento eles sempre podem ser separados por vizinhanas, ou seja, o grupo topolgico Hausdor.
Denio 5.11 (Axiomas de separao)

mado
Um espao topolgico
cha-
T0 ,
se, dados dois pontos distintos
x, y X , T1 ,
existe uma vizinhana
de pelo menos um dos dois pontos que no contm o outro ponto. Um espao topolgico
denominado
se, dados dois pontos distintos
x, y X , existe x V e y U.
Um espao
uma vizinhana
de
e uma vizinhana
de
tais que:
T2
se Hausdor.
Teorema 5.18 Prova:
Seja
um grupo topolgico. Se
T0 ,
ento
T2 .
Com efeito, seja
do grupo
G,
sem perda
uma vizinhana de
y)
e,
x, y distintos de generalidade, supe-se que x T (onde T 1 ento, xy T y 1 = U . Segue que U = T y 1

um grupo topolgico Dados
T0 .
vizinhana do elemento neutro. Pela proposio 5.17, existe uma vizinhana
de
tal que
V 1 V U.
Por absurdo, existe
uVxVy =
e, portanto,
u1 u = e x1 V 1 V y x1 U y.
Disso segue que existe Absurdo. Portanto
t U
tal que
x1 ty = e,
ou seja,
t = xy 1 U .
V x V y = .
Hausdor.
5.2.
GRUPOS TOPOLGICOS
109
5.2.3
Subgrupos de grupos topolgicos

1
Agora, vamos tratar de subgrupos topolgicos. O primeiro resultado sobre o assunto que um subgrupo de um grupo topolgico, com a topologia induzida, um grupo topolgico: esse resultado foi provado em 105 . Seja
um grupo tpolgico.
O teorema abaixo diz que o fecho de um
subgrupo topolgico de
um subgrupo topolgico. Note que, pelo lema,
segue que a nica coisa que precisamos provar que o fecho de um subgrupo um subgrupo.
Teorema 5.19
fecho de
Sejam
um grupo topolgico e
um subgrupo de
G.
um subgrupo (topolgico). E o fecho de um subgrupo normal
um subgrupo normal (topolgico).
Prova:
m : G G G a operao de G. Com efeito, supe-se por absurdo que existem a, b H tal que ab H . Logo existe uma vi1 zinhana U (G H) de ab. Tem-se que m (U ) uma vizinhana de (a, b), logo m1 (U ) contm um conjunto V K , onde V vizinhana de a e K vizinhana de b. Logo m1 (U ) H H = . Ou seja, existe (q, r) m1 (U ) H H tal que qr H . Absurdo, pois H um subgrupo. Logo isso prova que ab H . 1 De forma anloga, supe-se por absurdo que existe a H tal que a 1 H . Segue que existe uma vizinhana V de a cuja interseo com H vazia.
Seja Pela continuidade de
f : G G g g 1
segue que
V 1
uma vizinhana de
e, por
a H,
segue que
V 1 H = .
Ou seja, existe
gH
tal que
g 1 V (G H).
Isso, novamente, contraria a hiptese de que H subgrupo de G. Absurdo. 1 Logo a H e isso completa a demonstrao de que H um subgrupo.
1 Lema 5.14
110
CAPTULO 5.
GRUPOS TOPOLGICOS
Seja
N G
um subgrupo normal. Pelo demonstrado,
um subgrupo.
Supe-se por absurdo que N no um subgrupo normal. Ou seja, existe a G tal que aN a1 N e isso quer dizer que existe t N tal que ata1 N . Logo existe uma vizinhana
U (G N )
de
ata1 .
Portanto
a1 U a
tem interseo no-vazia com
(por ser uma
vizinhana de
t N ),
logo existe
k U N.
Todo subgrupo aberto de um grupo topolgico , tambm, fechado. Isso facilmente vericado ao tomar as classes laterais: anal, as classes laterais de um subgrupo aberto so abertas .

que
Seja
HG
um subgrupo. Se
aberto ento tambm fechado.

Com efeito, seja
um subgrupo aberto.
Segue, pelos resultados so abertas (e, evidenNota-se, ento,
provados anteriormente, que as classes laterais
aH
temente, so disjuntas e formam uma partio do grupo).
G H = HC =
aH
Isso prova que o complementar de aberto.
aH.
uma reunio de abertos e, portanto,
Como conseqncia do resultado anterior, segue um resultado muito interessante: todo aberto no-vazio de um grupo topolgico conexo
gera o
grupo todo. Um exemplo a reta (grupo (topolgico) aditivo): um intervalo aberto gera a reta toda. Mas antes de enunciar e provar o resultado descrito, provamos o seguinte resultado.
Proposio 5.21
no-vazio. Se
Seja
um subgrupo de
tal que
A G um conjunto aberto H A, ento H aberto. E,
ento, aberto-fechado.
2 Pois as translaes so homeomorsmos.
5.2.
GRUPOS TOPOLGICOS
111
Prova:
Com efeito, toma-se
vizinhana de
e.
Tem-se que
t A. Segue que B = At1 H uma gB H por H ser um subgrupo (portanto
gH
fechado para a operao) e a outra incluso bvia, ento
H=
gH
ou seja,
gB, H
aberto. Pela proposio 5.20,
uma reunio de abertos. Logo
segue que
tambm fechado.
Exemplo 5.11.1
Com efeito, se
Nenhum subgrupo prprio de (R, +) contm um intervalo. H R contm um intervalo, pela proposio 5.21, o subgrupo H aberto-fechado em R. R conexo, logo, por H ser conexo, ou H = R, ou H = . Evidente que H = , pois H um subgrupo. Logo H = R. Isso prova a armao. De outro modo, exemplo,
(R {0} , )
possui subgrupos que contm intervalos. Por
R+ = {x R : x > 0} .
Mas, analogamente a
R, R+
no possui subgrupos (com respeito multipli-
cao) que contm intervalos.
Corolrio 5.21.1
gera
Todo aberto no-vazio de um grupo topolgico conexo
todo.
Dado um aberto
Prova:
Se
AG
no-vazio, tem-se que o subgrupo gerado
pelo conjunto
, por denio, o menor subgrupo que contm
A.
o subgrupo gerado por
G.
Como
H A,
segue do resultado
anterior que implica que
H aberto-fechado. H = G.
Como
no vazio e
conexo, isso
Segue um teorema que encerra essa subseo sobre a componente conexa da identidade.
Teorema 5.22
nente conexa de
Sejam
um grupo e
eG
seu elemento neutro. A compo-
um subgrupo normal de
G.
112
CAPTULO 5.
GRUPOS TOPOLGICOS
Prova:
N N
Seja
N G
a componente conexa do elemento neutro. Segue que
conexo, logo
N N = {gh : g, h N }
conexo (pela continuidade da operao). Como
e N N,
segue que
N N N
(por
ser componente conexa). Analogamente,
N 1 = g 1 : g N
1 conexa (pela continuidade da inverso). Como e = e N 1 , segue que N N 1 (por N ser componente conexa). Isso completa a prova de que N
subgrupo. Provemos que
normal. Com efeito, dado
g G,
nota-se que
gN g 1
conexo (pela continuidade das translaes direita e esquerda). Tem-se 1 1 que gN g conexo e contm e, logo N gN g . Isso completa a prova do teorema.
Um exemplo bvio a componente conexa do elemento neutro no grupo (multiplicativo) R {0}. Tal componente conexa o grupo (multiplicativo) R+ , e esse subgrupo evidentemente um subgrupo normal.
5.2.4
Sejam
Grupos topolgicos quocientes

G
N G
um subgrupo normal. Na subseo
5.1.3, foi construdo o grupo quociente
G/N .
Aqui, ser provado que
G/N
com a topologia quociente um grupo topolgico e que algumas propriedades so carregadas para o grupo quociente. Para isso, sero usados resultados
da seo 3.2 do captulo 3. Para evitar confuso, os elementos de denotados por
G/N
sero
= xN .
Sejam
Proposio 5.23
aberta (quando
um grupo topolgico com a operao
um subgrupo normal. A projeo
P : G G/N , P (x) = x,
aberto, segue que
N G
uma aplicao
G/N
est munido da topologia quociente).
Prova:
Com efeito, dado
U G/N P
ou seja, uma reunio de abertos, logo um aberto. Isso completa a prova de que aberta.
P 1 (P (U )) = U N , Portanto P (U ) aberto.
5.2.
GRUPOS TOPOLGICOS
113
Teorema 5.24
Segue que
Sejam
G um grupo topolgico e N G um subgrupo normal.

a projeo. Prova-se primeiramente
G/N ,
munido da topologia quociente, um grupo topolgico.
Prova:
que
Seja
P : G G/N , P (x) = x ,
I : G/N G/N
x
contnua. Tem-se que
x 1
(I P ) :: G G/N x x 1 (I P ) = (P i), onde i : G G tal que i(x) = x1 ; ou seja, (I P ) = (P i) uma composio de aplicaes contnuas e, portanto, contnua. Pelo teorema 3.17, a continuidade de (I P ) implica que I
contnua, pois contnua. Resta provar que
m : G/N G/N G/N (x , y ) xy

contnua. Seja e aberta, pois operao de
ser contnua e aberta.
(P P ) = P2 : G G G/N G/N . P2 contnua Denota-se por j : G G G a (m P2 ) = (P j) : G G G/N
G.
Logo
contnua (por ser a composio de funes contnuas (P e j )). Portanto, 1 1 dado um aberto U G/N , tem-se que P2 (m (U )) aberto em G G. P2 ser aberto implica que
1 P2 (P2 (m1 (U ))) = m1 (U )

aberto. Portanto
contnua e isso completa a prova de que, de fato,
G/N
um grupo topolgico.
Algumas propriedades so carregadas do grupo ciente
para o grupo quo-
G/N .
Essas so propriedades topolgicas que so preservadas por
aplicaes contnuas, como compacidade e conexidade. Uma no to trivial caracterstica que preservada no grupo quociente ser apresentada abaixo.
114
CAPTULO 5.
GRUPOS TOPOLGICOS
Proposio 5.25
se, e somente se,
Seja
um grupo topolgico Hausdor.
G/N
Hausdor
fechado.
Prova:
Seja
P : G G/N a a G um grupo Hausdor. Com efeito, se N fechado, dados = b do grupo G/N , as imagens inversas (da projeo P : G G/N ) P 1 (a ) = aN e P 1 (b ) = bN . Como N fechado, segue que o complementar de bN um aberto que contm aN . A imagem desse complementar por P ser um aberto U que a contm a mas no contm b (pois U bN = ).Isso prova que G/N ao menos T0 . Mas, pelo teorema 5.18, o fato de G/N ser T0 implica que G/N Hausdor. Reciprocamente, se G/N Hausdor, segue que os pontos em G/N so fechados. Logo {e } fechado (onde e o elemento neutro). Pela continui1 dade da projeo P (e ) = N fechado.
a projeo e seja
Denio 5.12 (Grupo metrizvel)

topologia de
Seja
um grupo topolgico.
Se a
metrizvel, ele denominado grupo metrizvel. Sejam
Proposio 5.26
pacto, e grupo
G um grupo metrizvel, separvel e localmente com-
N um G/N .
subgrupo normal fechado. Segue que tambm metrizvel o
Prova:
Seja
Com efeito, prova-se que
G/N
T1 ,
satisfaz o segundo axioma da
enumerabilidade e regular. Pela proposio anterior, em particular,
G/N
Hausdor (e,
T1 ). P : G G/N a a
a projeo.
Dada uma base enumervel
imagens dos abertos bscos pela projeo segue que existe
j B
tal que
B = {i }iN de G, tomam-se as P . Dado um aberto U G/N , j P 1 (U ). Logo P (j ) U . Isso
5.2.
GRUPOS TOPOLGICOS
115
completa a prova de que
G/N
possui uma base enumervel, ou seja, satisfaz
o segundo axioma da enumerabilidade. Dados
G/N
e uma vizinhana
de
x,
a imagem inversa
P 1 (U )
uma vizinhana de
x.
Por
G V
que existe uma vizinhana fechada compacta
ser metrizvel (e, portanto, regular), segue V P 1 (U ) contida numa vizinhana
P (V ) U uma vizinhana compacta de x . Como G/N Hausdor, segue que P (V ) U uma vizinhana fechada de x. Isso completa a prova de que G/N K
de
(portanto
vizinhana compacta). Logo
regular.
Pelo teorema de Urysohn , como merabilidade , regular e
G/N
satisfaz o segundo axioma da enu-
T1 , G/N
metrizvel.
Para encerrar essa subseo ser provado um teorema anlogo ao teorema 5.12. Ele ser vastamente usado no livro [6].
Teorema 5.27
Sejam
G, H
grupos topolgicos e
N G, M H
subgrupos
normais. Tem-se que
(G/N H/M ), (G H)/(N M )

so grupos topolgicos isomorfos (quando munido da topologia quociente). n n n Em especial, (G/N ) , (G /N ) so grupos topolgicos isomorfos.
Prova:
e
Com efeito, basta provar que o isomorsmo denido em 5.12 um
homeomorsmo. Sejam
P : G H (G H)/(N M ), P1 : G G/N Ser denotado P3 = P1 P2 e f ser o isomorsmo denido em 5.12.f P3 exatamente a projeo P de (G H) no grupo quociente (G H)/(N M ) e, portanto, contnua. Dado 1 U (G H)/(N M ), P3 f 1 (U ) aberto em G H . Por P3 ser aberto, P2 : H H/M
as funes projees. tem-se que
1 P3 (P3 f 1 (U )) = f 1 (U )
aberto. Isso completa a prova de que f contnua. 1 1 Prova-se que f contnua. Com efeito, tem-se que f P = P3 , logo 1 1 f P contnua. E, pelo teorema 3.17, segue que f contnua. Isso completa a prova do teorema.
3 Mais detalhes sobre o teorema no livro [2].
116
CAPTULO 5.
GRUPOS TOPOLGICOS
Referncias Bibliogrcas
[1] Halmos, P. R. Naive Set Theory. Springer-Verlag, 1960. [2] Kelley, J. L. General Topology. The University Series in Higher Mathematics, 1961. [3] Lima, E. L. Curso de Anlise, vol. 1. Projeto Euclides. IMPA, 1994. [4] Lima, E. L. Anlise Real, vol. 1. Coleo de Matemtica Universitria. IMPA. [5] Lima, E. L. Espaos Mtricos. Projeto Euclides. IMPA, 2005. [6] Lucatelli Nunes, F. Dinmica Topolgica e Aplicaes
Teoria dos Nmeros.

[7] Lucatelli Nunes, F. Relatrio da Iniciao Cientca 2009-
2010.
[8] Shokranian, S. lgebra 1. Cincia Moderna, 2010.
117

Elementos de Topologia3

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Elementos de Topologia3

Diunggah oleh

Hak Cipta:

Format Tersedia

Elementos de Topologia para Sistemas Dinmicos

Fernando Lucatelli Nunes

Espaos conexos por caminhos . . . . . . . . . . . . . . Componentes conexas . . . . . . . . . . . . . . . . . .

Espaos Compactos . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 2.3.2 Rigidez Hausdor-Compacto . . . . . . . . . . . . . . . Caracterizao de espaos compactos . . . . . . . . . .

3 Topologias Produto e Quociente

Convergncia Uniforme . . . . . . . . . . . . . . . . . . . . . . Espaos Mtricos Completos . . . . . . . . . . . . . . . . . . . 4.4.1 Espaos topologicamente completos . . . . . . . . . . .

Espaos Mtricos Compactos . . . . . . . . . . . . . . . . . . . Semicontinuidade Inferior e Superior . . . . . . . . . . . . . .

Subgrupos de grupos topolgicos

Grupos topolgicos quocientes . . . . . . . . . . . . . . 112

grupo topolgico agindo em

Captulo 0 Conjuntos e Relaes

conjunto vazio o conjunto que no possui nenhum elemento e denotado

coleo nita ou innita de conjuntos.

conjuntos. Uma relao de

0.2 Relao de Ordem

Primeiramente, dene-se o que ordem como segue:

Denio 0.1 (Ordem)

Uma ordem num conjunto

nele mesmo que satisfaz as seguintes propriedades:

a A, (a, a) Ro (a, b) Ro (a, b) Ro

(propriedade reexiva) (anti-simetria) (transitividade)

est munido de uma ordem parcial, ele deno-

um conjunto parcialmente ordenado. Se

Denio 0.2 (Cotas, sup e inf)

Note que nem todo subconjunto

superior ou cota inferior. Nem todo conjunto

que possua uma cota superior, possui um

supremo. Analogamente nem todo conjunto

que possua uma cota

inferior, possui um nmo. Por exemplo, o subconjunto

possui cota inferior em

e, no entanto, no possui nmo.

Denio 0.3 (Mximo e mnimo)

Axioma 0.1 (Axioma da escolha)

{Ai }iL uma famlia de conjunfuno f : L Aj tal que f (j)

Axioma 0.2 (Lema de Zorn)

possui uma cota superior,

A parcialmente ordenado e toda cadeia ento A possui um elemento mximo.

0.3 Relaes de Equivalncia

Re dita ser uma conjunto A nele mesmo e

(propriedade reexiva) (simetria) (transitividade)

(a, b) Re = (b, a) Re (a, b) Re a

uma relao de equivalncia, equivalente a

Note que uma ordem difere-se de uma relao de equivalncia

apenas na propriedade 2 (a ordem parcial anti-simtrica, enquanto a relao de equivalncia simtrica).

particionado pelas classes de equivalncia desses representantes.

O primeiro importante resultado sobre o tema o teorema de Cantor-SchroederBernstein.

conjuntos no-vazios. Existe uma sobrejeo

se, e somente se, existe uma injeo

card(A) card(B) (cardinalidade de A B ) se existe uma injeo : A B .

menor ou igual E, portanto, pelo

lema precedente, isso equivalente a existir uma sobrejeo

B A e card(A) card(B), ento A e B tem a mesma B A e existe uma injeo f : A B , ento A f : A B.

tem a mesma cardinalidade.

O Teorema de Cantor-Schroeder-Bernstein enunciado e provado abaixo. Ele diz que, se

Teorema 0.5 (Teorema de Cantor-Schroeder-Bernstein)

de bijees e, portanto, bijeo.

Proposio 0.6 (Princpio da casa dos pombos)

ento no existe injeo

Conjunto das partes

P (X) = {A : A X}. Ser provado P (X) estritamente maior que X .

nesta subseo que a cardina-

Proposio 0.7 Prova:

Espaos Compactos . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 2.3.2 Rigidez Hausdor-Compacto . . . . . . . . . . . . . . . Caracterizao de espaos compactos . . . . . . . . . .

coleo nita ou innita de conjuntos.

Primeiramente, dene-se o que ordem como segue:

Denio 0.1 (Ordem)

(propriedade reexiva) (anti-simetria) (transitividade)

Denio 0.2 (Cotas, sup e inf)

inferior, possui um nmo. Por exemplo, o subconjunto

e, no entanto, no possui nmo.

Denio 0.3 (Mximo e mnimo)

(propriedade reexiva) (simetria) (transitividade)

for innito e no possuir a mesma cardinalidade de

um conjunto innito, ento

B nito, dada uma fun1 que f (x) um conjunto de

Com efeito, se nito para todo

B nito e existe uma x B , seguiria que f 1 (x)

uma reunio nita de conjuntos nitos. E, portanto,

de uma topologia, equivale a mun-lo de uma estru-

Denio 1.1 (Topologia)

3. A interseo dos conjuntos de toda subfamlia nita de

especca nesse conjunto.

Pela denio, sempre

nito ou o tal que

mais na que qualquer outra topologia nesse conjunto. Da mesma

Denio 1.3 (Vizinhana)

Denio 1.4 (Base)

necessrio e suciente que