Topologia Geral

TOPOLOGIA GERAL
Mauricio A. Vilches
Departamento de Anlise - IME

UERJ
Copyright by Mauricio A. Vilches

Todos os direitos reservados
Proibida a reproduo parcial ou total
PREFCIO

Provavelmente a Topologia a mais novas das linhas da Matemtica clssica,

pois a Topologia aparece no sculo
com o nome de Analyse Situs, isto
anlise da posio. Muitos autores concordam que o primeiro a tentar estudar
. Posteriormente, Euler em
propriedades topolgicas foi Leibniz, em
publica a soluo do problema das pontes da cidade de Kenigsberg, institulado "Solutio problematis ad geometriam situs pertinentis". As bases da Topologia moderna foram estabelicidas no Congresso Internacional de Matemtica de
, em Roma, onde Riesz prope um carater axiomtico da Topologia, baseado na teoria dos conjuntos, sem o conceito de distncia subjacente. Em
,
Hausdorff define os conjuntos abertos atravs de axiomas, sem consideraoes
mtricas. Existem outras vertentes onde a topologia encontrou novos impulsos
para seu desenvolvimento, por exemplo, na Anlise Funcional e nas Equaes
Diferenciais Ordinrias, atravs de Banach e Poincar, respectivamente.
A Topologia utiliza os mesmos objetos que a Geometria, com a seguinte diferena:
no interessa a distncia, os ngulos nem a configurao dos pontos. Na Topologia, objetos que possam transformar-se em outros, atravs de funes contnuas
reversveis, so equivalentes e indistinguiveis. Por exemplo, crculos e elipses,
esferas e paralelelppedos.
A Topologia pr-requisito bsico em quase todas as reas da Matemtica moderna, da Geometria Diferencial lgebra e fonte atual de efervescente pesquisa.

Mauricio A. Vilches
Rio de Janeiro
Contedo
1 Espaos Topolgicos
1.1 Topologias e Conjuntos Abertos . . . . . . . . . . . . . . . .
1.2 Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . .
1.3 Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Subbases . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Topologia Relativa . . . . . . . . . . . . . . . . . . . . . . .
1.5 Pontos e Conjuntos Notveis . . . . . . . . . . . . . . . . .
1.6 Espaos Mtricos . . . . . . . . . . . . . . . . . . . . . . . .
1.6.1 Conjuntos Abertos e Fechados em Espaos Mtricos
1.7 Espaos Vetoriais Normados . . . . . . . . . . . . . . . . . .
1.8 Espaos Vetoriais com Produto Interno . . . . . . . . . . . .
2 Funes em Espaos Topolgicos
2.1 Funes Contnuas . . . . .
2.2 Topologia Inicial . . . . . . .
2.2.1 Topologia Produto .
2.3 Funes Abertas e Fechadas
.
.
.
.
.
.
.
.
3 Homeomeorfismos
3.1 Introduo . . . . . . . . . . . .
3.2 Exemplos de Homeomorfismos
3.2.1 Grupos de Matrizes . .
3.3 Homeomorfismos Locais . . . .
4 Topologia Quociente
4.1 Introduo . . . . .
4.2 Espaos Quocientes
4.2.1 Exemplos .
4.3 Teoremas . . . . . .
4.4 Aes de Grupos .
-espaos .
4.4.1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
12
15
18
21
23
30
31
33
34
.
.
.
.
37
37
42
42
45
.
.
.
.
49
49
54
58
61
.
.
.
.
.
.
65
65
68
68
74
77
79
CONTEDO
6
4.4.2
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
5 Compacidade
5.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Compacidade em Espaos Mtricos . . . . . . . . . . . . . . . . . . .
85
85
89
6 Axioma de Separao
6.1 Introduo . . . . . . . . . . . .
6.2 Espaos de Frchet . . . . . . .
6.3 Espaos de Hausdorff . . . . . .
6.4 Topologia Quociente . . . . . .
6.4.1 Homeomorfismos . . . .
6.4.2 Variedades Topolgicas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
. 93
. 93
. 94
. 98
. 100
. 104
7 Conexidade
7.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Aplicaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3 Conexidade por caminhos . . . . . . . . . . . . . . . . . . . . . . . .
107
107
111
114
Bibliografia
118
Captulo 1
Espaos Topolgicos
A seguir apressentaremos a definio de topologia que essencialmente a generalizao de algumas das propredades intrnsicas dos intervalos abertos em .
1.1 Topologias e Conjuntos Abertos

Seja um conjunto no vazio. Denotemos por

a famlia de todos os subconjuntos de e por
o complementar de em .
Definio 1. Uma topologia sobre
1.

2. Dada uma famlia arbitrria
3. Dados
)+* )&, -' '-' )/.

uma famlia
tal que:

, ento:

!
& ( '
#"%$
, ento:
0. 1
132 * ) ( '
Observaes 1.
1. Os elementos de
2. O par
4 5 76
so ditos conjuntos abertos de
chamado espao topolgico.
Exemplo 1. Todo conjunto
no vazio possui as seguintes topologias:
CAPTULO 1. ESPAOS TOPOLGICOS
1 . , chamada topologia indiscreta.

, chamada topologia discreta.
2. 1

1 .
3. Se tem mais de 2 elementos 1 .
Exemplo 2. Seja

. Verifiquemos se as seguintes famlias de subconjuntos
1.
de
so uma topologia em
5 .
5 - .
5 - .
so topologias para . 7, no uma topologia em , pois:
Claramente, * e
- 7,-'

- . A topologia 1 dita de Sierpinski.
Exemplo 3. Seja
Exemplo 4. Seja e definamos a seguinte topologia:

se, e somente se para todo existe um intervalo aberto tal que:
onde
'

.
1. Claramente

, ento:
2. Seja &
!
& ('
#"%$
! & , ento existe tal que & ; logo, existe
De fato, seja
#" $
%
e:
/ ! & '

#"%$

*
2. ,
3.

1.
1.1. TOPOLOGIAS E CONJUNTOS ABERTOS
)&, ; ento, dado )+* )&, temos que )+*

)
*
&) , , logo existem * * e , , tais que * * ) *
, , )&, . Se denotamos por * , e
* ,
3. Sejam

temos:
)+* )&, '

0. 1

, ento 132 )
Por induo: Se ) * )/, -' '-' )/.
*
9
e
e
,
4. Esta topologia chamada euclidiana ou usual e ser denotada por .

Exemplo 5. Seja
,
e definamos a seguinte topologia:
,
se, e somente se para todo
existe um retngulo aberto
onde
tal que:
'
De forma anloga ao exemplo anterior, uma topologia e tambm chamada
euclidiana ou usual e ser denotada por
. No difcil ver que esta topologia
.
pode ser estendida a .
,
Exemplo 6. Verifique que junto famlia:
,
onde:

,

um espao topolgico.
, , por definio.
tal que "
!
2. Seja
1.
(a) Se
$ &% !
! *)

'
%(" '
limitado inferiormente, seja #
, ento:
10
!

, ento, existe ! tal que ,
%(" '
# ; logo,
isto
" ) e
! *)

'
%(" '
" ) , ento, "
# ; logo, existe "! tal que " ,
Seja

! maior que # ; ento:
caso contrrio
seria uma cota inferior de
) ! #'
%" '
De fato, seja
(b) Se
no limitado inferiormente, ento:
!
/ , '
% " '
,
!
; caso
7 .
De fato, seja
, ento, existe
tal que
!
, logo
contrrio,
seria limitado inferiormente por
3. Sejam

e considere

* $ * , ; ento,
'
Exerccios 1.

1. Quantas topologias podem ser definidas no conjunto

2. Verifique que junto famlia:
. / .7

onde:
.+ -' '-'
uma topologia em .
Exemplo 7. Seja
um conjunto no vazio e:

uma topologia para

finito ou
'
e:
1.1. TOPOLOGIAS E CONJUNTOS ABERTOS

, ento:
2. Seja &
1. Claramente,
11
e pertencem a .
De fato:
!
& ('
# "%$
!
0
/

# " $
# " $
finito, a interseo finita ou todo

, ento:
3. Sejam ) * )&, '-'-' )/.
0. 1 !. 1
1 2 * ) 132 * )
como
a unio finita ou todo
, pois cada conjunto finito ou todo
4. Esta topologia chamada de cofinita e denotada

5. Se
finito, ento
1 .
.
Observaes 2.

1. Seja
com a topologia
. O conjunto
no aberto nesta

topologia, pois seu complementar
e no finito nem igual a .

aberto. Nesta topologia
os abertos so da forma:
Mas,

! . 1 1
132 *
2. Seja
com a topologia
Analogamente em .
Exemplo 8. Seja
4 6

. Se
. Se para todo
,
'
finito, ento
, verifique que
no aberto.
1 .
12
1.2 Conjuntos Fechados

Os conjuntos fechados so os duais dos conjuntos abertos, num espao topolgico. Veremos que a topologia num espao topolgico, tambm pode ser caracterizada atraves dos conjuntos fechados.
Definio 2. Seja
dito fechado em
se

Exemplo 9.
1.
so fechados em
4 5 1 6 ; ento os fechados de so , e - .

com a do exerccio [2], determine os conjuntos
3. Considere
2. Seja
fechados de
(a) Primeiramente e so fechados em

so fechados; de fato:
. Os conjuntos
-

-'

e so fechados em

(b) Por outro lado ,
Teorema 1. Seja
1.

2. Sejam
4 6

espao topolgico e
fechado em
-
no

-'
a famlia de conjuntos fechados; ento:
* , -' '-' .
conjuntos fechados em
!. 1
132 *
; ento:
1.2. CONJUNTOS FECHADOS

3. Sejam
, arbitrrios tal que

13
, ento:

0
7'
#" $
A prova imediata. De fato:
!. 1 0. 1
4 132 6 132 '
*
*
4 6 ; ento todo conjunto finito fechado.

, ento fechado em pois
De fato, dado

logo se * , '-'-' . temos que:
!. 1
1 2 '
*
Exemplo 10. Seja
Exerccios 2. Seja
juntos finitos de .
com a topologia cofinita. Os fechados de
Observaes 3.
1. O exemplo anterior vale em
so
;
e os subcon-
..
2. A propriedade de ser aberto ou fechado independe uma da outra. Um

conjunto pode ser simultaneamante fechado e aberto, aberto e no fechado,
fechado e no aberto ou nehum dos dois.
3. A unio infinita de conjuntos fechados pode no ser um conjunto fechado.
Por exemplo, para todo subconjunto
, temos:
)
"
- '
4. Uma topologia num espao topolgico tambm pode ser caracterizada, pelos seus conjuntos fechados.
Exemplo 11.
1. Se
aberto e fechado.

2. Seja
com a topologia euclidiana; ento os conjuntos
so abertos. Como cada um deles complementar do outro, tam-e
bm so fechados.

tem a topologia discreta, todo subconjunto de

14
3. O conjunto
no aberto nem fechado com a topologia usual e com a
topologia cofinita de .
* 7, topologias sobre
*.
Definio 3. Sejam
e
topologia
mais fina que
7,
. Se
Exemplo 12.
,

&
a
menos fina que a . De fato, seja
Em

fechado em e aberto em .
(* 7, , ento dizemos que a
; ento
finito; logo
Observaes 4.
1. As topologias sobre um conjunto no podem ser comparadas, necessariamente. Veja o exemplo:

com as topologias: (*
* e , no podem ser comparadas.
3. Para toda topologia sobre temos:
1 . 1 '
2. Seja
ento
4. No exemplo 1, temos:
7, -
1 . * 1 '
Exerccios 3.
1. Ache exemplo de um espao topolgico em que os conjuntos abertos so tambm
conjuntos fechados. No considere a topologia discreta ou a indiscreta.
* e 7, duas topologias sobre o conjunto no vazio . Considere:

(a) * , a famlia formada por abertos comuns a ambas as topologias.

(b) * , a famlia formada pela reunio dos abertos a ambas as topologias.
2. Sejam
As famlias definidas so topologias sobre
? No caso negativo, ache um contra-exemplo.
1.3. BASES
15
1.3 Bases
Muitas vezes para introduzir uma topologia num conjunto no necessrio descrever todos os conjuntos abertos da topologia mas apenas alguns conjuntos especiais da topologia, os ditos abertos bsicos da topologia.
4 5 6
.
Seja
um espao topolgico e
uma base para
Definio 4.
uma famlia de subconjuntos de

!

) '

"
se para todo
tal que
, temos que:
Observaes 5.
1. Como
, ento toda unio de elementos de
2. Os elementos de
so ditos abertos bsicos da topologia.
3. Se
uma base de
topologia gerada por

dizemos que
)

4. Para todo
existe
tal que
e uma base de , ento:

onde
)&
. Logo, existe

1.
"

2. Para todo
. A famlia
gera a topologia
)
ou que
. De fato, seja
!
)&
# "%$
tal que:

Teorema 2. Seja
tambm pertence a .
)& '
uma base de
se, e somente se
)+* )/,
, se
)+* &) , , ento, existe )

) )+* )&,-'

tal que:

; como
16
Prova : Se uma base de alguma topologia , ento aberto; logo se escreve

como unio de abertos bsicos.
Se
, ento ,
so abertos e
aberto; logo se
,
existe um aberto
tal que
.
)+* )&,
)+* )&,
)
)+* )&,
) ) * ) )* &5), &,
Reciprocamente, se
satisfaz 1 e 2 e se exitir uma topologia que tem
como
base, todo aberto nesta topologia pode ser escrito como unio arbitrria de elementos de . Definamos:

&

unio arbitrria de elementos de
'

Devemos provar que uma topologia sobre . Claramente

; por outro
lado
, pelo tem 1.
Sejam
, arbitrrios; cada
, onde
; ento:

)&
)&
)&
)& '

, ento +* ! &) e /, ! ) , ento:
Agora consideremos +* e &,

!
! !
* &,
)/
) 4 )& ) 6 '

+* 5/, , existe pelo menos um par de ndices tal que ) *5) ;
Se
tal que:
por 2 existe )
) )& ) * & ,

