Espacios Metricos
Espacios Metricos
Espacios Metricos
Espacios mtricos
2.1. Denicin de espacio mtrico
Denicin 9 (mtrica). Una mtrica en un conjunto M es una funcin d : M M R, que asocia a cada par de elementos x, y M un nmero real d(x, y) llamado la distancia de x a y y que satisface las siguientes propiedades para cualesquiera x, y, z M: (1) d(x, x) = 0; (2) si x = y, entonces d(x, y) > 0; (3) d(x, y) = d(y, x); (4) d(x, z) d(x, y) + d(y, z) De la (1) y (2) se deduce que la la distancia es no negativa y que d(x, y) = 0 si, y slo si, x = y. La (3) arma que la distancia d(x, y) es una funcin simtrica en las variables x, y. La condicin (4) es llamada desigualdad triangular; su nombre nace por el hecho de que, en el plano euclidiano, la longitud de un lado del tringulo no supera a la suma de los otros dos.
y x z z y d(x,z)<d(x,y)+d(y,z) x d(x,z)<d(x,y)+d(y,z) y z
d(x,z)=d(x,y)+d(y,z)
x
Figura 2.1: Desigualdad triangular en el plano
19
20
Denicin 10 (espacio mtrico). Un espacio mtrico es un par (M, d) donde M es un conjunto y d es una mtrica en M. Diremos simplemente el espacio mtrico M, cuando se sobrentiende cul es la mtrica d que se est considerando. Los elementos de un espacio mtrico pueden ser de diferente naturaleza: nmeros, puntos, vectores, funciones, matrices etc. Pero en general los llamaremos puntos de M. Se comentarn ahora algunos ejemplos de espacios mtricos. Ejemplo 2. La mtrica cero-uno. Todo espacio mtrico M se puede convertir en un espacio mtrico deniendo la mtrica d : M M R por d(x, x) = 0 y d(x, y) = 1 si x = y. Ejemplo 3. El conjunto de los nmeros reales R es un importante ejemplo de espacio mtrico. La distancia entre dos puntos x, y R est dada por d(x, y) = |x y| las propiedades de la denicin 9 son propiedades elementales del valor absoluto. sta es llamada mtrica usual de R. A menos que se especique lo contrario, se considerar sta mtrica cuando se hable de R como espacio mtrico. Ejemplo 4. Este ejemplo generaliza el anterior. Los puntos de Rn son nuplas x = (x1 , . . . , xn ) donde cada una de las n coordenadas xi es un nmero real. Dados x = (x1 , . . . , xn ) y y = (y1 , . . . , yn ), elementos de Rn , existen al menos tres formas de denir la distancia:
n
1/ 2
d(x, y) =
(x1 y1
)2
+ + (xn yn
)2
=
i= 1 n
(xi yi )
|xi yi | y
Las funciones d, d , d : R R R son mtricas. Es bastante claro que ellas cumplen (1),(2) y (3) de la denicin 9. En virtud de las propiedades del valor absoluto, es mas o menos visible que d y d verican (4); tambin d verica (4) y se ver ms adelante como consecuencia del lema 2.1. La mtrica d es llamada mtrica euclidiana en honor a Euclides1
n n
Ejemplo 5. Subespacio; mtrica inducida. Si (M, d) es un espacio mtrico, todo subconjunto S M, se puede considerar, de una forma natural como un espacio mtrico: basta considerar la restriccin de d a S S, es decir, utilizar
1 Euclides (en griego E, Eukleides) fue un matemtico y gemetra griego, que vivi alrededor del 300 a.C. (325 - 265 a. C.). Se le conoce como El Padre de la Geometra.
21
para los elementos de S, la misma distancia que ellos tenan como elementos de M. En este caso, S se llama subespacio de M y la mtrica se dice inducida por la de M. Esta idea simple nos permite obtener una amplia variedad de ejemplos de espacios mtricos, considerando los distintos subconjuntos de una espacio mtrico dado. La mtrica euclidiana d es ms natural para consideraciones geomtricas; sin embargo, d y d son formalmente ms simples en su denicin y ya que son equivalentes en un sentido que se estudiar en el captulo 3, es conveniente considerarlas a pesar de que su signicado geomtrico es un tanto articial. Denicin 11 (funcin acotada). Sea X un conjunto arbitrario. Una funcin real f : X R es llamada acotada si existe una constante K = K(f) > 0 tal que |f(x)| K para todo x X. Ejemplo 6. Un espacio de funciones. Denotamos por B (X; R) al conjunto de las funciones acotadas f : X R. La suma, la diferencia y el producto de funciones acotadas es tambin acotada (de hecho ms adelante veremos que es un espacio vectorial). Para dos elementos f, g de B (X; R) cualesquiera se dene d(f, g) = sup |f(x) g(x)| .
xX
sta es una mtrica llamada mtrica de la convergencia uniforme o mtrica del supremo. En el caso particular en que X es el intervalo [a, b] R. Dadas f, g : [a, b] R acotadas, la distancia d(f, g) es la longitud mxima de los segmentos verticales que unen el grco de g y f. Ms concretamente, en el espacio mtrico B ([0, 1]; R), la distancia de la funcin f(x) = x a la funcin g(x) = x2 es d(f, g) = 1/4.
d(f,g) f g
Figura 2.2: Distancia del supremo Denicin 12 (norma). Sea E un espacio vectorial real o complejo. Una norma en E es una funcin real : E R que asocia a cada vector x E el nmero real x , llamado la norma de x y que satisface las siguientes propiedades para cualesquiera x, y E y un escalar :
x = | | x ; x + y x + y (desigualdad triangular);
Ejemplo 7. Espacios vectoriales normados. Un espacio vectorial normado es un par (E, ) donde E es un espacio vectorial y una norma en E. Se nombrar al espacio vectorial normado por E dejando sobrentendida la norma. Un ejemplo de espacio vectorial normado es Rn , donde se pueden denir las siguientes tres normas para un vector x = (x1 , . . . , xn ):
x =
x2 i; x
|xi | y
= m ax |xi |
No es difcil observar que se satisfacen las propiedades de norma para estas funciones, excepto quiz la desigualdad triangular para la primera, sta se muestra ms adelante en el ejemplo 8. Otro ejemplo de espacio vectorial normado es B (X; R), deniendo f = supxX |f(x)|. Todo espacio vectorial normado (E, ) es un espacio mtrico mediante la denicin d(x, y) = x y . Diremos que esta mtrica es proveniente de o inducida por la norma . Por ejemplo, la mtricas d, d y d en Rn son inducidas por las normas , y respectivamente. As mismo, la mtrica del supremo en B (X : R) es inducida por la norma del supremo denida arriba y se puede escribir f g en lugar de d(f, g). Las propiedades de la mtrica inducida por la norma se deducen a partir de las propiedades de la norma; como ejemplo veamos la desigualdad triangular: dados x, y, z E,
Denicin 13 (producto interno). Sea E un espacio vectorial sobre el campo K (R C). Un producto interno es una funcin , : E E : K, que asocia a cada par ordenado de vectores x, y E el escalar x, y , llamado el producto interno de x por y, y que satisface las siguientes propiedades para x, x , y E y K arbitrarios: (1) x + x , y = x, y + x , y (aditividad en el primer factor); (2) x, y = x, y (homogeneidad en el primer factor); (3) x, y = y, x (simetra conjugada); (4) x = 0 x, x > 0.
23
La barra en la tercera propiedad indica la operacin de conjugacin compleja. En el caso de que E sea un espacio vectorial real (K = R), se omite la barra (de hecho el conjugado de un real puro es el mismo real). As mismo, la propiedad (4) arma adems que independientemente que el espacio vectorial se real o complejo, la expresin x, x es un nmero real no negativo para todo x E. A partir de las tres primeras propiedades se pueden deducir otras:
x, y + y = x, y + x, y
x, y = x, y
0, y = 0
De esta forma vemos que e producto interno es lineal en el primer factor pero no en el segundo (en el caso complejo), en el segundo factor satisface la aditividad y la homogeneidad conjugada, esto se resume en ocasiones diciendo que el producto interno es lineal conjugado en el segundo factor. Ejemplo 8. Espacios vectoriales con producto interno. Sea E un espacio vectorial con producto interno. El producto interno dene una norma mediante x, x . Las primeras dos prola siguiente expresin: para cada x E, x = piedades de la norma son inmediatas a partir de las propiedades del producto interno. La tercera se deduce a partir de la desigualdad de Cauchy-Schwarz. De esta forma cada espacio vectorial con producto interno es tambin un espacio vectorial normado y en consecuencia, es un espacio mtrico. Lema 2.1 (Desigualdad de Cauchy-Schwarz). Sea E un espacio vectorial con producto interno. Para todo x, y E se tiene:
| x, y | x
Prueba: Caso real. Sean x, y E. Notemos primero que si x = 0 se tiene una igualdad obvia. Supongamos que x = 0, haciendo el escalar = 2 x, y / x , se puede verica que si z = yx, entonces z, x = 0. Utilizando ste ltimo hecho y calculando el producto interno de y = z+x por si mismo, 2 2 2 2 2 se obtiene que y = z + 2 x . De aqu se deduce que 2 x y . 2 2 2 2 2 2 Pero 2 x = x, y / x . Luego, x, y x y lo que implica la desigualdad buscada. Caso complejo. Sean x, y E y C. Suponemos que x = 0 y y = 0.
x + y
= x + y, x + y = x, x + x, y + y, x + y, y = x = x = x
2 2 2
+ x, y + x, y + y + x, y + x, y + || + 2Re( x, y ) + ||
2 2 2
2 2
Aqu debemos asumir que x, y son linealmente independientes y as, x + y > 0; luego,
+ 2Re( x, y ) + ||
24
Por simplicidad, denotemos z = x, y ; si z = 0, se tiene obviamente la desigualdad: 0 = z = x, y x y . As que asumimos que z = 0 y hacemos z = t |z | , con t R arbitrario, y se obtiene 0< x
2 2 2
+ 2Re( x, y ) + || + 2Re t zz | z| +
2
2 2
y y
2 2
= x = x
tz |z |
2
+ 2 t |z | + t 2 y
2
= ( y ) t 2 + ( 2 | z |) t + ( x )
La ltima expresin es un polinomio de coecientes reales, en la variable real t y como es positivo para todo t R, no tiene races reales; por lo tanto, su discriminante es negativo, de all que
( 2 |z | ) 2 4 y
Recordando que z = x, y , se tiene
<0
| x, y | < x
| x, y | = | y, y | = || y
= | | y
y = y
y = x
Con esta desigualdad se prueba rpidamente la desigualdad triangular para la norma inducida por el producto interno, en efecto:
x+y
= x + y, x + y = x x x
2 2
+ y
+ 2Re( x, y )
+ y + y
2 2
+ 2 | x, y | + 2 x y = ( x + y )2
2.2.
Bolas y esferas
En un espacio mtrico la nocin de proximidad la proporciona el concepto de bola, ms adelante veremos que en realidad, las bolas son conjuntos bsicos de la topologa. Denicin 14 (bola abierta, bola cerrada y esfera). Sea a un punto de un espacio mtrico M, y r > 0 un nmero real positivo. La bola abierta de centro a y radio r es el conjunto B(a; r) de los puntos de M que estn a distancia menor que r de a, es decir:
25
La bola cerrada de centro a y radio r es el conjunto B[a; r] de los puntos de M que estn a distancia menor o igual a r de a, es decir:
B[a; r] = {x M : d(x, a) r}
La esfera de centro a y radio r es el conjunto S(a; r) de los puntos de M que estn a distancia r de a, es decir:
S(a; r) = {x M : d(x, a) = r}
Si X es un subespacio del espacio mtrico M, cada bola y esfera relativa al subespacio, es la interseccin de la bola o esfera en M con X. Como notacin, utilizaremos la letra que designa el subespacio como un subndice:
BX (a; r) = B(x; r) X;
BX [a; r] = B[a; r] X;
SX (a; r) = S(a; r) X
An cuando estos nombres son motivados por ese tipo de conjuntos en R3 , es conveniente resaltar que, dependiendo del espacio en estudio junto a su mtrica, las bolas pueden tomar formas inesperadas. Ejemplo 9. Sea M dotado de la mtrica cero-uno (ejemplo 2), entonces para todo a M, se tiene que B(a; r) = B[a; r] = M para todo r > 1 y B(a; r) = B[a; r] = {a} si r < 1. As mismo, B(a; 1) = {a} y B[a; 1] = M. Finalmente, S(a; r) = si r = 1 y S(a; 1) = M \ {a}. Ejemplo 10 (bolas en R). En R con la mtrica usual, la bola abierta de centro a y radio r > 0 es el intervalo abierto (a r, a + r), ya que la proposicin |x a| < r es equivalente a a r < x < a + r. Anlogamente, la bola cerrada B[a; r] es el intervalo cerrado [a r, a + r], mientras que la esfera S(a; r) consta slo de los puntos a r y a + r. Ejemplo 11. Una bola abierta B(a; r) en R2 con la mtrica euclidiana es la parte interna de un crculo de centro a y radio r, pero con la mtrica del mximo (ver ejemplo 4), es la parte interna de un cuadrado de centro en a y lados de longitud 2r paralelos a los ejes. Y con la mtrica de la suma es la parte interior de un cuadrado de centro en a con diagonales paralelas a los ejes y de longitud 2r.
26
Ejemplo 12. Sea f una funcin del espacio B ([a, b], R) (ver ejemplo 6). La condicin para que una funcin acotada g : [a, b] R pertenezca a la bola abierta B(f; r) es que g f = supx[a,b] |g(x) f(x)| < r; grcamente se puede interpretar esa condicin considerando una banda o faja de amplitud 2r alrededor del grco de f formada por los puntos (x, y) del plano R2 tales que x [a, b] y f(x) r < y < f(x) + r como se muestra en la siguiente gura
g f r
Figura 2.4: Bolas abiertas en B ([a, b], R). Las funciones g pertenecientes a la bola abierta B(f; r) son todas aquellas funciones acotadas denidas en [a, b] cuyo grco esta contenido en la faja alrededor de f (y que el supremo de |g(x) f(x)| sea menor que r). Note que no es suciente que el grco de g est en la faja alrededor de f, por ejemplo si f : [0, 1] R es la funcin nula (f 0) y g : [a, b] R es la funcin g(x) = rx si 0 x < 1 y g(1) = 0, el grco de g est contenido en una faja alrededor de f de amplitud 2r, pero g f = supx[a,b] |g(x) f(x)| = r y por tanto g / B(f; r). Ejemplo 13. Si M1 , . . . , Mn son espacios mtricos, el producto cartesiano M = M1 Mn es un espacio mtrico deniendo la mtrica por d(x, y) = m ax1in d(xi , yi ). Con esta mtrica las bolas como en R2 (ver ejemplo 11) resultan ser productos cartesianos de bolas en los factores Mi :
27
Ejemplo 14. Sea Z = {. . . , 2, 1, 0, 1, 2, . . . } el conjunto de los nmeros enteros con la mtrica inducida por la mtrica usual en R. Todo punto en Z es aislado ya que para r = 1, si x est en B(n; 1), entonces n 1 < x < n + 1 por tanto, x = n. Con la misma mtrica inducida por la mtrica usual en R, consideremos el conjunto P = {0, 1, 3, . . . , 1/n, . . . }. En este conjunto, el 0 no es aislado en P. En efecto, para cualquier r > 0 existe un nmero natural n tal que nr > 1 (propiedad arquimediana lema 1.21). Entonces 0 < 1/n < r, en consecuencia, 1/n pertenece a la bola B(0; r) y es diferente de su centro. Sin embargo, cualquier otro punto en P es aislado; en efecto, para un punto 1/n de P el punto ms cercano en este conjunto es 1/(n + 1) con distancia 1/n(n + 1) y si se toma r tal que 0 < r < 1/n(n + 1), la bola abierta B(1/n; r) contiene un slo a 1/n. De hecho, en el conjunto P = {1, 1/2, . . . , 1/n, . . . }, todo punto es aislado. Ejemplo 15. En un espacio vectorial normado no trivial, ningn punto es aislado. En efecto, dados a E y r > 0, la bola B(a; r) contiene vectores distintos de a. Tomemos un vector y = 0 y hacemos z = 2 r y y, que es un vector no nulo de norma r/2. Entonces, el vector x = a + z es tal que 0 < x a < r, como se quera demostrar. Denicin 16 (espacio discreto). Un espacio mtrico M se llama discreto cuando todo punto de M es aislado. Un conjunto A de un espacio mtrico se dice que es discreto si como subespacio es un espacio discreto. Por ejemplo, un espacio con la mtrica cero-uno es discreto. As mismo, como se vio en el ejemplo 14, Z, y P = P \ {0} son discretos. Proposicin 2.2. Dados dos puntos a = b de un espacio mtrico M, si r > 0 y s > 0 son tales que r + s d(a, b), entonces las bolas B(a; r) y B(b; s) son disjuntas.
Figura 2.5: Propiedad de separacin de puntos en un espacio mtrico. Prueba: Si existe algn punto x en la interseccin B(a; r) B(b; s), entonces, d(a, x) < r y d(x, b) < s por lo tanto,
28
Denicin 17 (conjunto acotado). Un conjunto A de un espacio mtrico M se dice acotado si existe una constante K > 0 tal que para todo x, y A, se tiene que d(x, y) K. Denicin 18 (dimetro). Si A es un conjunto acotado de un espacio mtrico M se dene el dimetro de A por: diam(A) = sup {d(x, y) : x, y A} Si A es un conjunto no acotado, se escribe diam(A) = para indicar que para todo K > 0, existen elementos xK , yK e A tales que d(xK , yK ) > K. Ejemplo 16. Toda bola en un espacio mtrico es un conjunto acotado y su dimetro es menor o igual al doble de su radio (puede ser menor estricto). En efecto, para x, y elementos cualesquiera de B(a; r), se tiene que d(x, y) d(x, a) + d(a, y) < r + r = 2r. En Z con la mtrica inducida por R, para cada a Z la bola B(a; 1) = {a} tiene dimetro 0. Ejemplo 17. Sin embargo, en un espacio vectorial normado no trivial, toda bola abierta de radio r tiene dimetro igual a 2r. Ya hemos visto que el dimetro es menor o igual a 2r, veamos que si c es tal que 0 < c < 2r, c no es dimetro de la bola. Efectivamente, como se trata de un espacio vectorial normado, podemos considerar un vector no nulo y, con l construimos el vector x = t |y y| donde t es un nmero real tal que c < 2t < 2r; x tiene norma t (que es menor que r), en consecuencia, los vectores a x y a + x pertenecen a B(a; r) y la distancia entre ellos es: (a x) (a + x) = 2 x = 2t > c. Luego, el dimetro de B(a; r) es mayor o igual a 2r. De las dos desigualdades se tiene, que diam(B(a; r)) = 2r. Ejemplo 18. Existen ejemplos de espacios mtricos acotados. Bastara considerar en un espacio mtrico un subconjunto acotado y estudiarlo como espacio mtrico con la mtrica inducida. Ahora bien, un espacio vectorial normado no trivial nunca es acotado, en efecto, si V = 0 es un vector en un espacio vectorial normado E, para cualquier c > 0, el vector x = c |v v| tiene norma c y la distancia entre ste vector y 0 es v 0 = v = c; luego, el conjunto de distancias entre elementos de E no est acotado superiormente.
Ejemplo 19. La unin de dos conjuntos acotados es acotada. Sean A, B subconjuntos acotados de un espacio mtrico M, si alguno fuese vaco el resultado sera directo. As, jamos a A y b B; para un par de elementos x, y de la unin A B tenemos tres posibilidades: (1) x A, y B, (2) x, y A y (3) x, y B. En el primer caso tenemos:
29
en el segundo y tercer caso d(x, y) diam(A) + d(a, b) + diam(B). Luego, diam(A) + d(a, b) + diam(B) es una cota superior del conjunto de distancias entre elementos de A B. Denicin 19 (funcin acotada). Una funcin f : X M denida en un conjunto X y a valores en un espacio mtrico M, se dice que es acotada si su rango o imagen f(X) es un conjunto acotado en M. Ejemplo 20. La funcin f : R R, denida por f(x) = 1+1x2 es acotada ya que su rango es el intervalo (0, 1]. Mientras que g : R R dada por g(x) = x2 , no es acotada ya que su rango es g(R) = [0, +). Ejemplo 21. Veamos ahora un contexto ms general del ejemplo 6. Sea X un conjunto arbitrario y M un espacio mtrico. Denotemos por B (X; M) el conjunto de las funciones acotadas f : X M. Para dos funciones f, g pertenecientes a B (X; M), el conjunto de distancias d(f(x), g(x)) cuando x recorre todo X, es un conjunto acotado de M, ya que, tanto el rango de f como el de g son conjuntos acotados y en consecuencia, es acotado el conjunto f(X) g(X) M. De esta forma es vlido denir la distancia entre las funciones f, g : X M por: d(f, g) = sup d(f(x), g(x)).
xX
sta mtrica en B (X; M) se le llama mtrica del supremo mtrica de la convergencia uniforme En el caso particular en que el espacio de llegada es adems un espacio vectorial normado E, es posible denir la suma y la multiplicacin por escalar de funciones acotadas que son operaciones cerradas; se verica en esta situacin que B (X; E) es un espacio vectorial normado, la mtrica del supremo proviene de la norma del supremo: f = supxX |f(x)|.
2.3.
Generalizando lo que signica en el plano R2 la distancia de un punto a a una recta, denida como la distancia de a a x0 el pi de la perpendicular a la recta, que a su vez es el punto de la recta mas cercano a a. Entonces, se puede escribir
d(a, X) := nf d(a, x)
xX
30
El conjunto de distancias de arriba est acotado inferiormente por 0, por lo tanto, existe el nmo. Por una caracterizacin de nmo para probar que un nmero real d es la distancia de a a X, se deben vericar dos cosas: primero, que d es cota inferior de ese conjunto, es decir, d d(a, x) para todo x X; segundo: que si d < c, entonces existe un elemento xc X tal que d d(a, xc ) < c. Ejemplo 22. Si X = {x1 , x2 , . . . , xn } es un conjunto nito, entonces la distancia d(a, X) es el menor de los nmeros: d(a, x1 ), . . . , d(a, xn ). Ejemplo 23. Si un punto p pertenece al conjunto X, entonces d(p, X) = 0; pero pueden existir puntos del espacio mtrico, cuya distancia a un conjunto es cero sin que pertenezca al conjunto. Por ejemplo, para el intervalo abierto X = (a, b) se tiene que d(a, X) = d(b, X) = 0. En un espacio vectorial normado E, sea B = B(a; r) la bola de centro a y radio r > 0. para un elemento v E, se verica que d(v, B) = 0 si, y slo si, v pertenece a la bola cerrada B[a; r]. En efecto, primero probemos el contrarecproco del sentido directo. Sea z un vector no perteneciente a la bola cerrada B[a; r], entonces, d(z, B) > r, en particular, z a > r. Para un elemento arbitrario x de B, tenemos que x a < r, por lo tanto, 0 < z a r < z a x a < (z a) (x a) = z x luego, z a r es cota inferior de las distancias de z a elementos de B, es decir, d(z, B) > 0. Recprocamente, si v B[a; r], entonces v a r. Hay dos posibilidades: primero que v a < r en cuyo caso v B y d(v, B) = 0; segundo que v a v a v a = r. En esta caso consideramos el vector unitario u = v a = r . Dado > 0, tomamos el escalar > 0 (real) tal que r < < r que equivale a 0 < r < . En este orden de ideas, construimos el vector y = a + u y obtenemos que d(y, a) = y a = < r, es decir y B; por otra parte,
d(y, v) = v y = v a u = r u u = r <
En conclusin, dado > 0, existe y en B a distancia menor que de v; lo que implica que d(v, B) = 0. Proposicin 2.3. Sea M un espacio mtrico. Dados a, b M y un subconjunto no vaco X de M, X M, se verica:
para todo x X.
2.4. ISOMETRAS
Luego, d(a, X) d(a, b) d(b, X), equivalentemente,
31
d(X, Y ) = nf {d(x, y) : x X, y Y }.
Ntese que si X Y = , entonces d(X, Y ) = 0, pero el recproco es falso: si X = (, 0) y Y = (0, +) se tiene que X Y = pero d(X, Y ) = 0.
2.4.
Isometras
En esta seccin se estudiarn algunos aspectos relacionados con funciones que preservan distancias denidas entre dos espacios mtricos. Denicin 22 (inmersin isomtrica). Sean M, N espacios mtricos. Una funcin f : M N se llama inmersin isomtrica si para todo x, y M, se verica d(f(x), f(y)) = d(x, y). Otra forma de referirse a estas funciones es llamarlas embebimiento isomtrico, tambin se dice que son funciones que preservan distancias. En el caso de transformaciones lineales de un espacio vectorial en s mismo, se les llama movimientos rgidos. Una inmersin isomtrica f : M N siempre es inyectiva, pues si f(x) = f(y), entonces d(x, y) = d(f(x), f(y)) = 0 lo que implica que x = y. Denicin 23 (isometra). Una isometra es una inmersin isomtrica sobreyectiva. La compuesta de dos isomeras y la inversa de una isomera son tambin isometras. Consideremos una funcin inyectiva f : X M, donde X es un conjunto y M un espacio mtrico. Haciendo d (x, y) = d(f(x), f(y)) se dene una mtrica en X que es llamada mtrica inducida por f. sta es la nica mtrica en X que convierte a f en una inmersin isomtrica.
32
Ejemplo 24. Sea Rn con la mtrica inducida por alguna norma cualquiera. Tomando a, u Rn siendo u un vector unitario ( u = 1). La funcin f : R Rn denida por f(t) = a + t u es una inmersin isomtrica entre R y Rn . En efecto, para s, t R, se tiene d(f(s), f(t)) = f(s) f(t) = (s t) u = |s t| = d(s, t). Fijando a Rn , la aplicacin g : Rn Rn denida por g(x) = x + a es una isometra. Tambin h : Rn Rn denida por h(x) = x es una isometra. Nos referiremos al siguiente ejemplo cuando estudiemos el tema de la completitud de un espacio mtrico. Ejemplo 25. Mostraremos que un espacio mtrico M = (M, d) puede ser inmerso isomtricamente en el espacio vectorial normado E = B (M; R). En una primera instancia supondremos que M sea acotado. Entonces denimos una funcin : M B (M; R) asignando, a cada x M, (x) = dx donde dx : M R es la funcin distancia al punto x, es decir, dx (y) = d(x, y) para todo y M. Siendo M un espacio acotado, dx es una funcin acotada, de modo que toma valores en B (M; R). La funcin preserva distancias ya que, por el corolario 2.4, para x, x en M arbitrarios tenemos |dx (y) dx (y)| d(x, x ). Luego,
En particular, para y = x , se obtiene que |dx (y) dx (y)| = d(x, x ) (es cota superior y elemento del conjunto), por tanto,
d((x), (x )) = dx dx = d(x, x )
lo que muestra que es una inmersin isomtrica de M en B (M; R). En el caso en que M no sea acotado, jamos un punto a M y denimos la aplicacin : M B (M; R) por (x) = dx da . Por el mismo argumento de arriba, se tiene que (x) = dx dx d(a, x), lo que arma que (x) es una funcin acotada (la imagen de pertenece a B (M; R)). Adems,