Espacio Eucldeo real n-dimensional

TEOREMA DE WEIERSTRASS

Se generaliza primeramente a R n el principio de encaje de Cantor en R, que es el

instrumento para demostrar el teorema del punto de acumulacin o de Bolzano-
Weierstrass, del que se deduce el teorema general del encaje.

DEFINICIN DE ENCAJE DE INTERVALOS CERRADOS.

Sea {I }
m
mN una sucesin de intervalos cerrados de Rn , siendo
I = [a , b ] ... [a , b ] , donde el superndice m indica el lugar de orden de la
m m
1 1
m m
n
m
n

sucesin.
Se dice que la sucesin I m mN { }
es un encaje de intervalos cerrados si
m +1
... I I ... I I .
m 2 1

Claramente I m +1 I m significa que [aim +1 , bim +1 ] [aim , bim ] para todo i : 1,..., n.

PRINCIPIO DEL ENCAJE.

Si en un encaje de intervalos cerrados {I }

de R n se tiene que lim (bim aim ) = 0
m
mN
m
r
para todo i : 1,..., n, entonces existe un nico punto x R y slo uno, que pertenece a
n

todos los intervalos de encaje.

Demostracin:
Se considera para cada i la sucesin {a } m
i mN que es creciente y est acotada
superiormente por bi1 ; entonces, existe lim a . Anlogamente la sucesin bim
m
i
m
{ } mN
es
decreciente y acotada inferiormente por ai1 , luego tambin existe lim bim .
m

Como lim (b a ) = 0, tomando xi = lim a = lim b , se tiene que xi [aim , bim ]

i
m m
i
m
i i
m
m m m
r
para todo m y, por tanto, x = ( x1 ,..., x n ) I para cada m.
m

La unicidad de este punto se deduce de la unicidad del lmite.

TEOREMA DE BOLZANO-WEIERSTRASS

Todo conjunto A R n infinito y acotado tiene al menos un punto de acumulacin.

Demostracin:
Como A es acotado podemos incluirlo en un intervalo
I 1 = [ a, a] [a, a ] ... [a, a] = I 11 I 21 ... I n1 ,
siendo I k1 = [a, a ] para cada k : 1,...n. (a > 0).

1
Cada I k1 puede dividirse en dos intervalos iguales I k1,1 = [ a,0] e I k1, 2 = [0, a ]. Se
consideran entonces todos los intervalos de la forma I k1, p1 I k1, p2 ... I k1, pn con
pi = 1 2, para cada i.
Se pueden construir exactamente 2 n intervalos de este tipo. Su unin es I 1 , que
contiene infinitos puntos de A y, por tanto, al menos uno de estos 2 n intervalos
contiene infinitos puntos de A. Se denominar a este intervalo I 2 y se renombrar por
I 2 = I 12 I 22 ... I n2 , donde cada I k2 es uno de los dos subintervalos de I k1 de longitud
a. Realizamos sobre I 2 el mismo proceso de divisin en 2 n intervalos y extraccin de
uno de los que poseen infinitos puntos de A, al que se le llamar I 3 = I 13 I 23 ... I n3 ,
a
siendo cada I k3 de longitud .
2
Continuando este proceso sucesivamente se obtiene una coleccin numerable de
{ }
intervalos de R n , I m mN , con la propiedad comn de contener infinitos puntos de A.
Escribiendo I m
= I 1m I 2m ... I nm , cada I km = [a km , bkm ] tiene la longitud
a
bkm a km = m2
.
2
La sucesin {I } m
construida constituye un encaje de intervalos cerrados y como
mN
r
lim (bkm a km ) = 0 el principio de encaje asegura que existe un nico punto x que
m

pertenece a todos los intervalos I m .

r
Para probar que x es un punto de acumulacin de A bastar ver que cada entorno
r r
E ( x , ) ( > 0) contiene algn intervalo I m , pues de este modo E * ( x , ) A ya
r
que I m contiene infinitos puntos de A. Para que I m E ( x , ) es suficiente que la
diagonal d del intervalo sea menor que el radio del entorno. Como la longitud de la
n
a
diagonal es d = (b
k =1
m
k bkm ) 2 = n
2 m2
, tomando m suficientemente grande, se

