Jornadas Natalia Gonxalves

UNIVERSIDADE FEDERAL DE SO CARLOS Centro de Cincias Exatas e Tecnologia - CCET Departamento de Matemtica
Topologia do ponto de vista da Teoria do conjuntos
Aluna: Natalia de Barros Gonalves Orientador: Prof. Dr. Pedro Luiz Queiroz Pergher
So Carlos - 2006 -
Sumrio
1 2 Um Breve Histrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos Abertos em um Espao Mtrico . . . . . . . . . . . . . . . .
2.1 2.2 2.3 Espaos Mtricos e Bolas Abertas . . . . . . . . . . . . . . . . . . . . . . . Conjuntos Abertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 3
3 6 9
Relao entre Conjuntos Abertos e Continuidade
Espaos Topolgicos
3.1 3.2 3.3 3.4 3.5 3.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
13 15 18 18 19 20
Topologia e Espao Topolgico . . . . . . . . . . . . . . . . . . . . . . . . . Base de um Espao Topolgico Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Topologia do Subespao Homeomorsmos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Interior, Fronteira e Vizinhana
Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1 4.2 4.3 4.4 Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Fecho de um conjunto Pontos de Acumulao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
22 24 27 28
Aplicaes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Alguns Espaos Topolgicos Importantes . . . . . . . . . . . . . . . . .

5.1 5.2 Espaos de Hausdor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Espaos Metrizveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
30 31
Conexidade e Compacidade . . . . . . . . . . . . . . . . . . . . . . . . .
6.1 6.2 Espaos Conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
33 36
Espaos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Referncias Bibliogrcas . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
ii
Resumo
Neste trabalho so apresentadas as noes bsicas da point-set topology. No primeiro captulo apresentada uma breve histria da topologia. Logo depois, conceitos como mtricas, bolas, conjuntos abertos e continuidade de aplicaes so abordados. Em seguida, so apresentados alguns conceitos bsicos de espaos topolgicos, bem como alguns exemplos de topologias, e novamente a continuidade de aplicaes, s que agora em espao toplgicos. Conjuntos fechados tambm so apresentados, assim como alguns conceitos relativos a eles. conexidade topolgicas. No nal, so apresentados os conceitos de compacidade e
iii
Introduo
Topologia o ramo da matemtica que se preocupa com as propriedades de objetos geomtricos que so preservadas quando aplicamos a elas transformaes bijetoras e contnuas, chamadas homeomorsmos. Na topologia, no existe diferena entre uma
xcara de caf e uma rosquinha, pois uma xcara pode ser transformada em uma rosquinha, ser ser feito nenhum corte, nem colagens; este o signicado de dizer que as propriedades de um objeto geomtrico so preservadas por homeomorsmos. Na topologia, temos as reas: point-set topology, topologia algbrica e topologia diferencial. Neste trabalho ser estudada a point set topology que o ramo da matemtica que estuda as propriedades dos espaos topolgicos e das estruturas que so ali denidas. A point-set topology estuda algumas noes bsicas da topologia, como conjuntos abertos e fechados, interior e fecho de um conjunto, compacidade, conexidade, entre outras. conhecida tambm como topologia geral, que como o nome j diz, nos fornece uma fundao para os outros ramos da topologia.
Captulo 1 Um Breve Histrico

No se sabe ao certo quando surgiu a topologia, alguns dizem que comeou com a analysis situs de Poincar, outros que data da teoria dos conjuntos de Cantor. Alguns ainda consideram Brouwer o fundador da topologia, especialmente devido aos seus teoremas de invariana topolgica, de 1911, e fuso que efetuou dos mtodos de Cantor com os da analysis situs. Em 1913 Weyl, em um curso que administrou, deu nfase natureza abstrata de uma superfcie, ou variedade de dimenso dois. O conceito de variedade
no deveria ser ligado a um espao de pontos (no sentido geomtrico usual), mas ter sentido amplo. Comeamos simplesmente com uma coleo de coisas chamadas pontos (que podem ser objetos quaisquer) e introduzimos um conceito de continuidade por meio de denies mais claras. A formulao clssica dessa idia foi dada um ano depois por Felix Hausdor (1868-1942). A primeira parte do Grundzge der Mengenlehre de Hausdor uma exposio sistemtica dos aspectos caractersticos da teoria dos conjuntos. Na segunda parte do livro achamos um desenvolvimento claro dos espaos topolgicos de Hausdor, a partir de uma coleo de axiomas. A topologia emergiu no sculo vinte como um tema que unica quase toda a matemtica, um tanto como a losoa procura coordenar todo o conhecimento. Por causa de seu primitivismo, a topologia est na base de uma parte muito grande da matemtica.
Captulo 2 Conjuntos Abertos em um Espao Mtrico

2.1 Espaos Mtricos e Bolas Abertas
Antes de iniciarmos o estudo de conjuntos abertos vamos denir mtrica e bolas abertas que so conceitos fundamentais para o desenvolvimento deste captulo.
Denio 2.1. Uma mtrica em um conjunto

satisfazendo as seguintes propriedades: (1)
uma funo
d : X X R
d(x, x) = 0, x X . x=y
ento
(2)Se
d(x, y ) > 0, x, y X .
(3)d(x, y ) (4)d(x, y ) Um mtrica em
= d(y, x), x, y X . d(x, z ) + d(z, y ), x, y, z X . (M, d),

sendo
espao mtrico um par
um conjunto e
uma
M.
Quando no houver risco de confuso, omitiremos a mtrica e iremos
apenas nos referir ao espao mtrico mtricas.
M .
Vamos agora estudar alguns exemplos de
Exemplo 2.2. Seja
X = R o conjunto dos nmeros reais e d : R R R tal que d(x, y ) = R.

De fato,
|x y |,
(2)Se
ento
uma mtrica em
x, y, z R,
(1)d(x, x)
= |x x| = |0| = 0
x=y
ento
d(x, y ) = |x y | > 0, a, b R
ento
pela propriedade do valor absoluto. pois
(3)d(x, y )
= |x y | = |y x| = d(y, x),
|x y | = |y x|.
ento
(4)J sabemos que se
|a + b| |a| + |b|,
|x y | = |x z + z y | |x z | + |z y |,x, y, z R.
Da obtemos
d(x, y ) d(x, z ) + d(z, y ).
2.
Conjuntos Abertos em um Espao Mtrico
Portanto
uma mtrica em
R,
ou seja,
(R, d)
um espao mtrico.
Esta mtrica
conhecida com
mtrica usual da reta, e nos fornece a distncia que conhecemos entre
dois pontos na reta.
Exemplo 2.3. Seja
d : M M R,
denida por:
d(x, x) = 0
d(x, y ) = 1 d
se
x = y.
Esta mtrica conhecida como
mtrica zero-um . Um espao mtrico obtido com esta

de fato
mtrica trivial, mas muito til para contra-exemplos. Vamos vericar que uma mtrica: (1) Pela prpria denio da mtrica zero-um temos,
d(x, x) = 0, x M .
(2) Se
x=y
ento
d(x, y ) = 1 > 0, x, y M .
(3) Para
x = y,
temos:
d(x, y ) = 1 = d(y, x), x, y M .

(4) Para provarmos a quarta propriedade de mtrica, precisaremos dividir em quatro casos:
d(x, z ) + d(z, y ) = 2 > 1 = d(x, y ) d(x, z ) + d(z, y ) = 1 + 0 = d(x, y ) d(x, z ) + d(z, y ) = 0 = 0 = d(x, y )
Portanto,
se
x = y = z,
se
d(x, z ) + d(z, y ) = 0 + 1 = 1 = d(x, y )

se se
x = z, z = y
e
x = y,
x = z, z = y x = y = z.
x = y,
d(x, y ) d(x, z ) + d(z, y ), x, y, z M .

Temos ento que d uma mtrica em M.
Exemplo 2.4. Seja

