Professional Documents
Culture Documents
Departamento de Matematica
Elementos de topologa de Rn
1. El espacio euclidiano Rn
Definicion 1.1. Se define el espacio ndimensional sobre el conjunto de los numeros
reales por:
Rn = {x = (x1 , x2 , . . . , xn ) : xi R, i = 1, 2, . . . , n}
x + y = (x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn )
= (x1 + y1 , x2 + y2 , . . . , xn + yn )
x = (x1 , x2 , . . . , xn )
= (x1 , x2 , . . . , xn )
para todos x, y Rn y R.
se escriba como:
L = W + {u0 }
con u0 R3 adecuado.
1
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
1. kxk 0
2. kxk = || kxk
() = hx + y, x + yi
Note que:
() = kxk2 + 2 hx, yi + 2 kyk2
Ahora bien, () 0 es equivalente a que el discriminante de la expresion cuadratica anterior
sea negativa o cero. Es decir:
2
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
W = (x, y, z) R3 : ax + by + cz = 0
u 7 PW (u)
ku PW (u)k = nf {kv wk : w W }
y que:
u PW (u) W
en donde W = v R3 : v w, w W .
3
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
kx + yk kxk + kyk
kx + yk2 = hx + y, x + yi
= kxk2 + 2 hx, yi + kyk2
kxk2 + 2 kxk kyk + kyk2
(kxk + kyk)2
1. d (x, y) 0; d (x, y) = 0 x = y
2. d (x, y) = d (y, x)
Observacion 2.5. Como se sabe, el espacio euclidiano ndimensional tiene una propiedad
sorprendente. A saber, generalizando la nocion de norma euclidiana se puede considerar la
nocion de norma como una funcion mas general N : Rn R que satisfaga:
1. N (x) 0
2. N (x) = || N (x)
3. N (x + y) N (x) + N (y)
A modo de ejemplo, las normas mas comunes en Rn son, a modo de ejemplo:
4
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
Teorema 2.6. Sean N y N1 dos normas cualesquiera sobre Rn . Entonces, existen constantes
, > 0 tales que:
N1 (x) N (x) N1 (x)
para todo x Rn . Es decir, las normas son equivalentes en el sentido que daran origen
a la misma topologa. Consecuentemente, no importa cual norma se considere sobre Rn , el
concepto de lmite sera el mismo.
3. Elementos de topologa de Rn
Observacion 3.1. Recordemos, primeramente, la nocion de lmite para una funcion real
f : R R. Un numero real L es el lmite de f cuando x tiende a a si:
o bien:
> 0, > 0, 0 < d (x, a) < = d (f (x) , L) <
con d (x, y) = |x y|. Varias observaciones pueden hacerse a partir de esta definicion. En
primer lugar, las nociones de distancia unidimensional intrnsecas a la definicion de lmite,
pueden ser traducidas a relaciones con intervalos abiertos. En efecto, notamos que:
y
|f (x) L| < f (x) (L , L + )
f 1 (L , L + ) (a , a + ) r {a}
> 0, > 0,
Definicion 3.1. Sean a Rn y > 0. Llamaremos bola abierta de radio con centro
en a al conjunto definido por:
B (a, ) = {x Rn : kx ak < }
B (a, ) = (a , a + )
Si n = 2 y a = (x0 , y0 ), entonces:
q
2 2 2
B (a, ) = (x, y) R : (x x0 ) + (y y0 ) <
5
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
> 0, B (a, ) U
a U, > 0, B (a, ) U
= kx ak > 0
ky ak = k(y x) + (x a)k
ky xk + kx ak
< + kx ak
= kx ak + kx ak =
As, ky ak < , y por tanto, y B (a, ). Esto implica que, B (x, ) B (a, ). Es decir,
que todo punto x B (a, ) es interior.
Entonces, U es abierto.
1. y Rn son abiertos.
6
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
el cual no es abierto.
Ejemplo 3.7. La bola cerrada con centro en a y radio esta dada por:
B (a, ) = {x Rn : kx ak }
Ejemplo 3.8. N = Z = = .
Ejemplo 3.9. Q = R.
Observacion 3.4. Si U Rn tal que U 0 6= , entonces U es infinito. As, para todo conjunto
finito A Rn , se tiene que A0 = .
7
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
S (a, ) = B (a, )
= {x Rn : kx ak = }
S n1 = B (0, 1)
= {x Rn : kxk = 1}
para todo y A.
B (x, d) AC
Por tanto:
kx yk d
kx yk < d
para todo x X.
Observacion 3.6. Note que la cota anterior es uniforme, es decir: sup kxk : x X M .
8
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
co (K) = {z = tx + (1 t) y Rn : x, y K 0 t 1}
es un conjunto compacto.
Observacion 3.7. El teorema anterior puede verse como una equivalencia del siguiente
resultado: Sea K Rn . Entonces K es compacto si y solo si toda sucesion (xn )
n=1 posee una
subsucesion convergente (xnk )
k=1 que converge a algun punto en K.
Observacion 3.8. Finalmente, veremos la nocion de conexidad. Sin embargo, para motivar
tal definicion, recordemos un teorema importante del calculo diferencial:
Sea f : (a, b) R una funcion diferenciable en (a, b) tal que f 0 (x) = 0, para
todo a < x < b, entonces f es constante en (a, b).
Sin embargo, suponga a < x0 < b y g : D = (a, x0 ) (x0 , b) R una funcion diferenciable
en D tal que f 0 (x) = 0, para cada x D. Podemos asegurar que f tambien es constante?
Claramente no, basta considerar:
(
1 , a < x < x0
g (x) =
1 , x0 < x < b
y notar que g 0 (x) = 0, para cada x D. El hecho de que el dominio de f , es decir, el intervalo
(a, b), sea de una pieza es lo que asegura (en parte) el resultado anterior.
9
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
1. U A 6= V A 6= .
2. (U A) (V A) 6= .
3. (U A) (V A) = A
Teorema 3.6. Sea {A } una familia de conjuntos conexos en Rn con al menos un punto
en comun, entonces:
[
A
es conexo.
Teorema 3.7. Sea A Rn . Entonces, A es conexo, si y solo si, los unicos conjuntos abiertos
y cerrados simultaneamente en A son A y .
10
Universidad Tecnica Federico Santa Mara
Departamento de Matematica
Referencias
[1] Kreyszig, E. Advanced Engineering Mathematics, 9th Ed., John Wiley & Sons Inc., Sin-
gapore, 2006.
[2] Piskunov, N. Calculo Diferencial e Integral, Editorial Limusa S.A. de C.V., Mexico, 2007.
[4] Derrick, W & Grossman, S Ecuaciones diferenciales con aplicaciones, Fondo Educativo
Interamericano, M 21 xico, 1984.
[6] Fern 21 ndez, C. & Rebolledo, R. Ecuaciones diferenciales ordinarias, Ediciones Univer-
sidad Catolica de Chile, Santiago, 1995.
[8] Rocha, J.M. & Villa, G. Calculo infinitesimal de varias variables: vol. 1, I.P.N, Mexico,
2003.
11