tiene que d < .

TEOREMA GENERAL DEL ENCAJE.

Sea { C m }mN una sucesin de conjuntos cerrados y acotados en R n , no vacos, tal que
C m +1 C m , para todo m. Entonces C = IC m es un cerrado no vaco.
mN
Demostracin:
Lo esencial de este enunciado es probar que C es no vaco; que es cerrado ya ha
quedado establecido en las propiedades de los conjuntos cerrados. As pues se buscar
r
un punto x C.
Si algn C m es finito, la sucesin {C m }mN es estacionaria y la demostracin es trivial.
Se supondr entonces, que todos los C m contienen infinitos puntos. En cuyo caso, se
r r r r
puede construir un conjunto de puntos distintos A = { x1 , x 2 ,..., x n ,...} tomando un x k de
cada C k . Por la suposicin anterior, en cada C k hay infinitos puntos de A.
Como A es infinito y acotado, pues A C1 , el teorema de Bolzano-Weierstrass
r
asegura la existencia de un punto x de acumulacin de A.

2
 r
Todo entorno de x incluye infinitos puntos de A y por tanto incluye infinitos puntos de
r
C k , lo que implica que x es tambin punto de acumulacin de C k ; como C k es
r r
cerrado, x C k ; y, como esto ocurre para cada k , x C.

TEOREMA DE HEINE-BOREL-LEBESGUE

DEFINICIN DE RECUBRIMIENTO ABIERTO.

Se dice que una familia de conjuntos, F = {A j }jJ es un recubrimiento de un conjunto

K si K U A j .
jJ

Si todos los conjuntos A j son abiertos, se dice que el recubrimiento F es un

recubrimiento abierto de K .

DEFINICIN DE CONJUNTO COMPACTO.

Un conjunto K R n es compacto si de cada recubrimiento abierto, F = { A j }jJ , de K

se puede extraer una familia finita de abiertos A j de F que sea, a su vez, un
recubrimiento de K .
De forma ms breve se dice que K es compacto si para cualquier recubrimiento abierto
de K existe un subrecubrimiento finito.

Para los conjuntos compactos de R n existe una notable caracterizacin segn la cual
compacto equivale a cerrado y acotado.

TEOREMA DE HEINE-BOREL-LEBESGUE

Un conjunto K R n es compacto si, y slo si, K es cerrado y acotado.

Demostracin:
1. Si K es compacto entonces es acotado.
{ }
r
En efecto, la familia de entornos E (0, n) nN es un recubrimiento abierto de K . Por ser
K compacto, tambin una subfamilia finita recubre K y por tanto K est acotado.

2. Si K es compacto, entonces es cerrado.

r
Si K no fuera cerrado existira un punto a de acumulacin de K que no pertenecera a
r r
r r xa
K . La familia de entornos E ( x , ) : x K , = es un recubrimiento abierto
2
de K . Por ser K compacto hay una subfamilia finita que recubre K ; sea
r r
K E ( x1 , 1 ) ... E ( x p , p ) y el menor de los radios 1 ,..., p . Entonces
r r
E (a , ) K = en contra de la hiptesis de que a es punto de acumulacin de K .

3
3. Si K es cerrado y acotado e I = [a1 , b1 ] ... [a n , bn ] es tal que K I , entonces K
es compacto si I es compacto.
Efectivamente, si F = { A j }jJ es un recubrimiento abierto de K , aadiendo a F el
abierto R n K , se obtiene un recubrimiento abierto F del intervalo cerrado I .
Entonces existe una subfamilia finita de F que recubre K si, y slo s, existe una
subfamilia finita F que recubre I . En consecuencia, para probar que K es compacto es
suficiente probar que I es compacto.

4. I = [a1 , b1 ] ... [a n , bn ] es compacto.