denimos:
d0 : Rn Rn R.
n i=1 (xi
dados
x = (x1 , ..., xn ), y = (y1 , ..., yn ) Rn ,
d0 (x, y ) = [
Provaremos que 1) Seja
yi )2
1 /2
d0
de fato uma mtrica em
Rn :
n 2 1/2 i=1 (0)
x Rn ,
n 2 1/ 2 =[ i=1 (xi xi ) 2 temos que (xi yi ) > 0. Ento, 2 1 /2 d0 (x, y ) = [ n > 0, i=1 (xi yi )
d0 (x, x) = [
= 0.
2) Se
x=y
x, y Rn .
ento:
3) Temos que para
c, d R
vale
(c d)2 = (d c)2 , yi )
2 1 /2
d0 (x, y ) = [
n i=1 (xi
Sejam
n i=1 (xi
=[
n i=1 (yi
xi )2
1/2
= d0 (y, x), x, y Rn .
4) Agora temos que provar que
yi )2
n i=1 (xi
zi )2 +
temos ento:
n i=1 (zi
yi )2 .
ai = xi zi
e bi = zi yi , i n 2 i=1 (ai + bi )
= 1, ..., n,
n 2 i=1 (ai )
n 2 i=1 (bi ) .
2.
Elevando ambos os membros da desigualdade ao quadrado, obtemos:
n 2 i=1 (bi )
n 2 i=1 (ai + bi ) n 2 i=1 (ai ) + 2 n 2 i=1 (bi ) n i=1 (ai bi )
n 2 i=1 (ai ) n i=1 (ai
+2
bi ) +
n 2 i=1 (ai ) n 2 i=1 (bi )
n 2 i=1 (bi ) + n 2 i=1 (ai ) + 2
n 2 i=1 (bi ) n 2 i=1 (ai )
n 2 i=1 (ai )
n 2 i=1 (bi ) .
Temos que a desigualdade acima uma consequncia da desigualdade de Cauchy:
n i=1 (ai
bi )]
n 2 i=1 (ai )
n 2 i=1 (bi ) .
Conclumos ento que a seguinte desigualdade vlida:
d0 (x, y ) d0 (x, z ) + d0 (z, y ).

Portanto,
d0
uma mtrica em
Rn .
Esta mtrica conhecida como Mtrica Euclidiana,
ela nos fornece a distncia usual da Geometria Euclidiana.
Denio 2.5. Seja
um espao mtrico munido da mtrica
d.
Um suconjunto
de
dito
limitado se existe
M R
tal que
d(a1 , a2 ) M ,
para todo par
a1 , a2 A. : X X R
Exemplo 2.6. Seja X um espao mtrico munido da mtrica d. Denimos db

pela equao
db (x, y ) = min {d(x, y ), 1}.

Ento que
db
uma mtrica em
X.
De fato, as duas primeiras condies para
db
seja uma mtrica so triviais, e por isso omitiremos suas demonstraes. Vamos
chegar a desigualdade triangular:
db (x, z ) db (x, y ) + db (y, z ).

Temos que ou igual a
d(x, y ) 1
ou
d(y, z ) 1,
ento o lado direito da inequao no mnimo
1,
mas o lado esquerdo desta mesma equao vale no mximo
1.
Ento, para este
caso a inequao vale. Precisamos agora considerar o caso em que
d(x, y ) < 1
d(y, z ) < 1,
temos
d(x, z ) d(x, y ) + d(y, z ) = db (x, y ) + db (y, z ).

Como
db (x, z ) d(x, z ), db
ento a desigualdade triangular vale para
db .
Portanto
uma mtrica em
X. f
dene
Agora veremos um exemplo que nos mostra que nem toda funo um mtrica em um conjunto.
Exemplo 2.7. Seja
f : RR R R.
denida por:
f (x, y ) = (x y )2 ,
mostremos que
no uma mtrica em
Esta funo verica as trs primeiras propriedades de mtrica, mas no valida a ultima propriedade. De fato,
2.
d(2, 5) = 9 d(2, 3) = 1 d(3, 5) = 4

Se aplicarmos a ltima propriedade de mtrica, obteremos que
9 5.
Ento, como mtrica em
no satisfaz todas as propriedades de mtrica, temos que
no uma
R.
Temos ainda uma maneira de obter um espao mtrico a partir de um outro
espao mtrico. Seja
(X, d) um espao mtrico, com uma mtrica d : X X R qualquer. (Y, d),

com
Se considerarmos o espao um espao mtrico, pois ao conjunto um
um subconjunto de
X,
temos que tal espao
d : Y Y R ser ainda uma mtrica, s que agora est restrita

mtrica induzida, e diremos que
Y.
Esta mtrica conhecida como
(Y, d)
subespao de
(X, d)
Agora que j estudamos mtrica e espaos mtricos, podemos denir bolas abertas em um espao mtrico M qualquer.
Denio 2.8. Denimos como bola aberta de centro
a e raio r > 0 o conjunto B (a, r) a

seja menor do que
formado pelos pontos do espao mtrico M cuja distncia ao ponto
r,
ou seja,
B (a, r) = {x M/d(x, a) < r}.

Exemplo 2.9. Seja
d : RR R
a mtrica usual em
R.
Ento a bola aberta de centro
aR
e raio
r>0
o intervalo
B (a, r) = {x R/d(x, a) = |x a| < r}.

Da mesma forma que temos bolas abertas, temos tambm bolas fechadas. Como um exemplo simples de uma bola fechada podemos citar um intervalo fechado da reta real, como por exemplo, o intervalo bola fechada em um espao mtrico
[0, 1].
Daremos agora a denio formal de uma
qualquer.
Denio 2.10. Denimos como bola fechada de centro
e raio
r > 0 a
o conjunto seja menor
B [a, r]
formado pelos pontos do espao mtrico
cuja distncia ao ponto
ou igual a
r,
ou seja,
B [a, r] = {x M/d(x, a) r}.
2.2
Conjuntos Abertos
A
um subconjunto de um espao mtrico
Denio 2.11. Seja
M.
Dizemos que
aberto quando todo ponto

A. Ou seja,
a A o centro de uma bola aberta inteiramente contida em

tal que se
a A, > 0
xM
d(x, a) <
ento
x A.
2.
Proposio 2.12. Toda bola aberta

aberto de
B (a, r)
em um espao mtrico
um subconjunto
M. x B (a, r),
Demonstrao. Pela denio 2.8 temos que
d(a, x) < r.
Sejam
= r d(a, x)
y B (x, ),
ento:
d(y, x) < = r d(a, x).

Pela denio 2.1 temos que:
d(y, a) d(y, x) + d(x, a) < r d(x, a) + d(x, a) = r.

Ento,
y B (a, r).
E com isso temos que
B (a, ) B (a, r)
Portanto, a bola
B (a, r)
um subconjunto aberto de
M. M
se, e somente se, existir
Denio 2.13. Seja

tal que um
A = { a} M ,
Quando
A ser aberto em
r>0 { a}
um
B (a, r) = {a}.
{a}
for um conjunto aberto em
diremos que
ponto isolado. Se
for formado apenas de pontos isolados, diremos que
conjunto discreto. Proposio 2.14. Seja
um espao mtrico nito, ento
discreto.
Demonstrao. Suponhamos que exista um espao mtrico

Logo
nito que no seja discreto.
a M
tal que, para todo Tome onde
r0 > 0, x0 M , com x0 = a tal que x0 B (a, r0 ), ento

Como
d(a, x0 ) < r0 . x1 B (a, r1 ),
r1 = d(a, x0 ).
no ponto isolado existe
x1 M
tal que
a = x0 = x1 .
Seguindo este raciocnio, encontraremos uma sequncia
de pontos distintos dois a dois, que gera um absurdo, pois Logo, todo espao mtrico nito discreto.
nito.
Denio 2.15. Seja
um subconjunto de um espao mtrico
M.
Um ponto
aX
ponto interior a
quando
centro de uma bola aberta contida em
X.
Ou seja,
quando
r > 0
tal que
d(x, a) < r x X .
Denimos o
interior de X como sendo o conjunto dos pontos interiores de X, ou seja
intX = {a X/B (a, r) X }.

Denio 2.16. A fronteira de
o conjunto dos pontos
bX
tais que toda bola
aberta de centro b contm pelo menos um ponto de X e um ponto de
M X.
Notao:
X .
2.
Exemplo 2.17. Seja
X = [0, 3)
um intervalo da reta real. O interior deste conjunto o
intervalo aberto (0,3). De fato, sejam
a (0, 3)
r = min {a, 3 a},
temos
(a r, a + r) X ,
logo
a intX .
Portanto
(0, 3) pertence ao interior de X .
Agora vamos testar os extremos
do intervalo
[0, 3). 3 / intX , 3

contm nmeros que pertencem a
pois todo intervalo aberto de centro no pertencem a
e outros que
X.
Analogamente temos que
0 / intX .
Ou seja,
intX = (0, 3).

Com isso, encontramos tambm a fronteira de X,
X = {0, 3}.
Denio 2.18. Um subconjunto
A de um espao mtrico M
diz-se aberto em
quando
todos os seus pontos so pontos interiores, ou seja,
A = intA.
Corolrio 2.19. Para todo
Demonstrao. Seja
X M , intX
aberto em M.
a intX .
tal que
Ento pela denio 2.15,
r > 0
B (a, r) X .
tal que
Pela proposio 2.12 temos que
x B (a, r), s > 0

Sendo que,
B (x, s) B (a, r).
B (x, s) intX .
Com isso temos que todo ponto
x B (a, r)
interior a
X,
ou seja
B (a, r) intX .
Logo
intX
aberto em M.
Proposio 2.20. Seja

Ento: 1.
a coleo dos subconjuntos abertos de um espao mtrico
M.
M U
U.
ento
2. Se 3. Se
A1 , ..., An U
A1 ... An U . A=
L
A U, L, M
ento
A U . M
so interiores
Demonstrao. 1)
aberto em
M,
pois todos os pontos de
M.
Agora, suponhamos que
no seja aberto em
M,
ento temos um ponto
que no
2.
interior a
mas
no contm elementos, o que torna isso uma contradio. Portanto
tambm aberto em 2) Suponhamos que
M.
logo
a A1 , ..., a An ,
a A1 ... An .
Como
A1 , ..., An U
so abertos, exitem
r1 > 0, ..., rn > 0
tais que
B (a, r1 ) A1 , ..., B (a, rn ) An .

Seja
r = min {r1 , ..., rn }.
Ento,
B (a, r) B (a, r1 ) ... B (a, rn ) B (a, r) A1 ... An .

3) Seja
a A.
Existe um ndice
tal que
a A .
Como este conjunto aberto, temos que existe uma bola aberta
B (a, r)
tal que,
B (a, r) A B (a, r) A
Portanto
A=
aberto.
Corolrio 2.21. Um subconjunto

bolas abertas.
AM
aberto se, e somente se, uma reunio de
Demonstrao. () Se A aberto ento,

talque
x A,
podemos obter uma bola aberta
Bx
x Bx A.
O que se escreve tambm como Tomando reunies, obtemos,
{x} Bx A. Bx A.
A=
Logo,
x A
{x} Bx . A=
x A
A=
x A
O que mostra que todo aberto reunio de bolas abertas. () Se
x A
uma reunio de bolas abertas, ento
aberto
em M pela proposio 2.12 e pelo item (3) da proposio 2.20.
2.3
Relao entre Conjuntos Abertos e Continuidade

Neste captulo iniciaremos com a denio de continuidade de uma apli-
cao
f : M N f,
da forma que conhecemos em anlise, e em seguida enunciaremos
uma proposio que utiliza apenas conjuntos abertos no estudo da continuidade de uma aplicao que nos mostra a importncia dos conjuntos abertos na matemtica.
2.
10
Denio 2.22. Sejam

contnua no ponto
M ,N
espaos mtricos.
Diz-se que a aplicao dado,
f : M N
aM
quando, para todo .
>0
> 0
tal que
d(x, a) < d(f (x), f (a)) <

Ou seja, dada uma bola
B (f (a), )
pode-se encontrar uma bola
B (a, )
tal que
f (B (a, )) B (f (a), ).
Dizemos que
f :M N
contnua se for contnua em todos os pontos de uma famlia de subconjuntos de Se
M.
Exemplo 2.23. Seja