logo, +* &, aberto. O caso geral segue por induo.
tal que ) so chamados vizinhanas do ponto
Definio 5. Os conjuntos )
.
Exemplo 13.
1. Uma topologia base de si prpria.
2. Para
1.
, a base
3. Para , a base
.

4. Logo, bases diferentes podem gerar a mesma topologia.
1.3. BASES
Exemplo 14. Seja
&
17
e
tal que

, ento:
gera a topologia usual ou euclidiana de .

De fato:
!
% .

2. Para todo

3. Para todo
1.
onde
Exerccios 1.
1. Seja

.
* * , , , temos:
tal que
% * * , ,

* , e # *
, .
e
&
,
tal que
. Verifique que:

gera a topologia chamada do limite inferior em .

2. Sejam
4 5 * 6 e 4 , 6
espaos topolgicos. Verifique que:
* ,
uma base para uma topologia de

duto.

. Esta topologia chamada pro

,

.
3. Em particular, sejam
e

Verifique que uma base para a topologia usual em

. Verifique que no existe nenhuma topologia em

4. Seja
que tenha como base:
5. Seja
'

com a seguinte topologia:

'
Verifique que:

uma base para .

6. Verifique que
em .

uma base para a topologia discreta
18
1.3.1 Subbases
4 5 6
.
Seja
Definio 6.
uma subbase de
uma base de .

uma famlia de subconjuntos de
tal que
se a coleo de intersees finitas de elementos de

Proposio 1. Sejam um cojunto no vazio e uma famlia de elementos de tais

que para todo
existe
tal que
. Seja
a coleo de intersees
finitas de elementos de . Ento, a famlia formada por , e as unies arbitrrias de
elementos de uma topologia para e a menor topologia que contm .

)
)
1. Se ou ) vazio, est provada a proposio.
2. Suponha que e ) so no vazios. Ento:
!
!
/ ) )

. Logo:
onde / )
!
! !
)
&
) 4 & ) 6 '

Por outro lado & e ) so intersees finitas de elementos de , logo
) uma interseo finita de elementos de e, ) .
3. Claramente .
4. Se
outra topologia em que tambm contm , ento ; logo,
deve conter as unies arbitrrias de elementos , isto
. Ento a
Prova :
Claramente
e toda unio de elementos de pertence a . Mostraremos
que qualquer interseo finita de elementos de est em , ou melhor, provaremos que se
, ento
:
menor topologia sobre
que contm
. Isto ,
uma subbase de
Observao 1.
Em geral no uma base de , pois os elementos de

necessariamente, como unies de elementos de .
Exemplo 15.
no podem ser escritos,
1.3. BASES
19
1. Toda topologia subbase de si mesma.

2.
uma subbase para a topologia usual de
.

3.
uma subbase para a topologia discreta
de .

5 * 6 e 4
4. Sejam 4
&

,6
espaos topolgicos; ento:

* 7,
uma subbase para a topologia produto em

Topologia de Zariski
A topologia de Zariski fundamental para o estudo de diferentes reas da lgebra, como por exemplo, lgebra Comutativa e Geometria Algbrica.
ou
1 1
Seja
Isto :
* , - ' '-' .

1 . 1 '
. Consideremos a famlia dos polinmios de -variveis em

. Seja:
Exemplo 16.
Se
, , , ento
*.
Observaes 6.
e . Por outro lado:

- '-' ' . tal que
2. Sejam 1 e
. Denotemos 1
/
e . Afirmamos que 1
1
1
. * De, fato,

se 1
para
e , ento:
todo
+ 1
4 1
6 1

e ; logo 1 para todo ou
# para
para todo

todo
.
Denotemos por
1 4 1 . 6 e 1 . A famlia forma uma
1.
base para uma topologia em
Definio 7. A topologia que gera
em
chamada de Zariski.
20
Observaes 7.
1. Os
1 so os fechados na topologia de Zariski.
2. Em , a topologia de Zariski a topologia cofinita. De fato, todo subconjunto finito em conjunto soluo para algum polinmio de uma varivel
real.
Por exemplo, se
#* -, '-'-'

. , ento:
, ' '-' .
*
um polinmio que tem conjunto soluo . Por outro lado o conjunto de

solues de um polinmio de uma varivel de grau possui no mximo
elementos.
3. Se "
a topologia de Zariski no a cofinita.
Por exemplo, a reta

um conjunto finito.
soluo do polinmio

que no
Topologia de Zariski em Anis

Seja um anel e denotemos por o conjunto de todos os ideais primos de

. Consideremos a seguinte famlia de subconjuntos:
onde

um ideal de .

e . Por outro lado:

0
4 6
#" $
#" $

2. Definimos sobre a topologia de Zariski, como a topologia que tem

como conjuntos fechados os .

os abertos da topologia de Zariski,
3. Se denotamos por

1.
possvel provar que se

Zariski :
um ideal principal, a base para a topologia de

um ideal principal
'
1.4. TOPOLOGIA RELATIVA
21
1.4 Topologia Relativa

Uma questo natural que surge das ltimas definies : fixada uma topologia
num conjunto, um subconjunto no vazio herda de alguma forma esta estrutura?
Seja
4 6
, ento:

5

uma topologia sobre
chamada topologia relativa a
4 6
Definio 8. O par
dito subespao topolgico de
so ditos abertos relativos.
4 5 6 . Os elementos de
Exemplo 17.
1. Em geral, os abertos relativos no so abertos no espao total. Por exemplo,
seja com a topologia usual e
com a topologia relativa, ento

aberto em pois
e no aberto em
.

so subespacos topolgicos tais

2. Seja com a topologia usual. e

que a topologia relativa a topologia discreta. De fato, se
ento:

3. Seja

4 6 '
com a topologia gerada por:

'
A topologia gerada por estes conjuntos dita topologia estendida. Seja

com a topologia relativa; ento a topologia euclidiana.
4 6 subespao topolgico de 4 6 .
5 uma base de ; ento
5 )
1. Seja )

Proposio 2. Seja
para .
fechado se, e somente se , onde

3. Se fechado (aberto) em e fechado (aberto) em
2.
em
Prova :
uma base
fechado.
, ento
fechado (aberto)
22
1. Imediata.
, onde aberto em ; logo

; por outro lado:
4 6 '

Reciprocamente, se
, onde
fechado, ento:

logo, fechado em .
3. Como
e ambos so fechados em , ento fechado em
2. Se

fechado, ento
, onde aberto em
Exemplo 18.
1. Seja
com a topologia usual. O conjunto
* , ,

, ,
com a topologia relativa dito crculo unitrio. Os abertos relativos em

so os arcos abertos de crculos.
Figura 1.1: Abertos relativos de

2. Em geral, seja
. *
*
com a topologia usual. O conjunto:
. * -' '-' . . * . * . 1,

31 2 *
com a topologia induzida, chamado esfera unitria.
*
1.5. PONTOS E CONJUNTOS NOTVEIS
23
1.5 Pontos e Conjuntos Notveis

Nesta seo estudaremos alternativas para determinar se um conjunto aberto,
e/ou fechado.
Definies 1. Seja
1.
4 5 76
um ponto interior a
se existe
um ponto exterior a
denotado por:
se interior a
O conjunto de todos os pontos exteriores a

3.
vizinhana de tal que:
'
O conjunto de todos os pontos interiores a

2.

um ponto aderente a
.
denotado por:
se para toda vizinhana
'
de temos:
'
O conjunto de todos os pontos aderentes a denotado por: . O conjunto
dito fecho de A.
um ponto de acumulao de se para toda vizinhana de temos:
4.
4 6 '

O conjunto de todos os pontos de acumulao a
5.
um ponto da fronteira de
um ponto isolado de
denotado por:
se aderente a
O conjunto de todos os pontos da fronteira de

6.
se
ea
.
denotado por:

.
.
vizinhana de
7. Um conjunto onde todos os pontos so isolados dito discreto.

8.

dito denso em
Observaes 8. Seja
1. Se

, ento
se:
4 5 6 e

'
&
, onde as unies so disjuntas.
24
e .
3. e, por definio, um conjunto aberto.

4. se, e somente se existe uma vizinhana
2.
4 6 4 6
Logo,
disjuntas, temos:

e como

de tal que
4 6 '

, isto
, onde as unies so

sendo a unio disjunta.
4 6 4 & 6 que aberto.

6. Para todo
, temos . De fato, se , ento existe vizinhana
, isto ; logo .
de tal que

, temos: se ) , ento ) . De fato, se ) ,
7. Para todo )
, isto ) ; como
ento existe vizinhana de tal que 5)

) 7 & , ento .

& que aberto.
8. um conjunto fechado, pois 4 6
.
9. 4 & 6
; ento:
Exemplo 19. Sejam com a topologia usual e

1. .

# .
2.
.
3.

4. .

.
5.
e e com a topologia usual.
Exemplo 20. Sejam
5. O conjunto
1. e
fechado. De fato,
so discretos.

2.
3.
25
e .
, pois nenhum intervalo aberto pode ser formado apenas por racio-
nais.
4.
5.
, pois todo intervalo aberto contem racionais e irracionais.
, isto ,
denso em .

De fato, suponha que

existe
tal que:

.
, ento existe
. Como
'
Mas, todo intervalo contm nmeros racionais, logo existe

, logo
o que uma contradio.
6.
Proposio 3. Sejam
1.
2.

4 5 6 e
aberto,
tal que
fechado se, e somente se

Prova :
& , logo existe

isto ; logo

se , ento existe uma vizinhana de tal que 5
isto aberto fechado.

1. Suponha fechado; ento

vizinhana de tal que
.

2. Como

aberto. Se
; ento
, ento
fechado, pelo
.
76 e
Teorema 3. Seja 4
isto :
0

3. anterior
; ento

o menor conjunto fechado que contem

e
fechado
'
26

4
6 que aberto; logo, existe pelo

; como
aberto, existe vizinhana de tal que

; logo .
( ) fechado e ; ento
.
Prova :
( ) Se
menos um
, ento
tal que
, ento
Exemplo 21.
4 5 1 6 ; ento - - e .

5 76 onde a topologia discreta. Como todos os subconjuntos de
2. Seja 4
so fechados, o nico conjunto denso em .
# com a seguinte topologia:
3. Seja

# '
1. Seja
(a) Pelo teorema temos que:
- #

# '

# .
(b) Logo, o menor fechado que contm

denso em .
(c) Note que

5 76 e ; ento o maior conjunto aberto contido em
Teorema 4. Sejam 4
isto :

Prova :
( ) aberto e

( ) Seja

; ento

aberto
'
Proposio 4. Sejam
, ento existe pelo menos um
4 5 76 e
tal que
Prova :

. Em particular, fechado se, e somente se

2. 4 6 . Em particular, aberto se, e somente se .
1.
, isto
27

4 6

2. Se
, ento e os conjuntos abertos so exatamente os
complementares dos conjuntos fechados tais que &
. Pelo exerccio
1. Por definio
; por outro lado
, ento
. Reciproca
mente, seja
. Se
est provado. Se
, ento toda vizinhana
de tal que

, isto ,
.
anterior:
!

!

0

4 6 '
aberto
e
fechado
fechado
Exemplo 22.
4 5 1 6 ; ento:
- , .
(a)
e
(b)
+ .
(c)
5 1 . 6 ; ento:
2. Seja 4
1. Seja
(a) Para todo

tal que

, temos que
.
no vazio, .
(c) Para todo
tal que tem mais de um elemento,
.

.
(d) Para todo
;&
5 1 6 ; ento:
3. Seja 4
(b) Para todo
(a) Para todo

(b) Para todo
(c) Para todo
(d) Para todo

.
temos que .
.
temos que

temos que /
temos que
e
28
4 5 6 ; ento:

temos que .
(a) Para todo

(b) Para todo
tal que infinito,
.

(c) Para todo
tal que infinito,
e se finito, .
; caso contrrio
(d) Para todo
aberto tal que infinito,
/ .
4. Seja
Exemplo 23.
4 6 e . Ento e &

6 e .
Exerccios 2. Seja 4
1. , se e somente se fechado.

2. , se e somente se aberto e fechado.
, se e somente se aberto.
3.
Considere
Exemplo 24.
4 5 1 . 6 ; para todo
5 1 6 ; para todo
2. Seja 4
1. Seja
tal que

temos que
, temos que
/ .
&
Proposio 5. So equivalentes as seguintes condies:

1.
denso em
2. Se
fechado e

, ento
3. Todo aberto bsico no vazio de

4.
/
.
Prova :
contm elementos de .
Se , ento , logo .

Seja aberto bsico no vazio tal que ; ento , o
que uma contradio pois fechado.
Suponha que ; como aberto, ento existe aberto

; como , e ; logo
bsico no vazio tal que
no contm pontos de .
4 6 4 6 . Logo, .

Exerccios 4. Seja
29
e defina a seguinte topologia em

'
Verifique que uma topologia e que denso em .
Observao 2.
Seja subespao de
; ento:
e denotemos por
.
.
2.
3. .
o conjunto
como subconjunto de
1.
Exemplo 25. Seja

relativa.
com a topologia usual e
Ento:
1.

fechado em
; por outro lado,

. Logo,

; logo
com a topologia

aberto e
'
2.

; logo

fechado em
. Logo,
.
30
1.6 Espaos Mtricos

Uma importante classe de exemplos de espaos topolgicos a dos espaos mtricos.
Seja
.
Definio 9. Uma mtrica ou distncia sobre
! "!
uma funo:
"! , tem-se:

e se, e somente se .
1.
.
2.
$ .
3.
! chamado espao mtrico.
Observao 3. O par
tal que, para todo
Exemplo 26.
1.
um espao mtrico com a mtrica:

2.

dita mtrica discreta.
uma espao mtrico com

em .
Exemplo 27.

se
se

'

, onde

o valor absoluto
uma espao mtrico com:
.

%* 132 1 1 ,
*
.
,
1 1

132 *

1 1

* 1 .
* , -' ' ' . e * , '-'-' . . .
onde
1.6. ESPAOS MTRICOS
) !
Exemplo 28. Seja

o conjunto de todas as funes limitadas
Como a soma e a diferena de funes limitadas limitada, ento:

uma mtrica em
) ! . (Verifique!)
* ,
1. Verifique que no exemplo [27], temos:

" '
Exerccios 5.
2. Seja
31
4 6
o conjunto das funes contnuas
*%

,
'

. Defina:
,

6 .

Verifique que * e , so mtricas em 4
1.6.1 Conjuntos Abertos e Fechados em Espaos Mtricos
Seja
!
um espao mtrico e
Definio 10. Uma bola aberta em
tal que
.
de centro e raio denotada e definida por:
)
!
'
! , com

; ento:
Exemplo 29. Seja
)

isto , as bolas abertas so os intervalos abertos.
Exerccios 6.
1. Determine a topologia definida pela mtrica discreta.
2. Determine, geometricamente, as bolas abertas em
anteriormente.
com as mtricas definidas
Proposio 6. As bolas abertas num espao mtrico formam uma base para uma topologia no espao mtrico.
Prova : De fato.
32

)

.
"('
) ; ento ; logo
. Consideremos
2. Seja
) ; ento
) )
'
) ; como ; temos:
De fato, seja

$

'
!
1. Claramente:
Observao 4. A topologia gerada por esta base chamada topologia mtrica gerada

pela distncia , e ser denotada por .
!
Exerccios 7. Seja
1. Seja
um espao mtrico:
e:
Verifique que

!

'

um conjunto fechado.
! finito. Verifique que fechado.

! * 6 e 4 , 6 espaos mtricos. Definamos em !

3. Sejam 4
* * , , *% * , , * ,
"
! . Verifique que:
onde * * , ,
2. Seja
(a)
uma mtrica em
*
(b) Se )
!
) , uma bola aberta em

) * ) ,
. Esta mtrica dita mtrica produto.
uma bola aberta em
uma base para uma topologia em
!
, ento:
4 6 dito metrizvel se uma topologia mtrica.

! 6 , onde a mtrica discreta; ento ) ; logo
Exemplo 30. Seja 4
O espao topolgico
a topologia discreta.
Observao 5. Nem todo espao topolgico metrizvel.

Exemplo 31. Se
possui mais de 2 pontos,
4 5 1 . 6
no metrizvel.
1.7. ESPAOS VETORIAIS NORMADOS
33
1.7 Espaos Vetoriais Normados

Seja
um -espao vetorial.
Definio 11. Uma norma sobre

tal que, para todo

1. Se
2.
3.

e
uma funo:

, tem-se:
, ento .

.

Observao 6.
O par

chamado espao vetorial normado.
Exemplo 32.
1.
.
uma espao vetorial normado com:

* 132 1,
*
.
, 132
1

*

1
1
* .
* , ' '-' . . .

! um espao vetorial, sendo:
2. )

"('
! .
uma norma em )
onde
Observaes 9.
1. Seja

um espao vetorial normado. Definindo:

temos que

um espao mtrico.

34
2.
chamada mtrica proveniente da norma
Exerccios 8.
4 . 6 . "
1. Sejam
(a)
(b)

uma seqncia em
e:
2
.
,
. *
.7

Definamos em

e em

, respectivamente:

.
.2*

. "
.
'

Verifique que 4
6 e4
6 so espaos vetoriais normados.
* 6 e 4 , 6 espaos vetoriais normados. Definamos em :
2. Sejam 4
* ,
. Verifique que uma norma em . Esta norma dita
onde

norma produto.
1.8 Espaos Vetoriais com Produto Interno

Seja
um -espao vetorial.
Definio 12. Um produto interno sobre

uma funo:

e , tem-se:

1. Se , ento .
/
.
2.

/ .
3.

/ .

4.
tal que, para todo
1.8. ESPAOS VETORIAIS COM PRODUTO INTERNO
35
Observaes 10.

1. Seja
temos que
2.
um espao vetorial com produto interno. Definindo:

um espao vetorial normado.
chamada norma proveniente do produto interno
3. Nem toda norma num espao vetorial provm de um produto interno.

Exerccios 9.
4 #. 6 . " uma seqncia em e considere e como o exerccio [8]:

2. Verifique que 4
6 e4
6 so espaos vetoriais com produto interno.

* e , , respecti3. Sejam * e , espaos vetoriais com produtos internos
,:
vamente. Definamos em *
* * , , / * , * * , (,
* , . Verifique que um produto interno em
onde * * , ,
* ,.
1. Sejam

36
Captulo 2
Funes em Espaos Topolgicos
2.1 Funes Contnuas
A continuidade de uma funo um dos conceitos centrais em quasi todas as
reas da Matemtica. E o primeiro paso para tentar distinguir objetos diferentes
em topologia.
Sejam
4 5 * 6 e 4 , 6
Definio 13. A funo
espaos topolgicos.

contnua se para todo
* 4 6 * '
,
temos que:
Observaes 11.
1.
contnua se a imagem inversa dos abertos de
4 7, 6
so abertos em
2. Uma funo contnua no leva, necessariamente, abertos em abertos. Por

exemplo se
tal que
no a topologia discreta, ou se tem mais
de dois elementos e
no a topologia indiscreta.
7,
Exemplo 33.
1. Toda funo constante contnua.
2. Seja
tal que
* e ,
so topologias em
. A funo identidade:
4 5 * 6 4 5 7, 6
contnua se, e somente se
7,/ * .
37
CAPTULO 2. FUNES EM ESPAOS TOPOLGICOS
38
3. Sejam
4 5 6 e 4 1 . 6 . Toda funo

contnua.
4. Sejam
4 5 1 6 e 4 6 . Toda funo

contnua.

4 , 6 espaos vetoriais normados de dimenso finita.
4 * 6 elinear,
ento contnua.
5. Sejam
Se
Observao 7. Seja
menor topologia sobre
contnua.
. A topologia relativa
tal que a funo incluso:

pode ser caracterizada como a
*4 6
De fato, se
, a continuidade de implica que
em ; logo qualquer topologia onde for contnua deve conter
4 5 * 6 , 4 7, 6 e 4 / 6 espaos topolgicos.

e so contnuas, ento:
1. Se

deve ser aberto

.
Proposio 7. Sejam
contnua.
2. Se

contnua e

subespao topolgico, ento:

contnua.
3. Se

contnua.
Prova :
contnua e
4 +6 subespao topolgico, ento:

4 6
2.1. FUNES CONTNUAS
4 6 * * *

, onde a incluso; pelo tem anterior
2. Note que

contnua.
* 4 4 66 * 4 6 * 4 4 66 * 4 6 .
3.
39
1. Segue do seguinte fato:

4 * 6 4 , 6
Teorema 5. Sejam
e
condies so equivalentes:
1.
contnua.

2. Para todo
fechado,
espaos topolgicos e
*4 6
fechado em

5.
6.
vizinhana de
4 &6
4 6 4 6 , para todo .
* 4 ) 6 * 4 ) 6 , para todo )
Prova :

e que:
. As seguintes

em
, existe
aberto em
vizinhana de
'
* 4 +6 * 4 6 , para todo .

; como contnua, * 4 ) 6
uma base da topologia de e )
, pode ser
. A prova da recproca segue de que todo aberto
De fato,
Seja
aberto em
escrito como:
3. A imagem inversa por de qualquer elemento da base (subbase) de

(no necessariamente um aberto bsico ou subbsico de ).
4. Para todo
e para toda
em
tal que:
! /)
#"%$
* 4 ! )/ 6 ! * 4 )& 6 '
* Como contnua e
4 6 que vizinhana de
#"%$
#"%$
aberto (vizinhana de
e:
4 6
'
), consideramos
40

Seja
e
a vizinhana de tal que

ento
; logo:
4
4 6
4 6
6 4 6 4 &6

; provaremos que
. Denotemos por

, onde
vizinhana de . Se
4 6
4 &6 .
Seja * 4 ) 6 ; ento 4 6 4 6 4 * 4 ) 6 6 ) 4 6
6 tal que ) , onde e ) so conjuntos fechados
Corolrio 1. Seja 4

e ) so funes contnuas tais que
(abertos) em . Se

para todo ) , ento a funo definida por:

ento

)
se
se
contnua.
Prova :
Seja

fechado, ento:
*4 6
* 4 4 ) 6
4 * 4 +6 &6 4 * 4 +6 ) 6
*4 6 *4 6'
* 4 6 e * 4 6 so abertos, ento contnua.
Como
Observaes 12.
1. Pelo teorema, basta utilizar os abertos bsicos da topologia para estudar a
continuidade de uma funo.
2.
dita contnua no ponto

para
.
3. Sejam
4 ! * 6 e 4 ! , 6
se o item [4] do teorema anterior vale
espaos mtricos; ento:
!
! , se para todo
, . Isto :
4 ) * 6 )
contnua em

implica em
, existe
, '
tal que
*%
2.1. FUNES CONTNUAS

Exemplo 34. Seja
com topologia usual. Verifique que
Pela propiedade anterior, basta provar que

Temos trs casos:

1. Se

, ento:
2. Se
3. Se
* 4 6
, ento:
* 4 % 6
, ento:
aberto.
'
* 4 6 '
* 4 6
6 . Ento

Proposio 8. Seja 4
&
ambos os conjuntos:
-
4 6
contnua.
* 4 &6 '
4. Nos trs casos, os conjuntos
so abertos.
,
41
so abertos; logo
contnua.
contnua se, e somente se para todo
-

e
% elementos da subbase da
* 4 6
* 4 6 - '
Prova : Seja
. Consideramos
topologia euclidiana; logo:

Exemplo 35.

A condio que ambos os conjuntos sejam abertos no pode ser ignorada. Por
exemplo, a funo caracterstica de ,
no contnua. De fato,

considere
; ento
no aberto e todos
so abertos, Logo, na proposio ambos os conjuntos devem ser abertos.

Exerccios 10. Sejam
e
e ,
1. *
das as funes contnuas entre e .
5 e 7,
2. *

as funes contnuas entre

com as seguintes topologias:

, respectivamente. Ache to - , respectivamente. Ache todas
42
2.2 Topologia Inicial
4 ,6

4 5 1 6
Sejam
,
um conjunto no vazio e
uma funo. possvel
achar uma topologia para
tal que seja contnua? Por exemplo se
,
ento contnua.
Seja
um conjunto no vazio e:
* 4 6 7, '
sobre que torna
uma subbase para uma topologia /

dita topologia inicial para .
Definio 14. &
contnua.
2.2.1 Topologia Produto

Sejam
4 5 * 6 , 4 7, 6

. Denotemos por:
*

-,

as respectivas projees cannicas, onde *

*4 6

*
, 4 6
*
*
* 4 6
, 4 6

-, .
e
'
Note que:

* * 4 6 , * 4 6 * 7,

*
,

so a subbase e a base que geram uma topologia sobre

es contnuas. Esta topologia dita topologia produto.
Esta a menor topologia com esta propriedade. Isto ,

, aberto em e aberto em
todo
existe
, que torna as proje-

tal que

aberto se para

.
2.2. TOPOLOGIA INICIAL
43
XxV
UxV
UxY
Figura 2.1: Elementos de
Observao 8.
Todos os argumentos nesta seo so vlidos para uma quantidade finita de espas topolgicos.
Exemplo 36.
1.
. '-'-'
tem a topologia produto induzida pela topologia de .

Se consideramos em a topologia usual, ento a topologia em
tambm
a topologia euclidiana ou usual.
. . *
. *
* , -' '-' . . * ,* ,, '-'-' ., ., * #'
contnua e . * 4 6 ; logo, fechado.
* tem a topologia produto induzida pela topologia de .
3. O cilindro
*
,
, * * com a topologia
4. Seja com a topologia induzida de , ento
2.
um conjunto fechado. De fato, seja

com topologia usual e
consideremos a funo
definida por:
produto, dito toro.
S1
T
1
Figura 2.2: O toro
44
5 * 6 , 4 7, 6 , 4 / 6 , 4 / 6 espaos topolgicos, *

4
, e definamos:

, . Ento, contnua se, e somente se * e , so contnuas.
por *%
e , as respectivas projees.
Prova : Sejam #*

, se contnua, ento 1 1 so contnuas ( ).
Como 1 1
um aberto bsico de ;

Reciprocamente, se as 1 so contnuas, seja
Proposio 9. Sejam
e
ento:
logo,
* 4 6 * * 4 &6 , * 4 6
contnua.
5

/ 4 6 4 6 , 4 6
* 4 * 6 , 4 e , , 6 , 4 6 ,e definamos:
* ,
, * , . Se * e , so contnuas, ento * , contnua.
por *

as respectivas projees.
e ,
Prova : Sejam #*
Proposio 10. Sejam

espaos topolgicos,
Como:
*

so contnuas, ento
* ,
*

-,

contnua.
4 5 * 6
4 6

Proposio 11. Sejam

normado. Como
possui uma estrutura algbrica, dadas
definir a nova funo:

um -espao vetorial
podemos

4 6 '

contnua.
Se e so contnuas, ento
tal que e tal
Prova : Sejam
* , ; a funo contnua. Ento , contnua.
que * ,

2.3. FUNES ABERTAS E FECHADAS
e e definamos a nova funo:

4 '
contnua.

Se e so contnuas, ento
tal que e #

Prova : Sejam

que #
; a funo # contnua. Ento $
# , contnua.
45
Proposio 12. Sejam
tal
Observao 9.
A prova de que
Veja [EL2].
so contnuas segue do fato de serem ambas contraes.
2.3 Funes Abertas e Fechadas

Sejam
4 5 * 6 e 4 , 6
espaos topolgicos.
Definio 15. A funo:

aberta (fechada) se para todo

(fechado) em .
aberto (fechado) em
, temos que
4 &6
aberto
Exemplo 37.
1. A funo identidade:
4 5 * 6 4 5 7, 6
aberta (fechada) se, e somente se

