Está en la página 1de 3

Cap tulo 5.

Espacios topol ogicos por dentro


Lecci on 3. Interior - exterior - frontera
5.27 Denici on Sean (X, G ) un espacio topol ogico y A X . Se dice que x X est a en el interior de A si y s olo si existe U X abierto tal que x U A. Al conjunto de puntos interiores de A lo notamos A A = {x : x es interior a A}.

5.28 Proposici on Sean (X, G ) un espacio topol ogico y A X . La familia A = {Ui X : Ui A y Ui es abierto} satisface A = A. Esto es, A es el mayor abierto contenido en A. Demostraci on. Si x A existe un abierto Ux con x Ux A con lo cual x A. Ux A y as Si x A existe i para el cual x Ui A y por tanto x A . 5.29 Corolario Sean (X, G ) un espacio topol ogico y A X . A X es abierto si y s olo si A = A. Demostraci on. Es equivalente a decir que A es abierto si y s olo si A es vecindad de cada uno de sus puntos.

Las propiedades del interior son descritas en la siguiente proposici on la cual resume lo que se denomina un operador de interior.

5.30 Proposici on 1. A A.

Si (X, G ) es un espacio topol ogico y A, B X entonces

2. (A B ) = A B . 3. (A ) = A. 4. X = X . 5. (A B ) (A B ) . Demostraci on. Es dejada como ejercicio. Cualquier operador I : 2X 2X que satisface las propiedades de la anterior proposici on genera una topolog a G sobre X denida por G = {A X : I (A) = A}, y para esta topolog a I (A) = A . Dual al concepto de punto interior est a el concepto de punto exterior. 5.31 Denici on Sean (X, G ) un espacio topol ogico, A X y x X . Se dice que x es exterior a A si y s olo si existe una vecindad Vx tal que Vx Ac . N otese que Ext(A) es el interior de Ac . El conjunto de los puntos exteriores a A se llama el exterior de A y se denota Ext(A) Ext(A) = {x | x es exterior a A}. Un punto que no pertenece al interior ni al exterior de un conjunto se llama un punto frontera. 5.32 Denici on Dados A (X, G ) y x X se arma que x es un punto frontera de A si y s olo si para toda Vx se tiene Vx A = = Vx Ac . El conjunto de los puntos frontera de A se representa F r(A) F r(A) = {x | x es un punto frontera para A}.

Un subconjunto A de un espacio genera una partici on sobre el espacio de la siguiente manera.

5.33 Proposici on uni on disyunta

Sean (X, G ) un espacio topol ogico y A X . X es la X = A F r(A) Ext(A).

Demostraci on. Las deniciones son excluyentes. 5.34 Ejemplo Para Q como subconjunto de (R, usual) se tiene Q =, Ext(Q) =, F r(Q) = R. C omo es la partici on para (R, cof initos)?

Curso de Topololog a General. http://www.virtual.unal.edu.co