L
(X )L L,
tais que
intX = M . a M,
f :M N f
tal que
f |X
temos que
contnua para cada Dado
ento
contnua. tal que, para
existe
a intX ,
tal que
B (a, ) X .
Agora, como
f |X
contnua, sabemos que
> 0, > 0 >0
tal que
f |X (B (a, )) B (f |X (a), ).
Sendo assim, tomando
= min { , }
contnua em
temos,
f (B (a, )) B (f (a), )
Portanto,
f :M N
M.
A m de que uma aplicao
Proposio 2.24. Sejam
espaos mtricos.
f :
M N
seja contnua necessrio, e suciente, que a imagem inversa
f 1 (A )
de todo
subconjunto aberto
A N
seja um subconjunto aberto de
M. A N
Como aberto ento
Demonstrao. () Suponhamos que
seja contnua, tomemos ento
f 1 (A )
para
aberto em M. De fato, seja
a f 1 (A )
f (a) A .
A a,
aberto, temos que
temos que existe
>0
tal que
B (f (a), ) A .
Sendo
contnua no ponto
> 0,
existe
>0
tal que
f (B (a, )) B (f (a), ) A f (B (a, )) A B (a, ) f 1 (A ) f 1 (A )

aberto. Seja aberto. () Suponhamos agora que
f 1 (A ) M f (a).
Logo,
seja aberto para todo De fato, dado
A N
a bola
a M, a.
mostraremos que
contnua em
a.
>0
A = B (f (a), ) M,
contendo
um aberto em Assim, existe
N,
contendo tal que
A = f 1 (A )
um aberto em
>0
B (a, ) A.
Ou seja,
f (B (a, )) B (f (a), ).
Corolrio 2.25. Sejam
Ai M i
conjuntos abertos em
Mi ,
ento o produto cartesiano
A1 ... An
M = M1 ... Mn .
2.
11
Demonstrao. As projees
pi : M1 ... Mn Mi
so contnuas para
i = 1, ..., n.
Logo, pela proposio anterior,
1 1 1 p 1 (A1 ), p2 (A2 ), ..., pn (An ) so subconjuntos abertos de
M1 ... Mn
e como
1 1 A1 ... An = p 1 (A1 ) ... pn (An ),

segue-se da proposio 2.20, que A imagem inversa contnua
A1 ... An f (A)
aberto em
M1 ... Mn . AM
por uma aplicao
de um conjunto aberto
f :M N
pode no ser um subconjunto aberto em N.
Exemplo 2.26. Seja

temos
f :RR
denida por:
f (x) = x2 .
Ento, para
A = ( 3, 3)
f (A) = [0, 3), que no um subconjunto aberto de R como vimos no exemplo 2.17. f :M N
chama-se aberta quando para cada aberto
Denio 2.27. Uma aplicao
A M,
sua imagem
f (A)
um subconjunto aberto de N.
Proposio 2.28. Um subconjunto

retngulos
AM N V N
aberto se, e somente se, reunio de
U V,
onde
U M
so abertos.
Demonstrao. () Se
AM N
aberto, tomemos em
M N
a mtrica
[(x, y ), (x , y )] = max {d(x, x ), d(y, y )},

segundo a qual cada bola aberta o produto de uma bola aberta em aberta em tais que
por uma bola e
N.
Ento, para cada ponto
z A
existem bolas abertas
Uz M
Vz N
z Uz Vz ,
ou seja,
{z } Uz Vz A.
Tomando reunies, temos:
A=
Portanto,
z A
{z }
x A
Uz Vz .
A=
ento
Uz Vz . A=
() Se
Uz Vz
onde, para cada
, U M
V N
so abertos,
uma reunio de abertos e portanto aberto.
Exemplo 2.29. As projees p1

Vamos mostrar que
: M N M U M
e
p2 : M N N
so aplicaes abertas. aberto, ento,
p1
de fato uma aplicao aberta. Se com
AM N
A=
Segue-se que
U V ,
V N .
p1 (A) =
aberto em
p1 (U V ) = p2
M.
tambm uma aplicao aberta.
Analogamente, mostra-se que
2.
12
A proposio 2.24 pode tambm ser escrita em termos de conjuntos fechados. Como estudaremos conjuntos fechados em um captulo parte, colocaremos a
proposio e sua demostrao naquele captulo.
Captulo 3 Espaos Topolgicos

3.1 Topologia e Espao Topolgico
de suconjuntos de
Denio 3.1. Uma topologia em um conjunto X uma coleo
X, chamados os subconjuntos abertos de X (ou os abertos de X) segundo a topologia satisfazendo as seguintes propriedades: 1.
pertencem a
.
pertence a pertence a
2. A reunio de uma famlia qualquer de subconjuntos de 3. A interseo de uma famlia nita de subconjuntos de Um topologia em
.
uma
espao topolgico um par
(X, ),
onde
um conjunto e
X.
Seja
Quando no houver necessidade de mencionar
diremos apenas o
espao topolgico X.
um espao topolgico com a topologia
Dizemos que
U X
um
conjunto aberto de X se
U
de todos os subconjuntos de
Exemplo 3.2. Seja

topologia em 1)
um conjunto, a coleo
uma
X.
De fato,
, X ,
pois so subconjuntos de com
X.
L
2) Dado a
{U }L
ento
um subconjunto de
X X
e portanto pertence
. U1 , ..., Un
temos que
3) Dados a
U1 ... Un
um subconjunto de
e portanto pertence
.
A topologia denida no exemplo acima chamada de
topologia discreta.
Exemplo 3.3. Seja
X = {a, b, c}.
Seja
a coleo de todos os subconjuntos de
X:
= {, X, {a} , {b} , {c} , {a, b} , {a, c} , {b, c}}.

Esta a topologia discreta em
X = {a, b, c}.
13
3.
Espaos Topolgicos
14
Exemplo 3.4. Seja

pelo 1)
um conjunto, a coleo
formada apenas pelo conjunto vazio e
uma topologia em
X.
De fato,
, X . {U }L
com
2) Dado
ento
ou ser vazio ou ento ser o prprio
X,
portanto pertence a 3) Dados
.
temos que a interseo nita destes conjuntos ser vazia, portanto
, X .
pertence a
A topologia descrita acima chamada
topologia catica.
Exemplo 3.5. Sejam

tais que ou 1)
X f ,
um conjunto e
a coleo de todos os subconjuntos
de
(X U )
nito ou o prprio pois
X.
Ento
uma topologia em
X.
De fato,
pertencem a
X X =
nito e
X =X
o prprio X.
2) Seja temos,
{U }L uma famlia de elementos de f . X U = f .

n i=1 (X L (X
Por um resultado da teoria dos conjuntos
U ).
nito. E portanto a reunio de uma famlia
que nito pois cada elemento qualquer de 3) Sejam
(X U )
pertence
U1 , ..., Un f X
n i=1
ento,
Ui =
Ui ),
que tambm nito, pois a reunio nita de conjuntos nitos nita. Ento a interseco nita de elementos de Portanto,
pertence
f .
uma topologia em X.
Exemplo 3.6. Sejam

tais que ou fato, 1)
um conjunto e
a coleo de todos os subconjuntos
de
X
De
(X U )
enumervel ou o prprio
X.
Ento
uma topologia em
X.
pertencem a
c ,
pois
X X =
L (X
enumervel e
X =X
o prprio X.
2) Seja
{U }L
uma famlia de elementos de
c ,
ento,
U = c
U ). (X U ) c .
enumervel. E portanto a reunio de
que enumervel pois cada elemento uma famlia qualquer de 3) Sejam pertence
U1 , ..., Un c X
n i=1
ento,
Ui =
n i=1 (X
Ui ), c
pertence
que tambm enumervel, pois a unio nita de conjuntos enumerveis enumervel. Ento a interseo nita de elementos de Portanto,
c .
uma topologia em X.
Exemplo 3.7. Todo espao mtrico um espao topolgico. De fato, dado um espao
mtrico
(M, d),
como os abertos de
so as reunies de bolas abertas de
M,
basta
3.
Espaos Topolgicos
15
tomarmos
como sendo a reunio de bolas abertas de
= {X M },
ento
ser
uma topologia em
M.
O espao topolgico
(M, )
ter os mesmos abertos de
(M, d).
Denio 3.8. Sejam
duas topologias em um conjunto
X.
Se
, dizemos que
mais na do que
Esta denio pode parecer um pouco complicada, por isso faremos uma analogia simples para ilustrar quando uma topologia mais na do que outra. Considere como um espao topolgico a caamba de um caminho cheia de pedregulhos, sendo cada pedregulho e todas as unies de famlias de pedregulhos os conjuntos abertos. Se ns quebrarmos os pedregulhos em pedregulhos menores, a coleo de conjuntos abertos ser maior, e a topologia ser dita mais na pela operao. No sempre que podemos comparar duas topologias, dizendo se uma mais na do que a outra.
3.2
Base de um Espao Topolgico

X
um conjunto e
Denio 3.9. Sejam

1. Para cada 2. Se
uma coleo de subconjuntos de
tais que:
xX
existe pelo menos um elemento com
tal que com
x B.
tal que
x B1 B2 ,
B1 , B2 ,
ento existe
B3
x B3
B3
B1 B2 .
Dizemos que coleo
gera a coleo
quando, para cada subconjunto de
de
pertencente e
existir um elemento
tal que, para
x U,
tivermos
xB
B U.
Proposio 3.10. A coleo

Demonstrao. 1) Seja
mesmo acontece se
gerada por
uma topologia em
X. ,
o
um subconjunto de
X.
Se
vazio ento ele est em
o prprio
X. {U }L
existe de elementos de
2) Agora, tomemos uma famlia indexada que
Vamos mostrar
U=
pertence
Dado
x U,
tal que
x U .
Como e
aberto, ento
existe um elemento
em
tal que
x B U U .
Como
x B
B U,
U .
3) Sejam induo. dado
U1 , ..., Un ,
mostremos que
U1 ... Un ,
ento
vamos mostrar este fato por
Primeiro sejam
U1
U2
em
U1 U2
e
tambm pertence
De fato,
x U1 U2 , B3 ,
com
escolhemos um elemento
B1
tal que
x B1
B1 U1 ,
escolhemos
tambm um elemento existe
B2
tal que
tal que
x B2
B2 U2 .
Pela denio 3.9 temos que
x B3 ,
B3 B1 B2 U1 U2 ,
ento
U1 U2 .
Para n=1,
U1 .
Suponhamos agora que
U1 ... Un1
seja vlida, e provemos que
U1 ... Un .
Temos que
3.
Espaos Topolgicos
16
U1 ... Un = (U1 ... Un1 ) Un .

