Introducción
Anteriormente, platicamos acerca de formas bilineales y de formas cuadráticas. Ahora veremos un tipo de formas bilineales especiales: las positivas y las positivas definidas. Las formas positivas definidas nos ayudan a definir qué es un producto interior. Esta es una noción fundamental que más adelante nos ayudará a definir distancias y ángulos.
Formas bilineales positivas y positivas definidas
Para hablar de geometría en espacios vectoriales, la siguiente noción es fundamental. Es importante notar que es una definición únicamente para formas bilineales simétricas.
Definición. Sea una forma bilineal simétrica.
- Diremos que es positiva si para todo vector de .
- Diremos que es positiva definida si para todo vector de .
Tenemos una noción análoga para formas cuadráticas.
Definición. Sea una forma cuadrática con forma polar . Diremos que es positiva si lo es, y diremos que es positiva definida si lo es.
Ejemplo 1. Como ya vimos antes, el producto punto de es una forma bilineal simétrica. También es positiva definida, pues si tenemos , tenemos que y esta es una igualdad si y sólo si , lo cual sucede si y sólo si .
Ejemplo 2. Considera y consideremos la forma bilineal dada por Esta es una forma bilineal simétrica pues Notemos que que no necesariamente es positivo. Por ejemplo, si tomamos el polinomio , tenemos que Así, esta es una forma bilineal simétrica, pero no es positiva (y por lo tanto tampoco es positiva definida).
Problema. Considera la forma cuadrática en que suma el cuadrado de las entradas de la diagonal de una matriz, es decir, aquella dada por Determina su forma polar y si es positiva o positiva definida.
Solución. Para encontrar la forma polar de , usamos la identidad de polarización
Como , tenemos que (y ) son positivas. Sin embargo, no es positiva definida (ni ), pues por ejemplo,
Producto interior
Estamos listos para definir aquellos espacios sobre los que podemos hacer geometría.
Definición. Sea un espacio vectorial sobre
- Un producto interior en es una forma bilineal simétrica y positiva definida.
- Decimos que es un espacio Euclideano si es de dimensión finita y está equipado con un producto interior.
Estamos siguiendo la convención del libro de Titu Andreescu, en donde es importante pedir que sea de dimensión finita para ser Euclideano.
Cuando estamos hablando de espacios con producto interior, o de espacios Euclideanos, tenemos una forma bilineal simétrica y positiva definida . Sin embargo, en vez de usar constantemente , para simplificar la notación usaremos simplemente .
Definición. Si es un espacio con producto interior , definimos la norma de un vector como
Ejemplo. Como dijimos arriba, el producto punto en es una forma bilineal simétrica, así que es un producto interior. Como es de dimensión finita, entonces es un espacio Euclideano.
La norma de un vector está dada por y geométricamente se interpreta como la distancia de al origen.
Un ejemplo más concreto es , en donde la norma del vector es .
La notación de producto interior quizás te recuerde la notación que se usa cuando hablamos de dualidad. Sin embargo, es muy importante que distingas los contextos. En el caso de dualidad, tenemos y en este contexto de producto interior tenemos Más adelante, puede que te encuentres en tu preparación matemática con el teorema de representación de Riesz, a partir del cual tendrá sentido que se use la misma notación.
Desigualdad de Cauchy-Schwarz
A continuación presentamos un resultado fundamental es espacios con formas bilineales positivas y positivas definidas.
Teorema (desigualdad de Cauchy-Schwarz). Sea una forma bilineal simétrica y su forma cuadrática asociada.
- Si es positiva, entonces para todo y en tenemos que Si y son linealmente dependientes, se alcanza la igualdad.
- Además, si es positiva definida y y son linealmente independientes, entonces la desigualdad es estricta.
Demostración. Supongamos primero solamente que es positiva. Consideremos la función dada por . Como es forma cuadrática positiva, tenemos que para todo real . Por otro lado, expandiendo y usando que es simétrica, tenemos que
En esta expresión, , y son reales, así que es un polinomio cuadrático en . Como para todo en , el discriminante de este polinomio es no positivo, en otras palabras,
Sumando y dividiendo entre ambos lados de la desigualdad, obtenemos que la cual es la desigualdad que queremos.
Si y son linealmente dependientes, podemos despejar a uno en términos del otro. Sin perder generalidad, podemos suponer que . En este caso, así que se da la igualdad.
Ahora, supongamos además que es positiva definida y que se da la igualdad. Si esto sucede, el discriminante del polinomio cuadrático de arriba es igual a y por lo tanto el polinomio tiene una raíz . En otras palabras, . Pero como es positiva definida, esto implica que , de donde y son linealmente dependientes. Así, si y son linealmente independientes, tenemos que la desigualdad es estricta.
El siguiente caso particular es uno de los más importantes y los más usados, por lo cual amerita que lo enunciemos separadamente.
Corolario. Sea un espacio vectorial sobre equipado con un producto interior . Para cualesquiera en se cumple .
Puede que te preguntes por qué enfatizamos los resultados de desigualdades. En varias partes de tu formación matemática trabajarás con espacios vectoriales en donde quieres hacer cálculo. Ahí, se define la convergencia y los límites en términos de una norma. Las desigualdades que probemos para espacios vectoriales son útiles para cuando se quiere demostrar la validez de ciertos límites. Más adelante mencionaremos algunas cosas adicionales al respecto.
Más adelante…
En esta entrada definimos el concepto de producto interior y vimos cómo el producto interior induce una norma en el espacio vectorial. El concepto de norma nos permite generalizar la noción de distancia y esto nos permitirá ver cómo se puede hacer cálculo en espacios vectoriales.
En las siguientes entradas veremos cómo se define esta norma para diferentes espacios vectoriales con diferentes productos interiores. Podremos ver entonces cómo se generalizan otras nociones que ya hemos visto en cursos anteriores; como el concepto de ángulo.
Tarea moral
A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.
- Considera la función . Muestra que es una forma cuadrática en . Encuentra su forma polar y determina si es una forma cuadrática positiva y/o positiva definida.
- Muestra que es una forma cuadrática en y determina si es positiva y/o positiva definida.
- Considera el espacio vectorial de funciones continuas en el intervalo . Muestra que define un producto interior en . ¿Es un espacio Euclideano? Determina la norma de la función .
- Sea el espacio vectorial de polinomios con coeficientes reales y de grado a lo más . Muestra que hace a un espacio Euclideano.
Entradas relacionadas
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM»