TEMA 1: EL ESPACIO RN

NDICE
RN

1. El espacio vectorial
2. El producto escalar eucldeo
3. Norma y distancia en RN
4. ngulo y ortogonalidad en RN
5. Topologa en RN
6. Nociones topolgicas y mtricas en RN
6.1. Conjunto cerrado
6.2. Topologa relativa
6.3. Interior, exterior y frontera de un conjunto
6.4. Adherencia, acumulacin y puntos aislados de un conjunto
6.5. Conjunto acotado y conjunto compacto
7. Sucesiones en RN
7.1. Sucesin convergente
7.2. Sucesin acotada
7.3. Sucesin de Cauchy

1
2
4
6
7
9
9
10
10
11
13
13
14
16
18

Dado el cuerpo de los nmeros reales R y un nmero natural N , RN denota el producto cartesiano de
R consigo mismo N veces, es decir, el conjunto de todas las N -uplas de elementos de R:
RN = {(x1 , . . . , xN ) : x1 , . . . , xN R} .
1.

E L ESPACIO VECTORIAL RN

Sean (x1 , . . . , xN ) e (y1 , . . . , yN ) dos elementos de RN y sea R. Se definen la suma y el

producto por escalares en RN de la forma siguiente:
(x1 , . . . , xN ) + (y1 , . . . , yN ) = (x1 + y1 , . . . , xN + yN ),
(x1 , . . . , xN ) := (x1 , . . . , xN ) = (x1 , . . . , xN ).
Para simplificar escribiremos

(x1 , . . . , xN ) = x e (y1 , . . . , yN ) = y.
N
Veamos que R , +, es un espacio vectorial sobre R. Los elementos del espacio vectorial RN se
llaman vectores, y los del cuerpo base R escalares.
Proposicin 1.1. Se verifican las siguientes propiedades:
(1) La suma en RN es asociativa:
(x + y) + z = x + (y + z),

x, y, z RN .

(2) La suma en RN es conmutativa:

x + y = y + x,