Pela hiptese de induo temos
U = U1 ... Un1 .
Agora,
U Un ,
pelo que provamos no pargrafo acima. Ento para
U1 , ..., Un
temos que
U1 ... Un .
de conjuntos gerada por
Provamos ento que a coleo
de fato uma topologia em
X.
A coleo chamados
dita uma
base da topologia
, e os subconjuntos B
so
elementos bsicos.
Exemplo 3.11. Seja

unitrios de
um conjunto qualquer. A coleo
de todos os subconjuntos
uma base para a topologia discreta.
As duas condies para que
seja uma base so satisfeitas.

Ento
um conjunto e
uma base para uma topologia
em
X.
se iguala coleo de todas as unies de elementos de
. ,
Demonstrao. Dada uma coleo de elementos de

e como
eles tambm so elementos de
uma topologia, a unio destes elementos tambm est em
Agora, seja Ento
U , U=
escolhemos para cada
xU
um elemento
Bx
de
tal que
x Bx U .
x U
Bx .
Quando temos duas topologias dadas em funo de suas bases, precisamos
de um critrio para dizer qual delas a mais na. A seguinte proposio nos mostra tal critrio.
bases para as topologias
, respectivamente, em
X.
Ento as seguintes armaes so equivalentes. 1.
mais na do que
. B , com x B , existe um elemento
2. Para cada bsico
xX
e para cada elemento bsico
tal que
x B B. xX
e
Demonstrao.
(1) (2)
Foram dados
B , ,
com
x B.
Temos que
por denio e que
, pois
mais na que
ento
. Como
gerada por
existe um elemento
tal que
x B B. U
de
(2) (1) U
. Seja
Queremos mostrar que se dado um elemento gera
ento Por
x U,
como
existe um elemento
tal que
x B U.
hiptese temos que existe um elemento portanto
tal que
x B B.
Ento
x B U,
por denio.
3.
Espaos Topolgicos
17
s vezes, no conseguimos nos lembrar se na proposio acima temos
ou o contrrio,
B B.
Para facilitar, podemos novamente utilizar a anologia com Diremos agora que cada pedregulho um elemento
o caminho cheio de pedregulhos.
bsico da topologia. Quando transformamos cada pedregulho em poeira, as partculas de poeira so os elementos bsicos para a nova topologia, que mais na do que a anterior, e cada partcula estava contida em um pedregulho. A seguinte proposio nos diz como encontrar uma base a partir de uma topologia.

que para cada aberto Ento
X X
um espao topolgico e e cada
uma coleo de abertos de
X,
tal
de
xU
existe um elemento
de
tal que
x B U.
uma base para a topologia em
X.
Demonstrao. Mostremos que

(1) Seja
de fato uma base.
x X, B1 , B2
como
um elemento de
por hiptese, ento existe
tal que
x C .
(2) Sejam que elementos de
x B1 B2 .
Como
B1 , B2
so abertos em
temos
B1 B2
tambm aberto em
X.
Ento existe
B3
tal que
x B3 B1 B2 .
da
Exemplo 3.15. A coleo

reta real uma base para a
de todos os intervalos abertos
(a, b) = {x/a < x < b}
topologia usual em
R.
Vamos mostrar que
de fato uma
base para uma topologia em 1) Para todo 2) Seja com
R. x. (e, f ), (a, b), (c, d)

intervalos abertos da reta real, ento
xR
existe um intervalo aberto contendo com
x (a, b) (c, d),

tal que
x (e, f )
(e, f ) (a, b) (c, d). = {x/a x < b},
Exemplo 3.16. A coleo de todos os intervalos da reta real, do tipo [a, b)

com
a < b,
uma base uma topologia em
R.
De fato
1) Para todo 2) Seja tal que
xR
existe um intervalo semi-aberto contendo
x.
x [a, b)[c, d), com [a, b), [c, d) intervalos da reta real, ento [e, f ), com x [e, f ) [e, f ) [a, b) [c, d).
chamada
A topologia gerada por
topologia do limite inferior.
Proposio 3.17. A topologia do limite inferior

usual
em
mais na do que a topologia
. (a, b)
de
Demonstrao. Dados um elemento bsico
e um ponto
x (a, b),
o elemento
[x, b)
da base de
contm
e est contido em
(a, b),
ento, pela proposiao 3.13,
mais na do que
Agora, dado um elemento bsico fazendo a seguinte condio:
[x, d)
de
, no existe nenhum intervalo aberto satis-
3.
Espaos Topolgicos
18
x (a, b) [x, d),

portanto,
no mais na do que
3.3
Topologia Produto
M
e

coleo
espaos topolgicos, a topologia que tem como base a
de todos os conjuntos da forma
U V,
onde
um aberto em
um
aberto em
N,
uma topologia em
M N.
Esta topologia conhecida como
topologia
produto.
Demonstrao. Precisamos mostrar que
de fato uma base para uma topologia em
X Y.
1) Esta condio trivial, j que 2) Sejam
X Y
um elemento de
U1 V1
U2 V2
elementos de
ento,
(U1 V1 ) (U2 V2 ) = (U1 U2 ) (V1 V2 ).

Como
(U1 U2 )
um aberto em
(V1 V2 )
um aberto em
temos que
(U1 V1 )
(U2 V2 )
Portanto
um elemento de
. X Y. X
e
Teorema 3.19. Sejam

Y. Ento a coleo
uma base para a topologia
= {B B /B , B }
X Y. W
de
Demonstrao. Dados um aberto
X Y
e um ponto tal que
xy
de
W,
pela proposio Como
acima, temos que existe um elemento bsico e
U V
xy U V W.
Ento
so bases de
respectivamente, podemos escolher um elemento
tal que
x B U,
e um elemento
tal que
y B V. X Y.
x y B B W.
uma base para
3.4
Topologia do Subespao
X
um espao topolgico e

subconjunto de
uma topologia em
X.
Se
um
X,
a coleo
Y = {Y U/U }
uma topologia em Y. Demonstrao. 1)
2) Seja
pois
=Y
X Y ,
pois
Y = Y X.
{U }L .
Temos que
3.
Espaos Topolgicos
19
L (U
Como
Y)=( ,
U ) Y .
L (U
pertence
ento
Y)
tambm pertece
Y .
3) Sejam
U1 , U2 , ..., Un Y .
elementos de
mostremos que
(U1 Y ) (U2 Y ) ... (Un Y )
um elemento de
(U1 Y ) (U2 Y ) ... (Un Y ) = (U1 U2 ... Un ) Y .

Como
(U1 U2 ... Un ) Y
ento
(U1 Y ) (U2 Y ) ... (Un Y )
pertence
Y .
Portanto
uma topologia em A topologia
Y.
topologia do subespao, e dizemos que
chamada
com
esta topologia um
subespao de
X. X,
ento a coleo
Proposio 3.21. Se
Y = {B Y /B }
uma base para a topologia do subespao. Demonstrao. Dados
de
um aberto de Ento
y U Y, Y.
podemos escolher um elemento
tal que
y B U.
y BY U Y.
uma base para a topologia do subespao em
Quando estamos trabalhando com a topologia do subespao precisamos ser cautelosos quando usamos o termo conjunto aberto, pois ele pode ser um aberto em ou um aberto em de
Y.
Temos que um conjunto aberto em
X Y.
se ele pertencer topologia Nem sempre os abertos de
X,
e ser dito aberto em
se pertencer topologia de
sero abertos em
X,
o prximo lema nos diz em qual situao isto ocorre.
Lema 3.22. Seja
um subespao de
X,
se
for aberto em
aberto em
X,
ento
aberto em
X. U
aberto em
Demonstrao. Como
em
Y,
temos que
U = Y V, Y V
para algum
aberto
X.
Como
so conjuntos abertos de
X,
temos que
tambm aberto em
X.
3.5
Homeomorsmos
Nesta seo iremos apenas introduzir o conceito de Homeomorsmos, sem
nos aprofundarmos.
Denio 3.23. Sejam

Se
espaos topolgicos e
f :X Y
uma bijeo contnua.
f 1
e
forem contnuas ento so homeomorfos.
dita um
homeomorsmo. Neste caso, dizemos
que
3.
Espaos Topolgicos
20
Dois espaos topolgicos homeomorfos so indistinguveis do ponto de vista da topologia. Uma propriedade em um espao topolgico topolgica quando todo espao homeomorfo
chama-se um propriedade
tambm goza de tal propriedade. um homeomorsmo. De
Exemplo 3.24. A funo

fato, sabemos que
f :RR
dada por
f (x) = 3x + 1
uma funo bijetora e contnua, e que sua inversa
1 f 1 (y ) = 3 (y 1)
tambm contnua, esses so resultados simples vindos do clculo, e no os provaremos aqui.
Denio 3.25. Uma aplicao injetiva

sobre sua imagem
f : X Y
que um homeomorsmo de
f (X )
chama-se uma
imerso topolgica.
3.6
Interior, Fronteira e Vizinhana

No captulo 2 denimos interior e fronteira usando mtricas e bolas abertas,
neste captulo utilizaremos somente os conjuntos abertos de um espao topolgico para denir esses conceitos, e ainda deniremos vizinhana de um ponto. Com isso veremos que podemos nos desvincular de distncia e refazer a teoria do captulo 2 utilizando apenas os abertos de um espao topolgico. A continuidade de uma funo e
f : M N,
com
espaos topolgicos, ser abordada em outro captulo.
Denio 3.26. Seja

chama-se
um subconjunto de um espao topolgico
X. S,
Um ponto
xS
ponto interior de interior de
quando existe um aberto
de
tal que
x A S.
Denimos como por
o conjunto dos pontos interiores de
este ser denotado
intS . S
Proposio 3.27. Seja
X,
o interior de
a reunio de todos os subconjuntos abertos de Demonstrao. Precisamos mostrar que
que esto contidos em
S.
A = A = intS , com A X ,
e
conjuntos abertos em Seja
contidos em
S.
Vamos comear mostrando que Ento
A = A intS .
ento
A a reunio de A
em
todos os abertos
A .
aberto em Seja
A S,
x intS . X
tal Portanto
Vamos mostrar agora que que
intS A.
x intS ,
ento
ento existe um aberto
x A S.
Logo
A = A ,
e
para algum
A A.
x A.
Ento, como
A intS
IntS A,
temos que
intS = A. X.
Ento
Corolrio 3.28. Seja