.
* 7,
(* 7, , mas no contnua quando
2. As projees so abertas.
,

3. As projees no so fechadas. Por exemplo, seja com a topologia usual e

considere as projees
,(
) e o conjunto:
, '
46
Figura 2.3:
fechado em
e

e a projeo
1
, que aberto.
- com a topologia discreta, ento

e contnua, fechada e no aberta.
4. Se
Observao 10.
Seja
Seja

logo,
bijetiva. Ento aberta se, e somente se

aberto; logo
fechado e

fechada.
Proposio 13. Seja
fechada. De fato.
. So equivalentes as condies:
1.
2.
4 6 , para todo
3.
aberta.
leva abertos bsicos de
4. Para todo
Prova :

definida por
e toda
em abertos bsicos de
vizinhana de , existe

'
; por outro lado

maior aberto contido em ; logo 4 6 .

; ento

tal que:
aberto e
4 6
2.3. FUNES ABERTAS E FECHADAS

logo,
Seja

aberto bsico de
47
; ento:
4 6
aberto bsico.

vizinhana de ; existe aberto bsico tal que
Para cada , seja

. Considere .

existe vizinhana tal que
Seja

aberto; para todo
; logo:
!

"

ento,
aberta.

.

, logo:
Prova : Se fechada, ento fechado e
'
Proposio 14.
Reciprocamente, seja
ento,
fechada se, e somente se
fechado, logo:
e

fechado.
Exerccios 11.
+

1. Seja
A funo:
contnua?
com a topologia induzida pela topologia usual de .
4 6
.

/

e
4 :* 6 , 4 , 6 e 4 6 espaos topolgicos. Considere

aberta (fechada).
(a) Se e so abertas (fechadas), eno
aberta (fechada) e contnua e sobrejetiva, ento aberta (fecha(b) Se
2. Sejam
da)?
48
(c) Se

aberta (fechada) e contnua e injetiva, ento
aberta (fechada)?
3. Verifique que so equivalentes:

(a)
fechada.
* , ento * 7, .
*
fechado, ento
fechado em
(c) Se
4 6 4 6 fechada?
4. Toda funo

5. Toda funo
4 6
4 6 aberta e fechada?
(b) Se
Captulo 3
Homeomeorfismos
3.1 Introduo
Um dos problemas centrais em topologia poder decidir se dois espaos so
diferentes ou no. Por exemplo, no trivial dizer que um cilindro diferente
de
)

uma esfera, se uma esfera diferente de um toro ou se
diferente de
, se
# . Neste captulo comearemos com os primeiros conceitos que nos permitiro
responder a algumas destas questes.
Sejam
espaos topolgicos.
Definio 16.
contnua.
Se

um homeomorfismo se
bijetiva, contnua e
*
so homeomorfos utilizamos a seguinte notao:

'
Observaes 13.
1. A composta de homeomorfismos um homeomorfismo.
2. Ser homeomorfo uma relao de equivalncia na famlia dos espaos topolgicos.
3. Veremos nos prximos pargrafos que os espaos topolgicos homeomorfos tem as mesmas propriedades topolgicas. Isto , se consideramos as
classes de equivalncia, teremos que espaos homeomorfos so essencialmente iguais em topologia.
4. Uma funo bijetiva e contnua no necessariamente um homeomorfismo.
Veja o seguinte exemplo.
49
CAPTULO 3. HOMEOMEORFISMOS
50
Exemplo 38.
* ,
e
1. Sejam
topologias usuais.
2. Definamos
3.
com as respectivas topologias induzidas pelas
*
por

.
contnua e bijetiva.

em . De fato:
* descontnua

. , logo
Seja
; para cada
, seja .
e .

.
, pois o arco . maior que a corda.
4. Por outro lado,
*
tn
zn
Figura 3.1:
Ento
Logo,
* . . e
* . *
#

, para todo
uma bijeo contnua que no um homeomorfismo.
. . * e o conjunto
* ' '-' . * . * ,* ,* '-' ' ., * ., *

Exemplo 39. Consideremos
onde
1
1. Seja

ambos com topologia induzida pela topologia usual de
.
. '
definida por:
* -' ' ' . * 4 * '-'-' . * 6 '

*

.*
bem definida e contnua.
. * . Ento:
3.1. INTRODUO
. por:
* '-' ' . * 4 * * '-' ' . * . * 6 '
bem definida, contnua e e . Logo, .
2. Definamos
morfo a .
3. Ento,
.
,
, , com topologia induzida pela topologia

, , , *
Exemplo 40. Consideremos

usual de
e os conjuntos
com topologia induzida pela topologia usual de
,

. Ento:
, * ('
* definida por:
, ,

'

2. Definamos
homeo-
e so topologicamente "iguais".
Figura 3.2: Dois espaos homeomorfos a
1. Seja
51
*

, por:
4 6 '

bem definida, contnua e inversa de . Logo:
, * '
52
3. Por outro lado, definamos
*
4
, 6 '
* por:

, , '
*
bem definida, contnua e inversa de . Logo:
Figura 3.3:
Teorema 6. Seja

*
'
bijetiva. So equivalentes as condies:
homeomorfismo.
1.
3.
,
por:
4. Definamos
2.
contnua e aberta.
contnua e fechada.
, para todo .
Prova :
* contnua se, e somente se para todo aberto
4 * 6 *
aberto em .
4.

Segue do pargrafo anterior.

Como
contnua,
; como
fechada,
.
3.1. INTRODUO
Corolrio 2. Seja

Considere
e somente se
. O grfico de definido por:

'
induzida pela topologia produto. Ento

com a topologia
.

4 6

que um aberto relativo. Reciprocamente, , .
homeomorfismo e , ento:
Corolrio 3. Seja
.
1.
.
2.

1. Sejam

e
, temos:

contnua se,
que contnua,

Prova : De fato, definamos

por

ento
bijetiva e contnua. Por outro lado, se
Exerccios 12.
53
. Verifique que para todo

e
'
aberto:

e para todo
. . . * .

6.
2. Verifique que 4 6 no homeomorfo a 4

!

!

* 6 e 4 ! , 6 espaos
mtricos. Dizemos que as mtricas * e , so
3. Sejam 4
4 ! 6 um homeomorfismo. Verifique que se
4
6
equivalentes se

! . , ento * , , e definidas anteriormente so equivalentes.
Em particular,
54
3.2 Exemplos de Homeomorfismos
%
, com a topoA) Seja com a topologia usual. Ento, todo intervalo aberto
logia induzida pela topologia usual de , homeomorfo a . De fato:
1. Seja

definida por:

bijetiva e contnua e:
* &
'
contnua. Logo:

2.
definida por:
contnua. Logo:

*

.
3. Ento, dos tens anteriores :
'

*
B) Sejam e o quadrado
,
induzida pela topologia usual de ; ento:
* '
a
Figura 3.4:
em
com a topologia
3.2. EXEMPLOS DE HOMEOMORFISMOS
*
Definamos

segmento em
mandando o segmento em

e o segmento em , isto:
4
#

e
onde #
um homeomorfismo.
C) Sejam
para todo

Se
e
,. e .
55

, o segmento
em
,o
6 e * 4
#

, ; claramente e * so contnuas; logo
,
, . .
ambos com a topologia usual. Ento:
.

, onde . Por outro lado, . '-'-'

,
, . -' '-' ( -vezes). Definamos:
' '-' '-' '
* , '-'-' . * * , , '-' ' . . '
, claramente, um homeomorfismo.
( -vezes)
. * . Cona topologia induzida pela topologia usual de

. . * . * com

. . Denotemos por:
.. .. ..

. e . so ditos hemisfrios de . . Note que . . . e
Os conjuntos

. . . O conjunto chamado equador de . ; claro que:
. * '
. * como o equador de . .
Isto , podemos considerar
D) Seja
sideremos
Figura 3.5:
. * como equador de .
56
Consideremos a projeo:
. , , logo
Se
projeo:
. .
'
; ento . ) *
. . Via a
. ) . '
De fato, a funo:
) .

,
bem definida, contnua com inversa contnua .
Figura 3.6:
. , ) e .
.
. * com a topologia induzida pela topo

. * ' '-' , ento:
. . '
. ;
De fato. Seja
. . * . definida da seguinte
forma, seja

considere a semi-reta
; ento
, onde a interseo de com
E) Projeo Estereogrfica : Seja
logia usual de
e
57
, homeomorfo a . :

. * ; ento:
. * * , '-'-' . '
. *

. *
o semi-plano definido por
logo,
. * e

( z)
( x)
z
Figura 3.7: Definio de
*

,

*
.
, '-' ' , ,

* , e * contnua.
6 um espao vetorial normado; ento:
F) Seja 4
definidas por
1. As translaes
morfismos.
definidas por
2. As homotetias
homeomorfismos.
) , para todo e todo
3.
De fato:

,

,
so homeo-

so
58
1.
2.
*
so bijetivas, contnuas e
so bijetivas, contnuas e
*

, que contnua.

3. Definimos o homeomorfismo
logo,
, que contnua.

por:

um homeomorfismo. Ento:
) )

. Agora definamos ) por:

*

que contnua e bijetiva;
; logo, um homeomorfismo.

para todo

e
3.2.1 Grupos de Matrizes

Da lgebra Linear sabemos que o conjunto formado pelas matrizes de ordem
# , tendo como entradas elementos de

ou , um -espao vetorial.
Fixemos
; o caso complexo anlogo. Denotemos este espao vetorial por:
Seja
. ) 4 6 '
1
! . ) 4 6 . Definamos:

1.
.
)

.
4 6
' '-' * . '-'-' ) * ' '-' ) . '

* * * , -
claramente um isomorfismo de espaos vetoriais.

! )
2. Via o isomorfismo)
, o espao
herda toda a estrutura linear e

topolgica de
.
3. Utilizaremos a mtrica usual de

! )
.
. 4 6
4 6
. )
para introduzir uma topologia em

4. Dada
1
! . ) 4 6 , definamos:
*
!
.

1 2
. ) 4 6
uma norma em
Logo, um espao topolgico.
5. Note que
*
6. imediato que
7. Denotemos por
8. Seja
59
*,
'
que o torna um espao vetorial normado.
& , onde

,
1
a matriz transposta de .
contnua com inversa contnua. Logo:
. 4 6
. ) '
. 4 6 ! . . 4 6 ; ento ! . 4 6 . .
com a topologia usual. A funo:
!
. 4 6
definida indutivamente:
, * * * * .

(b) Se , seja 1
e:
. 1 * 1 *
1

132 *
e 1
a matriz , que se obtem
onde

omitindo a -sima linha e a -sima coluna de .
(a) Se
(c) A funo
9. A funo

multilinear, logo contnua.
multilinear, logo contnua.
o conjunto das matrizes invertveis de ordem .

. 4 6 . De fato:
* '
tambm um grupo, chamado linear geral real.
Seja
!
em
aberto
60
, definido por:

&

.
onde matriz identidade. Logo,
1. Denotemos por
grupo, chamado ortogonal.

2. Denotemos por
um
definido por:
'

um grupo, chamado ortogonal especial.

so fechados em ! . 4 6 . De fato:
3. e
* *

'

4.
isomorfo a

. De fato:

'
um isomorfismo de grupos.
. De forma anloga ao caso real,

* 4 6
"

* '

5. Seja
, denotemos por
definimos:

6. De forma anloga, os grupos

,

e so ditos, linear complexo, unitrio e especial unitrio, respectivamente.

7.
* . De fato:
*
'
isomorfo a
um isomorfismo de grupos.
3.3. HOMEOMORFISMOS LOCAIS
61
3.3 Homeomorfismos Locais

Definio 17. Seja

. dito homeomorfismo local se para todo
existe
aberto em e
um
homeomorfismo.
Observao 11.

um homeomorfismo local, ento aberta.
Proposio 15. Se
Sejam
aberto
Prova : Seja

abertos e
um homeomorfismo; ento para todo
aberto em , logo aberto em .
, temos que

onde
. Como:
existe

aberto; para cada
. Seja

!
. Pela observao anterior

"
4 !

que aberto em
. Logo,
vizinhana de tal que:
"
6

aberto em
!

"

aberta.
Observao 12.
Homeomorfismo implica homeomorfismo local, a recproca falsa.
Exemplo 41. Seja com a topologia usual e
topologia usual de . Ento:
*
com a topologia induzida pela
*
, 1
um homeomorfismo local.
* *5 * * , , *

e
.
1. Denotemos por
62
S1
S4
S3
S2
Figura 3.8:
* # , , , e

, .
por *% .
3. Definamos: * *
4. A funo * um homeomorfismo. De fato, * possui a seguinte inversa
, .
contnua *
2. Sejam
5. Consideremos:
*
* '
, 1 , ento 4 * 6 . Logo, pelas
Como
um homeomorfismo:
propiedades bsicas de Trigonometria *
1.5
-1
Figura 3.9: Homeomorfismo
*
* * 4 * 6 * * um homeomorfismo e
* * 4 * 6
por , .
7. Definamos: , ,

6. Logo,
um homeomorfismo.
3.3. HOMEOMORFISMOS LOCAIS
63
De fato, , possui a seguinte inversa

, um -homeomorfismo.

,
%,

.
* 4 , 6 , , um homeomorfismo e
9. De forma anloga, ,
* 4 , 6 um homeomorfismo.
,

10. De forma anloga as anteriores, verifica-se que e .
8. A funo
contnua
11. Como intervalos destes tipos cobrem . Por exemplo:

Ento,
. "
'
um homeomorfismo local.
Observao 13.
1. Este exemplo mostra (por que?) que, em geral, um homeomorfismo local
no homeomorfismo.
2. Em particular,
uma funo aberta (no fechada).
Exemplo 42. De forma totalmente anloga:
, *
, 1

e:
, * *
, 1 , 1

so homeomorfismos locais.
Exerccios 13.
1. Sejam e
2. Seja
com a topologia induzida pela topologia usual de , so homeomorfos?
com a topologia usual, os seguintes subespaos so homeomorfos?
e
,
(b)
,
(c)
(a)

,
, e , ,
.
.
64
, e , , .
5 * 6 um espao topolgico e denotemos por:
3. Seja 4

homeomorfismo '
(d)
Verifique que:
(a)

(b) Se
4.

um grupo com a composta de funes,
e
com a topologia induzida pela usual de , defina:

um isomorfismo de grupos? (Note que
no so homeomorfos)
abeliano? Caso contrrio, quando abeliano?
Captulo 4
Topologia Quociente
4.1 Introduo
A topologia quociente a fonte dos mais importantes exemplos de espaos topologicos e sero a parte central desta notas. Neste captulo introduziremos os
exemplos clssicos na Matemtica, como a faixa de Mbius ou Moebius, os espaos projetivos reais e complexos e a garrafa de Klein.

4 5 76
Sejam
, um conjunto no vazio e
a seguinte topologia:
Definio 18.
sobrejetiva. Definamos em
* '
dita topologia quociente em
induzida por .
Exemplo 43.
constante. Determine .
para todo . Seja . Se , ento
Suponha que
* e se , ento * . Isto , qualquer

subconjunto de
aberto, logo a topologia discreta sobre .
e com a topologia usual; definamos por:
2. Seja
1. Seja

-
Ento,
por .

se
se
se

'
a topologia quociente em
65
induzida
CAPTULO 4. TOPOLOGIA QUOCIENTE
66
Proposio 16. A topologia quociente

4 6 4 6
1. Se uma identificao,
em .
2. Se
se

aberto em

se, e somente se

* 4 6
uma identificao, para todo

, em geral
.

que torna
contnua.

temos que
Prova : De fato, sendo outra topologia em e se para todo
aberto em , ento
.

,
e
sobrejetiva. A funo sobrejetiva
Definio 19. Sejam
que induz a topologia quociente chamada uma identificao se
.

Observao 14.
*
a mais fina sobre
temos que
*
aberto
4 * 6
, mas
3. Nem toda funo bijetiva e contnua uma identificao. Por exemplo:
4 5 * 6 4 5 7, 6
uma identificao se, e somente se
* , .
4. A composta de identificaes uma identificao.

Exemplo 44.
. . *
1. Seja
com a topologia induzida pela topologia usual de
Definamos o conjunto dos pares no ordenados:
.
. * .
.
onde o antipodal de . De forma natural temos a seguinte funo

sobrejetiva:
.
4 . 6 dito espao projetivo real de

, ,

com a topologia
2. Considere o cilindro

induzida por . Definamos o conjunto dos pares no ordenados:
! & '

tal que
dimenso .
. O par

De forma natural, temos a seguinte funo sobrejetiva:

tal que

. O par
4! 6

!
dito faixa de Moebius.
4.1. INTRODUO
Exerccios 14. Verifique que
Proposio 17.
67
* * .
uma funo sobrejetiva, contnua e

uma funo contnua. Se existe
2. Sejam
e espaos topolgicos,

, ento uma identificao.
tal que

1. Sejam e espaos topolgicos,

aberta (fechada); ento uma identificao.
Prova :

*

4 * 6

*
* 4 * 6

1. Seja uma topologia em ; como contnua, ento

. Como

aberta, para todo
,
aberto em ; logo
.

ento sobrejetiva. Seja
2. Como
tal que
seja
aberto; ento
aberto em ; logo uma
identificao.
Exemplo 45.
1. A funo:
*
, 1
sobrejetiva, contnua e aberta; pela proposio [17] uma identificao.

2. Analogamente:
, * ,
, 1 , 1

uma identificao.

Teorema 7. Propriedade universal da topologia quociente

Sejam , espaos topolgicos e
uma identificao. Ento, para toda
contnua se, e somente se
contnua.

contnua.

aberto; ento 4 6 * aberto em . Como

4 6 * * 4 * 6 , pela definio da topologia quociente, *
aberto em ; logo contnua.
Prova : Se
contnua e
//
~
~
~~
~~
~
~
~~
contnua, ento
68
4.2 Espaos Quocientes

Funes sobrejetivas podem ser obtidas de forma natural utilizando classes de
equivalncia de alguma relao de equivalncia.
Seja
uma relao de equivalncia sobre
equivalncia em . Definamos:

onde a classe de equivalncia que contm ;

naturalmente sobrejetiva.
Definio 20. Seja
ciente de .
4 76
o conjunto das classes de
dita projeo cannica e
um espao topolgico. O par

4
6

dito espao quo-
Observao 15.
A projeo cannica:

4 6
* 4 6
naturalmente uma identifio. Note que

aberto em
aberto
4.2.1 Exemplos
A seguir apresentaremos vrios exemplos de homeomorfismos, a maioria bastante intuitivos. Nos prximos pargrafos, teremos ferramentas suficientes para
provar estes homeomorfismos. Por enquanto, ficaremos apenas com a parte geomtrica.

Exemplo 46. Seja

com a topologia induzida pela topologia usual de .

Consideremos em a relao de equivalncia:

ou
'

4.2. ESPAOS QUOCIENTES
; ento
:
Se
logo
e se
69
; ento
, ento
e se
[0]=[1]
Figura 4.1:
Logo,

4
e
e:

6
uma identificao. Note que
4
bijetiva salvo para
6 * '
Observao 16.
Nos seguintes exemplos, as setas indicam o sentido dos pontos que esto na mesma classe de equivalncia.
,
, ,
Exemplo 47. Seja

deremos em a relao de equivalncia:
, . Consi-
* * * * ou * e *

* * ,
para todo

e .
1. Observe que se , ento

2. Em particular, e .
, 4 , 6 uma identificao. Note que bijetiva salvo
3. Ento
e e
para
4 , 6 * '
70
Figura 4.2:
, ,
, . Consi,
* * * * ou
* * ,
para todo

e .
1. Observe que se , ento

2. Em particular, e .
3. Ento

e
para
e
4 , 6 !

Exemplo 48. Seja
onde
a faixa de Moebius.
(0,b)
(0,1-a)
(0,a)
(0,1-b)
Figura 4.3:
71
Nos prximos captulos, verificaremos que a faixa de Moebius homeo

morfa a uma superfcie parametrizada em :
Figura 4.4: Faixa de Moebius
, ,
, . Consi,
* * * * ou e
* * ,
para todo
, ento e e se
1. Observe que se
, ento .

2. Em particular, .
3. Ento
, , e e
para
4 , 6 * * '

Exemplo 49. Seja
Figura 4.5:
72
,
, ,
Exemplo 50. Seja

deremos em a seguinte relao de equivalncia:
, . Consi-
* * * * ou e

* * ,
para todo
, ento e e
1. Observe que se

.

2. Em particular, .
3. Ento
, , e .
para
, 6 chamada garrafa de Klein. Note que a garrafa de Klein contm
4. 4
uma faixa de Moebius.
Figura 4.6: Garrafa de Klein
4 6 e
Exemplo 51. Seja

usual de . O cone sobre
Observaes 14.
denotado por

com a topologia induzida pela topologia

, onde:
'
dita vrtice de .
onde identificamos
obtido de
1. A classe de equivalncia
2. Intuitivamente
ponto.

3. O subsepao

naturalmente homeomorfo a
a um
.
73
Xx I
CX
0
X
Figura 4.7:
Observao 17.

contnua. Ento
tal que
Seja

contnua. De fato, basta considerar o diagrama comutativo:

onde
.
Exemplo 52. Seja
A suspenso denotada por
, onde:
ou '

Observaes 15.
1. Intuitivamente
a um ponto.
obtido de

2. O subsepao

onde identificamos

naturalmente homeomorfo a
1
SX
XxJ
0
-1
Figura 4.8:
e
.

74
Observao 18.
Seja
contnua.

contnua. Ento
4.3 Teoremas
Definio 21. Sejam
vamente. Dizemos que
.
ento

tal que

* ,
, e relaes de equivalncia em e respecti

,
preserva as relaoes se para todo
tal que
* ,
,
, e relaes de equivalncias em e respectivamente.
Lema 1. Sejam

Se contnua e preserva as relaes, ento existe uma nica , contnua que torna o
*
seguinte diagrama comutativo:

Alem disso, se
6 4
*
.
*
* , .
uma identificao.
bem definida. De fato, seja

; logo
, isto

2. Pela definio,

uma identifio, ento
1. A funo

Prova : Definamos

* ; ento

* .

* , ento
*
*6 4 , 6
4
3. Suponha que existe tal que o diagrama comuta. Existe pelo menos um

, como
tal que
sobrejetiva, existe pelo menos

. Isto uma contradio, pois o
um
tal que
diagrama comuta.
4. Como
*, , e
so contnuas., pelo teorema [7],

Teorema 8. Sejam e espaos topolgicos e

uma relao de equivalncia definida em tal que:
ento, existe
4
6
*
contnua e bijetiva.
contnua.
contnua e sobrejetiva. Se
4.3. TEOREMAS
75
Prova : Consideremos:
FF
FF
FF
FF
FF

##
//
. Logo, contnua e sobrejetiva.

& * , isto *
* , ento

* ; logo * . Ento bijetiva.
1. Pelo lema [1], definimos
2. Se

Corolrio 4. Com as hipotses de teorema 8, so equivalentes:

1.
2.
uma identifio.
um homeomorfismo.

* *
*
Prova : Pelo teorema [8], basta provar que aberta. Observe que para todo

temos que
.

aberto
aberto em
aberto em
aberto em , pois tem a topologia quociente induzida por .
Corolrio 5. Nas hiptese do teorema [8], se
6
*4 6
um homeomorfismo, ento:
4
6'
Prova : Seja

4
1. Pelo teorema [8], definamos
2.
bijetiva e contnua.
3.
contnua, pois

6 4 6
.
por
* , * e *
contnua.

76
Exemplo 53.

e
Seja
. Consideremos
topologia induzida. Definamos:

Seja
* ,
* ,

existe
existe
tal que
;

tal que
tal que

com a
* . ,
7
* -, '
homeomorfismo. Por outro lado:
tal que * . ,

* , existe

. ,
. , , logo

*

* , '
Pelo teorema:
6
4 +6 * '
Exerccios 15.
( 6 4 6

4
- -
,

4 6
4 6 *
* com a topologia induzida pela usual de , .

se, e somente se .
2. Seja 4 6 , onde a topologia definida por:
. Verifique que 4 6 com a
Se relao de equivalncia definida por

topologia quociente homeomorfo a
com a topologia induzida por .
. com a topologia de Zariski e relao de equivalncia definida por
3. Seja

1. Seja
com a topologia induzida pela usual de
e relao de equivalncia definida por
e
.
Considere
com a topologia quociente, verifique que:
* ,
'-' ' . * , ' '-' .
'-'-' . Verifique que 4 . 6
para todo
. *
homeomorfo a
com a topologia de Zariski.
1 1
com a topologia quociente
4.4. AES DE GRUPOS
77
4.4 Aes de Grupos

6 um grupo.
Seja
um conjunto e 4
6 atua pela esquerda sobre
Definio 22. O grupo 4
funo:

tal que:
, para todo

4 #, 6 4 * , 6
2. *
-conjunto.

1.

a identidade de
, para todo
se existe uma
"

e * #,
. Em tal caso,
dito
Exemplo 54.
1. Sejam

um homeomorfismo
'
um grupo no comutativo com a composta de funes. Definamos:

Ento,
2. Seja
por:
um

'
-conjunto.
o grupo gerado pelos homeomorfismos

,
e
respectivamente. Logo, como no exemplo anterior:

Ento,
um
, ,

-conjunto.
'
. e 4 , 6 . Definamos:
. .

,

.
onde o antipodal de . Ento, um , -conjunto.
3. Seja
definidos
78
4. Seja
4 6 . Definamos:

Ento,

'
um -conjunto.
, e 4 , 6 . Definamos:
, , ,

# # # '
, um , -conjunto.
Ento,
,
e 4 & 6 . Definamos:
6. Sejam

. '
5. Seja
Ento,
um -conjunto.
estrutura de
grupo multiplicativo
induzida
*
1* tem
uma
1

1
1

, 1

,
,
*
,
,

. Consideremos
, ento

, . * . *
, . * * , ' '-' . * . * * , , , '-'-' . * , '
; ento
7. Seja

por . De fato, se
:
Definimos:
, 1
* , . * , . *
* , '-'-' . * , 1 * , 1 , '-'-' , 1 . * ' Logo, , . *

*
. * . e o grupo ortogonal. Definamos:
8. Seja

. * . *
'
; logo est bem definida e . * um -conjunto.

definamos:
"
Proposio 18. Seja um -conjunto. Para todo
5
, ento bijetiva.
por
onde
um -conjunto.
4.4. AES DE GRUPOS
e que para todo , temos

e . Ento

Prova : Note que

Definio 23. Seja
um
1. O estabilizador de
2. A rbita de
. Logo,
.
-conjunto. Definimos:
por:
um subgrupo de

*

79
"
'
por:
" '

*
Exemplo 55. Consideremos como um -conjunto, com a ao:

* , 1 , 1 , 1
* ,

* ,
*
, '
; ento o estabilizador do ponto * , :
Seja * ,
* , 1 & '

Exerccios 16. Verifique que:

1. Para todo
2.
4.4.1
!
"
Se um
cia:

ou so disjuntas.
, (unio disjunta).
-espaos
-conjunto, podemos definir sobre

"
existe
isto :

a seguinte relao de equivaln-
tal que
"

'
Denotemos por
o conjunto das classes de equivalncia desta relao. Se

um -conjunto, temos a projeo cannica, que sobrejetiva:

'
80
Logo, se
um -conjunto que espao topolgico, podemos dar a
topologia quociente.

Espao Projetivo Complexo
* ; ento * com estrutura de grupo multiplicativo induzida por

, . *
. * . Definimos e denotamos o -espao projetivo complexo, por:
.
, . *
se, e somente se , para algum * .
onde
Seja
Exemplo 56.
1. Note que
2.
* ,.
identifica cada crculos de

, . * a um ponto.
Definio 24. Seja um espao topolgico que um

.
se contnua, para todo
-conjunto,
dito
-espao
Exemplo 57.
1.
2.
3.
. , um , -espao.
um -espao.
, , um , -espao.
4. Seja
por:

,
,
definidos
e
respectivamente, ento

.
Observaes 16.
1. Se
um
2. Se
um
,
-espao a funo
um
-espao. Note que
no isomorfo a
um homeomorfismo, para todo
-espao, ento existe um homomorfismo de grupos:

#
'
"
4.4. AES DE GRUPOS

Proposio 19. Se
um
81
-espao a projeo cannica:

aberta.
6
*4

Prova : Seja
aberto, devemos provar que

equivalente a provar que
aberto em
* 4 6

!

! "

"
que aberto, pois

Exerccios 17.
1. Prove que se

aberto em
. De fato:

para algum
para algum
para algum

, o que
"
um homeomorfismo.
finito, ento
2. Ache exemplos de
fechada.
-espaos, onde
seja finito.
4.4.2 Exemplos
Agora estamos em condies de verificar alguns dos homeomorfismos vistos anteriormente.
A) Seja com a topologia usual e
; ento:
1. Seja
*