x, y RN .

)
(3) La N -upla 0RN = (0, (N
. . .,
0) es el elemento neutro para la suma:

x + 0RN = x,
1

x RN .

TEMA 1: EL ESPACIO RN

(4) Todo elemento de RN tiene un elemento opuesto:

x RN ,

x RN : x + (x) = 0RN .

(5) El producto por escalares en RN es pseudoasociativo:

(x) = ()x,

, R, x RN .

(6) El producto por escalares en RN es distributivo respecto de la suma de escalares:

( + )x = x + x,

, R, x RN .

(7) Existencia de elemento unidad:

1x = x,

x RN .

(8) El producto por escalares en RN es distributivo respecto de la suma en RN :

(x + y) = x + y,

R, x, y RN .

El conjunto de vectores {e1 , . . . , eN } RN , donde



ei = 0, . . . , 0, 1(i) , 0, . . . , 0

(i = 1, . . . , N ),

es una base de RN llamada base cannica. Por tanto, todo vector x = (x1 , . . . , xN ) RN se expresa
P
de manera nica como combinacin lineal de los vectores de esta base en la forma x = N
i=1 xi ei . Los
nmeros reales x1 , . . . , xN son las coordenadas de x respecto de la base cannica.
Es natural usar resultados propios de un primer curso de Anlisis Matemtico en esta asignatura. Por
ello har referencia a veces a conceptos y propiedades que pueden encontrar en el libro:
[0 ] C. Aparicio y R. Pay, Anlisis Matemtico I, Textos Universitarios, UGR, 1986.
Es aconsejable comprobar aquellas afirmaciones no probadas que aparezcan en estos apuntes. No
olviden el proberbio chino que dice: si miro, olvido; si leo, comprendo; si hago, aprendo.
2.

E L PRODUCTO ESCALAR EUCLDEO

La geometra eucldea del plano R2 y del espacio R3 (por ejemplo, los conceptos de longitud, distancia, ngulo y ortogonalidad) se pueden extender a RN con la ayuda del siguiente concepto.
Definicin 2.1. Se llama producto escalar eucldeo en el espacio vectorial RN a la aplicacin
(x, y) 7 (x|y) de RN RN en R definida por
(x|y) =

N
X

x i yi ,

x = (x1 , . . . , xN ), y = (y1 , . . . , yN ) RN .

i=1

Sus propiedades bsicas se deducen fcilmente de la definicin.

Proposicin 2.2. El producto escalar eucldeo en RN es:
(1) Lineal en la primera variable: (x + y|z) = (x|z) + (y|z),
(2) Simtrico: (y|x) = (x|y), x, y RN .
(3) Definido positivo: x RN , x 6= 0RN (x|x) > 0.

, R, x, y, z RN .

TEMA 1: EL ESPACIO RN

El resultado anterior nos dice que el producto escalar eucldeo

es, de hecho, un producto escalar en
RN . Es el producto escalar usual de RN y se dice que RN , (|) es un espacio prehilbertiano.
Establecemos ahora algunas desigualdades muy tiles.
Proposicin 2.3. Se satisfacen:
(1) La desigualdad de Young:


1 2
a + b2 , a, b R.
2
(2) La desigualdad de CauchySchwarz:
v

 v
uN
N
N
X
 u
u
uX
X

 t
2
xi yi 
xi t
yi2 , x, y RN .



|ab|

i=1

i=1

i=1

(3) La desigualdad de Minkowski:

v
v
v
uN
uN
uN
uX
uX
uX
2
t
(xi + yi ) t
x2i + t
yi2 ,
i=1

i=1

x, y RN .

i=1

Demostracin: (1) Sean a, b R. Tenemos:

0 (a + b)2 = a2 + 2ab + b2

0 (a b)2 = a2 2ab + b2

1
(a2 + b2 ) ab,
2
1
ab (a2 + b2 ),
2

de donde (1/2)(a2 + b2 ) ab (1/2)(a2 + b2 ), esto es, |ab| (1/2)(a2 + b2 ).

(2) Si xi = 0 para todo i {1, . . . , N } o yi = 0 para todo i {1, . . . , N }, entonces
v
v
N

uN
uN
X

uX
u
X


x2i t
yi2 .
xi yi  = 0 = t



i=1

i=1

i=1

Supongamos que algn xi y algn yi son no nulos. Aplicando la desigualdad de Young a los N escalares:
xi
yi
, b = qP
(i = 1, . . . , N ),
a = qP
N
N
2
2
x
y
i=1 i
i=1 i
se tiene
|xi yi |
1
qP
qP

2
N
N
2
2
i=1 xi
i=1 yi

x2i

yi2

PN

2
i=1 xi

+ PN

2
i=1 yi

(i = 1, . . . , N ).

Sumando las N desigualdades anteriores se obtiene

PN
PN 2 PN 2 !
|x
y
|
xi
yi
1
i i
qP i=1 qP

+ Pi=1
= 1,
Pi=1
N
N
2
2
N
N
xi
yi2
2
2
i=1
i=1
x
y
i=1 i
i=1 i
de donde se deduce:
N
X
i=1

v
v
uN
uN
uX uX
t
2
|xi yi |
xi t
yi2 .
i=1

i=1

TEMA 1: EL ESPACIO RN

Usando la desigualdad triangular del valor absoluto, obtenemos la desigualdad de CauchySchwarz:

v

 v
uN
N
N
X
 u
u
uX
X

 t
2
xi yi 
xi t
yi2 .



i=1

i=1

i=1

(3) Si xi = 0 = yi para todo i {1, . . . , n}, entonces

v
v
v
uN
uN
uN
uX
uX
uX
t (x + y )2 = 0 = t
2
x +t
y2.
i

i=1

i=1

i=1

Si algn xi o yi es no nulo, usando la desigualdad triangular del valor absoluto y la desigualdad de

CauchySchwarz se obtiene
N
 N

N
X
 X

X




(xi + yi )2 
xi (xi + yi ) + 
yi (xi + yi )

 

i=1
i=1
i=1
v
v
v
v
uN
uN
uN
uN
uX uX
uX uX
t
t
t
2
2
xi
(xi + yi )2 +
yi t (xi + yi )2 .

i=1

Dividiendo por

qP
N

i=1 (xi

i=1

i=1

i=1

+ yi )2 obtenemos la desigualdad de Minkowski:

v
v
v
uN
uN
uN
uX
uX
uX
t (x + y )2 t
2
xi + t
yi2 .
i
i
i=1

i=1

i=1


3.

N ORMA Y DISTANCIA EN RN

La nocin de norma en RN es una generalizacin abstracta de la longitud de un vector de R2 .

Definicin 3.1. Una norma en RN es una aplicacin x 7 kxk , de RN en R, que verifica las
siguientes propiedades:
(1) Es no degenerada: x RN , kxk = 0 x = 0RN .
(2) Verifica la desigualdad triangular: kx + yk kxk + kyk , x, y RN .
(3) Es absolutamente homognea: kxk = || kxk , R, x RN .
Se dice entonces que (RN , kk) es un espacio normado.
De la condicin (3) se deduce que k0RN k = 0 y kxk = kxk . Entonces, por la condicin (2), se tiene
0 = k0RN k = kx + (x)k kxk + kxk = 2 kxk .
Por tanto, una norma slo toma valores reales no negativos.
La siguiente desigualdad de la norma ser usada frecuentemente.
Proposicin 3.2. Toda norma kk en RN satisface la desigualdad triangular inversa:
|kxk kyk| kx yk ,

x, y RN .

TEMA 1: EL ESPACIO RN

Demostracin: Si x, y RN , se tiene kxk = kx y + yk kx yk + kyk , de donde

kxk kyk kx yk .
Intercambiando x e y en esta desigualdad se obtiene kyk kxk ky xk , de donde
kx yk = ky xk kxk kyk .
Por tanto, kx yk kxk kyk kx yk , lo que equivale a |kxk kyk| kx yk .

Presentamos la norma usual de RN .

Proposicin 3.3. La funcin x 7 kxk2 de RN en R, definida por
v
uN
uX
kxk2 = t
x2i , x = (x1 , . . . , xN ) RN ,
i=1

es una norma en

RN

llamada norma eucldea.

Demostracin: Dados R y x, y RN , se cumple:

kxk2 = 0

N
X

x2i = 0 x2i = 0, i {1, . . . , N } xi = 0, i {1, . . . , N } x = 0RN ,

i=1

v
v
v
u
uN
uN
N
u X
uX
uX
t
t
(xi )2 = 2
x2i = || t
x2i = || kxk2 ,
kxk2 =
i=1

i=1

i=1

v
v
v
uN
uN
uN
uX
uX
uX
2
t
t
kx + yk2 =
(xi + yi )
x2i + t
yi2 = kxk2 + kyk2 ,
i=1

i=1

i=1

donde hemos usado la desigualdad de Minkowski.

En particular, la norma usual de R es la definida por el valor absoluto:

kxk2 = x2 = |x| , x R.
Tambin se suelen usar en RN la norma de la suma:
kxk1 =

N
X

|xi | ,

x = (x1 , . . . , xN ) RN ,

i=1

y la norma del mximo:

kxk = m
ax |xi |,
1iN

x = (x1 , . . . , xN ) RN .

Entre estas normas se cumplen las siguientes relaciones:

kxk kxk2 kxk1 N kxk

(x RN ).

TEMA 1: EL ESPACIO RN

Definicin 3.4. Se llama distancia eucldea de dos puntos x, y RN , y se escribe d(x, y), a la norma
eucldea del vector x y. Por tanto,
v
uN
uX
d(x, y) = kx yk = t
(x y )2 .
i

i=1

sta es la distancia usual de RN . En particular, la distancia usual en R es

d(x, y) = |x y| ,

x, y R.

Sus propiedades bsicas se deducen directamente de la definicin.

Proposicin 3.5. La distancia eucldea en RN verifica las siguientes propiedades:
(1) Si x, y RN , entonces d(x, y) = 0 si, y slo si, x = y.
(2) Propiedad simtrica: d(x, y) = d(y, x), x, y RN .
(3) Desigualdad triangular: d(x, z) d(x, y) + d(y, z), x, y, z RN .
El resultado anterior refleja
que la distancia eucldea es una mtrica en RN . Es la mtrica usual de


N
y se dice que R , d es un espacio mtrico.
A partir de este momento, cuando hagamos referencia al espacio normado RN , se entender, salvo
mencin en contra, que est provisto de la norma eucldea y la notaremos por kk si no hay confusin.
RN

4.

NGULO Y ORTOGONALIDAD EN RN

El concepto de ngulo de dos vectores del plano pueden extenderse a vectores de RN . Usando la
desigualdad de CauchySchwarz podemos escribir:
|(x|y)| kxk kyk ,

x, y RN .

En particular, si x e y son no nulos, se tiene |(x|y)/||x||||y||| 1 y como la funcin coseno es una

biyeccin de [0, ] en [1, 1], podemos introducir el siguiente concepto.
Definicin 4.1. Dados dos vectores no nulos x, y RN , se define el ngulo formado por x e y como
el nico nmero [0, ] tal que cos = (x|y)/ kxk kyk .
Tambin podemos extender la idea de perpendicularidad.
Definicin 4.2. Se dice que dos vectores x, y RN son ortogonales si (x|y) = 0.
Si A es un subconjunto no vaco de RN , se llama complemento ortogonal de A al conjunto


A = x RN : (x|a) = 0, a A .
Si x, y RN son vectores no nulos, se llama proyeccin ortogonal de x sobre y al vector
(x|y)
y (x) =
y.
(y|y)

TEMA 1: EL ESPACIO RN

Ejemplo 4.3. Por la linealidad del producto escalar, es claro que el vector x y (x) es ortogonal a y.
Dado un vector no nulo (a, b, c) R3 , el complemento ortogonal de A = {(a, b, c)} es



A = (x, y, z) R3 : ((x, y, z)|(a, b, c)) = 0 = (x, y, z) R3 : ax + by + cz = 0 .
La ecuacin ax + by + cz = 0 representa geomtricamente un plano que pasa por el origen.
5.

T OPOLOGA EN RN

Definicin 5.1. Sean a RN y r R+ . La bola abierta en RN de centro a y radio r es el conjunto



B(a, r) = x RN : kx ak < r .
La bola cerrada en RN de centro a y radio r es el conjunto


B(a, r) = x RN : kx ak r .
La esfera en RN de centro a y radio r es el conjunto


S(a, r) = x RN : kx ak = r .
En particular, para a = 0RN y r = 1, los conjuntos


B(0RN , 1) = x RN : kxk < 1 ,


BRN := B(0RN , 1) = x RN : kxk 1
y


SRN := S(0RN , 1) = x RN : kxk = 1 ,
se denominan bola unidad abierta, bola unidad (cerrada) y esfera unidad de RN , respectivamente.
Observe que las bolas son conjuntos no vacos ya que contienen al menos un punto: el centro de la
bola. Evidentemente, B(a, r) = B(a, r) S(a, r) para cualesquiera a RN y r R+ .
Ejemplo 5.2. En el espacio eucldeo R, las bolas son intervalos:
B(a, r) =]a r, a + r[:= {x R : a r < x < a + r} ,
B(a, r) = [a r, a + r] := {x R : a r x a + r} .
Es decir, B(a, r) (B(a, r)) es el intervalo abierto (cerrado) en R de extremos a r y a + r.
En los espacios eucldeos R2 y R3 , las bolas son crculos y esferas, respectivamente. No obstante, el
aspecto geomtrico de las bolas depende de la norma que se considere:


Ejemplos 5.3.
(1) En el espacio R2 , kk1 , la bola abierta B1 ((a1 , a2 ), r) es el rombo abierto con
diagonales paralelas a los ejes de coordenadas y vrtices que equidistan r del centro (a1 , a2 ):


B1 ((a1 , a2 ), r) = (x, y) R2 : |x a1 | + |y a2 | < r .
La bola cerrada B 1 ((a1 , a2 ), r) es el rombo cerrado


(x, y) R2 : |x a1 | + |y a2 | r .
(2) En el espacio eucldeo R2 , la bola abierta B2 ((a1 , a2 ), r) es el crculo abierto en el plano de
centro (a1 , a2 ) y radio r:


B2 ((a1 , a2 ), r) = (x, y) R2 : (x a1 )2 + (y a2 )2 < r2 .

TEMA 1: EL ESPACIO RN

La bola cerrada B 2 ((a1 , a2 ), r) es el correspondiente crculo cerrado



(x, y) R2 : (x a1 )2 + (y a2 )2 r2 .


(3) En el espacio R2 , kk , la bola abierta B ((a1 , a2 ), r) es el cuadrado abierto cuyos lados son
paralelos a los ejes y cuyos vrtices distan r del centro (a1 , a2 ):


B ((a1 , a2 ), r) = (x, y) R2 : max {|x a1 | , |y a2 |} < r .
La bola cerrada B ((a1 , a2 ), r) es el cuadrado cerrado


(x, y) R2 : max {|x a1 | , |y a2 |} r .
Definicin 5.4. Se dice que un conjunto A RN es abierto si A es vaco o si para cada a A,
existe un ra > 0 tal que B(a, ra ) A.
Se dice que un conjunto U RN es un entorno de un punto x RN si existe r > 0 tal que
B(x, r) U.
Ejemplo 5.5. Toda bola abierta B(a, r) de RN es un conjunto abierto, pues si x B(a, r), entonces
s = r kx ak > 0 y B(x, s) B(a, r). En efecto, si y B(x, s) se tiene que
ky ak ky xk + kx ak < s + kx ak = r.
En particular, los intervalos abiertos de R son conjuntos abiertos en R, ya que para cualesquiera
a, b R con a < b se tiene que


a+b ba
,
.
]a, b[ = B
2
2


Es un ejercicio interesante mostrar que el conjunto A = (x, y) R2 : x > 0 es abierto.
El siguiente resultado recoge las propiedades caractersticas de los conjuntos abiertos.
Proposicin 5.6. Se verifican las siguientes afirmaciones:
(1) El conjunto vaco y el conjunto RN son abiertos.
(2) La unin de toda familia de conjuntos abiertos es un conjunto abierto.
(3) La interseccin de cualquier familia finita de conjuntos abiertos es un conjunto abierto.
Demostracin: (1) RN es abierto ya que B(x, r) RN para cualesquiera x RN y r R+ . Por
definicin el vaco es abierto.
(2) Sea {Gi : i I} una familia de conjuntos abiertos de RN . Si iI Gi = , entonces iI Gi es
abierto. En otro caso, dado x iI Gi existe i0 I tal que x Gi0 . Por ser Gi0 abierto, existe r R+
tal que B(x, r) Gi0 y as B(x, r) iI Gi . Esto prueba que iI Gi es abierto.
(3) Sea n N y {G1 , . . . , Gn } una familia de abiertos de RN . Si iI Gi = , entonces iI Gi es
abierto. En caso contrario, sea x ni=1 Gi . Para cada i {1, . . . , n} , por ser Gi abierto, existe ri R+
tal que B(x, ri ) Gi . Sea r = mn {r1 , . . . , rn } . Es claro que B(x, r) ni=1 Gi y por tanto ni=1 Gi
es abierto.

Observaciones
5.7.
(1) La propiedad (3) no se verifica para intersecciones arbitrarias. Por ejemplo,
T
]a