se, e somente se, Demonstrao.
que
aberto
S = intS .
seja aberto. Ento, pela proposio acima, temos
() Suponhamos que S
com
intS
igual reunio de abertos de
contidos em
S,
como
aberto, ento
A = S = intS ,
conjuntos abertos em
contidos em
S.
3.
Espaos Topolgicos
21
() intS = A = S .
Portanto temos que
Agora, suponhamos
intS = S ,
pela proposio acima, temos que
aberto se, e somente se,
S = intS . x X
um ponto. Dizemos que o
Denio 3.29. Sejam

conjunto
um espao topolgico e
uma
vizinhana de
quando
x intV . X
se, e somente se,
Proposio 3.30. Um conjunto
aberto em um espao topolgico
uma vizinhana de cada um de seus pontos. Demonstrao.

ento
() Seja x A, como A aberto temos pelo corolrio 3.28 que A = intA,

pontanto
x intA,
que
uma vizinhana de
x.
()
todo
Como
vizinhana de cada um de seus pontos, temos que, para
xA
x intA.
Portanto
um conjunto aberto.
Denio 3.31. A fronteira de um subconjunto

por todos os pontos complementar
de um espao topolgico
formado
x X
tais que toda vizinhana de
contm pontos de
e do
(X S ).
Denotamos tal conjunto por
S .
um subespao de onde

de
um espao topolgico,
um ponto
Y.
As vizinhanas de
em
so as intersees
V Y,
uma vizinhana de
em
X. ()
Seja
Demonstrao.
que
uma vizinhana de Ento
em
Y,
ento existe
aberto em
tal
y A Y U. U =V Y.
Seja
V = A U.
uma vizinhana de
em
X.
Alm disso,
V Y = (A U ) Y = (A Y ) (U Y ) = (A Y ) U = U .
Logo,
() Se V y AV,
ento
uma vizinhana de
em
X,
ento existe
A aberto em X y
em
com
y AY V Y
e portanto
V Y
uma vizinhana de
Y.
Captulo 4 Conjuntos Fechados

4.1 Conjuntos Fechados
F
Denio 4.1. Um subconjunto

seu complementar,
dito
fechado quando
(X F ),
for aberto em
X.
De
Exemplo 4.2. O intervalo fechado

fato,
[a, b] da reta real um subconjunto fechado de R.
R [a, b] = (, a) (b, ).
Como
R [a, b] um subconjunto aberto em R, pois a reunio de subconjuntos abertos, R. B [a, r]

em um espao mtrico mostremos que
[a, b]
fechado em
Exemplo 4.3. Toda bola fechada

fechado de
um subconjunto
M.
De fato, seja
A = M B [a, r],
aberto em
M.
Seja
b A,
Para
ento
s = d(a, b) r s > 0. x B (b, s)

temos
d(b, x) < s.
Pela quarta propriedade de mtrica temos:
d(a, b) d(a, x) + d(a, b) d(a, x) d(a, b) d(x, b) d(a, x) > d(a, b) s = r

Assim, como
d(a, x) > r,
temos que
temos que
x / B [a, r]
que implica que
pertence
A.
Ento
B (b, s) A
um conjunto aberto. Portanto, pela denio 4.1,
B [a, r]
um conjunto fechado. Quando falamos em conjuntos abertos e fechados em um espao topolgico
podemos pensar que um conjunto precisa ou ser aberto ou ser fechado, mas na verdade,
um conjunto pode ser aberto, fechado, ambos ou nenhum dos dois. Os conjuntos prprio
e o
so abertos e fechados em
X.
Vamos ilustrar esta armao com o seguinte
exemplo.
22
4.
Conjuntos Fechados
23
Exemplo 4.4. Seja

so abertos em
um espao topolgico discreto, ento todos os subconjuntos de
X,
decorre da que todos os subconjuntos de
so tambm fechados em
X.
No exemplo 2.17 temos um subconjunto de em
R que no aberto nem fechado
R. X
um espao topolgico, ento as seguintes armaes so ver-
Teorema 4.5. Seja

dadeiras: 1.
so fechados em
X. {F }L ,
de subconjuntos fechados
2. A interseo de uma famlia qualquer, um subconjunto fechado em 3. A reunio nita Demonstrao. 1)

so abertos em
de
X. F1 , ..., F2 X
de
e
F1 ...Fn X
de subconjuntos fechados
X ,
fechado em
X.
so fechados, pois seus complementos
respectivamente,
X. {F }L
e utilizando a Lei de DeMorgan
2) Dada uma coleo de conjuntos fechados obtemos,
X
Como fechado. 3) Analogamente, se
F =
L (X
F ).
L (X
(X F )
aberto, temos
F )
aberto, e ento
Como
Fi ). X n i=1 (X Fi ) aberto, pois interseo de conjuntos abertos aberta, ento
Fi fechado, para n n i=1 (X i=1 Fi =
i = 1, ..., n,
temos a equao
n i=1
Fi
fechada. Podemos denir uma topologia em um conjunto subconjuntos de
por uma coleo
de
satisfazendo as condies do teorema acima. Ou seja,
eX
pertencem
uma interseo qualquer e uma reunio nita de partes de
pertenam
Assim,
tais subconjuntos seriam chamados os fechados de
X ,
e deniramos conjuntos abertos
como sendo os complementares dos conjuntos fechados. Em algumas situaes a topologia descrita aqui til, mas na maioria das vezes mais conveniente utilizarmos conjuntos abertos para denir uma topologia. Agora podemos reescrever a proposio 2.24 em termos de conjuntos fechados.
Proposio 4.6. Sejam
espaos mtricos.
A m de que uma aplicao
f :
M N
seja contnua necessrio, e suciente, que a imagem inversa
(F )
de todo
subconjunto fechado
F N
seja um subconjunto fechado em
M.
4.
Conjuntos Fechados
24
Demonstrao.
() Seja f : M N
contnua. Dado
F N
fechado,
(N F ) aberto. f 1 (F )
fechado
Pela proposio 2.24, em
f 1 (N F ) = M f 1 (F )
aberto e portanto
M. ()
Se a imagem inversa de cada cada fechado em
um fechado em
M,
dado um aberto
A N , f 1 (N A ) = M f 1 (A ) f
contnua.
fechado em
X,
onde
f1 (A )
aberto, e pela proposio 2.24,
Exemplo 4.7. Toda bola fechada

fechado de
B [a, r]
em um espao mtrico
um suconjunto
M.
De fato, seja
a funo real
f : M R,
denida por
f (x) = d(x, a), f
contnua. Temos que sua imagem inversa
B [a, r] f 1 ([0, r]).

fechada em
Como
[0, r] um subconjunto fechado da reta,
B [a, r]
M.
espaos topolgicos, dita fechada
Denio 4.8. Uma aplicao

quando a imagem em N. Quando temos
f : M N , com M, N
f (F ), de todo subconjunto fechado F M , for um subconjunto fechado
um subespao de
precisamos ser cautelosos quando
usamos o termo conjunto fechado. Temos que um conjunto subconjunto de aberto em
fechado em
se
um
fechado na topologia do subespao em
(ou seja,
(Y F )
Y ).
Para tratar deste assunto, temos o seguinte teorema:
Teorema 4.9. Seja

somente se,
um subespao de
X,
ento um conjunto
A X
fechado em com
se, e
for igual interseo de um conjunto fechado em
Y.
Demonstrao.
()
Seja
um subconjunto fechado em aberto em
Y,
ento, pela denio de
conjuntos fechados,
(Y A) U
Y.
Pela denio de subespao temos que
(Y A) = U Y , X
e
sendo
um aberto em
X.
Portanto, o conjunto
(X U )
fechado em
A = Y (X U ). () Seja A = C Y , onde C
fechado em
X.
Ento
(X C ) aberto em
Mas
X , temos, pela denio de subespao, que (X C ) Y Y A.

Como
aberto em
Y.
(X C ) Y =
(Y A)
aberto em
Y,
ento
fechado em
Y.
4.2
Fecho de um conjunto
S
Denio 4.10. Seja

um
X.
Um ponto
xX S,
e o
ponto aderente a
quando toda vizinhana de
em
contm pelo menos um
ponto de
S.
O conjunto dos pontos que so aderentes a
chama-se o
fecho de
denotaremos por
. S S
Proposio 4.11. Seja
X,
ento
interseo de todos os subconjuntos fechados de
que contm
S.
4.
Conjuntos Fechados
25
Demonstrao. Seja
{F }L
a famlia de todos os fechados de
que contm
S.
Ento
A = X F ,
temos
com
aderente, temos
L, so abertos de X contidos em X S . Pela denio de ponto se, e somente se, x que x S / int(X S ). Como int(X S ) = A A = (X A ) = (F ).
= X int(X S ) = X S
Portanto
= S
(F ). R
e o intervalo
Exemplo 4.12. Considere a reta real

Seja
A = (0, 1] R
ento
= [0, 1]. A
B=
1 /n n
, ento
= {0} B . B F

se,
fechado se, e somente
. F =F ()
Suponhamos
Demonstrao.
. F = F
Sabemos que o fecho de qualquer conjunto
um conjunto fechado, pois uma interseo de conjuntos fechados, logo fechado.
tambm
()
Se
fechado em
X,
ento
pertence famlia dos fechados de
que contm F, cuja interseo
F.
Portanto, pela proposio 4.11,
. F =F S
em
Corolrio 4.14. Seja
um espao topolgico. O fecho que um conjunto
menor subconjunto fechado de 1. 2.
que contm
S.
Ou seja,
fechado em
X.
. SS F
um subconjunto fechado de
3. se
que contm
S,
ento
F. S
Se
Demonstrao. Precisamos apenas demonstrar a terceira armao.
fechado e
S F , ento F
um dos
F , e portanto, F
contm a interseo dos
F. F , isto , S M , ento d(x, S ) =
Denio 4.15. Sejam
um espao mtrico e
um subconjunto de
inf {d(x, y ); y S },
com
x M. M
um espao mtrico e

se, e somente se,
um subconjunto de
M.
Ento,
xS
d(x, S ) = 0. M,
um ponto
Demonstrao. Em um espao mtrico

somente se, toda bola aberta de centro
pertence ao fecho de
se, e
contm algum ponto de
S.
Ou seja,
xS > 0, y S
tal que
d(x, y ) <
d(x, S ) = inf {d(x, y ), y S } = 0
4.
Conjuntos Fechados
26
de um espao mtrico fechado se, e somente se,
d(x, F ) = 0
implicar que
x F.
fechado e
Demonstrao.
seja,
() ()
Se
d(x, F ) = 0
ento, pela proposio 4.16,
, xF
ou
x F.
Dado
, xF
temos
d(x, F ) = 0
pela proposio 4.16. Ento
x F.
Logo,
F F
e portanto
fechado.
Quando lidamos com um espao topolgico
X S X.
e um subespao
de
X,
o
precisamos tomar cuidado com o fecho de conjuntos, pois se fecho de
um subconjunto de
em
geralmente diferente do fecho de de
em
Nesta situao, a notao
denota o fecho de S em relao X . O fecho S , como nos mostrar o prximo teorema. S

Teorema 4.18. Sejam
em
pode ser escrito em funo de
Y
em
um subespao do espao topolgico
um subconjunto de
Y.
Ento o fecho de
S B
igual
Y. S Y.
O conjunto
Demonstrao. Seja
teorema 4.9,
o fecho de
S Y
em
fechado em
X,
ento, pelo
Y S
fechado em
Y.
Como
Y S S,
contm teremos
todos os subconjuntos fechados de Agora, sabemos que algum conjunto Como
contendo
B igual Y. BS
e
interseo de
fechado em
Y,
pelo teorema 4.9, segue que
B = C Y, X S C.
para
fechado em
X.
Ento
um conjunto fechado em
contendo
S.
a interseo de todos os fechados deste tipo, conclumos que
Portanto
Y ) (C Y ) = B . (S Y e (S Y ) B, Como B S
temos que
Y B=S
Tudo o que vimos at agora sobre fecho de um conjunto no nos mostra uma maneira conveniente de encontr-lo, pois a coleo de todos os conjuntos fechados em
X,
assim como a coleo de todos os conjuntos abertos, muito grande para trabalharmos com ela. Uma outra forma de descrevermos o fecho de um conjunto, mais palpvel pois envolve apenas a base para uma topologia em
X,
dada pelo seguinte teorema:
Teorema 4.19. Seja

1. Ento
X. xU
intercepta
xS
se, e somente se, todo conjunto aberto
tal que
S.
2. Se a topologia em todo
for dada por uma base intercepta
ento
xS
se, e somente se, para
B ,
com
x B,
S. (P ) (Q)
podemos trocar cada uma
Demonstrao. 1) Como esta sentena da forma
das implicaes pelas suas contra-positivas, e com isso teremos a seguinte sentea
(no
P ) (no Q),
que logicamente equivalente primeira. Temos:
4.
Conjuntos Fechados
27
x /S () ()
se, e somente se, existe um conjunto aberto
U,
com
xU x
que no intercepta
S.
Desta forma o teorema ca mais fcil de ser provado. Se
, x /S
o conjunto
U =X S U, S.
um aberto contendo
que no intercepta
S.
Ento
Se existir um conjuto aberto
com
x U,
que no intercepta
S,
ento
(X U )
um conjunto fechado que contm
Mas pela denio de fecho,
(X U ). S
. x /S
2)
()
Se
, x S S,
pela denio de fecho, temos que todo conjunto aberto contendo
intercepta aberto.
ento todo elemento
tambm intercepta
S,
pois
um conjunto
()
com
Se todo elemento
B ,
com
x B, U
intercepta
S,
ento todo conjunto aberto
U,
x U,
tambm intercepta
S,
pois
contm um elemento
tal que
x B.
4.3
Pontos de Acumulao
S
Denio 4.20. Seja

chama-se
X.
Um ponto
xX
ponto de acumulao de
quando toda vizinhana
de
em
contm
algum ponto
s S, S
com
x = s.
O conjunto dos pontos de acumulao de
chama-se o
derivado de
e o denotaremos por
S. R
e o intervalo
Exemplo 4.21. Considere a reta real
A = (0, 1] R,
ento o ponto
1 ser um ponto de acumulao de A, assim como o ponto . Na verdade, todos os pontos 2

de A sero pontos de acumulao, e portanto, Seja
A = [0, 1],
que coincide com o fecho de
A.
B=
1 /n n
, ento o nico ponto de acumulao de
o ponto
0.
Considerando os exemplos 4.12 e 4.21 temos que existe uma relao entre o fecho e o derivado de um conjunto. Esta relao dada no teorema abaixo.
Teorema 4.22. Seja
X,
ento
=SS S
Demonstrao. Se
xS,
toda vizinhana de
intercepta
(em um ponto diferente de
x).
Pelo teorema 4.19,
. xS
Consequentemente
. S S
Por denio,
, S S
ento
. SS S
Vamos agora demonstrar o outro lado da incluso. Seja que em
, x um ponto de S x
intercepta
vamos mostrar
x SS. S.
Como
Se
est em
S,
ento
x SS.
Agora, suponhamos que de
no esteja
, xS
sabemos que toda vizinhana
S,
como
x / S,
precisa necessariamente interceptar
em um ponto diferente de
x.
Ento,
xA,
ento
xAA.
Corolrio 4.23. Um subconjunto de um espao topolgico fechado se, e somente se, ele
contm todos seus pontos aderentes.
4.
Conjuntos Fechados
28
Demonstrao. O conjunto
fechado
A A. S=A
4.4
Aplicaes Contnuas
X
e
Denio 4.24. Sejam
espaos topolgicos. Uma aplicao
f :XY
contnua
se para cada subconjunto aberto
de
Y,
o conjunto
f 1
X.
A continuidade de uma aplicao no depende apenas dela, mas tambm das topologias denidas em seu domnio e em seu contradomno.
Exemplo 4.25. Sejam
o conjunto dos nmeros reais com a topologia usual, e
Rl
conjunto dos nmeros reais com a topologia do limite inferior. Denimos
como sendo
f : R Rl f (x) = x
Ento
no uma aplicao contnua, pois
f 1 ([a, b)) = [a, b), [a, b)
aberto em
Rl ,
no
um aberto de
R.
Se a topologia no contradomnio da aplicao for dada em funo de uma base
ento para provarmos a continuidade de
precisamos apenas mostrar que a
imagem inversa de cada elemento
aberta. De fato, um conjunto aberto
de
pode ser escrito como a unio dos elementos bsicos,
V =
Ento,
B . f 1 (B ). f 1 (B )
o for.
f 1 (V ) =
Portanto,
f 1 (V )
aberto se cada conjunto
Teorema 4.26. Sejam
X, Y
espaos topolgicos e
f :XY
uma aplicao. Ento as
seguintes armaes so equivalentes: 1.
contnua.
2. Para cada subconjunto
de
X, B
temos
) f ( f (A A). f 1 (B )
fechado em
3. Para cada conjunto fechado Demonstrao.

que se
em
Y,
o conjunto
X.
(1) (2) Temos que f contnua. Seja A um suconjunto de X . Mostraremos ento f (x) f ( xA A). Seja V uma vizinhana de f (x), ento f 1 (V ) um X
contendo
conjunto aberto de intercepta
x, f 1 (V )
e portanto
intercepta
em algum ponto
y A,
ento
f (A)
no ponto
f (y ),
f (x) f ( A). Y
e
(2) (3) Sejam B

mostrar que temos que
A = f 1 (B ).
Precisamos
A fechado em X ,
Ento, se
ento mostraremos que
A. A
Por teoria dos conjuntos,
f (A) B .
um ponto de
, A
4.
Conjuntos Fechados
29
Logo,
) f ( = B. f (x) f (A A) B A. x f 1 (B ) = A, e portanto, A (3) (1)

Sejam
Y
1
B = Y V,
segue que
Y.
Como vale a sentena (3),
(B )
fechado em
X.
Por
teoria dos conjuntos, temos
f 1 (V ) = f 1 (Y B ) = f 1 (Y ) f 1 (B ) = X f 1 (B ).
Portanto,
f 1 (V )
aberto.
Captulo 5 Alguns Espaos Topolgicos Importantes

5.1 Espaos de Hausdor
X
um
Denio 5.1. Um espao topolgico

de pontos distintos respectivamente.
espao de Hausdor se para cada par
x 1 , x2
pertencentes
X,
existir vizinhanas disjuntas
U1 , U2 ,
de
x 1 , x2
Teorema 5.2. Todo subconjunto nito,

fechado. Demonstrao. Temos que
com
{x1 , ..., xn },
em um espao de Hausdor
{x1 , ..., xn }
a reunio nita de subconjuntos unitrios
{xi },
i = 1, ..., n,
ou seja,
{x1 , x2 , ..., xn } = {x1 } {x2 } ... {xn }.

Segue, pelo teorema 4.5, que se cada um dos conjuntos unitrios for fechado en
{xi }, X.
com
i = 1, ..., n, x
um ponto respectiva-
X,
ento
{x1 , ..., xn }
tambm ser um conjunto fechado em
X. V
Basta mostrarmos que todo conjunto unitrio pertencente mente. Como
{x 0 }
fechado em
Seja
X U
diferente de
x0 , ento x e x0 {x 0 },
tm vizinhanas disjuntas
no intercepta
o ponto
no pertence ao fecho do conjunto
{x 0 }.
Ento, o fecho de
{x0 } ele mesmo, portanto cada conjunto unitrio, {xi }, fechado. X

um espao de Hausdor e
Teorema 5.3. Sejam

ponto
um subconjunto de
X.
Ento o
um ponto de acumulao de
se, e somente se, toda vizinhana de
contm
innitos pontos de Demonstrao.

inhana
A.
Seja
() x
A,
suponhamos que uma vizSegue que
de
intercepta
em um nmero nito de pontos. Sejam
tambm
intercepta
A {x }
em um nmero nito de pontos.
{x1 , ..., xn }
os pontos de
30
5.
Alguns Espaos Topolgicos Importantes
31
U (A {x}). {x1 , ..., xn }
O conjunto
X {x1 , ..., xn }
aberto em
X,
pois, pelo teorema 5.2,
fechado, ento
U (X {x1 , ..., xn }
uma vizinhana de contraria que
que no intercepta completamente o conjunto
A {x}.
Isso
A. A. x,
ento
Portanto toda vizinhana de
contm innitos pontos de
() Se toda vizinhana de x intercepta A em innitos pontos, certamente

esta vizinhana intercepta de acumulao de
em algum outro ponto diferente de
um ponto
A. A
tem derivado vazio.
Corolrio 5.4. Em um espao de Hausdor, todo conjunto nito

Demonstrao. Pelo teorema anterior, para que
conjunto
seja um ponto de acumulao de um
de
precisamos que toda vizinhana de
contenha innitos pontos de
A.
Mas como
A nito, ento nenhuma vizinhana de x ter inntos pontos de A. A

ser vazio.
Portanto,
o derivado de
5.2
Espaos Metrizveis
Uma das formas mais importantes de se impor uma topologia em um con-
junto denir tal topologia em termos de uma mtrica deste conjunto.
Proposio 5.5. Seja
uma mtrica em um conjunto
X,
ento a coleo e
de todas as
bolas abertas de centro em topologia
e raio
r, B (x, r),
para
xX
r > 0,
uma base para uma
em
X.
Neste caso dizemos que
uma
topologia induzida pela mtrica

para todo
d.
Demonstrao. 1) Esta condio trivial, j que
x B (x, r),
r > 0. y
que est
Antes de provarmos a segunda condio, mostremos que se bsico
um ponto do elemento centrado em
B (x, r),
ento existe um outro elemento bsico Seja
B (y, s)
contido em
B (x, r).
e
s = r d(x, y ) > 0,
e portanto
ento
d(y, z ) < r d(x, y ),
que implica que
d(x, z ) d(x, y ) + d(y, z ) < r,

2) Sejam
B (y, s) B (x, r). y B1 B2 .