*
com a topologia induzida pela usual de
* '
tal que definida por
, 1 . Veja o exemplo [41] .
2. Observemos que se consideramos como grupo aditivo e

multiplicativo (multiplicao induzida por ). Ento:
isto ,
, 1 , 1 , 1
um homomorfismo de grupos com ncleo .
*
como grupo
82
3. Para todo
4.


um -espao com a operao

.

tal que
5. Ento,
. Logo,

existe

uma identificao, pelo corolrio [4] temos:
*
//
{==
{
{{
{{
{
{

, logo:
* '
Logo
um homeomorfismo, onde

B) Seja
pela usual de , ento:
* 4 6
*
com a topologia induzida
ou .
* tal que definida por , 1 . Analogamante ao
1. Seja

exemplo anterior, uma identificao; pelo corolrio [4], temos:
onde
//
z==
z
zz
zz
zz

2. Logo

*
um homeomorfismo:
* 4 6 '
3. Ento:
*

4
6'
4.4. AES DE GRUPOS
83
C) De forma anloga, temos que:
6
4 ,
, , * * ,
, , com a topologia induzida pela topologia usual de , e para todo

* * , , consideremos a relao de equivalncia:
* * * * ou e '
, o toro de revoluo em , parametrizado por:
onde

e , .

onde

O homeomorfismo:
4 ,
6
,
fica para os prximos captulos.
Exerccios 18. Seja

por:
um
definidos
e
respectivamente, Verifique que

Sejam
, ,
-espao e
,
um
homeomorfo garrafa de Klein.

-espao, onde
4 6 e4 6

5 homeomorfismo
homeomorfismo
sobrejetiva e contnua
sobrejetiva e contnua '

so tais que:

Lema 2. Sejam
um
-espao e
um
-espao. Ento

um

-espao.
84
Prova : Com as notaes anteriores, definamos:
4 6 4 6 4 6

e
No difcil provar que

4 6
'
6 -espao e
4 6

um 4
um homeomorfismo.
44 6 4 6 6 4 6 4 56 '
Proposio 20. Com as notaes anteriores:

Prova :
1. Definamos
, isto ,

* ,
//
3.

contnua. Sejam
& aberto em

$

que

topologia quociente, devemos provar que
.
4 6 4 6 aberto; devemos provar

definio de
4 4 6 4 * 6 6 * , isto , pela

4 4 66 aberto em
*
/ , ento *
* 4 * 4 6 6
lll
lll
l
l
l
vv ll
l
naturalmente bem definida e bijetiva.
4.

l
2.
* 4 6

* * * ; logo:
* *
que aberto, pela definio da topologia quociente.

Exemplo 58.
Sejam
Ento,
, e , . Definamos:
, , ,

# # # '
, um , -espao, e:
, , * * , '
Captulo 5
Compacidade
Do Clculo sabemos que funes contnuas definidas sobre conjuntos limitados
e fechados possuem um ponto de mximo e um de mnimo absoluto (Teorema
de Weierstrass) e da Anlise conhecemos o teorema de Heine-Borel sobre intervalos encaixados. As formulaes de compacidade em espaos topolgicos envolve muito mais do que o conceito de fechado e limitado, os quais no so equivalentes. A importncia principal da compacidade que ela nos permite obter
propriedades globais a partir de propriedades locais. Existem vrias formas de
introduzir o conceito de compacidade em espaos topolgicos. Ns escolhemos
a seguinte.
5.1 Introduo
Seja

Definio 25.
1. Uma cobertura de
2. Se
uma famlia de subconjuntos
1! " 1 '
finito, a cobertura dita finita.
3. A cobertura dita aberta se os

4. Se
1
, ento
1
so conjuntos abertos.
uma cobertura se:
!
1 1'
"
85

tal que:
CAPTULO 5. COMPACIDADE
86
Exemplo 59. Seja
com a topologia usual.
; ento

uma cobertura no
.
; ento
uma cobertura aberta
2. Seja

de .

& uma cobertura aberta de .
3.
e coberturas de
Definio 26. Sejam 1

. Se para todo existe tal que 1 , ento, dizemos que uma
1. Seja
aberta de
subcobertura de .
Exemplo 60.

&
um subrcobertura de

A seguir, somente consideraremos coberturas abertas.

Definio 27. Um subconjunto
uma cobertura finita.
Em particular,

dito compacto, se toda cobertura de
compacto, se todo cobertura de
admite
admite uma cobertura finita.
Observaes 17.
1. Os conjuntos finitos, em qualquer espao topolgico, so compactos.
2. A unio e a inteseo finita de compactos um compacto.
Exemplo 61.
4 5 1 . 6 . Todo compacto.
5 1 6 . compacto se, e somente se
2. Seja 4
1. Seja

3. Se
discreto infinito, ento
no so compactos.
4.
no compacto, pois
finita.
5. Para todo

/

Exerccios 19. Seja

com a topologia induzida.
,

finito.
no compacto. Em particular, e

&
no possui uma cobertura
compacto. Veja [EL1].
um subespao.
compacto se, e somente se
compacto
5.1. INTRODUO
87
Proposio 21. So equivalentes as condies:

compacto.
1.
2. (Propriedade da interseo finita) Se

fechados e:

0

# "
'-'-'
ento existe uma subfamlia finita
0.
'

132 *
tal que os
so
tal que:
Prova : A prova segue diretamente das leis de de Morgan. Por exemplo:
0
!
equivalente a
'
# "
#"

contnua. Se compacto, ento
Proposio 22. Seja
compacto em
1
* 1 *

Prova :
um recobrimento de
; ento
uma
Seja
cobertura de ; como compacto, existe subcobertura finita

,
onde finito. Como

, ento
uma subcobertura
finita de
.

*

Corolrio 6.

1. Se compacto e
contnua e sobrejetiva, ento
particular, se tem a topologia quociente induzida por , ento
2. Se
, ento
compacto se, e somente se
Exemplo 62. O trao de uma curva contnua

compacto. Em
compacto.
compacto.

compacto.
, definida por
tal que
* compacto em , . O toro , tambm compacto.
Em particular, seja

. Ento

Observao 19.
Nem todo subconjunto de um espao compacto compacto.
compacto.

no
88
Proposio 23. Se
compacto e
1

fechado, ento
compacto.

uma cobertura de , onde cada
aberto em
Prova : Seja

; ento
uma cobertura de ; como
compacto, possui um
subcobertura finita, que pode ser:
onde
1

finito. Logo 1
1
ou
um subcobertura finita de

Proposio 24.
Prova : Se
compactos.
compacto, como as projees so contnuas, ento

definio:
onde

aberto em
so compactos se, e somente se
compacto.
e

uma cobertura aberta de
! 4

6
%"

e
aberto em , ento:

so
; por
uma cobertura aberta de

.
; logo compacto;
Por outro lado, para cada
, temos que

, ento admite um subcobrimento
como tambm uma cobertura de

finito
, onde
. Seja:
1 1 -' ' '

.0
132 1 '
*
# -' ' '

-' '-' # 1 -' '-'

, isto , para cada e 1 , existe e
uma cobertura finita de
uma cobertura aberta de ; como compacto, admite uma subco

bertura finita
# ; ento:
que:

Logo, existe subcobertura finita de
, provando que
'

compacto.
tal
5.2. COMPACIDADE EM ESPAOS MTRICOS

Corolrio 7.
pacto.
* , '-'-' .
89
so compactos se, e somente se
* , '-'-' .
com-
Exemplo 63.
1.
no compacto.

. ' '-'
2. Se , ento
, * * compacto.
3. O toro
4. O toro no homeomorfo ao cilindro
compacto.
*

5.2 Compacidade em Espaos Mtricos

! * 6 e 4 , 6 espaos mtricos tal que !
Proposio 25. Sejam 4
! contnua, ento uniformemente contnua.
compacto. Se

*
,

)
) 1 + '-'-'

'-' '

) 1
* %
,

1
%*
1 $ 1 logo , 1

, $ , 1 , 1
'

Prova :

, enexiste
tal que se
Como contnua, para todo

to
. Seja
;
uma cobertura aberta

de ; por compacidade, admite um cobertura finita
.

Denotemos por
tais

, ento dados

que
, temos
. Isto , se

para algum ,

e:
Proposio 26. Seja

fechado e limitado.
4 ! 6

um espao mtrico. Se
!
compacto, ento

)

) '-'-'
)

)+*%
)&,
)
'-'-'
!
132 )/.

*
e
, ento para todo
, existe
Prova : Provemos que fechado. Se

tal que
; logo possui uma cobertura
; como

compacto, existe uma cobertura finita
; ento

; logo
. Por outro lado, para
! o :que uma contradio, pois
todo

)
logo, limitado.
90
Observaes 18.
1. Em geral, a recproca desta proposio falsa. De fato, seja com a mtrica

! infinito; ento fechado e limitado, pois
discreta tal que
! para todo ! e no compacto.

)&,
2. No caso
temos:
Proposio 27. (Heine-Borel) Um subconjunto fechado e limitado em

mente se compacto.

se, e so-
existe tal que

limitado,

.
'-' ' .
. Logo, fechado contido

Prova : Seja
fechado e limitado. Se
; logo

, para todo

Por outro lado, compacto, pois
num compacto; ento, compacto.
Exemplo 64.
.
1.
compacta.
2. O toro
3.
compacto.
compacto.
4. O toro e a esfera no so homeomorfos a
,.
5. O toro e a esfera no so homeomorfos ao cilindro
*

6. A faixa de Moebius compacta.
e so compactos. De fato, sabemos que so fechados

, temos que * .
contCorolrio 8. (Weirstrass) Seja um espao topolgico compacto e
tais que:
nua; ento existem *

*
.
para todo
7. Os grupos
e para toda

Prova :
Como contnua,
compacto em , logo fechado e limitado; como
!

limitado, existe
e
; alm

&% !
!

disso fechado; ento
. De fato, suponha que
, como
!
!
, ento existe
tal que
. Isto , para

%

5.2. COMPACIDADE EM ESPAOS MTRICOS
91
!
*
todo
,
existe

o que uma contradio. Analogamente para

!
tais que
* e
, e:

*
para todo
Seja
um conjunto limitado, definimos e denotamos o dimetro de

. Logo,
'

O nmero dito de Lebesgue da cobertura 1

com
, ento existe
tal que:
1 '

por:

de
, se para todo

O nmero de Lebesgue de uma cobertura pode no existir. De fato, considere a

de
cobertura
. No difcil ver que para todo
,

no pertence a
se pode escolher
; tal que
e
nenhum elemento da cobertura.

Lema 3. (Lebesgue) Todo conjunto compacto num espao mtrico possui um nmero
de Lebesgue.

1

) 1

#

)
) * * ) , , '-'-' ) . .

* , '-'-' . '
para algum ;
O nmero o nmero de Lebesgue. De fato, seja )
'-'-' tal que ) 1 1 . Por outro lado, se
ento, existe

) , temos que:
1 $ 1 1 1 '
) 1 1 #
, para algum
1 .
Logo, )
Prova : Sejam
compacto,
uma cobertura de
e
. Escolhemos o nmero
para algum
; ento
tal que

uma cobertura de , como
compacto, admite cober

tura finita
,
,
. Seja
92
Captulo 6
Axioma de Separao
6.1 Introduo
! 6 um espao mtrico com mais de dois elementos. Sempre
Consideremos 4
com ! e , ento
podemos escolher tal que

)- )- . Esta propriedade natural dos espaos mtricos, que nos per-
mite diferenciar os pontos dos espaos, no vlida, em geral, em espaos topolgicos arbitrrios. Neste pargrafo estudaremos que tipo de espaos possuem
esta propriedade, que por exemplo, fundamental para provar a unicidade do
limite de uma sequncia em espaos mtricos. Veja [EL2].
6.2 Espaos de Frchet
4 6 um espao topolgico
Definio 28.
de .Frchet ou *
tal que um
espao

existe
e
Seja
se para todo

tal que
,
Exemplo 65.
1.
2.
4 1 6
4 1 . 6
Proposio 28.

e os espaos topolgicos metrizavis so

no
*.

se, e somente se
Prova : Suponha que

de tal que
; logo:
fechado em
* . Seja e
!

"
93
*.
, para todo
; ento existe
.
vizinhana
94
CAPTULO 6. AXIOMA DE SEPARAO

isto ,
aberto.
Reciprocamente, se e

abertos,
e
so fechados em

; logo * .

; ento

so
6.3 Espaos de Hausdorff

Seja
4 76
um espao topolgico
Definio
29.

, existem

um espao de Hausdorff ou

,
e
tais que
,
se para todo
.

tal que
* . A reciproca falsa. Veja o seguinte exemplo:
implica
Exemplo 66.
4 6 de Hausdorff
1 6 e os espaos topolgicos metrizavis so de Hausdorff.
2. 4
1 . 6 no de Hausdorff.
3. 4
6 no de Hausdorff. De fato. Para todo , temos
4. 4

. Defato,
7* e , , onde * e , so
sejam
finitos; ento
4 * , 6 ; como * , finito, ento ; logo
no pode

ser de Hausdorff. Note que 4
*.
6
1.
5. Utilizando propriedades dos anis de polinmios possvel verificar que

topologia de Zariski no de Hausdorff.
Teorema 9. So equivalentes as seguintes condies:
1.
de Hausdorff.
2. Se
, para todo
3. Para todo
4. A diagonal
existe uma vizinhana
de tal que

temos que:

vizinhana de
'
um conjunto fechado em
6.3. ESPAOS DE HAUSDORFF

Prova :
95

Dados
, existem e vizinhanas de e respectivamente, tais

que
.
; logo

Se existe uma vizinhana de tal que ; ento:
0 vizinhana de '
Provaremos que aberto. Seja ; ento ; como
de , existe tal que
e
. Por outro lado, $
vizinhana

4 &6 , ento
4 &6 .

