Normas que definen un producto escalar EDILBERTO J. REYES G.* Matemético. Universidad Nacional Boogots. Colombia Generalmente la NORMA de los espacios que se mencionan en los primeros cursos en que se trata este concepto se obtiene de un PRODUCTO ESCALAR en el mismo espacio quedando la sensacién de que siempre es asf, lo que no es cierto, En este articulo divulgativo se dan ejemplos de normas en un espacio X que no se obtienen de ningiin producto escalar en X, y se establecen las condicio- nes necesarias y suficientes para que una norma se obtenga de un tal pro- ducto. Comenzamos por recordar la nocién de producto escalar y la norma inducida por élen el espacio IR* (caso conocido particularmente en R? y R’). En efecto, si_ x = (a, @ ,..., a), ¥ = (by, b: ...., b,) son elementos de |R, el numero real Departamento de Mateméticas, Universidad Industrial de Santander. Bucaramange, Colombia 17Taha abtab+.. + ab, ket Se denomina producto escalar de x por y, que notamos x.y. Para cada x,y,z en IR* y cada real a, este producto tiene las siguientes propiedades bésicas 1. xx>0 xx =0 siysolosi x=0 Qaxy =alxy)=xay 3. xy = yx 4. (xtylz=xzt yz Ademés si se define norma de x notada |[xl| por Wx | = Gcx)'% (x P= xx) Se puede como ejercicio mostrar usando las propiedades mencionadas del producto escalar y la famosa desigualdad de Schwartz* que la funcién que a cada x de R* enviaen || x | efectivamente define una norma en R°. ‘Tomando como bésicas las propiedades del producto escalar en R" genera- lizamos el concepto a cualquier espacio vectorial real**. * La desigualdad de Schwartz puede enunciarse ast: Si a.m, b, son 2n reales cualquiera entonces (Zab) < = an(= ba ket ket et o més brevemente Ixy |< Ix} yl donde a) ¥ = ** En este articulo consideramos solamentes espacios vectoriales reales, Espacio Vectorial Complejo, «x escalarmente y» es un nimer complejo y la condicién P, se cambia por Pi: = (conjugado de ) Se puede verificar que si x,y son nuimeros complejos < xy > = x. define un producto esca- lar en el conjunto de los nimeros complejos. 18Definicién 1 Sea X un espacio vectorial real. Un producto escalar en X es una funcién que a cada par x,y de elementos de X le asigna un unico numero real nota- do 2> do y tal que para cada x,y,z en Xy cada real a, se cumplen las si- guientes propiedades: P, xx>20 =0 siysolosi x Pi:= Py:=a Py: =4+ loleemos «x escalarmente y» o «x interiormente y» expresién que es usada en muchos textos ya que el producto escalr en X también se deno- mina producto interior o producto interno en el espacio vectorial X, para di- ferenciarlo del producto por un escalar (producto externo) que hay en X. Ademés se llama Espacio Euclideo 0 Espacio con producto escalar al par (X,<,>)*donde X es un espacio vectorial y <, >, un producto escalar en X. Mas brevemente se habla del Espacio Euclideo X cuando no hay confusién respecto al producto escalar definido en él. De la definicién se cumplen también las siguientes propiedades vélidas para cada x,y,z en un Espacio Euclideo X y cada real a Piy:=a Pu:=+ Las propiedades P;, P}, P., y P} expresan abusando un poco del lenguaje que el producto escalar en un espacio vectorial real X, es lineal respecto a ambas componentes. Igual que en R” tenemos ahora la siguiente definicién: Definicién 2: Si X es un Espacio Euclideo, para cada x en X. definimos Norma de x por Ixll =()a (xl? = < xx >) 19Con la definicién 2 todo espacio euclideo es también un espacio Normado y por tanto.un espacio métrico. Para verificarlo necesitamos mostrar que la de- sigualdad de Schwartz es valida en cualquier Espacio Eucl{deo. Proposicién 1 (Desigualdad de Schwartz) Si X es un Espacio Euclideo, y |ixil = (< x,x >)? entonces para cada xy en X, se tiene que: I]< [xl lly Ademés la igualdad se cumple si y s6lo si x.y son linealmente dependientes. En efecto, si a es un numero real cualquiera, de las propiedades del pro- ducto escalar se tiene 0< IIx-ayJ? = = [Ix[?-2a< x,y > + a? fly]? es decir lly)? o?-2a + x\?>0 que es una ecuacién de segundo grado en a, no negativa para cualquier valor de a, lo que equivale a decir que su discriminante: seré menor o igual a.cero, o sea (2?-4 [xP ly? <0 6 () <( [xl yl? es decir I< xy >I< [x Ilyll De (1) la igualdad se cumple sf y sélo si x - ay = 0 oes decir si y s6lo si xy son linealmente dependientes. El lector interesado puede ahora s{ verificar las dos proposiciones siguientes: Proposicién 2: Si X es un espacio Euclideo [xl = (< x,x >)" define efectivamente una norma en X y por lo tanto una nocién de distancia en el mismo. 20Proposicién 3: Si X es un espacio Euclideo entonces Ix + yll? + Ilx-yll? = 2 Ilxl? + 2 Ilyll? para cada x,y en X. La ultima igualdad se conoce con el nombre de identidad del Paralelogramo por su interpretacién geométrica en RR? y la proposicién 3 dice que es condi- cién necesaria para que una norma en X se obtenga de un producto escalar © equivalentemente si una norma enun espacio Xno cumple la identidad del paralelogramo no se puede obtener de un producto escalar en X. Consideramos ahora algunos ejemplos: ” Ejemplo 1: Como anotamos al comienzo Si x = (a, a... 3.) y = (bi, bay... by) =z, a,b; , define un producto escalar en R" y de la proposicién 2 Wel = (< xx >) =(Z, i)" define una norma en R° que coincide con la conocida norma Euclidiana del mismo espacio. Ejemplo 2: Con la suma usual entre funciones y el producto usual de un real por una fun- cién el conjunto de todas las funciones continuas de valor real definidas en un intervalo cerrado [a,b] es un espacio vectorial que notamos X. Si f, g son elementos de X » = ft etx) dx 2define un producto escalar en X, de nuevo de la propostcion 2 : in =(y4= ( fierax )” es una norma en X. Ejemplo 3: Usamos ahora la notacién clasica del espacio vectorial real del ejemplo 2. No- tamos C[0,1] al espacio vectorial de las funciones continuas de [0,1] en R con la norma If = max |f(x)| x€ [0.1] Esta norma no se obtiene de ningun producto escalar en dicho espacio ya que si tomamos f(x) = 1, g(x) = x que son elementos de C[0,1] tenemos Wl=1 0 hell =1 Wf+el=2, Wf-gh=1 if + gl? + Iif- el = 5 2 iif? + 2 lle? = 4 es decir que la norma en C[0,1] no satisface la identidad del paralelogramo. Los ejemplos 2 y 3 muestran que en un mismo espacio se pueden definir di- ferentes normas, algunas de las cuales no se obtienen de un producto escalar. EI siguiente ejemplo muestra un numero infinito de normas que tampoco satisfacen la identidad del paralelogramo. Ejemplo 4: Notamos fp (p real, P > 1) al conjunto de todas las sucesiones (x,),cw de miimeros reales tales que la serie ¥ [xn|* converge. tp es un espacio vectorial con las operaciones suma y multiplicacién por un real definidas como sigue: 22Si X = (x)en Y = (yew son elementos de fp y a es un real cualquiera X+ Y= (x, + yi w (definicion suma) a@.X = (ax,), » (multiplicacién por el real a) También fp (p > 1) es un espacio normado con 1 x= (Sm) , ast Para p diferente de 2, la norma en {Pp no se obtiene de ningin producto escalar en el mismo ya que para que son elementos de fp tenemos: WXh=, W¥P=1 WX + Yi = 1X- ¥] = 2" de donde WX + YIP + UX - YIP = 227p = 2147) 24x? + 2q¥I? = 4 es decir para P diferente de 2 tenemos que IX + YIP + [X- YIP es diferentes de 2(IXi? + YIP) Jo que querfamos, Por wltimo mostramos que la condicién necesaria de la proposicin 3 también es condicién suficiente para que la norma se obtenga de un producto escalar con lo que tenemos el siguiente resultado TEOREMA. Si X es un espacio normado entonces X es un espacio Euclideo sf y solo s{ para cada x,y en X Ix+yll? + flx-yll? = 2iixl|? + 2llyll? a 23Demostracién La condicién (1) es necesaria segan la proposicién 3. Como la demostracién de que la condicién dada es suficiente es laboriosa y un poco extensa indicamos a continuacién solamente los pasos fundamenta- les que se deben seguir para lograrla. Para cada x,y en X se define la funcién F por Foxy) = 1/4 (llx-+ylP - flx-yl?) Debe mostrarse que la funcién F satisface las condiciones dadas en la defi- nicién del producto escalar verificando que tiene las siguientes propiedades 1) Fixx) 20 para cada x en X 2) F(x,x) = 0 si y sélosi x =0 3) F(xy) = Fly.x) para cada xy en X 4) Fixtz,y) = Fixy) + Flz,y) para cada x,y,z en X Esta propiedad se demuestra de la definicién de Fy las propiedades de la norma verificando que para cada x,y,z en X la expresin U(x,y.z) = 4 [F(x + z,y)- Fixy) - Fiz.y) ] es idénticamente nula, 5) Flax,y) = F(x,y) para cada x,y en X y cada real a. Esta ultima propiedad se demuestra mediante un proceso constructivo (in- ductivo) usando la propiedad 3) y la definicién de F misma, mostrando su- cesivamente que para cada x,y en X, F satisface: a) F(0,y) =0 b) F(nxy) = n F(x,y) para cada natural n. ©) Flxy) = - Fixy) 4) Finx.y) = n F(x,y) para cada entero n e) Finim x,y) = nim F(xy) para cada par de enteros n, m con m diferente de cero, es decir F(rx,y) = r F(x,y) para cada numero racional r. 24Por tiltimo de la continuidad de F (por definicién de F y la continuidad de la norma) y el hecho de que todo numero real es el mite de una sucesién de nimeros racionales debe verse que f) Flaxy) = a F(xy) para todo real a, con lo que termina la demostracién. 7 Las propiedades 1), 2), 3) y 4f) muestran que F define un producto escalar en el espacio normado X, luego podemos escribir en términos de la norma que = Flay) = 1/4 (ilxtyll? - ey) “ y concluir finalmente que: Toda norma en un espacio vectorial real que satis- face la ley del paralelogramo induce (define) por (*) un producto escalar en el espacio X BIBLIOGRAFIA 1) APOSTOL, T.M. Andlisis Matemitico. Editorial Reverté. 2) KREYSZAG, E. Introductory Funcional Analysis with Applications. Wiley International Editions. 8) KOLMONGOROV, A.N., FOMIN, S.V. Elementos de la Teoria de Funciones y del Antlisis Funcional. Editorial MIR, Mosct. 4) REYES EDILBERTO. Métricas que pueden inducirse por una Norma. Rev Integracién, Vol. 2 No. 1, 1983.Por ultimo de la continuidad de F (por definicién de F y la continuidad de la norma) y el hecho de que todo numero real es el mite de una sucesién de ntmeros racionales debe verse que f) Flaxy) = a F(xy) para todo real a, con lo que termina la demostracién. 7 Las propiedades 1), 2), 3) y 4f) muestran que F define un producto escalar en el espacio normado X, luego podemos escribir en términos de la norma que : = Flay) = 1/4 (ilx+yll? - yl) Od) y concluir finalmente que: Toda norma en un espacio vectorial real que satis- face la ley del paralelogramo induce (define) por (*) un producto escalar en el espacio X BIBLIOGRAFIA 1) APOSTOL, T.M. Anslisis Matemitico. Editorial Reverté. 2) KREYSZAG, E. Introductory Funcional Analysis with Applications. Wiley International Editions. 3) KOLMONGOROV, A.N., FOMIN, S.V. Elementos de la Teoria de Funciones y del Anélisis Funcional. Editorial MIR, Mosct. 4) REYES EDILBERTO. Métricas que pueden inducirse por una Norma. Rev Integracién, Vol. 2 No. 1, 1983.