02/11/2017 ma604p

Segunda Prova de ma604 ss2007 notas

ma604p2.pdf
(23 KB)

Ol Pessoal. Esta para discutir a resoluo da nossa segunda prova.

(1) (2,5 pontos) Prove que o cone

C = {(x,y,z) IR3 t.q. z2 = x2 + y2}

no uma variedade topolgica.

comentrio:

No cobramos o preciosismo de que se mostrasse que a nica dimenso que o cone poderia ter como
variedade topolgica seria dois. Porm a prova deste fato no difcil, pois a parte do cone contida no semi-
espao x > 0, 1 < z < 2, um aberto na topologia induzida por IR3 no cone e tambm o grfico Gf da
grfico da funo contnua x = f(y,z) = {z2 - y2} com domnio Df = {(y,z) t.q. 1 < z < 2 e -z < y < z} e
portanto Gf homeomorfa a Df , que um aberto do IR2. Assumindo que a nica dimenso possvel para a
variedade topolgica que seria o cone dois, seguimos com a prova.

soluo:

O cone C um espao mtrico com a mtrica induzida pelo IR3, para que fosse variedade topolgica
encontraramos, para todo ponto p C, uma vizinhana Vp de p em C e um homeomorfismo

hp : Vp Wp IR2

entre esta vizinhana e um aberto Wp do IR2. Afirmamos que tal homeomorfismo no existe para
p = o = (0,0,0).

Para provar nossa afirmao faremos a hiptese de que existe o tal homeormorfismo proibido

ho : Vo Wo IR2

entre uma vizinhana Vo de o = (0,0,0) em C e o aberto Wo de IR2 e mostraremos que tal hiptese leva a
uma contradio.

Para tanto seja q = ho(o) Wo. Sendo Wo aberto podemos escolher > 0 tal que q B(q,) Wo. Ento
definimos U = (ho)-1{B(q,)}. O cojunto U Vo um aberto e o U, restringimos ento o homeomorfismo
ho a este aberto para obter o homeomorfismo

g : U IR2 B(q,) IR2

entre a vizinhana U de o em C e a bola aberta B(q,). Restringimos novamente este homeomorfismo ao

homeomorfismo

http://www.ime.unicamp.br/~marcio/ss2007/ma604p2/ma604p2.html 1/6
02/11/2017 ma604p

g* : U* B*

entre U* = U - {o} e B* = B(q,) - {q} e notamos que a existncia do homeomorfismo g* nos leva a uma
contradio, pois:

i. B* conexo, mas
ii. U* no conexo.

A prova de (i) simples pois B*, uma bola aberta a menos de seu centro, obviamente conexa por
caminhos, basta andar por um arco de circunferncia, f1(t) = (cos(a + bt) , sen(a + bt)), e por um trecho de
radial, f2(t) = ((c + d t) cos , (c + d t) sen), para unir, por f1f2(t), dois pontos dados de B*. Quanto prova
de (ii), notamos primeiro que U aberto no cone e portanto podemos encontrar > 0 tal que o B(o,) U
e nesta bola temos uma infinidade de pontos com a coordenada z positiva, por exemplo, (/2 , 0 , /2) ...e
outra infinidade de pontos com a coordenada z negativa, por exemplo, (/2 , 0 , -/2). Ento notamos que

f : U* IR , f(x,y,z) = z

contnua por ser restrio de uma funo contnua no IR3 a U* e portanto sabemos que so abertos em
U* os conjuntos no vazios e disjuntos

A = {(x,y,z) U* t.q. z > 0} = f -1{(0,)} e

B = {(x,y,z) U* t.q. z < 0} = f -1{(-,0)}

...dado que o nico ponto do cone que tem coordenada z nula o vrtice o = (0,0,0), dado que este no
pertence a U*, conclumos que U* = A B uma ciso no trivial de U*.

critrios de correo:

Demos 0,4 pontos pela definio correta de variedade topolgica, mais 0,8 pela explicao a grosso modo
porm sem erros de que o cone no pode ser uma variedade topolgica, dado que o homeomorfismo de uma
vizinhana de sua origem em um aberto do IR2 levaria a contradio. Na prova da contradio descontamos
0,8 pela falta de explicao para o fato de que uma vizinhana de o em C tem duas componentes conexas e
0,5 ponto pela explicao de que isso causa de fato uma contradio.

(2) (2,5 pontos) Quantas componentes conexas tem o conjunto

X = {(x,y) IR2 t.q. (xy)2 = xy}

Explique bem.

soluo:

Comeamos por notar que X conjunto soluo da equao (xy)2 = xy no IR2 e que esta equao pode ser
reescrita como xy(1 - xy) = 0. Assim sendo, para que (x,y) X, ou x = 0, ou y = 0, ou xy = 1. X formado
pelos dois eixos coordenados mais a hiprbole, esta com suas duas partes, uma no primeiro e a outra no
terceiro quadrante. Cada eixo coordenado conexo por caminhos e portanto a unio dos dois, tendo a origem
como ponto comum, conexo. Cada uma das partes da hiprbole conexa por caminhos. Notem que a
verificao da conexidade destes subconjuntos como subconjuntos de IR2 implica que so conexos como
suconjuntos de X, a conexidade uma propriedade intrnseca. Vejamos o esboo.

http://www.ime.unicamp.br/~marcio/ss2007/ma604p2/ma604p2.html 2/6
02/11/2017 ma604p

Do esboo salta aos olhos a conjetura de que X tem trs componentes conexas, X = C+ C0 C -, com:

C + = {(x,y) IR2 t.q. x y = 1 e x > 0} ,

C 0 = {(x,y) IR2 t.q. x = 0 ou y = 0} ,

C - = {(x,y) IR2 t.q. x y = 1 e x < 0} .

Cada um dos trs conjuntos conexo por caminhos e portanto conexo, os trs so disjuntos. A relao de
equivalncia para a qual as classes de equivalncia definem as componentes conexas do espao mtrico X
assim definida:

dados x,y X, xRy, ou x e y esto conectados, quando existe um conexo C X, com x,y C

Notem que os pontos dentro de cada um dos trs conjuntos em que partimos X esto em uma mesma classe
de equivalncia, pois cada uma destas partes um conexo. Lembramos que a conexidade uma propriedade
intrnseca do conjunto e que conexidade por caminhos implica em conexidade. Devemos agora mostrar que
pontos x e y em duas partes distintas no esto em uma mesma classe de equivalncia, provando isto as trs
partes em que dividimos X so classes de equivalncias distintas e portanto X tem trs componentes conexas.

Esta parte final do exerccio poderia ser feita de vrias formas, apresentamos duas

prova (i) prova direta de que as trs partes so abertos em X e emprego deste fato para mostrar que so
componentes conexas.

(i)-1 : prova direta de que so abertos

Notamos que so abertos do IR2 os seguintes conjuntos:

+ = {(x,y) IR2 t.q. y > 0}

- = {(x,y) IR2 t.q. y < 0}

0 = {(x,y) IR2 t.q. x y < 1}

Pois as funes g1(x,y) = y e g2(x,y) = x y so contnuas, ademais + = (g1) -1{(0,)}, - = (g1) -1{(-,0)},
0 = (g2) -1{(-,1)}. Sendo estes trs conjuntos abertos em IR2, suas interseces com X so abertos em X
com a mtrica induzida, mas estas interseces so exatamente C+, C - e C0.

(i)-2 emprego deste fato para mostrar que as trs componentes so de fato conexas.

http://www.ime.unicamp.br/~marcio/ss2007/ma604p2/ma604p2.html 3/6
02/11/2017 ma604p

Consideremos uma ciso no trivial X = A B por dois abertos disjuntos e no vazios A e B. Da se x A e

y B, no pode ocorrer a relao xRy pois um conjunto C X que tivesse tanto x quanto y como elementos
no poderia ser conexo, dada a ciso no trivial C = (AC) (BC) do mesmo.

Com este resultado e dado que as trs partes conexas e disjuntas em que dividimos X so abertos em X,
mostramos que pontos de partes distintas no podem pertencer uma mesma classe de equivalncia e portanto
as tais partes que so as classes de equivalncia com respeito a R, para isto empregamos as trs cises no
triviais de X. Por exemplo A = C+ e B = C - C0, neste caso vemos que um ponto de C+ no pode estar na
mesma classe de equivalncia de algum ponto do seu complemento, C+ sendo conexo, por si mesmo uma
classe de equivalncia, i.e., o maior conexo contendo cada um de seus pontos, seguindo desta forma
conclumos que cada uma das partes em que dividimos X de fato uma componente conexa.

prova (ii) mostramos que as trs partes, que j sabemos serem conexos, so conexos maximais com o
emprego de uma funo contnua que leva cada parte em um ponto distinto de IR. Para tanto definimos

f : IR2 IR, f(x,y) = x |y|

tal obviamente contnua e alm disso f(X) = {-1 , 1 , 0}, ademais f{C+} = 1, f{C -} = -1, f{C0} = 0.

A partio de X em trs conexos disjuntos e no vazios uma partio de X em conexos maximais pois a
unio de dois ou trs deles vai num conjunto de dois ou trs pontos, que no conexo ...como aplicao
contnua de conexo conexo, estas unies no so conexos.

critrios de correo:

Pela declarao correta das componentes conexas conexas demos 0,5 e tambm 0,8 pela explicao pelo
menos de que cada uma era um conexo. A parte final, que mostrava que realmente as trs partes conexas e
disjuntas eram de fato componentes conexas, valia at 1,2. Por exemplo, a simples apresentao de uma
funo contnua que leva cada uma das componentes conexas em um ponto ou a simples prova de que as trs
partes eram abertos rendeu apenas 0,4 ...para os outros 0,8 era necessrio o estabelecimento do nexo causal
entre tais fatos e a conseqncia deles, que as trs partes declaradas eram realmente componentes conexas de
X.

(3) (2,5 pontos) Mostre que dado qualquer conjunto fechado F IRn, existe X IRn, tal que X = F.
Explique bem.

soluo:

Tomamos

X = {intF Qn} F

isto , X formado pelos pontos de fronteira e tambm por pontos interiores do fechado F que tenham
coordenadas racionais. Notamos que assim fazendo X F = F = intF F, portanto temos que X F = F.

Tambm notamos que X tem interior vazio. De fato, se x F, qualquer bola centrada em x tem pontos do
complemento de F e portanto pontos do complemento de X. Por outro lado, se x intFQn, qualquer bola
centrada em x tem pontos do interior de F que tenham pelo menos uma coordenada no racional, pois tanto
Qn quanto seu complemento so densos no IRn. Temos da que X = X.

Segue que X F e resta mostrar a incluso inversa. Para tanto consideramos x F = F = intF F e
queremos mostrar que x X. Temos duas possibilidades para x F = intF F :

A primeira que x intF e qualquer bola centrada em x tem pontos interiores de F com coordenadas
racionais, isto , tem pontos de X. Tal bola tambm contm pontos interiores de F para os quais alguma
http://www.ime.unicamp.br/~marcio/ss2007/ma604p2/ma604p2.html 4/6
02/11/2017 ma604p

coordenada no racional e assim tem pontos que no pertencem a X. Da x X.

A segunda que x F e da tambm queremos mostrar que x X. Isto , que qualquer bola aberta
B = B(x,) centrada em x tem de X e pontos do complemento de X.

Como x F a tal bola B tem pontos do complemento de F, portanto pontos do complemento de X. Resta
mostrar que B tem pontos de X. Dado que x F notamos que B tem pontos do prprio conjunto F, seja y
um tal ponto. Uma possibilidade que y F, da y X. Outra posssibilidade que y intF e neste caso,
mesmo que y no tenha todas coordenadas racionais, podemos tomar uma bola B' = B(y , ), centrada em y
com raio = - d(x,y). Esta bola conter um ponto interior z de F com coordenadas racionais, isto z X.
Tanto numa possibilidade quanto na outra, quando z B' B, a bola B contm pontos de X.

critrios de correo:

Demos meio ponto por uma definio correta de um conjunto X tal que X = F, um ponto pela prova de que
X F, mais um ponto pela prova de que F X.

(4) (2,5 pontos) Mostre que se X IRn convexo, ento intX tambm convexo.

soluo:

Para mostrar que intX convexo, devemos tomar dois pontos genricos a intX, b intX e mostrar que o
segmento retilneo que os liga est contido em intX, isto , para cada t [0,1] devemos mostrar que
f(t) = t a + (1 - t) b intX, isto , que existe > 0 tal que f(t) B(f(t),) X.

Dado que a e b so pontos interiores de X podemos encontrar 1 > 0 e 2 > 0 tais que B(a , 1) X e
B(b , 2) X. Seja = mn{1 , 2}. Afirmamos que para todo t [0,1], a bola aberta B(f(t) , ) X e
portanto intX convexo.

Para mostrar nossa afirmao teremos que empregar a hiptese, isto , que o prprio X convexo. Antes
notemos que B(a , ) X e B(b , ) X podem ser descritas da seguinte forma:

B(a , ) = {x X t.q. x = a + s n, onde n IRn, ||n|| = 1 e s [0,)}

B(b , ) = {y X t.q. y = b + s n, onde n IRn, ||n|| = 1 e s [0,)}

Como X convexo, se y = b + s n X e x = a + s n X, sabemos que para todo t [0,1] teremos que

t x + (1-t) y X. Isto ,

t {a + s n} + (1-t) {b + s n} = t a + (1-t) b + s n = f(t) + s n X .

Portanto, dado que as duas bolas acima, com raio , centradas em a e b, esto contidas em X, conclumos que
a bola

B(f(t) , ) = {z X t.q. z = f(t) + s n, onde n IRn, ||n|| = 1 e s [0,)}

tambm est contida em x ento f(t) intX como queramos mostrar.

http://www.ime.unicamp.br/~marcio/ss2007/ma604p2/ma604p2.html 5/6
02/11/2017 ma604p

critrios de correo:

Quem colocou bem o problema obteve meio ponto. Quem esboou uma prova que poderia ser realizada
ganhou mais 0,8 e se alm disso efetivou a prova, esta prova valia mais 1,2 pontos.

http://www.ime.unicamp.br/~marcio/ss2007/ma604p2/ma604p2.html 6/6