Dados , ento , isto que aberto; logo existe
de tal que 4 6
vizinhana
.
tal que

existe
4 6
e

'
e , .
Logo;

Corolrio 9.
1. Se
2. Se
de Hausdorff e
de Hausdorff e
3. Se

um subespaco, ento

contnua e injetiva, ento

so de Hausdorff, ento
de Hausdorff.
Prova :
1. Denotemos por
Logo
2. Como
Logo
a diagonal de
fechado em

contnua e injetiva:
fechada em
de Hausdorff.

e
, ento
4 6 '
de Hausdorff.
" * 4
e
6'
de Hausdorff.
de Hausdorff.
96
3. Se
so de Hausdorff, definamos:

um homeomorfismo e:
Logo,
Exerccios 20. Se
Hausdorff.
fechado em

* *
4

de Hausdorff e

*

*'

'

de Hausdorff.
uma bijeo fechada, ento
de
de Hausdorff e
compacto, ento fechado.

;
ou
nada temos a provar. Sejam
e
Prova : Se
existem e vizinhanas de e respectivamente, tais que
para todo
. Por outro lado, um recobrimento
; como

aberto
'-' ' de. Considere compacto, existe um subrecobrimento finito #
mos:
0.
132 '
*
para todo ; logo , isto , para cada

& existe um aberto tal que & , logo / aberto e fechado.
Teorema 10. Se
Observao 20.
A condio de ser de Hausdorff e de compacidade so essenciais no teorema
anterior. Vejamos os seguintes exemplos:
Exemplo 67.

&/ -

1. Considere
com a seguinte topologia
. Ento

compacto e
, logo no fechado. Note que

no de Hausdorff.

,
/. . Isto ,
2. Seja
com a topologia dada no exerccio [1], tem 2. Seja
compacto e
pois para todo aberto
temos
para todo
,
e no compacto. De fato:

&.

onde
.
!
.
."
. Logo, o fecho de um compacto pode no ser compacto.
6.3. ESPAOS DE HAUSDORFF
(* 7,
4 5 , 6
Corolrio 10. Sejam

e
topologias em
dorff e
compact, ento
.
tal que
*/ 7, . Se 4 5 * 6
97
de Haus-
* ,

Prova : Seja
7, ; logo fechado em 7, ; ento compacto em
, . Por outro lado, como (* , , todo recobrimento aberto de em
* um
5
recobrimento aberto de em , ; ento compacto em * . Como 4
* 6 de
* e ,/ * .
Hausdorff, segue que fechado em (* ; logo

Proposio 29. Sejam
espao topolgico, espao de Hausdorff e
contnuas. Ento:

1.
2. Se

denso e
3. O grfico de
4. Se
Prova :

fechado em
injetiva, ento

fechado em

ento

em
de Hausdorff.
; contnua e:
*

onde

denso, ento:

'
Seja onde ; contnua e:
*

Seja
fechado em

Segue, de imediato, pois

fechado e

fechado em

*
A funo
uma bijeo fechada do espao
Hausdorff.

. Como
que de
Observaes 19.

1. O tem da proposio [29], no vlido sem a hiptese de ser de Haus e

tal que
dorff. Por exemplo, considere

4 1 . 6 4

ambas so contnuas e
1
4 . 6 .
1. 6
, que no fechado em
98
2. Note que as curvas contnuas e os planos so fechados em

gia usual.
Proposio 30. Se
fechada.
compacto,

de Hausdorff e

Prova : Seja
fechado; logo compacto; ento
implica
fechado em e fechada.
Corolrio 11. Sejam
equivalentes:
1.
2.
compacto,
espao de Hausdorff e

com a topolo-
contnua, ento
compacto, o que

contnua. So
um homeomorfismo.
bijetiva.
Prova : Se um homeomorfismo, ento bijetiva. Reciprocamente. Se

bijetiva, ento aberta e fechada; logo um homeomorfismo.
Observao 21.
4 6 4 1 6
4 1 6 4 6
A condio de compaciade essencial no corolrio [11]. De fato, considere os

, e a funo identidade:
seguintes espaos topolgicos
que contnua, bijetiva e no um homeomorfismo.

Corolrio 12. Sejam
injetiva ento:
compacto,
espao de Hausdorff e

contnua e
'
6.4 Topologia Quociente

Em geral, falso, que espaos quocientes de um espao de Hausdorff sejam de
Hausdorff.
Exemplo 68. Seja
cia:
com a topologia usual e definamos a seguinte relao de equivaln

'
ou
6.4. TOPOLOGIA QUOCIENTE
4 6

99
*
Consideremos
com a topologia quociente e a correspondente projeo

cannica. Se
, ento

, que no fechado em ; logo

no fechado em
, o qual implica em que
no pode ser
de Hausdorff.

uma identificao. Se

tal que * , , ento * * e * , so compactos
Prova : Sejam * ,
* * e & * , , ento existem e abertos disjuntos
disjuntos. Seja

&
& * , uma cobertura de
. Por outro lado,
e
tais que
* , ; logo existe uma subcobertura finita ) , onde ) * , e )
finito. Sejam:
0
!

e
"

"

* , . Por outro
e so abertos tais que

,
e

* * uma cobertura de * * , logo existe uma subcobertura
lado,

, onde * * e finito. Sejam:
finita
!
0
e
"
"

e so abertos disjuntos tais que * * e * , ; como fechada,

ento / e so fechados em . Denotemos por:
* 4 6 e , 4 6 '
* , pois * * e , * , pois * ,
*
e , so abertos tais que *
. Se * , , ento * e * ; logo * e
*
donde *
e * , .
Corolrio 13. Seja
compacto, de Hausdorff e
fechado. Definamos em
a
relao de equivalncia:

ou '

6 compacto e de Hausdorff.
Ento 4
Prova :
, ento . Se
Seja
fechado e a projeo cannica. Se
, ento que fechado. De fato:
* 4 6 '
Teorema 11. Seja compacto, de Hausdorff e
fechada, ento de Hausdorff (compacto).
Logo,
fechada.
comum na literatura denotar-se
por

100
Corolrio 14. Se
um
compacto e de Hausdorff.
Prova : Seja
-espao compacto, de Hausdorff e
finito, ento
*4 6 !
"
*4 6

Proposio 31. Se compacto,

ento uma identificao.

de Hausdorff e

Prova : Seja
fechado, ento
compacto em
em , como de Hausdorff,
fechado em e
pela proposio [17], uma identificao.
a projeo cannica.
um homeomorfismo, para todo

fechado e
fechado; logo fechada.

fechado, ento:
onde

; ento
contnua sobrejetiva,

, logo
compacto
uma funo fechada e
Exemplo 69.
1. O toro
2.
. e .
compacto e de Hausdorff.
so compactos e de Hausdorff.
3. A faixa de Moebius compacta e de Hausdorff.

4. A garrafa de Klein compacta e de Hausdorff.
6.4.1 Homeomorfismos
Nas seguintes aplicaes utilizaremos o seguinte corolrio cuja prova segue diretamente do pargrafo anterior e do corolrio [11]:
. * . * , ento:
) 4 . * 6 4 . * 6 '
. * ) por .
1. De fato, definamos
, , ou * , e * , ,
2. Por outro lado * *

contnua e sobrejetiva. Logo, por passagem ao quocientes, induz uma
A) Seja
bijeo contnua
tal que

3. Denotemos por
comutativo:
101
4 . * 6 4 . * 6 , temos o seguinte diagrama
. *

4. Como compacto e
o qual definido por
B) Seja
)
//
88
r
rr
r
r
rr
rrrr
) de Hausdorff,
ento

.
o toro de revoluo. Ento:
, * * 4 ,
6
um homeomorfismo
, ,'
1. Pelo exemplo C em [4.4.2], provaremos que:
onde
2.
,
, 4 ,
o toro de revoluo em
6
parametrizado por:

e

,.
onde

, , com a topologia usual e a relao de
3. Seja e consideramos
,

equivalncia definida em
,.
, 6
4. Consideremos 4
por:

para todo
por
com a topologia quociente e definamos:

.
102
5.
ento como
bem
e contnua
e sobrejetiva;
como
* * .peridica,
definida,
Logo, por passagem

ao quocientes, induz uma bijeo contnua tal que
. Em outras
palavras, temos o seguinte diagrama comutativo:
,
4 ,
//
y<<
y
yy
yy
yy
,

* , , * ,de . Hausdorff, ento
6. Como
compacto e
fismo. Note que
. * * '-' ' *
. . . '
. * , isto . * menos a origem, definamos em
um homeomor-
7. Em geral, com argumentos anlogos aos anteriores, se consideramos o toro

, ( vezes), temos que:
-dimensional
C) Seja
de equivalncia:
Seja
. *
3.
. . *
.

. *

existe
6 , ento:
1. Considere
.
2. Seja

tal que
a seguinte relao
'
.'
, onde
definida por
a projeo cannica.
. . *

a incluso e
contnua e sobrejetiva. Logo, temos o seguinte diagrama comutativo:
.

4. Como
.
.
compacta e
//
<<
yy
yy
y
y
yyy
de Hausdorff, ento
um homeomorfismo

* *
5. claro que
103
* *
,
um ponto e
. De fato, basta considerar a funo
tal que
, por argumentos anlogos aos anteriores,
temos o seguinte diagrama comutativo:
*

*
//
z==
z
zz
zz
z
z
* * .
. * , isto . * menos a origem, definamos em
D) Seja
de equivalncia:
* ,
tal que * , '
existe
Logo, temos que
a seguinte relao
Seja
6 , ento:

.'
, . * . * com a topologia induzida pela topologia usual de

, . * definida por
, . * a incluso
2. Seja
, onde

e
. * a projeo cannica.
. *
1. Considere
.
3.
contnua e sobrejetiva. Logo, temos o seguinte diagrama comutativo:
, . *
//
v::
v
v
vv
vv
v
v
v
4. Como
mo .
, . * compacta e .
Exemplo 70.
Verifique que
F) Seja
um ponto e
de Hausdorff, ento
* , .
a faixa de Moebius, ento:
.

um homeomorfis-
104
onde
onde
a superfcie parametrizada em
, .
1. Lembremos que

, por:
, ,

4
6 , onde , ,

e ! definida por:

2. Seja
, ,

! compacto e !
3. A funo injetiva, contnua,
logo
! ! '

de Hausdorff;
6.4.2 Variedades Topolgicas

Seja
um espao topolgico.
Definio 30.
uma variedade topolgica de dimenso , se
todo ponto de possui uma vizinhana homeomorfa a uma aberto de
. . de Hausdorff e
Observaes 20.
1. Se
uma variedade topolgica de dimenso equivalente a dizer que,
para todo
, existe uma vizinhana e um homeomorfismo:
onde
. .
.
o disco unitrio.
Figura 6.1: Variedade de dimenso 2
105
2. Uma variedade topolgica de dimenso localmente homeomorfa a

3. Se
, ento
dita superfcie topolgica.
4. Se e so variedades de dimenso e # , respectivamente, ento

# . (Verifique!).
uma variedade de dimenso
..

Exerccios 3.
1. Todos os conjuntos abertos de
.
so variedades topolgicas de dimenso .
2. As esferas
so variedades topolgicas de dimenso . O homeomorfismo
local a projeo sterogrfica.
3.
. * -' '-' *
(n-vezes) uma variedad topolgica de dimenso .
4. Os espas projetivos reais e complexos so variedades topolgicas de dimen

so e , respectivamente.
5. A garrafa de Klein uma superfcie topolgica.
106
Captulo 7
Conexidade
7.1 Introduo
Seja
um espao topolgico.
)
Definio 31.
conexo se no existem e abertos disjuntos no vazios tais que

. Caso contrrio dito desconexo.
Observao 22.

conexo, se conexo como subespao de
Exemplo 71.

1 . 6 , todo subconjunto conexo.
2. Em 4
5 1 6 , os nicos conexos no vazios so os conjuntos de um elemen3. Em 4

1.
e so sempre conexos.
to.
4 6 ,
desconexo. De fato, basta considerar:
(a)

'

e )
, ento desconexo. De fato, basta considerar:
(b) Para todo
e ) '
4 6 conexo. De fato, nesta topologia no existem abertos no vazios
4. Seja
5.
disjuntos.
107
CAPTULO 7. CONEXIDADE
108
Proposio 32. Seja com a topologia usual. Os nicos conjuntos conexos em

mais de um ponto so os intervalos (abertos, fechados, etc).

com
%
Prova : Se conexo, ento um intervalo. Suponha que no um intervalo,

ento existem
e
tal que
. Sejam
e

; logo
e no conexo.
)

)
Se um intervalo, ento conexo. Se for desconexo, ento existem e

abertos disjuntos no vazios tais que
. Sejam
e
tais que

(caso contrrio, mudamos os papis de e ). Denotemos por:
'
; como um intervalo, . Por outro lado, .
Logo
) , ento aberto e fechado em ; logo e existe
Como
, contradio, pois um supremo.
tal que
Segue de imediato da proposio anterior:
,
Corolrio 15. Seja com a topologia usual.
conexo se, e somente se
ou um intervalo.

Teorema 12. So equivalentes:

1.
conexo.
2. Os nicos subconjuntos abertos e fechados em

3. No existe funo

Prova :

Se
desconexo.
e .
contnua e sobrejetiva.
aberto, fechado e no vazio ou
, ento
, ento
Suponha que 4 5 6 4 1 6 contnua e sobrejetivaa, logo

* , como aberto e fechado em 4 1 6 , ento * aberto e
fechado em .
Se ) onde e ) so
abertos disjuntos no vazios, ento e )
so fechados e a funo
4 6 4 1 6 definida por:

se
se )

4 5 6 4 1 6
so
7.1. INTRODUO
109
Exemplo 72. Segue do teorema que , com a topologia usual conexo.

Corolrio 16.
conexo e
1. Se
2. Seja

. Ento,
contnua, ento

conexo se, e somente se

5
!

-" $
conexo.
conexo.

3. A unio arbitrria de subconjuntos conexos de que tem pelo menos um ponto em

comum, conexa. Isto . Seja
tal que
, ento:
conexo.

)
4. Seja
subconjunto conexo. Se
tal que
conexo. Em particular, o fecho de um conexo conexo.
Prova :

)

