February 2019
1 Introduction
Índice
2 Espacios metricos
2.1 Definición y ejemplos
Sea X un conjunto. Una métrica (o distancia) en X es una función d : XxX →
Rque tiene las siguientes tres propiedades:
• d(x, y) = 0 ⇐⇒ x = y
• d(x, y) = d(y, x)para∀x, y ∈ X
• d(x, z) ≤ d(x, y) + d(y, z) ∀x, y, z ∈ X (desigualdad del triángulo.)
Preposición
d(x, y) ≥ 0 para cualesquiera x, y ∈ X. De las propiedades de un espacio métrico
se sigue que:
1
La funcion
d1 (x, y) := |x1 − y1 | + ... + |xn − yn |
. donde x = (x1 , ..., xn ), y = (y1 , ..., yn ) ∈ Rn , es una metrica para el espacio
euclidiano Rn .
Las dos propiedades iniciales son inmediatas y para la tercera se sigue de la
desigualdad del triangulo en R que afirma que, para cada i = 1, ..., n, |xi − zi | ≤
|xi − yi | + |yi − zi |.|xi − zi | ≤ |xi − yi | + |yi − zi |.
Sumando ambos lados de estas desigualdades para i = 1, ..., n obtenemos
d1 (x, z) ≤ d1 (x, y) + d1 (y, z).d1 (x, z) ≤ d1 (x, y) + d1 (y, z). En consecuencia, d1
es una metrica.
La funcion
d∞ (x, y) := max|x1 − y1 |, ..., |xn − yn |
x = (x1 , ..., xn )y = (y1 , ..., yn ) ∈ Rn , una metrica para el espacio euclidiano R .
La demostracion es sencilla y se propone como ejercicio.
Introduciremos ahora metricas analogas en espacios de sucesiones {xk } de
números reales.
Sea L∞ el conjunto de todas las sucesiones acotadas de numeros reales, es
decir, de las sucesiones x = {xk } para las cuales existe c ∈ R (que depende de
x ) tal que |xk | < c|xk | < c para todo k ∈ N .
Definimos d∞ (x, y) := supk≥1 |xk − yk |, x = (xk ), y = (yk ) ∈ L∞
Entonces d∞ toma valores en R y es una metrica en L∞ .
DEM. Sean x = (xk )y = (yk ) sucesiones acotadas, y sean c1 , c2 ∈ R tales
que |xk | < c1 |xk | y |yk | < c2 para todo k ∈ N . De la desigualdad del triangulo
para números reales se sigue que
En consecuencia,
2
converge, si la sucesion {sn } de sumas finitas
n
X
sn := xk
k=1
. Sea L1 el conjunto de las sucesiones {xk } de números reales tales que la serie
∞
X
|xk |
k=1
converge, y sea
∞
X
d1 (x, y) := |xk − yk |, x = (xk ), y = (yk ) ∈ L1.
k=1
para cualesquiera x, y, z ∈ L1
3
2.2 Espacios normados
2.2.1 Definicion
Sea V un espacio vectorial sobre R. Una norma en V es una función ||·|| : V → R
que tiene las siguientes propiedades:
• ||v|| = 0 ⇔ v = 0
• ||λv|| = |λ|||v||∀v ∈ V, λ ∈ R
• ||v + w|| ≤ ||v|| + ||w||∀v, w ∈ V .
Un espacio normado es un espacio vectorial V provisto de una norma || · ||. Lo
denotaremos por (V, ||·||) , o simplemente por V cuando no haga falta especificar
quién es su norma.
Todo espacio normado (V, || · ||)es un espacio métrico con la métrica dada
por d(v, w) := ||v − w||.
Esta métrica se llama la métrica inducida por la norma || · ||.
Todas las métricas consideradas en los ejemplos anteriores están inducidas
por una norma. Veamos otros ejemplos.
Dado x ∈ Rn definimos
n
X
||x||p := ( |xk |p )1/p sip ∈ [1, ∞)
k=1
4
2.2.3 Desigualdad de Hölder en Rn
Sean p, q ∈ (1, ∞) tales que p1 + 1q = 1 . Entonces, para cualesquiera x =
(x1 , . . . , xn )y = (y1 , . . . , yn ) ∈ Rn se cumple que
n n
X X 1 X 1
|xk yk | ≤ ( |xk |p ) p · ( n|yk |q) q ,
k=1 k=1 k=1
es decir,
||xy||1 ≤ ||x||p ||y||q
donde xy := (x1 y1 , . . . , xn yn )
La afirmación es trivial si x = 0 o si y = 0. Supongamos pues que ambos
son distintos de cero. Aplicando la desigualdad de Young a
|xk | |yk |
ak := y bk :=
||x||p ||y||q
obtenemos
|xk yk | |xk |p |yk |q
≤ p +
||x||p ||y||q p||x||p q||y||qq .
Sumando todas estas desigualdades para k = 1, . . . , n, concluimos que
n n n
1 X 1 X 1 X 1 1
( |xk yk |) ≤ p( |xk |p ) + q( |yk |q ) = + = 1.
||x||p ||y||q p||x||p q||y||q p q
k=1 k=1 k=1
5
Análogamente,
n n
X X 1
|yk |(|xk | + |yk |)p−1 ≤ ||y||p ( (|xk | + |yk |)p ) q ,
k=1 k=1
6
converge es un espacio vectorial y
∞
X 1
||(xk )||p := ( |xk |p ) p
k=1
ddisc (x, y) = {0 si x = y, 1 si x 6= y}
es una métrica en X, llamada la métrica discreta. El espacio Xdisc :=
(X, ddisc ) se llama un espacio discreto.
Es sencillo comprobar que en un espacio vectorial no trivial ninguna norma
induce la métrica discreta
7
le dan a C0 [a, b] la estructura de espacio vectorial. Dada f ∈ C0 [a, b] definimos
Z b
1
||f ||p := ( |f (x)|p dx) p sip ∈ [1, ∞),
a
8
2.3.2 Desigualdad de Minkowski para integrales
Sea p ∈ [1, ∞]. Entonces,
9
C0 [a, b] := (C0 [a, b], || · ||∞ ).
Se observa que la distancia ||f − g||∞ entre dos funciones continuas f y g es
pequeña si sus gráficas están cerca la una de la otra, mientras que la distancia
||f −g||1 es pequeña si el área de la región delimitada por sus gráficas es pequeña.
Ası́, dos funciones continuas pueden estar muy cerca según la norma || · ||1 y a
distancia arbitrariamente grande según la norma || · ||∞ , como lo muestra el
siguiente ejemplo.
Sean R > 0 y fk : [0, 1] → R la función dada por
10
y definimos
d∞ (f, g) := supz∈S d(f (z), g(z)).
PREP d∞ es una métrica en B(S, X) . Esta métrica se llama la métrica uni-
forme. DEM. Si f, g ∈ B(S, X), entonces d∞ (f, g) ∈ R. Sean x0 , x1 ∈ X y
c0 , c1 ∈ R tales que
d(f (z), g(z)) ≤ d(f (z), x0 ) + d(x0 , x1 ) + d(x1 , g(z)) ≤ c0 + d(x0 , x1 ) + c1. ∀z ∈ S.
⇔ df (z) = g(z)∀z ∈ S
es decir, d∞ satisface la primera propiedad de norma. La segunda propiedad
para d∞ se sigue de la misma propiedad para d. Sean f, g, h ∈ B(S, X). La
tercera propiedad de metrica de d implica que
d(f (z), g(z)) ≤ d(f (z), h(z)) + d(h(z), g(z)) ≤ d∞ (f, h) + d∞ (h, g)∀z ∈ S.
En consecuencia,
d∞ (f, g) ≤ d∞ (f, h) + d∞ (h, g)
es decir, d∞ satisface la desigualdad del triangulo. Si V es un espacio vectorial,
entonces el conjunto de todas las funciones de S a V es un espacio vectorial con
las operaciones dadas por
11
X. Nota que toda función continua f : [a, b] → R es acotada. En particular,
C 0 [a, b] ⊂ B([a, b], R) . La norma p coincide con la norma inducida en C 0 [a, b]
por la norma uniforme de B([a, b], R) . Por ejemplo si X es un subconjunto de
Rn y p, q ∈ X , el conjunto Tp,q (X) de todas las trayectorias de p a q en X, es
un subconjunto de B([0, 1], Rn . Ası́ que Tp,q (X) resulta ser un espacio métrico
con la métrica inducida por la métrica uniforme de B([0, 1], Rn )
A un subconjunto de un espacio métrico se le pueden dar otras métricas,
distintas de la inducida. Una métrica muy natural sobre la esfera es la sigu-
iente. Sea S n−1 := x ∈ R: ||x|| = 1la esfera unitaria en Rn y x, y ∈ S n−1 .
Consideremos el conjuntoTx,y (S n−1 ) de todas las trayectorias de x a y en S n−1 .
Definimos
d(x, y) := inf L(σ) : σ ∈ Tx,y (S n−1 ),
donde L(σ) es la longitud de la trayectoria σ definida en como la minima trayec-
toria o la trayectoria lineal. Ésta es una métrica en S n−1 , distinta de la métrica
inducida por la métrica usual de Rn .
Sean X = (X, dX ) y Y = (Y, dY ) dos espacios métricos. Una función φ :
X → Y es una isometrı́a si
3 Conclusion
“I always thought something was fundamentally wrong with the universe” [? ]
12
References
13