Universidad de Chile Facultad de Ciencias F sicas y Matem aticas Departamento de Ingenier a Matem atica MA2001-4 C alculo en Varias Variables

09 de Abril de 2013

Pauta Ejercicio #1
Profesor: Aris Daniilidis. Auxiliares: Juan Pablo Donoso, Gianfranco Liberona, Valentina Toro. P1. A lo largo de este ejercicio, considere la siguiente Denici on: Un espacio vectorial E se denomina normal si para todo par de conjuntos A, B E cerrados y disjuntos, esto es A B = , existen U, V E abiertos tales que A U, B V U V = .

En el presente problema, demostraremos que todo espacio vectorial normado E es un espacio normal. Para ello, siga el procedimiento detallado a continuaci on: (a) Demostremos en primera instancia que la funci on distancia a un conjunto cerrado dA : E R+ dada por dA (x) = nf x y ,
y A

es una funci on continua, de la siguiente forma: i) [1.5 ptos.] Recordando una caracterizaci on del nmo, que en nuestra situaci on se escribe ( > 0)(z A) muestre que para x, w E , se tiene la desigualdad ( > 0) dA (x) dA (w) x w + . (1) x z dA (x) + ,

ii) [0.5 ptos.] Deduzca de lo anterior que tambi en se cumple ( > 0) (dA (x) dA (w)) x w + . (2)

iii) [1.0 pto.] Concluya de (1) y (2) que dA es una funci on Lipschitz de constante L = 1, esto es |dA (x) dA (w)| x w , y demuestre a partir de esto que dA es una funci on continua. Soluci on: i) Comenzando desde dA (x), es posible acotar y concluir haciendo un nikita-nipone de la siguiente forma, considerando al z de la caracterizaci on indicada para el nmo: dA (x) = nf x y
y A

xz = x(w + w) z xw + wz x w + dA (w) + , de donde basta pasar a dA (w) restando para concluir que dA (x) dA (w) x w + , tal como se nos ped a. (Desigualdad Triangular) (Caract. de Inmo)

ii) Basta con intercambiar los roles de x y w en el desarrollo anterior, de esta manera se llega a la expresi on dA (w) dA (x) w x + ,
=(dA (x)dA (w))

y dado que w x = x w , obtenemos lo deseado. iii) Dadas las dos desigualdades anteriores, se puede concluir que ( > 0) |dA (x) dA (w)| x w + .

Dado que lo anterior se tiene para todo valor positivo de , se puede considerar el l mite de la expresi on 1 anterior cuando 0 (lo que se puede lograra por ejemplo, considerando n = n y tomar n en la desigualdad). De esta manera, hemos llegado a que |dA (x) dA (w)| x w , vale decir, que la funci on dA es Lipschitz de constante L = 1. Para concluir su continuidad, basta notar que al demostrar v a se puede elegir = para concluir, pues x w < = = |dA (x) dA (w)| x w < . (b) Sean A, B dos conjuntos cerrados y disjuntos, y considere la funci on : E x R ( x ) = dA (x) . dA (x) + dB (x)

i) [0.5 ptos.] Muestre que est a bien denida. ii) [0.5 ptos.] Justique que es una funci on continua. iii) [2.0 ptos.] Concluya el resultado, estudiando el comportamiento de la funci on en los conjuntos A y B . Hint: Recuerde y utilice adecuadamente que para cualquier funci on continua, es sabido que la preimagen de conjuntos abiertos es tambi en un conjunto abierto. Soluci on: i) La u nica forma de que la funci on se indena es que el denominador de la fracci on se anule. Esto no puede ocurrir dado que A y B son cerrados y disjuntos, y por ende no hay ning un x E tal que dA (x) = dB (x) = 0 (en tal caso, x Adh(A) = A y x Adh(B ) = B , lo que implicar a que x A B lo que como sabemos no es posible, dado que A B = por hip otesis). ii) Como A y B son cerrados, dA y dB son funciones continuas. Finalmente, por algebra de funciones continuas, deducimos que es tambi en una funci on continua. iii) No es dif cil notar que para todo x A, (x) = 0 y por otro lado, para todo x B , (x) = 1. Luego, tenemos que (A) = {0} , (B ) = {1}. Una vez notado esto, podemos ver que las im agenes de A y B est an separadas en R, y siguiendo esa idea buscaremos conservarlas separadas tomando preimagen de un conjunto adecuado. Dicho esto, notemos que podemos denir los conjuntos U = 1 , 1 2 , V = 1 1 , + 2 .

Estos conjuntos tienen la gracia de que {0} y lo mismo se tiene para V . Adem as U V = 1 , 1 2 1 1 , + 2 = 1 , 1 2 1 , + 2 = 1 ( ) = , , 1 2 = A = 1 ({0}) U,

de donde se concluye el resultado que busc abamos demostrar, pues encontramos expl citamente los conjuntos U y V (notar que son abiertos, pues son preimagen por una continua de un intervalo abierto).