Vous êtes sur la page 1sur 9

0.3.

Conjuntos abiertos y cerrados

1.3 TOPOLOGA BSICA EN n


El espacio euclideano n dimensional se define como:
En ( n, , || ||, d )

Donde (asumiendo que X, Y n, con X = (x1, ... , xn), Y = (y1, ... , yn)):

 El smbolo representa el producto euclideano o producto punto en n, definido


como:
n
X Y = (x1, ... , xn) (y1, ... , yn) = x y
i=1
i i

 || || representa la norma euclideana en n, dada por:


n
X = XX = x
i =1
2
i

 d representa la mtrica (distancia) euclideana en n, dada por:


n
d T(X,Y) = || X Y || = (x
i=1
i y i )2

Nota: En el estudio de las funciones vectoriales se debera referir en adelante al


espacio En, pero es usual continuar refirindose a n y as se har en este texto.

Se definen los siguientes conjuntos importantes en el estudio del clculo vectorial:

16
Captulo 0: Funciones Vectoriales

Vecindad o entorno

Conjunto simbolizado por V(X0, r), donde X0 n es el centro y r + es el radio.


Se define como:
V(X0, r) = { X n / d(X, X0) < r } = { X n / || X X0 || < r }

Puede suceder que la vecindad no incluya el centro X0, en cuyo caso se denomina
vecindad reducida o agujereada y se simboliza y define como:
V*(X0, r) = { X n / 0 < d(X, X0) < r } = { X n / 0 < X - X0 < r }

En n ; 0 < X - X0 < r es equivalente a 0 < X - X0 X - X0 < r


Lo cual significa:
0 < X - X0 X X0

En , representa un intervalo con centro en X0 y radio r



X - X 0 < r En 2
, representa un disco (circulo sin el borde) con centro en X0 y radio r
3
En , representa una bola (solido esferico sin el borde) con centro en X0 y radio r

Dado un conjunto S en n, en general no vaco y subconjunto propio de n


( S n), S determina los siguientes conjuntos:

Complemento de S:
S = C n S = { X n / X S }

Interior de S:
Int(S) = { X0 S / V(X0, r) S }
Los puntos que pertenecen a Int(S) se llaman puntos interiores de S.

Exterior de S:
Ext(S) = { X0 S / V(X0, r) S }
Los puntos que pertenecen a Ext(S) se llaman puntos exteriores de S.

17
0.3. Conjuntos abiertos y cerrados

Frontera de S:

Front(S) = { X0 n / V(X0, r) se cumple que


,
V(X 0 r ) S
}
,
V(X 0 r ) S
Los puntos que pertenecen a Front(S) se llaman puntos frontera de S.

Tambin se denota la frontera de S como S, en especial en teora de integracin.


{ Int(S), Ext(S), Front(S) } forman una particin de n (con S S n), pues
cumplen las siguientes propiedades:
i) Cada conjunto es no vaco.
ii) Son disjuntos dos a dos:
Int(S) Ext(S) = Int(S) Front(S) = Ext(S) Front(S) =
iii) Su unin es el conjunto referencial:
Int(S) Ext(S) Front(S) = n

Lmite o Acumulacin de S:
Acum(S) = { X0 n / V*(X0, r) se cumple V*(X0, r) S }
Los puntos que pertenecen a Acum(S) se llaman puntos de acumulacin de S.

Un subconjunto S de n se denomina:

Abierto: Si todos sus puntos son interiores.

Cerrado: Si contiene todos sus puntos de frontera, es decir, Front(S) S


( S S). Tambin se dice que S es cerrado si y solo si S es abierto.

Es claro entonces que:


 Int(S) es un conjunto abierto, de hecho es el mximo abierto contenido en S.
 Front(S) es un conjunto cerrado.
 Todo conjunto con un nmero finito de elementos es cerrado.

18
Captulo 0: Funciones Vectoriales

Se acepta (se postula) matemticamente que los conjuntos (vaco) y n


(referencial) son simultneamente abiertos y cerrados. Adems si S es abierto, se
cumple la propiedad involutiva del complemento:
S = (S)

Abierto y cerrado son complementarios en n, es decir, el complemento de un


conjunto abierto en n es un conjunto cerrado en n y viceversa.
Tenga un conjunto puede ser no abierto y no cerrado.

Ejemplo 1.11

En este ejemplo se muestra cmo el dominio de una funcin vectorial define


distintos conjuntos en n.

Encontrar el dominio de cada una de las siguientes funciones y los conjuntos


asociados a ellos (complemento, interior, exterior, frontera, acumulacin). Analizar
cules de ellos son abiertos, cerrados o ninguna de los dos.

a) F: 3 2

(x,y,z) F(x,y,z) = ( 1 x 2 y 2 z 2 , x2y2z2 1 )

b) P: 2 2

x x
(x,y) P(x,y) = ,
| y 1| y 4
2

Solucin
a) El dominio de F est dado por:
Dom(F) = { (x,y,z) 3 / x2 + y2 + z2 1 }

As se tiene:
(DomF) = { (x,y,z) 3 / x2 + y2 + z2 > 1 }
Int(DomF) = { (x,y,z) 3 / x2 + y2 + z2 < 1 }

19
0.3. Conjuntos abiertos y cerrados

Ext(DomF) = { (x,y,z) 3 / x2 + y2 + z2 > 1 }


Front(DomF) = { (x,y,z) 3 / x2 + y2 + z2 = 1 }
Acum(DomF) = { (x,y,z) 3 / x2 + y2 + z2 1 }

En este caso Dom(F) es un conjunto cerrado (contiene a su frontera).

b) El dominio de P est dado por:


Dom(P) = { (x,y) 2 / x 0 y 1 y 2 y 2 }
As se tiene:
(DomP) = { (x,y) 2 / x < 0 y = 1 y = 2 y = 2 }
Int(DomP) = { (x,y) 2 / x > 0 y 1 y 2 y 2 }
Ext(DomP) = { (x,y) 2 / x < 0 }
Front(DomP) = { (x,y) 2 / x = 0 (y = 1 y = 2 y = 2) x 0 }
Acum(DomP) = { (x,y) 2 / x 0 }

En este caso Dom(P) no es un conjunto ni abierto (pues contiene la frontera


x = 0), ni cerrado (pues no contiene las fronteras y = 1, y = 2, y = 2 para x 0).


Respecto a las operaciones binarias internas de unin e interseccin en la familia de


subconjuntos de n se cumplen las siguientes teoremas:

Teorema 1.1
Si Ai son conjuntos abiertos en n i = 1,..., n ; n , entonces
n
a) Ai
i=1

n
b) Ai son conjuntos abiertos en n .
i=1

Demostracin:
La demostracin de la parte a) se har por induccin.

20
Captulo 0: Funciones Vectoriales

i) Para n = 2 , sean A1 y A2 subconjuntos abiertos de n , entonces A1 A2

es un conjunto abierto en n . En efecto, sea b ( A1 A2 ) b A1 b A2

por lo tanto V (b, r1 ) A1 V (b, r2 ) A2 , puesto que A1 y A2 son abiertos.

Si se toma r min { r1, r2 } V(b, r) A1 V(b, r) A2, es decir

V(b, r) (A1 A2) A1 A2 es abierto en n .

ii) Para n = k se supone que la propiedad es vlida, es decir, si Ai son


k
conjuntos abiertos en n i = 1, ... , k entonces Ai es abierto.
i=1

iii) Para t = k + 1 se hace la demostracin:


k +1 k
Ai = A
i A k +1 (por asociatividad de la interseccin).
i =1 i=1

k +1 k
Sea b A
i b A
i b Ak+1.
i =1 i =1

k k
Como Ai es abierto V(b, r1) Ai
i=1 i=1

Y como Ak+1 es abierto V(b, r2) Ak+1


k
Tomando r min { r1, r2 } se tiene que V(b, r) Ai y V(b, r) Ak+1 y por
i=1

k k +1 k +1
tanto V(b, r) ( Ai Ak+1 ) = Ai , lo cual significa que Ai es un
i=1 i =1 i =1

conjunto abierto en n.


Se deja como ejercicio para el lector la demostracin de la respectiva propiedad


para la unin.

Teorema 1.2
n n
Si Bi son conjuntos cerrados en n i = 1, ... , n ; n N, entonces Bi y B
i son
i=1 i=1

conjuntos cerrados en n .
Demostracin
En efecto, de las leyes de dualidad de De Morgan se tiene que:

21
0.3. Conjuntos abiertos y cerrados


n n n n
B = B y B = B
i
i =1
i i
i =1
i
i =1 i =1

Como Bi son cerrados en n i = 1, ... , t, entonces Bi son abiertos en n i=


t t
1, ... , t y de la propiedad anterior Bi
y Bi
son abiertos en n y en consecuencia
i =1 i =1

t t
sus complementos Bi y Bi son cerrados en n.
i=1 i=1

Teorema 1.3

S n, se cumple que Int(S) es el mayor abierto de S contenido en S, lo cual


significa que si Sk es cualquier abierto contenido en S entonces Sk Int(S).

Corolario
Para una funcin vectorial F: n m, Int(DomF) es el mximo conjunto abierto en
el cual est definida.

Ejemplo 1.12

En este ejemplo se ilustra que la interseccin de conjuntos cerrados es cerrada.

{ } {
Sean los conjuntos A = (x, y ) 2 / y = x2 y B = (x, y ) 2 / y = 2 x 2 ; analizar }
si los conjuntos A B , A B y A ' son conjuntos abiertos o cerrados o ninguno
de ellos.

22
Captulo 0: Funciones Vectoriales

Solucin:

Figura 1.4

A = {(x, y ) 2 / y = x 2 } es cerrado ya que todos sus puntos son frontera;

B = {(x, y ) 2 / y = 2 x 2 } es cerrado por la misma razn anterior.

A B = {( 1,1) , (1,1)} (figura 1.4) el cual es un conjunto cerrado porque cumple el


teorema 1.2

{ }
A B = (x, y ) 2 / ( y = x 2 ) ( y = 2 x2 ) el cual es un conjunto cerrado porque

cumple el teorema 1.2 

Ejemplo 1.13
En este ejemplo se ilustra como encontrar en una superficie en 3 diversos
conjuntos de la topologa.

Sea la funcin F (x, y , z) = ( y x 2 z 2 , Ln[10 x2 y z 2 ], y 5, 5 y ) ;

A = Dom(F ) halle int(A) ; Acum(A) ; analice si A es abierto o cerrado.

Solucin:

23
0.3. Conjuntos abiertos y cerrados

{ }
A = (x, y , z) 3 / ( y x 2 + z 2 ) ( y < 10 x 2 z 2 ) ( y 5) ( y 5)

{
A = (x, y , z) 3 / ( y x 2 + z 2 ) ( y < 10 x2 z 2 ) ( y = 5)} lo cual es un crculo,

que no incluye la circunferencia, en el plano y = 5 y de radio 5 , como ilustra la


figura 1.5

Figura 1.5 Ejemplo 1.13


int(A)= ; Acum(A)= A front(A) donde

front(A)= {(x, y, z) 3 / x2 + z 2 = 5 y = 5} 

24