e Pelo que acamos de mostrar Seja
B1
B2
dois elementos bsicos e
podemos escolher temos que Portanto
s1 , s2 > 0 tais que B (y, s1 ) B1
B (y, s2 ) B2 . X.
s = min {s1 , s2 },
B (y, s) B1 B2 .
de fato uma base para uma topologia em
Exemplo 5.6. Dado um conjunto

topologia induzida por
d a mtrica zero-um
denida no exemplo 2.3. A
a topologia discreta. O elemento bsico
B (x, 1),
por exemplo,
consiste apenas no ponto
x.
5.
Alguns Espaos Topolgicos Importantes
32
dito
metrizvel se existe uma mtrica
em
que induz uma topologia em
X.
duas mtricas em um conjunto
Proposio 5.8. Sejam
d, d
as topologias
induzidas por elas, respectivamente. Ento cada
mais na do que
se, e somente se, para
xX
e cada
r > 0,
existir
s>0
tal que
Bd (x, s) Bd (x, r).

Demonstrao.
de
() Suponhamos
mais na do que
, dado um elemento bsico Bd (x, r) B,

de
ento pela proposio 3.13, existe um elemento bsico Em
, tal que
xB
Bd (x, r).
em
podemos encontrar uma bola aberta
Bd (x, s)
centrada em
x.
Ento,
() Dado um elemento bsico B

aplicando a proposio 3.13, temos que
de
, tal que x B , podemos encontrar . d.

Denimos
B uma bola Bd (x, s) centrada em x, ento existe s tal que Bd (x, s) Bd (x, s).
mais na do que
Teorema 5.9. Seja
um espao mtrico munido da mtrica
db : X X
pela equao
db (x, y ) = min {d(x, y ), 1}.

Ento a mtrica
db
induz uma topologia em
X. db (x, y ) = min {d(x, y ), 1} uma mtrica em X.

Temos
Demonstrao. Pelo exemplo 2.6 temos que
X.
Agora nos falta provar que
db
induzem a mesma topologia em
Bd (x, r) Bdb (x, s), Bdb (x, s) Bd (x, r),

onde
s = min {r, 1}. X.
Aplicando a proposio 5.8 temos que
db
induzem a mesma
topologia em
Captulo 6 Conexidade e Compacidade

6.1 Espaos Conexos
Ituitivamente, um espao conexo aquele formado por apenas um pedao, ou seja, no existe uma forma de dividi-lo. Mas, o que seriam os pedaos de um conjunto? Essa pergunta no to difcil de ser respondida, pois os abertos de um conjunto segundo uma topologia qualquer podem ser os pedaos do conjunto. Ento um espao conexo um conjunto que no pode ser escrito como unio de dois de seus abertos, mas temos que considerar estes abertos no vazios, pois se um deles for o vazio, o outro ser o conjunto todo, e no teramos divido o conjunto em duas partes. Vamos agora formalizar tudo o que foi dito no pargrafo anterior.
Denio 6.1. Seja
um espao topolgico.
Uma
ciso de
X U
um par ou
U, V
de
conjuntos abertos disjuntos de
cuja unio o prprio
X.
Se
for igual ao
conjunto vazio, tal ciso ser chamada de no existe nenhuma outra ciso de
ciso trivial. Um espao
dito
conexo se
alm da trivial.
Proposio 6.2. O
subconjuntos de Demonstrao.
Como
espao topolgico conexo se, e somente se,
so os nicos
simultaneamente abertos e fechados em

Seja
X.
e
()
X = AB
e
uma ciso, ento
so abertos e fechados.
conexo ento
A=
B = X.
aberto e fechado, ento
() Seja de
AX
X = A (X A) X
e
uma ciso
M.
Como os nicos subconjuntos abertos e fechados so
ento
X = A (X A) = X ,
e portanto
conexo. A partir da proposio acima, vemos que tambm denir a conexidade de
um espao topolgico da seguinte forma:
33
6.
Conexidade e Compacidade
34
conexo se, e somente se, os nicos subconjuntos
simultaneamente abertos e fechados em
so o conjunto vazio e o prprio
X.
Proposio 6.4. A imagem de um conjunto conexo por uma aplicao contnua um

conjunto conexo. Demonstrao. Vamos considerar inicialmente o caso particular em que
contnua, sobrejetiva e
f : X Y
Seja uma ciso. sobrejetiva,
conexo.
Queremos provar que
Y = f (X )
conexo.
Y = AB
Como
uma ciso. Ento, pela proposio 2.24,
X = f1 (A) f1 (B )
conexo, temos que ou
(A) ou f
(B ) o conjunto vazio, sendo f

contnua e
segue que ou
ou
vazio.
O caso geral uma consequncia, pois dados
f :XY
SX
conexo, ento
f : S f (S )
conexo.
sobrejetiva e contnua, e recaimos no caso particular provado acima.
Portanto a imagem de um conjunto conexo por uma aplicao contnua um conjunto
Corolrio 6.5. Se
conexo e
homeomorfo a
X,
ento
tambm conexo.
Demonstrao. Como
so homeomorfos, temos que exite um bijeo contnua
f :X Y.
Portanto, pela proposio acima temos que
conexo.
Proposio 6.6. Seja

topolgico conexa. Demonstrao. Seja
{S }L S
uma famlia arbitrria de conjuntos conexos num espao
X.
Se todos
contm o mesmo ponto
x X,
ento a reunio
S=
S = AB
uma ciso, ento o ponto Para todo
pertence a um dos conjuntos so abertos em
ou
B.
Digamos que seja
x A.
, A S
B S
S .
Logo
S = A S B S
uma ciso de
S .
Como
conexo e
x A S , concluimos que B S = para todo S

conexo.
L.
Segue que
B=
B S =
e portanto
Proposio 6.7. O produto cartesiano

cada fator
X = X1 ... Xn
conexo se, e somente se,
Xi
for conexo.
Demonstrao.
()
Como cada projeo
pi : X Xi
contnua e sobrejetiva, ento
pela proposio 6.4 se
for conexo,
Xi
ser conexo.
() Precisamos apenas provar que se tambm ser conexo. Fixemos um ponto
X1 , X2
so conexos ento
X1 X2
vezes.
O caso geral resulta da aplicao deste resultado Para cada
n1
a = (a1 , a2 ) X1 X2 a Cx
x = (x1 , x2 ) X1 X2 ,
e
o conjunto
Cx = (X1 a1 ) (x1 X2 )
conexo pois reunio de dois conexos com o ponto para todo
(x1 , a2 )
x X
em comum. Alm disso, temos Segue-se da proposio 6.6 que
x X = X1 X2
X =
Cx .
conexo.
6.
35
Lema 6.8. Seja

de
X =C D
uma ciso no trivial de
X,
se
um subconjunto conexo
X,
ento temos duas possibilidades, ou
Y C,
ou
Y D.
os conjuntos
Demonstrao. Como
C Y
D
e
so ambos abertos em
X,
C Y Y
DY
so
disjuntos e abertos em
(C Y ) e(D Y ) = Y .
Segue que, como ou
conexo, ou
C Y
ou
DY
o conjunto vazio. Portanto, ou
Y C, X.
Se
Y D.
ento
Proposio 6.9. Seja

conexo. Demonstrao. Sejam
trivial de
um subespao conexo de
, ABA
tambm
conexo e
A B (A),
ou
seja
B = CD
seja uma ciso no
B.
Pelo lema 6.8, ou
A C B
A D.
conexo.
Suponhamos que
A C.
Ento
C , A
como
so disjuntos,
no intercepta
D,
que contradiz o fato de que
um subconjunto no vazio de
B.
Portanto
Proposio 6.10. Um subconjunto da reta conexo se, e somente se, um intervalo.

Demonstrao.
()
Seja
X R c X.
conexo. Se
Suponha que
a, b X
e que
a < c < b.
Provaremos que, neste caso,
c /X
ento teramos a ciso
X = [X (, c)] [X (c, )]
a qual no trivial. Assim, nos garante que
a < b < c com a, b X
implica que
c X , e esta propriedade R.
Todo
um intervalo.
() Todo intervalo aberto conexo porque homeomorfo a intervalo fechado ou semifechado conexo pela proposio 6.9.
Corolrio 6.11. Se
contnua, ento
um espao topolgico conexo e
f :X R
uma funo real
f (X )
um intervalo.
Demonstrao. Pela proposio 6.4,

tanto, um intervalo.
f (X )
um subconjunto conexo da reta real, e por-
Vamos agora enunciar o Teorema do Valor Intermedirio, que uma aplicao do que vimos at agora neste captulo.
Teorema 6.12. Seja