, ento

1. Note que
contnua e sobrejetivaa. Se
for desconexo,
existe
contnua e sobrejetiva; logo
contnua e sobrejetiva, o que uma contradio, pois conexo.
2. imediata.
3. Sejam

famlia de conexos, e:
!
0
& tal que
& '
# "
#"
contnua. Como cada conexo
Suponha que existe

& , para todo ; ento
no sobrejetiva. Por outro lado, como

, para todo & e ; caso contrrio sobrejetiva.

Logo no sobrejetiva.
contnua; como conexo, ento no sobrejetiva.
4. Seja
) e pela continuidade de :
Por outro lado, )
)

logo
no sobrejetiva.
110
e
Proposio 33.

so conexos se, e somente se
conexo.
conexos tais que )

+ * , +* aberto ou existe
4
Prova : Sejam
disjuntos. Ou

e
6 )
) so abertos
4 6
, onde e
tal que
Exemplo 73.
1.
* ,
, 1

*

com a topologia usual conexo. De fato; seja

definida por
que contnua e
. Em particular:
*
desconexo e *
, * * conexo.
2. O toro
. e so conexos.
3.
pois,
ainda conexo.
4. A faixa de Moebius, o plano projetivo real, o plano projetivo complexo e a

garrafa de Klein so conexos.
5. Sejam

O conjunto
conexo, pois imagem de

tambm conexo; pelo corolrio [16],

.

'
,
Figura 7.1:
por uma funo contnua,

conexo. Note que em ,
-1
7.2. APLICACES
* , , , ,
6. Seja a famlia
todo .
, logo
*
111
para
*
Figura 7.2: A famlia .
*
Como cada conexo, pelo corolrio [16]:
! * , ( , ,
,
conexo.
7.2 Aplicaces
A primeira aplicao que estudaremos a generalizao do teorema do Valor
Intermedirio do Clculo.

* ,
* ,
tal que contnua.

*
,

um intervalo. Se
Prova : Se contnua, ento
conexo, logo
* e , , ento ; portanto,

existe
para todo

tal que .
Proposio 34. Sejam
conexo, com a topologia usual e

Sejam
tais que

. Ento para todo

tal que
.
, existe
Corolrio 17.
admite, pelo menos menos um, ponto fixo. Isto ,

contnua

tal que .
* contnua. Existem
2. Teorema de Borsuk - Ulam para : Seja
1. Toda
existe
pontos antipodais que possuem a mesma imagem.
112
Prova :

7 ; ento
tal que . . Pelo teorema do valor inter*
2. Utilizando coordenadas polares, denotemos os elementos de pelo ngulo
, em radianos. Logo, os pontos e so antpodas; consideremos
; ento como e a,
funo
tal que * .
pelo teorema do valor intermedirio, existe *
1. Seja

medirio, existe

um conjunto ordenado, com a relao de ordem . Denotemos
* e * . Definamos a topologia em que tem como subbase
e '
Exerccios 21. Seja

se

por
, onde:
*

Note que se
, ento o intervalo
. A topologia gerada por esta
subbase chamada topologia da ordem e
dito espao odenado. Verifique que o
teorema do valor intermedirio, pode ser estendido a espaos ordenados.
. conexo.

Prova : Sem perda de generalidade, podemos supor que a origem (caso
. . Provaremos que
contrrio, por translao, movemos a origem). Seja
. e pelo corolrio
a origem e cada , esto contidos num conjunto conexo de

. ser conexo.
[16],
Denotemos por a semi-reta que liga a origem e por uma reta qualquer
que intersecte em nico ponto diferente de e .
, seja . Pelo corolrio [16] cada conexo e
Para todo

.
Proposio 35. Seja
e . ,
enumervel. Ento
Lz
Figura 7.3:
7.2. APLICACES
.

113
Pelo menos um
; caso contrrio se
, para todo
,o
ponto de interseo, necessariamente, deve ser diferente para diferentes
.
Logo, teramos uma correspondncia biunvoca entre e , o que impossvel,
pois enumervel.
. , no so homeomorfos.
. ; ento 4 . 6 4 6 . Como .
Prova : Suponha que
seria conexo. Portanto no podem ser homeomorfos.
conexo,
e
Corolrio 18.
Observao 23.
Provar que
se
# , surpreendentemente, muito complicado. Este
resultado segue do ) teorema chamado da invarincia da dimenso, cujo enun# . A prova deste teorema envolve delicados
ciado : se
, ento
conceitos topolgicos que ficam fora do contexto destas notas.
.
Exerccios 22. Verifique que:
*.
* . se
2.
1.
.
,. A componente conexa de a unio de todos os conjunDefinio 32. Seja

tos conexos que contm a .
Observaes 21.
a componente conexa de .

2. Pelo corolrio [16], o maior conexo que contm .
, para todo .
3. Se conexo, ento

Proposio 36. fechado em .

e que conexo. Como
Prova : Sabemos que , para todo
o maior conexo que contm , ento .

. . * , com a topologia usual, conexo.
Exemplo 74.
. . dado pela projeo esteDe fato; consideremos o homeomorfismo
. conexo, ento . conexo e:
reogrfica. Como
. . '
1. Denotamos por
114
7.3 Conexidade por caminhos
4 5 6

e

Sejam
pela topologia usual de .
um intervalo fechado, com a topologia induzida
Definio 33. Um caminho em
uma funo

, contnua.
Observaes 22.
e
1. Os pontos
mente.
so ditos ponto inicial e final do caminho, respectiva-
2. Um caminho no um conjunto em
a topologia usual, ento:

*
definidos por
* e , ,
* ,
. Por exemplo, considerando

e
,
com

so dois caminhos ligando e .
Definio 34.
dito conexo por caminhos ou conexo por arcos, se para todo
, existe caminho ligando a .

* ,
Exemplo 75.
1.
conexo por caminhos. Em geral, todo espao vetorial conexo por

caminhos.

2. O grupo
no conexo por caminhos. De fato, se consideramos du
as matrizes em
, tais que uma tenha determinante positivo e a outra
determinante negativo, qualquer caminho contnuo ligando estas matrizes,
necessariamente dever passar pela matriz nula.

tais que
Prova : Sejam
como sobrejetiva, existem *
e * * . Como* ;conexo

contnua ligando
por caminhos, existe
, que um caminho que liga a * .
a * ; logo definimos
, ento conexo por caminhos se, e somente se conexo por
Corolrio 19. Se
conexo por caminhos e

Proposio 37. Seja
Ento conexo por caminhos.
caminhos.
Observaes 23.
7.3. CONEXIDADE POR CAMINHOS
115
.
caminhos tais que , isto , o ponto final de
2. Sejam
coincide com o ponto inicial de . Nesta condies, podemos definir:

se
se

, # #
O caminho
contnuo e
. Logo, um caminho em ligando a .
e
uma famlia arbitrria de espaos conexos por cami

Proposio 38.
Seja
0
, ento:
nhos tal que
-"%$
!

-"%$
1. Pelo corolrio, podemos sempre considerar
conexo por caminhos.
* ,
*

*
,
0

,
*
,
* ,
e
. Se
Prova : Sejam
tais que
, existem

e
, ligando a e a , respectivamente.
e caminhos com
Basta considerar o caminho
, que liga a .
Proposio 39. Se
so conexos por caminhos, ento

* * & . Denotemos por

* e a * , respectivamente. Logo:

, ligando a * * .
um caminho em

Prova : Sejam
caminhos ligando a
Teorema 13. Se
conexo por caminhos, ento
*
conexo.

Prova : Sejam
e um caminho ligando a . Ento,
um conjunto
conexo que contm e ; logo e pertencem a mesma componente conexa, o
que implica que possui uma nica componente conexa; portanto conexo.
Observao 24.
A reciproca do teorema falsa. Veja o seguente exemplo:
116
Exemplo 76. Sabemos que se:
o conjunto

conexo, mas

no conexo por caminhos.

/

Provaremos que no existe caminho
tal que
e
.
Suponha que tal caminho existe. Sem perda de generalidade, podemos supor

que
. Seja
; pela continuidade de , existe
tal que

se
.

Figura 7.4:
,
*

#*
4 * 6

*

* *

#

*
*
*

-

. com a topologia usual, se . aberto, ento conexo
Proposio 40. Seja
e

Note que
conexo. Denotemos por

a primeira projeo de ; ento
e contnua e o conjunto

, pois
.
conexo com
); tambm

, existe
Por outro lado, um intervalo e contm ; logo para todo

tal que
. Em particular, se #
, para

grande, temos que se
;
# , ento

e

logo o ponto
, para algum
, ou seja, o ponto
#

#
est a uma distncia menor que 1/2 do ponto
. Istoe uma contradio, pois
esta a uma distncia de pelo menos 2 do ponto
.
#
por caminhos.
e denotemos por:

pode ser ligados a por um caminho em A
, como aberto, existe
Afirmamos que aberto. De fato, seja

. Por outro
tal que
uma vizinhana de e
Prova : Seja
7.3. CONEXIDADE POR CAMINHOS
117
lado, conexo por caminhos, (pois homeomorfo a ); logo, todo ponto de

pode ser ligado a por um caminho em . Por tanto, todo ponto de pode ser
ligado a por um caminho em . Isto ,
e aberto.
Afirmamos que fechado. De fato, seja
; logo o conjunto de todos
os pontos de que no podem ser ligados a por um caminho em . Por um
argumento anlogo ao anterior possvel verificar que aberto e por tanto
fechado. Logo, no vazio, aberto e fechado, como conexo, ento
.

)
Exerccios 23.
1. Verifique que todo espao com a topologia indiscreta conexo por caminhos.
2. Seja
um espao topologico e

Verifique que
a seguinte ralao de equivalncia:
se existe um caminho ligando a
conexo por caminhos
em
'
118
Bibliografia
. , Projeto Euclides, Impa - Brasil, (1977)
[EL1]
Lima E.: Anlise em
[EL2]
Lima E.: Espaos Mtricos, Projeto Euclides, Impa - Brasil, (1977)
[DD]
Dugundji J: Topology, Boston, Allyn & Bacon (1966)
[CK]
Kosniowski C: A First Course in Algebraic Topology, Cambridge Univ.

Press (1980)
119

Topologia Geral - Mauricio A. Vilches - UERJ

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Topologia Geral - Mauricio A. Vilches - UERJ

Enviado por

Direitos autorais:

Formatos disponíveis

Departamento de Anlise - IME

Copyright by Mauricio A. Vilches

Provavelmente a Topologia a mais novas das linhas da Matemtica clssica,

1.1 Topologias e Conjuntos Abertos

Seja um conjunto no vazio. Denotemos por

2. Dada uma famlia arbitrria

)+*  )&,  -' '-'  )/. 

so ditos conjuntos abertos de

chamado espao topolgico.

Exemplo 1. Todo conjunto

no vazio possui as seguintes topologias:

CAPTULO 1. ESPAOS TOPOLGICOS

1 .   , chamada topologia indiscreta.

1.1. TOPOLOGIAS E CONJUNTOS ABERTOS

 )&,  ; ento, dado   )+* )&, temos que   )+* 

    )+* )&, '

4. Esta topologia chamada euclidiana ou usual e ser denotada por  .

e definamos a seguinte topologia:

limitado inferiormente, seja #

CAPTULO 1. ESPAOS TOPOLGICOS

no limitado inferiormente, ento:

   

1. Quantas topologias podem ser definidas no conjunto

1.1. TOPOLOGIAS E CONJUNTOS ABERTOS

  finito, a interseo finita ou todo

a unio finita ou todo

, pois cada conjunto finito ou todo

4. Esta topologia chamada de cofinita e denotada

CAPTULO 1. ESPAOS TOPOLGICOS

1.2 Conjuntos Fechados

4 5 1  6 ; ento os fechados de so  , e  - .

(a) Primeiramente e so fechados em

1.2. CONJUNTOS FECHADOS

, arbitrrios tal que

A prova imediata. De fato:

4   6 ; ento todo conjunto finito fechado.

Exemplo 10. Seja

com a topologia cofinita. Os fechados de

2. A propriedade de ser aberto ou fechado independe uma da outra. Um

tem a topologia discreta, todo subconjunto de

CAPTULO 1. ESPAOS TOPOLGICOS

(*  7, , ento dizemos que a

* e 7, duas topologias sobre o conjunto no vazio . Considere:

As famlias definidas so topologias sobre

? No caso negativo, ache um contra-exemplo.

uma famlia de subconjuntos de

, ento toda unio de elementos de

so ditos abertos bsicos da topologia.

 )+* &) , , ento, existe ) 

CAPTULO 1. ESPAOS TOPOLGICOS

Prova : Se uma base de alguma topologia , ento aberto; logo se escreve

 ) ) * ) )* &5), &,

unio arbitrria de elementos de

Devemos provar que uma topologia sobre . Claramente

4. Logo, bases diferentes podem gerar a mesma topologia.

gera a topologia usual ou euclidiana de .

gera a topologia chamada do limite inferior em .

espaos topolgicos. Verifique que:

uma base para uma topologia de

. Esta topologia chamada pro

. Verifique que no existe nenhuma topologia em

uma base para .

)+* )&, -' '-' )/.

1 . , chamada topologia indiscreta.

)&, ; ento, dado )+* )&, temos que )+*

)+* )&, '

4. Esta topologia chamada euclidiana ou usual e ser denotada por .

finito, a interseo finita ou todo

4 5 1 6 ; ento os fechados de so , e - .

4 6 ; ento todo conjunto finito fechado.

(* 7, , ento dizemos que a

)+* &) , , ento, existe )

) ) * ) )* &5), &,

* , - ' '-' .

e . Por outro lado:

1 so os fechados na topologia de Zariski.

#* -, '-'-'

Seja um anel e denotemos por o conjunto de todos os ideais primos de

fechado se, e somente se , onde

, onde aberto em ; logo

. * -' '-' . . * . * . 1,

vizinhana de tal que:

4 6 4 & 6 que aberto.

& , logo existe

4 5 1 6 ; ento - - e .

(c) Note que

. Em particular, fechado se, e somente se