Sin prdida de generalidad podemos suponer que todas las aristas de I tienen la misma
longitud, es decir que b1 a1 = ... = bn a n = h.
Dividiendo cada uno de los intervalos cerrados unidimensionales [ai , bi ] por su punto
medio, se obtiene una descomposicin de en 2 n subintervalos cerrados
I
h
n dimensionales todos los cuales tienen sus aristas de la misma longitud . Se
2
pueden enumerar como I 1,k con k = 1,...,2 . Si F = { A j }jJ es un recubrimiento abierto
n

de I tambin lo es cada uno de los subintervalos I 1,k .

Procediendo, ahora, por reduccin al absurdo, si no existiera un subrecubrimiento finito
de F para I se seguira que tampoco podra existir un subrecubrimiento finito de F
para alguno de los subintervalos I 1,k . Se designa entonces por I 1 a uno cualquiera de
los subintervalos para los que no existe un subrecubrimiento finito de F .
h
Evidentemente I 1 I y sus aristas tienen longitud .
2
A partir de I 1 se puede repetir el proceso anterior obteniendo un subintervalo I 2 ,
contenido en I 1 , para el que no existe un subrecubrimiento finito de F y cuyas aristas
h
tienen la misma longitud 2 . Anlogamente, a partir de I 2 , se obtiene I 3 , y, en general,
2
h
a partir de I m 1 el subintervalo I m cuyas aristas tienen la misma longitud, m . En
2
consecuencia, se ha obtenido un encaje de intervalos cerrados { I m }mN con estas dos
propiedades:
i) ninguno de los intervalos I m admite un subrecubrimiento finito de F .
r
ii) existe un punto x comn a todos los intervalos I m , debido al principio del encaje.

Pues bien, estas dos propiedades son contradictorias. De ii) se deduce que alguno de los
abiertos A j de F = {A j }jJ cubre a x y como A j es abierto, existe un entorno
r
r r r r
E ( x , ) tal que x E ( x , ) A j . Adems I m E ( x , ) siempre que la diagonal de I m
sea menor que , lo que contradice i).

4
Otra caracterizacin de los conjuntos compactos es la siguiente:

PROPOSICIN
Un conjunto K R n es compacto si, y slo si, de toda sucesin de puntos de K puede
extraerse una subsucesin convergente a un punto de K .

Demostracin:
Teniendo en cuenta el teorema anterior (T de H/B/L), en esta proposicin se sustituir
la condicin de compacto por la de cerrado y acotado.
r
Supongamos que K es cerrado y acotado. Sea { a n }nN una sucesin de puntos de K
r
y A = { a n : n N } el conjunto de sus trminos distintos. Si A es finito, entonces existe,
r
al menos, un elemento a A que es imagen de infinitos elementos de N y por tanto,
r
en {a n }nN hay una subsucesin constante de elementos a. Si el conjunto
r
A = {a n : n N } es infinito, entonces, por el teorema de Bolzano-Weierstrass, A tiene,
r r r r r
al menos, un punto de acumulacin a. Sea a n1 tal que a n1 a < 1; sea a n2 tal que
r r 1 r r r 1
n 2 > n1 y a n2 a < . En general sea a nk tal que nk > nk 1 y a nk a < .
2 k
{ }
r r r r
Entonces a nk kN es una subsucesin de { a n }nN que converge al punto a. Como a es
r
punto de acumulacin de A, tambin lo es de K . Al ser ste cerrado, a K .

Recprocamente:
r r
Si K no es acotado, para todo n N existe a n tal que a n > n. Cualquier
{ }
r r
subsucesin a nk kN extrada de la sucesin { a n }nN verifica
r
a n k > nk > k , lo que
implica que no es acotada y, por tanto, tampoco es convergente, en contra de la
hiptesis.
r r
Si a es un punto de acumulacin de K , entonces para cada n N existe a n K tal
r r 1 r r
que a n a < . Como la sucesin { a n }nN converge hacia a , toda subsucesin de
n
r
ella tambin converge hacia a a que, por hiptesis, pertenece a K . En consecuencia K
es cerrado.