tal que
f : [a.b] R
contnua. Se
f (a) < d < f (b)
ento existe
c (a, b)
f (c) = d. f ([a, b]) um intervalo que contm os pontos f (a) e f (b), logo, d.
Segue que existe
Demonstrao. A imagem
contm o ponto intermedirio
c [a, b]
tal que
f (c) = d.
Mas
f (a) < d < f (b)
exclui a possibilidade de
c=a
ou
c = b.
Portanto,
c (a, b).
6.
36
6.2
Espaos Compactos
A noo de compacidade no to natural quanto a de conexidade. Desde
os primrdios da topologia, era claro que o intervalo
[a, b]
da reta real gozava de um Por muito
certa propriedade que era crucial para a demonstrao de alguns teoremas.
tempo no sabia-se ao certo como essa propriedade poderia ser formulada para um espao topolgico arbitrrio. Pensava-se que tal propriedade era o fato de que todo subconjunto innito de
[a, b]
tem um ponto de acumulao, esta propriedade recebeu o nome de
compacidade.
Um pouco depois, os matemticos perceberam que esta formulao no
era suciente, e que uma outra formulao, em termos de coberturas do espao, seria melhor. Esta ltima formulao a que agora chamamos de compacidade.
Denio 6.13. Uma coleo
A A
de subconjuntos de um espao igual
uma
cobertura de
se a unio de elementos de
X.
Se os elementos de
forem abertos de
ento a cobertura dita aberta.
Denio 6.14. Um espao
dito
compacto se toda cobertura aberta
A de X
contm
uma subcoleo nita que tambm cobre
X. R
Exemplo 6.15. A reta real
no um conjunto compacto, pois a cobertura de
formada pelos intervalos abertos
A = {(n, n + 2)/n Z}
no contm uma subcoleo nita que cobre
R.
compacto:
Exemplo 6.16. O seguinte subespao de
X = {0}
conjunto
1 /n n
De fato, dado uma cobertura aberta
de
X,
existe um elemento
de
contendo
0.
contm todos os pontos
1 . Escolha, para cada ponto de n
que no pertena
U,
um elemento de
que o contenha. A coleo que consiste destes elementos de
A,
junto com
U,
uma coleo nita de
que cobre
X Y X
compacto se, e somente se, contm uma subcoleo nita
Proposio 6.17. Seja

toda cobertura de que cubra
um subespao de
X.
Ento
formada por conjuntos abertos de
Y. ()
Suponhamos que
Demonstrao.
de
seja compacto e
A = {A }L
uma cobertura
formada por abertos de
X.
Ento a coleo
{A Y / L}
uma cobertura de
formada por conjuntos abertos em
Y.
Ento a subcoleo nita
{A1 Y, ..., An Y }
cobre
Y.
Ento
{A1 , ..., An }
uma subcoleo de
que cobre
Y.
6.
37
() Seja em
{ A }
uma cobertura de
formada por conjuntos abertos
Y.
Para cada
escolhemos um conjunto
aberto em
tal que
A = A Y .
A coleo tos em
A = A
uma cobertura de
formada por conjuntos abercobre
X.
Por hiptese, qualquer subcoleo nita uma subcoleo de
{A1 , ..., An }
Y.
Ento
A1 , ..., An
que cobre
Y.
Teorema 6.18. Todo subconjunto fechado de um espao compacto compacto.

Demonstrao. Seja
cobertura
um subconjunto fechado de um espao compacto
X.
Dada uma
de
formada por conjuntos abertos de
X,
seja
uma cobertura aberta de
da forma:
B = A {X Y }.
Se esta subcoleo contm o conjunto uma subcoleo de
(X Y ),
ns os descartamos. A coleo resultante
que cobre
Y.
Proposio 6.19. A imagem de um conjunto compacto por uma aplicao contnua

um conjunto compacto. Demonstrao. Sejam
f : X Y
contnua, com
compacto e
uma cobertura de
f (X )
formada por conjuntos abertos em
Y.
A coleo
{f 1 (A)/A A}
a coleo de conjuntos cobrindo Consequentemente,
X , estes conjuntos so abertos em X
pois
contnua.
f 1 (A1 ), ..., f 1 (An )

uma cobertura de
X. X
Ento os conjuntos
A1 , ..., An
cobre
Y. f :XY
fechada, isto ,
Corolrio 6.20. Se
compacto, toda aplicao contnua fechado.

fechado,
F X
fechado
f (F )
Demonstrao. Seja
F X
f (F ) Y F
compacto
f (F )
compacto
f (F )
fechado em
Y. X
compacto, toda bijeo contnua
Corolrio 6.21. Se
smo.
f :X Y
um homeomor-
Demonstrao. Sendo
fechada, sua inversa
f 1 : Y X
tal que
F X
fechado
(F ) Y
fechado. Logo
contnua.
Concluso
Observei, atravs dos estudos desenvolvidos, o importante papel que a topologia desempenha na Matemtica, sendo, em um certo sentido, o elo formal entre a Geometria e a Anlise. Alm de fornecer uma sistematizao lgica para os princpios fsicos da Anlise, ela gera ferramentas que so teis para vrias reas da Matemtica. Adicionalmente, considero que os estudos desenvolvidos contribuiram muito para a minha formao, principalmente no que se refere formalizao de conceitos matemticos.
38
Referncias Bibliogrcas
[1] Munkres, J. R., Topology: A First Course, Prentice-Hall, Inc, Englewood Clis, N.J., 1975. [2] Lima, E. L., Elementos de Topologia Geral, Ao Livro Tcnico S.A., Rio de Janeiro, R.J., 1970. [3] Lima, E. L., Espaos Mtricos, IMPA, Rio de Janeiro, R.J., 2005. [4] Boyer, C. B., Histria da Matemtica, Editora Edgard Blcher Ltda, So Paulo, S.P., 1974.
39

Jornadas Natalia Gonxalves

Enviado por

Dados do documento

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

Jornadas Natalia Gonxalves

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE FEDERAL DE SO CARLOS Centro de Cincias Exatas e Tecnologia - CCET Departamento de Matemtica

Topologia do ponto de vista da Teoria do conjuntos

Relao entre Conjuntos Abertos e Continuidade

Topologia e Espao Topolgico . . . . . . . . . . . . . . . . . . . . . . . . . Base de um Espao Topolgico Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . .

Topologia do Subespao Homeomorsmos

Interior, Fronteira e Vizinhana

Alguns Espaos Topolgicos Importantes . . . . . . . . . . . . . . . . .

Captulo 1 Um Breve Histrico

Captulo 2 Conjuntos Abertos em um Espao Mtrico

Denio 2.1. Uma mtrica em um conjunto

(3)d(x, y ) (4)d(x, y ) Um mtrica em

= d(y, x), x, y X . d(x, z ) + d(z, y ), x, y, z X . (M, d),

espao mtrico um par

Quando no houver risco de confuso, omitiremos a mtrica e iremos

apenas nos referir ao espao mtrico mtricas.

Vamos agora estudar alguns exemplos de

Exemplo 2.2. Seja

X = R o conjunto dos nmeros reais e d : R R R tal que d(x, y ) = R.

pela propriedade do valor absoluto. pois

(4)J sabemos que se

d(x, y ) d(x, z ) + d(z, y ).

Conjuntos Abertos em um Espao Mtrico

mtrica usual da reta, e nos fornece a distncia que conhecemos entre

dois pontos na reta.

Exemplo 2.3. Seja

Esta mtrica conhecida como

mtrica zero-um . Um espao mtrico obtido com esta

d(x, y ) = 1 = d(y, x), x, y M .

d(x, z ) + d(z, y ) = 0 + 1 = 1 = d(x, y )

d(x, y ) d(x, z ) + d(z, y ), x, y, z M .

Exemplo 2.4. Seja

x = (x1 , ..., xn ), y = (y1 , ..., yn ) Rn ,

de fato uma mtrica em

3) Temos que para

4) Agora temos que provar que

Conjuntos Abertos em um Espao Mtrico

Elevando ambos os membros da desigualdade ao quadrado, obtemos:

n 2 i=1 (ai + bi ) n 2 i=1 (ai ) + 2 n 2 i=1 (bi ) n i=1 (ai bi )

n 2 i=1 (ai ) n i=1 (ai

n 2 i=1 (ai ) n 2 i=1 (bi )

n 2 i=1 (bi ) + n 2 i=1 (ai ) + 2

n 2 i=1 (bi ) n 2 i=1 (ai )

Temos que a desigualdade acima uma consequncia da desigualdade de Cauchy:

Conclumos ento que a seguinte desigualdade vlida:

d0 (x, y ) d0 (x, z ) + d0 (z, y ).

Esta mtrica conhecida como Mtrica Euclidiana,

ela nos fornece a distncia usual da Geometria Euclidiana.

Denio 2.5. Seja

um espao mtrico munido da mtrica

Exemplo 2.6. Seja X um espao mtrico munido da mtrica d. Denimos db

db (x, y ) = min {d(x, y ), 1}.

De fato, as duas primeiras condies para

chegar a desigualdade triangular:

db (x, z ) db (x, y ) + db (y, z ).

ento o lado direito da inequao no mnimo

mas o lado esquerdo desta mesma equao vale no mximo

Ento, para este

caso a inequao vale. Precisamos agora considerar o caso em que

d(x, z ) d(x, y ) + d(y, z ) = db (x, y ) + db (y, z ).

ento a desigualdade triangular vale para

Exemplo 2.7. Seja

Conjuntos Abertos em um Espao Mtrico

d(2, 5) = 9 d(2, 3) = 1 d(3, 5) = 4

no satisfaz todas as propriedades de mtrica, temos que

Topologia do ponto de vista da Teoria do conjuntos

Topologia do Subespao Homeomorsmos

Denio 2.1. Uma mtrica em um conjunto

apenas nos referir ao espao mtrico mtricas.

mtrica zero-um . Um espao mtrico obtido com esta

Denio 2.5. Seja

Exemplo 2.6. Seja X um espao mtrico munido da mtrica d. Denimos db

Denio 2.8. Denimos como bola aberta de centro

Daremos agora a denio formal de uma

Denio 2.10. Denimos como bola fechada de centro

Denio 2.11. Seja

Demonstrao. Pela denio 2.8 temos que

Denio 2.13. Seja

um espao mtrico nito, ento

nito que no seja discreto.

Denio 2.15. Seja

Ento pela denio 2.15,