Está en la página 1de 7

Pgina 15 1.2 Ejemplos adicionales de espacios mtricos.

A la derecha simplemente tenemos:

Porque pq = p + q; vea (5). Aplicando la ltima suma in (13) en una forma similar podemos obtener:

Conjuntamente,

Al dividir por el ltimo factor a la derecha y nada ms que 1 1/q = 1/, obtenemos (12) con n en vez de . Ahora permitimos que n . A la derecha esto nos brinda como resultado dos p series que convergen debido a que x, y l . En este sentido la serie a la derecha tambin converge, y (12) es provisto.

(d) Desde el (12) se desprende que para la x y la y en lp las series en (2) convergen. (12) que tambin nos proporciona el tringulo desigualado para los nmeros y luego (12), As obtenemos.

Este aspecto complementa la prueba de que lp es un espacio mtrico. Las desigualdades obtenidas de (10) a (12) en esta prueba son de una importancia general como herramienta indispensable en varias teoras y prcticas . Me parece q falta algo pero no tengo la secuencia

Donde y = (i) y i p<. Si solamente tomramos la secuencia real [satisfaciendo (1)], obtenemos el espacio real p, y si nosotros tomamos secuencias complejas [satisfaciendo (1)], obtenemos el espacio complejo p, (Cuando quiera se de una distincin esencia, nosotros podemos indicarla al subscribir o , respectivamente.) En el caso de =2 tenemos la famosa secuencia espacial de Hilbert definida por
2

con la mtrica

Este espacio fue introducido y estudiado por el D. Hilbert (1912) en concordancia con las ecuaciones integrales y los primeros ejemplos de lo que ahora llamamos el Espacio Hilber. (Consideraremos los espacios de Hilber en gran detalle iniciando en el captulo 3)

Probamos que p es un espacio mtrico. Claramente, (2) satisface o cumple (M1) a (M3) proveyendo la serie en las convergencias correctas. Probaremos que realmente converge y que (M4) es satisfecho. Procediendo con los pasos correctos, derivaremos que: (a) Una desigualdad auxiliar. (b) Las desigualdades de Hlder desde (a) (c) Las desigualdades de Minkowski desde (b) (d) La desigualdad del tringulo (M4) desde (c) Los detalles son como siguen: (a) Permitamos que 1 y defina q por

Donde y q son entonces llamados exponentes conjugados. Este es un trmino estndar desde (4) donde

Por lo tanto

Entonces (7) es satisfecho de tal forma que podramos aplicarlo (8). Substituyendo (9) en (8) y multiplicando la resultante desigual por el producto de los denominadores (9), as llegamos a la desigualdad de Hlder por las sumas.

Donde 1 y 1/ + 1/q = 1. Esta desigualdad fue presentada por O. Hlder (1889). Si = 2, entonces q = 2 y (10) produciendo la Desigualdad de Cauchy-Schwarz por las sumas.

Es muy temprano para decir mucho sobre este caso = q = 2 en el cual es igual a su conjugado q, pero quisiramos hacer una breve sealizacin de que este caso jugar un papel en particular en alguno de los captulos posteriores y nos llevar a un espacio (al espacio Hilbert) el cual es ms agradable que los espacios con 2. (c) Ahora podemos probar la Desigualdad Minkowsky por adiciones

Donde x = (1) /p y donde y = (1) /p, y 1. Esta desigualdad fue presentada por H. Minkowski (1896) para adiciones finitas. Para = 1 la desigualdad sigue sin dificultad desde el tringulo desigual para los nmeros. Supongamos que > 1. Para simplificar la formula escribiremos j + j = j. La desigualdad de los tringulos en funcin de los nmeros de

Sumando sobre j desde 1 a cualquier posicin n, obtenemos

Para la primera suma a la derecha, aplicamos la desigualdad Hlder al encontrar

Esto demuestra que x y est limitado por A. ya que la limitacin dada por la expresin de la segunda lnea no depende de t, as podramos tomar el supremo a la izquierda y obtener (M4). El espacio 1.2-3 lp, la secuencia espacial de Hilbert l2, las desigualdades de las sumas de Hlder y Minkowski. Permitamos que p 1 sea un nmero fijo real. Por definicin, cada elemento en el espacio lp es una secuencia x = (i) = (i, 2, ----) de los nmeros de tal forma que l1lp + --converge; de tal forma que

