Академический Документы
Профессиональный Документы
Культура Документы
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
SUMRIO
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
4.5 4.6
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
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
(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
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
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
CAPTULO 0.
CONJUNTOS E RELAES
0.1.2
Sejam
Funes
A
e
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
A.
uma relao
Ro
de
(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
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
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:
no-vazio de
A possui cota
B A,
B A,
xQ:x>
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.
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.
a A, (a, a) Re
(b, c) Re = (a, c) Re b.
Re
(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
=.
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,
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
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
:A
: 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
: 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
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
card(A) card(B)
card(B) card(A),
ento
card(A) =
card(B).
0.4.
CARDINALIDADE
11
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
Segue, como consequncia do teorema 0.5, o denominado princpio da casa dos pombos (muito usado em combinatria).
Se a cardinalidade de
B,
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
como sendo o
conjunto lidade de
P (X)
de um conjunto
tem cardi-
X.
Ou
f : X P (X)
12
CAPTULO 0.
CONJUNTOS E RELAES
Toma-se
y U,
segue que
y f (y) = U .
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
N.
N,
dito no-enumervel.
Exemplo 0.4.2
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
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
R.
Com efeito,
a R, a
{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}
Corolrio 0.8.1
o
Se
um conjunto innito e
f : A B,
tal
cardinalidade innita.
Prova:
f 1 (x)
funo
f :AB
tal que
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
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.
uma fa-
de subconjuntos de
, X
pertence a
. .
pertence a
. U . diz-se que X
Um
de
aberto, se
15
16
CAPTULO 1.
TOPOLOGIA
(X, )).
so
est
(X, ),
dizemos que
topologia trivial em X
X .Ou
seja, quando
Seja
um
= {X, }.
Dado
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
U,
tal que
X U U X,
a coleo de todos
X U
enumervel ou o
todo. e
Denio 1.2
que
Sejam
duas topologias em
, se
X.
Diz-se que
mais na
menor que
quando
.
Tomando um conjunto qualquer em
X,
Seja
(X, )
U X
x X,
se
contm algum
x. AX
aberto, se e somente se
Lema 1.1
A
Seja
um espao topolgico.
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
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.
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) .
Seja
(X, )
de
x,
existe um aberto
Lema 1.2
.
Sejam
(X, ) um
espao topolgico e
Tem-se que
B. ,
logo
Prova:
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.
18
CAPTULO 1.
TOPOLOGIA
Exemplo 1.4.1
somente.
X,
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
B B
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:
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
uma base de alguma topologia. Toma-se a famlia de cada subfamlia de Com efeito,
B. X.
Basta ver que a unio de todos
uma topologia de
evidentemente. Tambm
, X ,
pois
{} B .
de elementos em
B (e x ),
segue que
tal que
x .
de elementos de
T,
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.
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.
X,
dada pela famlia de todos os conjuntos unitrios. Pelo ltimo lema, a famlia de todos os intervalos
(a, b)
R.
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
Sejam
(X, X )
(Y, Y ) Y}
dois espa-
B = {U V : U
aberto em
aberto em
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,
de
(X, )
Teorema 1.4
ento, que
Sejam
um espao topolgico e
Y X
um aberto. Temos,
AY
aberto no subespao
aberto em
X.
Prova:
A Y.
Se
A AY
Mas, 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
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
[a, b]
o complemento
(, a) (b, +).
Mas o conjunto
no fechado
R. X
um espao topolgico, sobre os conjuntos fechados de
Lema 1.5
Seja
1.2.
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
Fi =
i=1 n
ou seja,
(Ai ) = (
i=1 i=1
Ai )C
Fi
i=1
Fi
i=1
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)
F X,
F.
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)
X,
X.
em
22
CAPTULO 1.
TOPOLOGIA
O interior de um subconjunto
(X, )
contidos em
A.
Ou seja,
int(A) =
A,
=
A,
int(A)
ou por
O interior de um conjunto
denotado por
Ao . AX
a
O fecho de um conjunto
A.
O fecho de
A.
Ou seja,
A=
A,C
A
so ditos valores de aderncia de
AX
diz-se
denso em B , se A = B .
Q
A.
Exemplo 1.9.1
denso em
O conjunto e de
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:
Sejam
(X, ) um
A X.
AX AX
aberto, se e somente se
A = Ao . A = A.
fechado, se e somente se
1.2.
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 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.
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
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
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
Exemplo 1.10.1
Em um espao topolgico
(X, ),
o conjunto
e o
so
J em um espao topolgico
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
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
Seja
um espao topolgico.
AX
so elementos de
A. XA
vizi-
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
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.
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.
e em
Y.
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
26
CAPTULO 1.
TOPOLOGIA
Prova:
base aberto.
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-
da topologia de
so abertas em
X.
Dado
para algum
L B,
V V = de B .
L Tem-se que
f 1 (V ) = f 1
e, como
()
L
(f 1 ())
L 1
()
aberto
B ,
(V ))
Lema 1.13
cao aberto em
Sejam
X, Y
espaos topolgicos e
uma subbase de
f :X Y X.
Y . A apliU S , f 1 (U )
Prova:
De fato, se
subbase de
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)
Exemplo 1.12.1
dade
Seja
(X, )
um espao topolgico.
A aplicao identi-
id : X X
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, )
f :
XX
contnua.
Proposio 1.14
es a respeito de 1.
X e Y f : X Y so
Sejam
contnua.
de
Y , f 1 (B)
fechado em
X.
de
X , f (A) f (A).
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.
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
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
gf :
4. Se
X,
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 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
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.
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
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.
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
30
CAPTULO 1.
TOPOLOGIA
X.
Teorema 1.16
Sejam
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
Sejam
homeomorsmo,
U
aberto em
X e Y so f : X Y um
e
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
homeomorfo a
B, B
homeomorfo a
(pela denio).
homeomorfo a
(existe homeomorsmo
Lema 1.17
Y.
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
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
todo intervalo homeomorfo reta (por homeomorsmo ser uma relao de equivalncia).
Sejam
(X, X )
(Y, Y )
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,
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
f.
6 No captulo 2.
32
CAPTULO 1.
TOPOLOGIA
Prova:
um homeomorsmo. De fato, fcil vericar que uma bijeo. A continuidade bvia (da denio de topologia produto). E a inversa a projeo (portanto contnua).
T2 .
R.
{b}
no
Para o espao topolgico satisfazer essa intuio geomtrica, costuma-se acrescentar uma hiptese extra, chamada condio Aqui, falaremos sobre
de
de
Rn
um espao Hausdor. Se
A,
existem abertos
Ua
Ub
tais que
33
34
CAPTULO 2.
CONEXIDADE E COMPACIDADE
(Ua A) (Ub A) = .
E, como
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:
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
um espao topolgico e
x X
de
ponto de
acumulao
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
A A.
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
x X contm de A {x}.
innitos pontos de
A,
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
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
Teorema 2.5
contnuas. Se em
Sejam
X, Y
espaos topolgicos e
X.
36
CAPTULO 2.
CONEXIDADE E COMPACIDADE
Prova:
Dene-se a aplicao
h: X Y Y x
Temos que temos que
(f (x), g(x))
contnua. Seja
fechado em
Como corolrio do teorema precedente, segue um resultado que ser usado na seo sobre conexidade.
Corolrio 2.5.1
dor e
Sejam
X, Y
f =g
(ou seja,
Prova:
Ker(f, g)
fechado em
X.
Logo, se
A Ker(f, g),
A Ker(f, g).
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
abertos e fechados em
so o
e o
X , ou seja, da topologia de X .
Isso
X,
conexidade ser uma propriedade topolgica vai ser conrmado no teorema 2.7. Sejam
X, Y
X Y.
Seja
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}.
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.
um espao topolgico e
Teorema 2.6
pontos.
Sejam
C(X, D)
tem cardinalidade
constante.
Prova:
lidade
Note que, se
constante. Denotemos
D = {1, 2}. D.
Seja
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.
CONEXIDADE E COMPACIDADE
f : X {1, 2}
contnua
= f
constante.
Faremos muito uso dessa caracterizao, pois ela torna algumas demonstraes bem mais diretas.
Seja
um espao topolgico. Um
AX
for
conexo. fcil ver que todo conjunto unitrio conexo. Um espao topolgico chamado totalmente desconexo, se os nicos subconjuntos conexos de
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
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
Se
conexo.
homeomorfo a
X,
f : X Y,
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
totalmente
desconexo. Em contraste, o espao topolgico trivial conexo. O espao dos racionais totalmente desconexo. Com efeito, Logo
R = AB
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
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.
CONEXIDADE E COMPACIDADE
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
Prova:
Se
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
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,
Seja
f : M R
uma
f (M )
um intervalo.
f (M )
posio precedente,
f (M )
um intervalo.
Ou seja, um
X R
um intervalo.
Y f : X D,
De fato, se
D = {1, 2}.
Logo
onde
i:D R
2.2.
ESPAOS CONEXOS
41
Como consequncia de alguns resultados provados, segue imediatamente o Teorema do Valor Intermedirio.
Seja
a < b.
Se
que
f (c) = d.
De fato, pelo teorema anterior, temos que o que
Prova:
logo,
2.2.1
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-
Teorema 2.11
.
Seja
Xj =
C=
iL
Xi
um conjunto conexo.
Prova:
Toma-se
a
jL
Xj = . f :
jL
Seja
D = {1, 2}
um espao topolgico
Xj D
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.
CONEXIDADE E COMPACIDADE
Corolrio 2.11.1
algum conexo
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
conexo.
M conexo, temos que, dados dois pontos a, b M , Xab = M , que, evidentemente, tal que a, b Xab . O
b = (1)
so os extremos do caminho
a = (0)
liga o ponto
ao ponto
em
X.
Um espao topolgico
chama-se conexo
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
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
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:
Seja
f :M N
conexo por caminhos, pelo teorema anterior A recproca bvia, pois camos no f 1 : N M .
f (M ) = N
2.2.2
Componentes conexas
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
Seja
um espao topolgico. Um
CX
conexa fechada em
X.
componente conexa seria um conexo que contm a componente conexa. Portanto o fecho da componente igual componente.
Teorema 2.15
do espao
Seja
X.
44
CAPTULO 2.
CONEXIDADE E COMPACIDADE
Prova:
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
X.
Dado
Prova:
que contm
x.
de fato, maximal (pois qualquer conexo que contivesse essa unio, seria um conexo da unio).
Teorema 2.17
todo.
Prova:
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
2.3.
ESPAOS COMPACTOS
45
propri-
Componentes conexas por caminhos nem sempre so fechadas, mas, como as componentes conexas, elas formam uma partio do espao. Isso ca
Uma famlia
de subconjuntos de um
cobre
X,
X.
X,
quando
contiver uma
X,
contiver
KX
compacto, se o subespao
compacto. Um conjunto
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)
so homeomorfos,
compacto
46
CAPTULO 2.
CONEXIDADE E COMPACIDADE
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
A conseqncia bvia.
Exemplo 2.7.1
A reta
{(n, n + 5) : n Z}
2.18, compacidade um invariante topolgico, donde segue que os intervalos abertos no so compactos (pois esses so homeomorfos a
R).
O intervalo fechado
[0, 1] R
compacto. Conseqente-
= {U }L
tal que
de
C = {x [0, 1] : existe
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
de
com-
pacto se, e somente se, toda cobertura aberta de contm uma subcobertura nita cobrindo
Supe-se que
Y. X = Y =
Prova:
compacto.
conjuntos abertos
Uj X .
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
48
CAPTULO 2.
CONEXIDADE E COMPACIDADE
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,
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
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
fechado.
Com efeito, sejam
Prova:
Dado
um espao Hausdor e
K H
compacto.
Vx
Vx .
xK
K,
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.
Seja
K X
com-
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
K H
ser
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
fechada.
dado E,
Prova:
F X por Y ser
Hausdor, implica-se
50
CAPTULO 2.
CONEXIDADE E COMPACIDADE
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
um
homeomorsmo (e
compacto).
Prova:
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
o homeomorfo a Hausdor e
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
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
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-
Um espao topolgico
A = .
Prova:
juntos
= X A = AC : A . Essa uma coleo de subconabertos, j que uma famlia de subconjuntos fechados. Segue que
Seja
cobre
A = ,
A
j que
AC
A
=
A
()C = X . Seja X
A = .
A
aberta
U u
seja, existe uma subfamlia nita existe uma subfamlia
{U1 , . . . , Un }
tal que
Ui = .
i=1 C
Portanto
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
X,
pois:
iL
(Ui )C =
iL iL
(Ui )
= ()C = X.
52
CAPTULO 2.
CONEXIDADE E COMPACIDADE
E, por
e, portanto,
(Ui )
= X
(Ui )
= X C = .
F1 F2 Fn
possui interseo
no-vazia.
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
Denio 3.1
L = {1, . . . , n}.
{Xi }iL
A famlia
B=
iL
Ui : Ui
subconjunto aberto de
Xi
53
54
CAPTULO 3.
Xi .
produto de
Xi
B. Xi
munido da topologia produto denominado
O espao topolgico
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
Xj
em qualquer um dos
Xi
pi :
jL
Xj
Xi
(x1 , . . . , xn ) xi
so contnuas.
Prova:
Dado
A Xi
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
F = p1 (U ) : i L i
aberto em
Xi
3.1.
TOPOLOGIA PRODUTO
55
Xi .
Prova:
Xj
jL
so
os conjuntos
Uj ,
onde
Uj
aberto em
Xj .
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
j L. pi f A
jL
so composies de
Prova:
Se
pi f
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.
Lema 3.4
topolgico
um espao
Prova:
U Y
aberto,
g 1 (U ) = f 1 (U ) Z ,
ou seja,
um aberto.
Proposio 3.5
Seja
f :XY
(f f ) : X X Y Y (x, y)
contnua. E, se
(f (x), f (y))
aberto.
aberto, ento
(f f )
Prova:
Teorema 3.6
X 1 Xk
Sejam
X1 , . . . , X k
espaos topolgicos.
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
X1 , X2
so
b X2
e, para cada
a X1 ,
dene-se
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
Portanto
Pa
aX1
aX1 conexo.
3.1.2
Seja
Topologia Produto
uma famlia innita de espaos topolgicos. Essa subseo ser
{Xi }iL
Xi .
iL
Xi
iL
funes
u:L
Xi
tal que
u(j) Xj (j L).
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
um espao topolgico e
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
em
Xi
iL
F = p1 (U ) : i L i Xk
kL
aberto em
Xi
Seja
{Xk }kL
F = p1 (U ) : i L i
aberto em
Xi
58
CAPTULO 3.
Xj .
Teorema 3.7
projees
Seja
{Xi }iL
pj :
iL
Xi Xj x xj
so contnuas (j
L).
Prova:
Teorema 3.8
Seja
iL
Xi
pj :
iL
Xi X j
Prova:
da topologia em
Xi
um berto em
Xj .
iL da base so do tipo
U = {x : F
para algum
x U } ,
aberto. Note que seja, a imagem de
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
um
f :Y
iL
Xi pj f (j L)
contnua; onde
pj :
iL
Xi Xj
Prova:
pj f
De fato, se
pj f
uma composio de
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.
Xi
Lema 3.10
iL
Mune-se o
Y , uma funo
f :Y
iL
Xi pj f (j L)
contnua; onde
pj :
Xi Xj
a topologia produto.
Prova:
Id :
Xi
Xi
).
60
CAPTULO 3.
menor topologia que torna todas projees contnuas. Portanto a topologia produto menor (ou igual) que a topologia Seja
. Xi
munido da topologia pro-
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
contnuo.
Ou seja, a
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
L , X
conexo.
Prova:
Com efeito, se
X
L
conexo, dado
k L,
temos que
Xk
imagem de
pela
k -sima
Xk
L conexo.
Reciprocamente, se
L , a X .
cada
AF =
F
{a } .
3.1.
TOPOLOGIA PRODUTO
61
Observe que
AF
homeomorfo a
L.
Temos que
Z=
F Pf
X
L
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
X
L
um espao Hausdor.
Prova:
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
de subconjuntos de
Lema 3.13
um conjunto coleo
Sejam
um espao topolgico e
de partes de
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.
M.
Seja
{K }L
uma famlia de
compacto.
Prova:
Seja
{K }L
Usaremos o
K
L
compacto.
F de fechados em
satisfazendo a propriedade da
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
L),
segue que
A = .
Ap (M)
3.2.
TOPOLOGIA QUOCIENTE
63
L,
podemos escolher
x
Ap (M)
A X . U
Esco-
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,
M M,
x
M M
Em particular, isso provou que
M. M = ,
M M
o que completa a prova do
teorema.
Denio 3.3
(em relao a
Seja
f :XY
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
(X, X )
em
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
= Y . Y
Seja
f :X Y
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
g:Y M
g f : X M
contnua.
Prova:
aberto
Com efeito, se
contnua,
gf
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
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
X/R
da topologia quoci-
P ). g : X Y,
temos que
X =
yY
g 1 (y).
Podemos, ento, denir uma relao de equivalncia em Assim, podemos identicar obtido da forma acima.
com
X/R:
Teorema 3.18
Temos que se,
Seja
um espao topolgico. Se
lncia no conjunto
X,
X/R
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.
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.
Seja
que as aplicaes de
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
L,
p :
L
H H
R=
(u, j)
L
: p (u) = p (j) .
Note que
fechado em
Como a projeo
L X Hausdor.
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).
desigualdade triangular
(devido a sua
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
= xy
(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
adotamos a topologia induzida pela mtrica do espao em questo. topologia ser apresentada abaixo.
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
Seja
d|AA
em
de
M,
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.
Um espao topolgico
(X, )
em
(X, d),
onde
um
X. d :
Exemplo 4.4.1
X X R
Dado um conjunto
X,
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.
E existem algumas
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)
(4.2)
dE (x, y) =
i=1
di (xi , yi )2
1
(4.3)
d1 , . . . , d n
em
M1 , . . . , Mn .
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.
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
de
x,
V.
M,
para
x M,
satisfaz o 1
axioma da enumerabilidade.
axioma da enumerabilidade e
fcil ver que isso uma propriedade topolgica, portanto, quando um espao topolgico no satisfaz o 1
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
separvel .
Vale, ento, o seguinte lema de Urysohn (que no ser provado por no ter muita importncia no contexto).
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.
M.
4.1.
A TOPOLOGIA DA MTRICA
71
Teorema 4.3
trizvel.
Prova:
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
X.
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.
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
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:
dl (x, y) =
fcil de vericar que quaisquer
dl
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
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
Lema 4.6
es:
Seja
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.
A TOPOLOGIA DA MTRICA
73
Prova:
(1): Seja
AM
c das distncias
d(x, y) c, x, y M
e, em particular,
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.
B1 = B (a; r)
B2 = B (b; R). x B1
e
x, y B1 B2 .
y B2 .
Tem-se,
superior
Lema 4.7
X
Seja
um espao mtrico.
XM
Prova:
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
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
Xi =
i=1
Xi
Xn
uma reunio de
Seja
aberta por bolas abertas de raio existe uma subcobertura nita. Ou seja,
1.
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
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
4.1.
A TOPOLOGIA DA MTRICA
75
Rn
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)
(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.
Seja
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
desigualdade triangular.
76
CAPTULO 4.
ESPAOS MTRICOS
Observao:
norma nele.
Um espao vetorial
(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,
u 0, u E ; z
o vetor nulo do espao
2. Se
z = 0.
Prova:
ou seja,
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
normado. Dene-se em
Observao:
1. Dados
2.
3. Dados
uv
no o vetor nulo.
Portanto
4.1.
A TOPOLOGIA DA MTRICA
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).
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
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.
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 ,
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
, . . . , 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
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 .
Sejam
um con-
(M, dM )
um espao mtrico.
(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
{d (f (x), g(x)) : x X}
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
dM
dN
respectivamente. Ento
f :M N
BM (a; ) M
tal que
Prova:
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.
tal que
para quaisquer
x, y M .
Esse
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) .
Uma seqncia de
uma funo
(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 ).
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.
(xn )
Prova:
Seja
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.
Corolrio 4.12.1
de pontos de
Em um espao mtrizvel
M,
se
(xn )
convergente em
M,
Prova:
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
mtrico e
somente se,
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 ).
Seja
Prova:
f : M N
contnua.
x n a,
tem-
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.
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
>0
existe
Exemplo 4.11.1
contnua. Sejam
Evidente que toda aplicao uniformemente contnua Uma aplicao tal que, para
X, Y
espaos mtricos.
>0
f : X Y chama-se todo x, y M ,
> 0,
basta tomar
fn : X Y
uma seqn-
(X, dX )
para a funo
(Y, dY ). f : x Y , se,
(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
xo X
4.4.
83
Pela continuidade de
fN +1 ,
de
xo
tal 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.
Seja
(M, d)
um espao mtrico.
dita de Cauchy, se
> 0,
existe
Seja
(xn )
em
convergente Cauchy.
(xn )
> 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
(Q, d)
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
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
(M, d),
dizemos que
usual completa.
con-
M,
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.
Um espao mtrico
(M, d) F1 F2 . . . Fn . . .
completo de fecha-
M,
com
diamFn 0
Fi = {a}
i=1
para algum
a F1 . F1 F2 . . . Fn . . . uma seqncia
Prova:
Com efeito, se
completo, dada
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
m N,
segue
L
i=1
Dado um ponto
Fi .
existe
tN
tal que
z
i=1
Isso completou a prova de que
Fi .
Fi = {L}.
(an )
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
Fi = {L}.
i=1
> 0,
existe
t0 N
tal que
e, em particular,
an L .
completo.
Com a caracterizao acima, ca fcil provar que todo espao mtrico compacto completo.
Corolrio 4.17.1
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
Fi = .
i=1
Portanto
podemos tomar
L
i=1
Fi .
que existe
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
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
topologicamente completo.
4.4.
87
Prova:
Com efeito, se
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
O teorema precedente generalizou o fato de intervalos abertos possurem mtricas (equivalentes s usuais) completas.
Teorema 4.19
fechado, ento
Seja
F M
topologicamente completo.
Prova:
Mune-se
Teorema 4.20
Seja
{Ai }iN
M,
segue que
i=1
Ai
topologicamente
Prova:
de
completa. Logo
todo
i N.
Mune-se
Ai
de sua mtrica
di
Ai
i=1
com alguma
d(x, y) =
1 dn (xn , yn ) 2n
) completo.
(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
de
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.
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
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.
Prova:
X M.
Seja
M
,
de uma
mtrica completa. Se
XM
Fi
{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
A1
4.4.
89
B1 A1 B
1.
Dene-se indutivamente,
Bn+1
da
seguinte forma:
Bn An
An
Bn+1 Bn An+1
1 . (n + 1)
para
Como todo
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]
jN
.
de fechados com
Prova:
Teorema 4.23
onde em
Seja
M=
i=1
Fi ,
{Fi }iN
M,
segue que
i=1
intFi
denso
M.
Dado um aberto
Prova:
U M,
segue que
topologicamente completo.
U =U
Fi =
jN
. Portanto
U
i=1
Fi
no vazio.
Fi
i=1
denso.
Exemplo 4.14.2
como conjunto (aberto e) denso, o conjunto dos pontos isolados. Com efeito,
90
CAPTULO 4.
ESPAOS MTRICOS
se
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
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.
Denio 4.15
se para todo que cobrem
Um espao mtrico
> 0,
M.
Seja
compacto;
4.5.
91
de
tal que
A Vx = {x}. Portanto A Vx
xA
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 ) 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 )
(xn ) converge.
completo.
no totalmente limitado.
Logo existe
>0
no cobre
M.
Fixa-se
x1 M
x2 B[x1 ; ]. ,
toma-se
Indutivamente, tomados
xn
B[xi ; ] (xn ). M
. (xn )
tal que
Logo a seqncia
d(xm , xk )
m, k N,
(xn )
no possui subseqncia
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
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
com-
Temos o primeiro resultado sobre aplicaes contnuas denidas em espaos mtricos compactos.
Sejam
Funes contnuas
Com efeito,
M.
Segue que
4.5.
93
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
M=
L
C ,
S M, diam(S) < = L : S C .
Se o espao m-
possui um nmero de
Lebesgue.
Prova:
M=
L
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
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
contnua e
Prova:
f (x1 ), . . . , f (xn ) f (M ),
Logo
M=
i=1
uma cobertura aberta de
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.
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,
aplicatem-se superi-
f : M R
f :M R
semicontnua superiormente e
inferiormente.
Teorema 4.28
Se uma funo
f : M R
contnua residual.
(G, ),
onde
um conjunto e
uma
G,
associativa, com
(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,
R, Q, C (G, )
subgrupo de
GH
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
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.
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
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.
97
Teorema 5.1
1. O ncleo
Seja
f :GH
so verdadeiras:
Ker(f ) Im(f )
um subgrupo de um subgrupo de
G; H; Ker(f ) = {eG };
2. A imagem 3. 4.
f f
Im(f ) = H
Prova:
a1 Ker(f ).
eG Ker(f )
tais 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,
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.
a b(modH) a1 b H.
As classes de equivalncia dessa relao so chamadas classes laterais da esquerda de
b H.
a (modH)b a b1 H.
As classes de equivalncia de
H b
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:
1. Reexividade:
a G, a a1 = e H . H
Isso
(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 .
em
e denotado por
(G : H).
Ou seja,
5.1.
99
{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
Proposio 5.2
laterais de
Sejam
um grupo e
H G
H.
Prova:
Dado
x G,
seja
: 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
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.
de
e denotado por
Sejam
um grupo nito e
um
G.
Ento
dividem a ordem de
Prova:
de
g H
G.
Existem
(G : H)
|H|
elementos (como
100
CAPTULO 5.
GRUPOS TOPOLGICOS
Corolrio 5.3.1
Tem-se que
Seja
f : G H
Prova:
Note que
|Im(f )|
G.
{a Ker(f ) : a G}
uma partio de
G.
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.
G um grupo. g G g N g 1 N .
Seja
Um subgrupo
Proposio 5.4
g G.
Um subgrupo
Prova:
Com efeito, se
tem-se, por
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
5.1.
101
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
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
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
G = Z(G).
102
CAPTULO 5.
GRUPOS TOPOLGICOS
Prova:
ento
E, se
Z(G) = G,
Denio 5.9
a operao
Sejam
um grupo e
N G
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 .
O conjunto
G/N
O elemento
N = eN G/N
gN G/N , g 1 N gN = eN = N .
Proposio 5.10
Sejam
um subgrupo de
G.
Segue
5.1.
103
Prova:
G/H ,
aH, bH
Observao:
Seja
um grupo e
normal. por
Muitas
G/Ker(f )
f : G H isomorfo Im(f ).
Se
Prova:
que
: 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
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:
(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:
104
CAPTULO 5.
GRUPOS TOPOLGICOS
Note que,
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
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.
m : G G G, m(x, y) = x y ,
contnua.
contnua;
I : G G, I(x) = x1 ,
Um grupo
(G, )
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
f (x) = x1 ).
I : G G, I(x) = x,
ser contnua,
(I f ) : G G G G (x, y)
contnua. Logo
(x, y 1 )
contnua.
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
creta) um grupo topolgico. Tambm, o grupo aditivo logia usual, assim como o gupo multiplicativo topolgico usando a topologia usual de
R {0}
munido da mesma
C {0}
C. G.
Se
Lema 5.14
Seja
um subgrupo de
um grupo topolgico,
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
so subgrupos topolgicos de
com respeito
106
CAPTULO 5.
GRUPOS TOPOLGICOS
5.2.1
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
Ra
La
so homeomorsmos.
Prova:
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
G um gU g 1
U de e.
uma vizinhana de
Prova:
e.
de
e G.
vizinhana de
g.
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
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 G.
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.
Um espao topolgico
cha-
T0 ,
x, y X , T1 ,
de pelo menos um dos dois pontos que no contm o outro ponto. Um espao topolgico
denominado
x, y X , existe x V e y U.
Um espao
uma vizinhana
de
e uma vizinhana
de
tais que:
T2
se Hausdor.
Seja
um grupo topolgico. Se
T0 ,
ento
T2 .
do grupo
G,
sem perda
uma vizinhana de
y)
e,
T0 .
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 = .
Isso completa a prova de que
Hausdor.
5.2.
GRUPOS TOPOLGICOS
109
5.2.3
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.
subgrupo topolgico de
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.
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.
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
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 .
Seja
um grupo topolgico e
HG
um subgrupo. Se
um subgrupo aberto.
aH
G H = HC =
aH
Isso prova que o complementar de aberto.
aH.
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 grupo topolgico e
um subgrupo de
tal que
ento, aberto-fechado.
2 Pois as translaes so homeomorsmos.
5.2.
GRUPOS TOPOLGICOS
111
Prova:
vizinhana de
e.
Tem-se que
gH
fechado para a operao) e a outra incluso bvia, ento
H=
gH
ou seja,
gB, H
aberto. Pela proposio 5.20,
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} , )
R+ = {x R : x > 0} .
Mas, analogamente a
R, R+
Corolrio 5.21.1
gera
todo.
Dado um aberto
Prova:
Se
AG
pelo conjunto
A.
G.
Como
H A,
segue do resultado
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
um subgrupo normal de
G.
112
CAPTULO 5.
GRUPOS TOPOLGICOS
Prova:
N N
Seja
N G
conexo, logo
N N = {gh : g, h N }
conexo (pela continuidade da operao). Como
e N N,
segue que
N N N
(por
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
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
N G
G/N .
G/N
com a topologia quociente um grupo topolgico e que algumas propriedades so carregadas para o grupo quociente. Para isso, sero usados resultados
G/N
sero
= xN .
Sejam
Proposio 5.23
aberta (quando
P : G G/N , P (x) = x,
aberto, segue que
N G
uma aplicao
G/N
Prova:
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/N ,
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
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
G/N
um grupo topolgico.
G/N .
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
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
Seja
um grupo topolgico.
Se a
Proposio 5.26
pacto, e grupo
N um G/N .
Prova:
Seja
G/N
T1 ,
G/N
Hausdor (e,
T1 ). P : G G/N a a
a projeo.
j B
tal que
5.2.
GRUPOS TOPOLGICOS
115
G/N
G/N
e uma vizinhana
de
x,
a imagem inversa
P 1 (U )
uma vizinhana de
x.
Por
G V
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
regular.
G/N
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
Prova:
e
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.
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
2010.
[8] Shokranian, S. lgebra 1. Cincia Moderna, 2010.
117