1/n,
a
+ 1/n[= {a} no es abierto ya que ]a r, a + r[ no est contenido en {a} para
nN
cualquier r > 0.

TEMA 1: EL ESPACIO RN

(2) Por la propiedad (2), toda semirrecta abierta de R es un conjunto abierto:

[
[
] , a[=
]a n, a[, ]a, +[=
]a, a + n[ (a R) .
nN

nN

La proposicin 5.6 nos dice que la familia T formada por todos los conjuntos abiertos de RN ,


T = A RN : a A, ra > 0 / B(a, ra ) A {},
es una topologa
en RN llamada topologa de la norma eucldea. Es la topologa usual de RN y se dice


que RN , T es un espacio topolgico.
N OCIONES TOPOLGICAS Y MTRICAS EN RN

6.
6.1.

Conjunto cerrado. I

Definicin 6.1. Se dice que un conjunto A RN es cerrado si su complementario RN \A es abierto.

Los conceptos de conjunto cerrado y conjunto abierto no son excluyentes. Por ejemplo, RN es abierto
y cerrado a la vez. Tambin existen conjuntos que no son abiertos ni cerrados como, por ejemplo, el
conjunto (0, 1] en R.
Ejemplos 6.2. Sean a RN y r > 0. Son conjuntos cerrados de RN :
(1) El conjunto {a} formado por un nico punto. Tenemos que mostrar que RN \ {a} es abierto. Sea
x0 RN \ {a}. Entonces s := kx0 ak > 0. Si x B(x0 , s), entonces x 6= a ya que si fuese
x = a se tendra s = ka x0 k < s, una contradiccin.Luego B(x0 , s) RN \{a}.

(2) La bola cerrada B(a, r). Veamos que RN \B(a, r) = x RN : kx ak > r es abierto. Sea
x0 RN tal que kx0 ak > r. Entonces s := kx0 ak r > 0. Si x B(x0 , s) se tiene que
r = kx0 ak s < kx0 ak kx x0 k kx ak y por tanto B(x0 , s) RN \B(a, r).
(3) La esfera S(a, r), pues RN \S(a, r) = B(a, r) (RN \B(a, r)) es unin de abiertos.
Los intervalos y semirrectas cerradas de nmeros reales son conjuntos cerrados en R, porque
[a, b] = R\ (] , a[]b, +[)

(a, b R, a < b),

] , a] = R\]a, +[

(a R),

[a, +[ = R\] , a[

(a R).

Las siguientes propiedades de los conjuntos cerrados se deducen de las propiedades caractersticas de
los abiertos y de las conocidas igualdades de la teora de conjuntos:
[
\
\
[
Ai = (RN \Ai ), RN \
Ai = (RN \Ai ).
RN \
iI

iI

iI

iI

Proposicin 6.3. Se verifica:

(1) El conjunto vaco y el conjunto RN son cerrados.
(2) La unin de toda familia finita de conjuntos cerrados es un conjunto cerrado.
(3) La interseccin de toda familia de conjuntos cerrados es un conjunto cerrado.
Demostracin: (1) Los conjuntos y RN son cerrados, puesto que sus respectivos complementarios,
= RN y RN \RN = , son abiertos.

RN \

TEMA 1: EL ESPACIO RN

10

(2) Sea {F1 , . . . , Fn } una familia finita

Entonces, para cada i = 1, . . . , n, el
Tn cerrados.
Snde conjuntos
N
N
N
finita de abiertos es
conjunto R \Fi es abierto. Como R \ i=1 Fi = Si=1 (R \Fi ) y la interseccinS
un abierto por la proposicin 5.6, se sigue que RN \ ni=1 Fi es abierto y, por tanto, ni=1 Fi es cerrado.
(3)TSea {Fi : iS
I} una familia de cerrados. Puesto que cada conjunto RN \Fi es un abierto de RN ,
RN \ iI Fi = iI (RN \Fi ) y la unin de cualquier familia de abiertos de RN es un abierto de RN
T
T
por la proposicin 5.6, se tiene que RN \ iI Fi es un abierto y, por tanto, iI Fi es un cerrado. 
Observacin
S 6.4. La unin de cualquier familia de conjuntos cerrados no siempre es un cerrado. Por
ejemplo, a[0,1[ [a, a] =] 1, 1[ no es cerrada.
Como los puntos son cerrados y la unin finita de cerrados es un cerrado, es inmediato:
Corolario 6.5. Los subconjuntos finitos de RN son cerrados.
6.2.

Topologa relativa. I

Definicin 6.6. Sea A un subconjunto de RN . Se dice que un conjunto B A es abierto en A, o

bien un subconjunto abierto de A, si existe un conjunto abierto G en RN tal que B = A G.
Observaciones 6.7.
(1) Como consecuencia, un conjunto B A es cerrado en A si, y slo si,
B = A F donde F es un subconjunto cerrado de RN .
(2) Un subconjunto abierto (cerrado) de A no es, en general, abierto (cerrado) en RN . Por ejemplo, el
conjunto [0, 3) es abierto en [0, 5), pero no es abierto en R. No obstante, se comprueba fcilmente
que si B es abierto (cerrado) en A y A es abierto (cerrado) en RN , entonces B es abierto (cerrado)
en RN .
6.3.

Interior, exterior y frontera de un conjunto. I

Definicin 6.8. Sea A un subconjunto de RN y x un punto de RN .

Se dice que x es un punto interior de A si existe una bola de abierta de centro x contenida en A.
El conjunto formado por todos los puntos interiores de A se llama interior de A y se denotar por
Int(A).
Se dice que x es un punto exterior de A si existe una bola abierta de centro x contenida en
el complementario de A. El conjunto de los puntos exteriores de A se llama exterior de A y se
denotar por Ext(A).
Se dice que x es un punto frontera de A si toda bola abierta de centro x contiene puntos de A y de
RN \A. El conjunto de los puntos frontera de A se llama frontera de A y se denotar por Front(A).
Luego un subconjunto A de RN clasifica los puntos de RN en tres clases de acuerdo con la posicin
de los puntos respecto del conjunto.
Proposicin 6.9. Sea A RN . Los conjuntos Int(A), Ext(A) y Front(A) son disjuntos dos a dos y su
unin es RN .

TEMA 1: EL ESPACIO RN

11

Demostracin: Si x Int(A) Ext(A), entonces existen r1 , r2 R+ tales que B(x, r1 ) A y

B(x, r2 ) RN \A. Entonces x A (RN \A), absurdo, y por tanto Int(A) Ext(A) = .
Sea x Int(A) Front(A). Entonces existe r R+ tal que B(x, r) A, es decir B(x, r)
(RN \A) = y por tanto, x
/ Front(A) lo que contradice la hiptesis. Luego Int(A) Front(A) = .
Supongamos que x Ext(A) Front(A). En tal caso existe r R+ tal que B(x, r) RN \A de
donde B(x, ) A = . Por tanto x
/ Front(A) y esto no puede ser. As Ext(A) Front(A) = . 

Proposicin 6.10. Sea A un subconjunto de RN . Entonces Int(A) es el mayor conjunto abierto contenido
en A. Como consecuencia se tiene:
(1) Int(A) es la unin de todos los conjuntos abiertos contenidos en A.
(2) A es abierto si, y slo si, A = Int(A).
Demostracin: Si Int(A) = , entonces Int(A) es un conjunto abierto contenido en A.
En otro caso, sea x Int(A). Entonces existe r > 0 tal que B(x, r) A de donde x A y as
Int(A) A. Para cada y B(x, r), por ser B(x, r) abierto, existe ry > 0 tal que B(y, ry ) B(x, r),
luego B(y, ry ) A y por tanto y Int(A). Hemos probado que B(x, r) Int(A) y por tanto Int(A)
es abierto. En cualquier caso Int(A) es un conjunto abierto contenido en A.
Sea G RN un conjunto abierto tal que G A. Si G = , entonces G Int(A). En otro caso, sea
x G. Por ser G abierto, existe r > 0 tal que B(x, r) G. Luego B(x, r) A y por tanto x Int(A).
As pues G Int(A). Luego Int(A) es el mayor conjunto abierto contenido en A.
Probemos ahora las consecuencias.
(1) Sea B la unin de todos los conjuntos abiertos contenidos en A. Como Int(A) es un conjunto
abierto contenido en A, entonces Int(A) B. Por otra parte, como B es un conjunto abierto contenido
en A y el Int(A) es el mayor conjunto abierto contenido en A, se tiene que B Int(A). Luego Int(A) =
B.
(2) Si A es abierto, entonces A Int(A) ya que Int(A) es el mayor conjunto abierto contenido en A
y, como siempre Int(A) A, se sigue que A = Int(A). Recprocamente, si A = Int(A), entonces A es
abierto por serlo Int(A).

De la definicin se deduce que Ext(A) = Int(RN \A) y como el interior de cualquier conjunto es
abierto, se sigue que el conjunto Ext(A) es abierto. Por otra parte, el conjunto Front(A) es cerrado ya
que los conjuntos Int(A) y Ext(A) son abiertos y Front(A) = RN \(Int(A) Ext(A)). As hemos
probado:
Proposicin 6.11. Para cada A RN , Ext(A) es abierto y Front(A) es cerrado.

6.4.

Adherencia, acumulacin y puntos aislados de un conjunto. I

Definicin 6.12. Sea A un subconjunto de RN y x un punto de RN .

Se dice que x es un punto de adherencia de A si toda bola abierta de centro x contiene puntos
de A. Se llama adherencia (cierre o clausura) de A al conjunto formado por todos los puntos de
adherencia de A y se denotar por A.

12

TEMA 1: EL ESPACIO RN

Se dice que x es un punto de acumulacin de A si toda bola abierta de centro x contiene puntos de
A distintos de x. El conjunto formado por todos los puntos de acumulacin de A se llama conjunto
derivado de A y se designar por A0 .
Observe que Front(A) = A (RN \ A).
La siguiente proposicin es muy til para determinar la adherencia de un conjunto.
Proposicin 6.13. Para cada conjunto A RN se verifica que A = A A0 .
Demostracin: Sea x A A0 . Si x A, entonces x B(x, r) A para todo r R+ y por tanto
x A, mientras que si x A0 , entonces B(x, r) (A\{x}) 6= para todo r > 0, lo que implica que
B(x, r) A 6= para todo r > 0 y as x A.
Por otra parte, sea x A fijo y sea r R+ arbitrario. Entonces B(x, r) A 6= . Si x
/ A,
entonces x
/ B(x, r) A. Luego tiene que existir un punto z B(x, r) A tal que z 6= x. Por tanto
B(x, r) (A\{x}) 6= y como r era arbitrario, se sigue que x A0 .

En el siguiente resultado caracterizamos la adherencia de un conjunto por medio de los conjuntos
cerrados y a los conjuntos cerrados por medio de la adherencia.
Proposicin 6.14. Sea A un subconjunto de RN . Entonces A es el menor conjunto cerrado que contiene
a A. Como consecuencia se tiene:
(1) A es la interseccin de todos los conjuntos cerrados que contienen a A.
(2) A es cerrado si, y slo si, A = A.
Demostracin: Sabemos que A A por la proposicin 6.13. Como


RN \A = x RN : r > 0 / B(x, r) A =


= x RN : r > 0 / B(x, r) RN \A = Int(RN \A)
es abierto, entonces A es cerrado.
Sea F RN un conjunto cerrado tal que A F. Entonces RN \F es un conjunto abierto tal que
N
R \F RN \A. Como Int(RN \A) es el mayor conjunto abierto contenido en RN \A, se sigue que
RN \F Int(RN \A), pero Int(RN \A) = RN \A, luego A F. Por tanto A es el menor conjunto
cerrado que contiene a A.
(1) Sea B la interseccin de todos los conjuntos cerrados que contienen a A. Como A es un conjunto
cerrado que contiene a A, entonces B A. Por otra parte, como B es un conjunto cerrado que contiene
a A y A es el menor conjunto cerrado que contiene a A, entonces A B. As pues A = B.
(2) Si A es cerrado, entonces A A ya que A es el menor conjunto cerrado que contiene a A y como
siempre A A, se tiene A = A. Recprocamente, si A = A, entonces A es cerrado ya que A lo es. 
Veamos que un conjunto es cerrado si contiene a todos sus puntos de acumulacin.
Proposicin 6.15. Un conjunto A RN es cerrado si, y slo si, A0 A.

TEMA 1: EL ESPACIO RN

13

Demostracin: Si A es cerrado, entonces RN \A es abierto. Sea x A0 y supongamos que x RN \A.

Entonces existe r R+ tal que B(x, r) RN \A de donde B(x, r) (A\{x}) = . Esto nos dice que
x
/ A0 lo que es absurdo. Por tanto, x A.
Recprocamente, si A0 A entonces RN \A RN \A0 . Sea x RN \A. Como x RN \A0 , existir
r > 0 tal que B(x, r) A = de donde B(x, r) RN \A. Luego RN \A es abierto y A es cerrado. 
Sabemos que A0 A, pero un punto de adherencia no es necesariamente un punto de acumulacin.
Puede ocurrir que exista una bola abierta de centro x cuyo nico punto comn con A sea x. Este tipo de
puntos que son adherentes pero no son de acumulacin se llaman puntos aislados.
Definicin 6.16. Sea A un subconjunto de RN . Se dice que un punto a A es un punto aislado de
A si existe algn r > 0 tal que B(a, r) A = {a}. Notaremos por Aisl(A) al conjunto de los puntos
aislados de A.
Observe que A = A0 Aisl(A) y A0 Aisl(A) = .
6.5.

Conjunto acotado y conjunto compacto. I

Definicin 6.17. Se dice que un conjunto A RN es acotado si A es vaco o existe una constante
> 0 tal que kxk para todo x A.
Se dice que un conjunto A RN es compacto si A es cerrado y acotado.
Intuitivamente, un subconjunto de RN est acotado si est contenido en una bola centrada en el origen.
Ejemplos 6.18.
(1) RN no est acotado. Si lo estuviese, existira un > 0 tal que n = kne1 k
para todo n N lo que es imposible.
(2) Toda bola (esfera) de centro a y radio r en RN est acotada. En efecto, como
kxk kx ak + kak < r + kak ,

x B(a, r),

entonces B(a, r) est acotada. De la misma forma se prueba que B(a, r) y S(a, r) estn acotados
y como tambin son cerrados, entonces B(a, r) y S(a, r) son conjuntos compactos.
La idea de acotacin puede extenderse a aplicaciones:
Definicin 6.19. Sea A un subconjunto no vaco de RN . Se dice que una aplicacin f : A RM
est acotada si existe una constante > 0 tal que kf (x)k para todo x A.

7.

S UCESIONES EN RN

Definicin 7.1. Se llama sucesin de elementos de RN a toda aplicacin de N en RN .

Si f : N RN es una sucesin y para cada natural n, notamos xn = f (n), se dice que xn es el
trmino n-simo de la sucesin f. Se suele escribir {xn } para representar a la sucesin f.

TEMA 1: EL ESPACIO RN

14

Dadas dos sucesiones de elementos de RN , {xn } e {yn }, se dice que {yn } es una sucesin parcial
de {xn } si existe una aplicacin : N N estrictamente creciente tal que yn = x(n) para todo
n N.
En general, una sucesin en RN se denota por {xn }nN = {(xn (1), . . . , xn (N ))}nN donde para
cada i {1, . . . , N }, {xn (i)}nN es una sucesin de nmeros reales.
Si : N N es estrictamente creciente, es fcil mostrar por induccin que (n) n para todo n N
[0, lema 2.8].
7.1.

Sucesin convergente. I

Definicin 7.2. Se dice que una sucesin {xn } de puntos de RN es convergente si existe un punto
x RN con la siguiente propiedad:
R+ , m N : n m

kxn xk < .

En tal caso se dice que la sucesin {xn } converge al punto x en RN y escribiremos {xn } x.
Veamos que el punto x al que converge una sucesin convergente es nico:
Proposicin 7.3. Sea {xn } una sucesin convergente de elementos de RN . Entonces existe un nico
punto x RN tal que {xn } converge a x.
El tal punto x recibe el nombre de lmite de la sucesin {xn } y se escribe x = lm xn para indicar
simultneamente que la sucesin {xn } es convergente y que su lmite es x.
Demostracin: Sean x, y RN tales que {xn } converge a x y a y. Sea R+ arbitrario. Entonces

m1 N : n m1 kxn xk < ,
2

m2 N : n m2 kxn yk < .
2
Sea m = m
ax{m1 , m2 }. Si n m, entonces se tiene
kx yk kx xn k + kxn yk < .
Como era arbitrario, resulta kx yk 0 [0, lema 1.36], por tanto, kx yk = 0 y x = y.

Ejemplos 7.4. Para cada x RN , la sucesin constante {xn }, definida por xn = x para todo natural n,
converge a x. En cambio, si x, y RN son distintos, la sucesin {xn } dada por
xn = x

(n = 2k 1, k N),

xn = y

(n = 2k, k N)

no converge.
Veamos que la convergencia de una sucesin se transmite a cualquier sucesin parcial suya.
Proposicin 7.5. Toda sucesin parcial de una sucesin convergente de elementos de RN es convergente
y tiene el mismo lmite.

TEMA 1: EL ESPACIO RN

15

Demostracin: Sea {xn } una sucesin convergente de RN y sea {yn } una sucesin parcial de {xn } .
Entonces existe una aplicacin estrictamente creciente de N en N tal que yn = x(n) para todo n. Sea
x = lm xn . Entonces, dado > 0 arbitrario, existe m N tal que si n m, entonces
kx n xk < .

Si n m, como (n) n para todo n, se tiene (n) m y as kyn xk = x(n) x < lo que
prueba que lm yn = x.

La convergencia en RN equivale a la convergencia por coordenadas.
Proposicin 7.6. Una sucesin {xn }nN de elementos de RN es convergente en RN si, y slo si, cada
sucesin {xn (i)}nN (i = 1, . . . , N ) es convergente en R. Adems, en caso afirmativo,
lm xn = (lm xn (1), . . . , lm xn (N )).
Demostracin: Si {xn } es convergente en RN , existe x = (x(1), . . . , x(N )) RN tal que {xn } x.
Sea > 0. Se tiene:
v
uN
uX
m N : n m kxn xk = t
|xn (i) x(i)|2 < .
i=1

Para cada i {1, . . . , N }, si n m se cumple que |xn (i) x(i)| kxn xk < y por tanto la
sucesin {xn (i)}nN converge a x(i) en R.
Recprocamente, supongamos que cada sucesin {xn (i)}nN (i = 1, . . . , N ) es convergente en R, es
decir para cada i {1, . . . , N } existe x(i) R tal que {xn (i)}nN x(i) en R. Entonces, dado > 0,
para cada i {1, . . . , N } existe mi N tal que
n mi

|xn (i) x(i)| < .

N

Sea m = m
ax{mi : i = 1, . . . , N }. Si n m se tiene que
v
v
uN
uN
uX
uX 2
2
t
= ,
kxn xk =
|xn (i) x(i)| < t
N
i=1

i=1

lo que prueba que {xn } converge a x en RN .

El siguiente resultado refleja la buena avenencia de la convergencia de sucesiones con las operaciones
suma y producto por escalares, y la norma en RN .
Proposicin 7.7. Sean {xn } e {yn } sucesiones de puntos de RN y {n } una sucesin de nmeros reales.
Sean x, y RN y R.
(1) Si {xn } converge a x e {yn } converge a y, entonces {xn + yn } converge a x + y.
(2) Si {n } converge a y {xn } converge a x, entonces {n xn } converge a x.
(3) Si {xn } converge a x, entonces {kxn k} converge a kxk.
Demostracin: Para (1) observe que
k(xn + yn ) (x + y)k kxn xk + kyn yk

(n N).

TEMA 1: EL ESPACIO RN

16

Para (2) tenga en cuenta que

kn xn xk = k(n xn n x) + (n x x)k
kn (xn x)k + k(n )xk
= |n | kxn xk + |n | kxk
kxn xk + |n | kxk
para todo n N, donde = sup {|n | : n N} , que existe porque la sucesin {n } est acotada.
Finalmente, (3) se deduce de la desigualdad: |kxn k kxk| kxn xk para todo n.

El siguiente resultado pone de manifiesto que en RN podemos estudiar cualquier nocin y propiedad
topolgica mediante el uso de sucesiones.
Proposicin 7.8. (caracterizacin secuencial de la adherencia). Sea A un subconjunto de RN y x un
punto de RN . Entonces x A si, y solo si, existe una sucesin {xn } de puntos de A que converge a x.
Demostracin: Supongamos que x A. Entonces para cada natural n, existe un punto xn A tal
que kxn xk < 1/n. De la desigualdad anterior se deduce que la sucesin {xn } converge a x.
Recprocamente, sea {xn } una sucesin en A que converge a x. Dado R+ , existe m N tal que
kxn xk < si n m y por tanto el conjunto B(x, ) A es no vaco. Esto prueba que x A.


Corolario 7.9. (caracterizacin secuencial de los conjuntos cerrados). Un conjunto A RN es cerrado

si, y slo si, toda sucesin convergente de puntos de A tiene su lmite en A.
Demostracin: Si A es cerrado y {xn } es una sucesin en A tal que lm xn = x, entonces, por la
proposicin 7.8, x A y como A es cerrado, x A. Recprocamente, supongamos que A contiene
el lmite de toda sucesin convergente de puntos de A. Sea x A. Por la proposicin 7.8 existe una
sucesin {xn } en A que converge a x. Por hiptesis, x A. Por tanto, A = A y A es cerrado.

Procediendo como en la proposicin 7.8,
Proposicin 7.10. (caracterizacin secuencial de la acumulacin). Sea A RN y x RN . Entonces
x A0 si, y solo si, existe una sucesin {xn } de puntos de A, distintos de x, convergente a x.

7.2.

Sucesin acotada. I

Definicin 7.11. Se dice que una sucesin {xn } de puntos de RN es acotada si existe una constante
> 0 tal que kxn k para todo n N.
La acotacin en RN equivale a la acotacin por coordenadas.

TEMA 1: EL ESPACIO RN

17

Proposicin 7.12. Una sucesin {xn }nN de elementos de RN est acotada en RN si, y slo si, para
cada i {1, . . . , N } la sucesin {xn (i)}nN est acotada en R.
Demostracin: Si {xn }nN est acotada en RN , existe un > 0 tal que kxn k para todo n N.
Para cada i {1, . . . , N } se tiene que
v
uN
uX
|x (i)| t
|x (i)|2 = kx k , n N,
n

i=1

y, por tanto, la sucesin {xn (i)}nN est acotada en R.

Recprocamente, supongamos que para cada i {1, . . . , N }, la sucesin {xn (i)}nN est acotada en
R. Entonces, para cada i {1, . . . , N }, existe un i > 0 tal que |xn (i)| i para todo n N. Se sigue
entonces que
v
v
uN
uN
uX
uX
2
t
kx k =
|x (i)| t
2 , n N
n

i=1

i=1

y por tanto la sucesin {xn }nN est acotada en RN .

Una primera relacin entre las sucesiones acotadas y convergentes de RN es la siguiente

Proposicin 7.13. Toda sucesin convergente de puntos de RN est acotada.
Demostracin: Sea {xn } una sucesin en RN y sea x RN tal que {xn } x. Entonces existe
m N tal que kxn xk < 1 si n m. Luego kxn k < 1 + kxk para todo n m. Sea r =
max {kx1 k , . . . , kxm k} . Tomando = max {1 + kxk , r} se tiene kxn k para todo n N.

En sentido contrario, por ejemplo, {(1)n } es una sucesin acotada y no convergente de nmeros
reales. No obstante, es conocido que toda sucesin acotada de nmeros reales admite una sucesin parcial convergente (teorema de BolzanoWeierstrass en R) [0, teorema 2.26]. Ahora extenderemos este
importante resultado a los espacios eucldeos RN mediante un sencillo argumento de induccin.
Teorema 7.14. (teorema de BolzanoWeierstrass en RN ). Toda sucesin acotada de elementos de RN
admite una sucesin parcial convergente.
Demostracin: Para cada natural N se define la proposicin PN siguiente: Toda sucesin acotada
de elementos de RN admite una sucesin parcial convergente. Claramente, la demostracin consiste en
probar que PN es cierta para todo natural N, lo cual haremos por induccin.
Sabemos que P1 es cierta por el teorema de BolzanoWeierstrass para el caso real. Admitamos que
PN es cierta y demostremos que PN +1 lo es. Sea
{xn } = {(xn (1), . . . , xn (N ), xn (N + 1))}
una sucesin acotada de elementos de RN +1 . Entonces {(xn (1), . . . , xn (N ))} es una sucesin acotada
de elementos de RN . Como PN es cierta, esta ltima sucesin admite una sucesin parcial
{(x1 (n) (1), . . . , x1 (n) (N ))}

TEMA 1: EL ESPACIO RN

18

convergente en RN . Como la sucesin {x1 (n) (N +1)} est acotada y P1 es cierta, {x1 (n) (N +1)} tiene
una parcial convergente {x2 (1 (n)) (N +1)}. Adems, la sucesin {(x2 (1 (n)) (1), . . . , x2 (1 (n)) (N ))}
es convergente. Aplicando la proposicin 7.6, {(x2 (1 (n)) (1), . . . , x2 (1 (n)) (N ), x2 (1 (n)) (N + 1))}
es una sucesin parcial convergente de {xn } y de esta manera, PN +1 es cierta.


Corolario 7.15. (caracterizacin secuencial de los conjuntos acotados). Un conjunto A RN es acotado si, y slo si, toda sucesin de puntos de A tiene una sucesin parcial convergente a un punto de
RN .
Demostracin: Si A es acotado y {xn } es una sucesin en A, entonces {xn } est acotada en RN y,
por el teorema de BolzanoWeierstrass, {xn } tiene una sucesin parcial convergente en RN . Recprocamente, si A no est acotado en RN , entonces para cada natural n existe xn A tal
que kxn k > n.
Sea : N N una aplicacin estrictamente creciente cualquiera. Se sigue que x(n) > (n) n
N
para
todo n. Supongamos que {x(n) } converge a un punto
x R . Entonces existe m N tal que
x(n) x < 1 para todo n m de donde n < x(n) < 1 + kxk para todo n m, una contradiccin. Por tanto {x(n) } no converge en RN .

Combinando los corolarios 7.9 y 7.15 deducimos el siguiente
Corolario 7.16. (caracterizacin secuencial de los conjuntos compactos). Un conjunto A RN es
compacto si, y slo si, toda sucesin de puntos de A tiene una sucesin parcial convergente a un punto
de A.
7.3.

Sucesin de Cauchy. I

Definicin 7.17. Se dice que una sucesin {xn } de puntos de RN es una sucesin de Cauchy si
verifica la siguiente condicin:
R+ , m N : p, q N, p, q m

kxp xq k < .

Como la proposicin 7.18 se prueba que ser una sucesin de Cauchy en RN equivale a ser una sucesin
de Cauchy por coordenadas.
Proposicin 7.18. Una sucesin {xn }nN de elementos de RN es una sucesin de Cauchy en RN si, y
slo si, para cada i {1, . . . , N } la sucesin {xn (i)}nN es de Cauchy en R.
Usando las proposiciones 7.6 y 7.18 y el teorema de completitud de R [0, teorema 2.29] se deduce
que el espacio normado eucldeo RN es completo, es decir, es un espacio de Banach.
Teorema 7.19. (teorema de completitud de RN ). En RN , una sucesin es convergente si, y slo si, es de
Cauchy.