Y la mtrica es definida por

Evidencia. Supongamos que (Xm) se da en cualquiera secuencia Cauchy en el espacio l , donde Sigue una vaina q no entiendo. Desde que la mtrica en .. es dada por.

*donde x = (j) y = (j)] y (xm) es Cauchy, para cualquier 0 donde hay una N para todo m, n N.

A fortiori (Con mayor motivo), para cada fijo j,

De aqu en adelante cada posicin j, la secuencia (j(1), j(2), ) es una secuencia Cauchy de nmeros. Esto converge a travs del teorema 1.4-4, dice, j(m1) j como m . Usando estos mltiples limites infinitos 1, 2 , definimos X = (1, 2, ..) y muestra que x l y Xm x. Desde (2) con n tenemos

Desde que Xm = (j(m)) lm, hay un nmero real km cosa que . Para todos . En adelante para el tringulo desigual.

Esta desigualdad se mantiene para todos f1 y del lado derecho no hay relacin con f. luego se desprende que () es una secuencia de nmeros. Esto implica que .. . tambin, desde (2*) se obtiene.

Esto nos muestra que xm completa.

x. desde aqu (xm) fue una secuencia de Cauchy arbitrario, lm es

1.5-3 la integridad de c. El espacio c consiste de todas las secuencias convergentes x = (j) en base a nmeros complejos, con la mtrica inducida del espacio lm.

1.5 Ejemplos de comprobacin de integridad. El espacio c est completo. Comprobacin. C es un subespacio de lm y mostramos que c est cerca de lm, cosa que la comprobacin es subsiguiente al Teorema 1.4-7. Consideramos que cualquiera x = , el cierre de c. Por 1.4-6(a) hay xn = () c cosa que xm .. De aqu cuando se de cualquier >0, hay un N cosa que para n N y toda la f tenemos

En particular, para n = N y toda f . Desde c, su trmino forma una secuencia convergente. Dicha secuencia es Cauchy. De aqu hay una N1 en tal sentido.

La desigualdad del tringulo ahora se cierne sobre todas .., la siguiente desigualdad.

Esto muestra que la secuencia x = (j) es convergente. De all x. . C. ya que x c fueron arbitrarias, esto prueba acercamiento de c en lm, e integridad de c seguido de 1.4-7.

1.5-4 Integridad de lp Comprobacin. Dejemos que (x) es una secuencia en el espacio de cualquier Cauchy lp, donde xm . Entonces para cada >0 existe un N de igual forma que para todo m, n > N,

Esto sigue para cada f = 1. 2, luego tenemos.

Seleccionamos f. desde (4) vemos que .. es una secuencia de nmeros Cauchy. Esto converge cuando R y C son absolutos

El lector notar que en estos casos (ejemplos 1.5-1 al 1.5-5) obtenemos ayuda de la integrada de la lnea real o de los planos complejos (Teorema 1.4-4). Esto es algo tpico.

Ejemplos. 1.5-1 Integradas de Rn y Cn. Los espacios Euclideo Rn y espacio unitario Cn estn completos. (Cf. 1.1-5.) Comprobacin. Primero debemos considerar R. Recordemos que la mtrica en R (la Mtrica Euclideana) est definida por.

Donde x = (j) y la y = .. (6) en la seccin 1.1. Debemos considerar cada secuencia Cauchy (xm) en Rn, escribiendo xm = desde que (xm) es Cauchy, para cada >0 existe una N de tal forma que

Cuadrando, tenemos para m, r > N y f = 1, , n

Esto nos muestra que por cada f .. la secuencia . Es una secuencia Cauchy de nmeros reales. Lo que converge con el Teorema 1.4-4, que dice, j(m) j como m . Usando n estos lmites de n definimos x = (1, .., n). Claramente, x R . Desde (1), con r ,

Esto muestra que x es el lmite de (xm) y prueba la integridad de Rn ya que (xm) era una secuencia arbitraria de Cauchy. La integridad de Cn es seguida por el Teorema 1.4-4 y por el mismo mtodo de comprobacin.

También podría gustarte