espacios con producto interno
 Lección 4. 
   Espacios Unitarios

Esta lección está dedicada a estudiar los espacios complejos dotados con un producto interno. Las propiedades de estos espacios son similares a las de los espacios euclidianos que consideramos en las Lecciones 1,2 y 3. La diferencia más importante radica en el cambio de la simetría corriente a la simetría de Hermite.

Sea $V$ un espacio vectorial sobre el cuerpo de números complejos $\QTR{bf}{C}$, se dice que $V$ es un espacio unitario si existe en $V$ un producto interno $(\,,\,)$ que asigna a cada par de elementos $u,v\in V$ un número complejo $(u,v)$ de tal forma que se cumplen las siguientes propiedades:

a) MATH

b) $(a.u,v)=a(u,v)$

c) MATH (simetría de Hermite)

d) Si $u\neq0$, entonces $(u,u)>0$

para cualesquiera vectores $u,v\in V$ y cada escalar $a\in\QTR{bf}{C}$.

En los espacios unitarios se tiene que MATH, donde la barra indica conjugación compleja.

Ejemplo 8. El producto interno canónico en $\QTR{bf}{C}^{n}$ se define de la siguiente manera: si MATH entonces MATH

Ejemplo 9. Sea MATH el espacio de las funciones continuas definidas en el intervalo real $[a,b]$ y con valores complejos, es decir, cada función MATH es de la forma MATH, donde MATH En MATH se define el producto interno canónico por MATH.

Ejemplo 10. En el espacio $M_{n}(\QTR{bf}{C)}$ de matrices cuadradas complejas de orden $n\geq 1$ está definido el producto interno canónico dado por MATH donde MATH

La gran mayoría de las propiedades de los espacios euclidianos se mantienen para los espacios unitarios. A continuación presentamos un resumen de las propiedades estudiadas en las lecciones anteriores pero un su versión compleja.

1) $(0,v)=0,$ para cada $v\in V.$

2) $(v,v)=0$ si y sólo si $v=0.$

3) $u=0$ si y sólo si $(u,v)=0$ para cada $v\in V.$

4) Desigualdad de Cauchy-Schwartz: MATH para cualesquiera vectores $u,v\in V.$ Las barras indican el módulo de un complejo. Además, la igualdad se da si y sólo si $u,v$ son LD.

5) Todo espacio unitario es normado.

6) Los conceptos de ortogonalidad y ortonormalidad se definen como en el caso euclidiano.

7) Se cumple el teorema de Pitágoras.

8) La Proposición 2 se cumple.

9) El método de Gram-Schmidt para la construcción de bases ortonormales se mantiene.

10) Los conceptos y propiedades de la Lección anterior se mantienen.

11) Las Proposiciones 3 y 4 toman la siguiente forma:

Sea $V$ un espacio unitario de dimensión finita $n\geq 1$ y sea MATH una base de $V$. Entonces la matriz $A=[a_{ij}]$ definida por MATH se conoce como la matriz del producto interno $(\,,\,)$ y tiene las siguientes propiedades:

a) Si MATH, entonces MATH

b) MATH

c) Para cada matriz columna no nula MATH se cumple que

MATH

d) $A$ es invertible.

e) Si la base $X$ es ortogonal, entonces las coordenadas $b_{1},\ldots,b_{n}$ del vector $u$ en la base $X$ vienen dadas por

MATH

f) Si $X$ es ortonormal, entonces MATH

Con una matriz compleja $A$ que cumpla b) y c) podemos definir un producto interno en un espacio complejo $V$ de dimensión finita mediante MATH, donde MATH son las coordenadas complejas respectivas de los vectores $u$ y $v$ en una base ortonormal $X.$

Para terminar, veamos como se puede definir el ángulo entre dos vectores no nulos $u,v$ de un espacio unitario $V:$ Nótese que MATH, luego MATH (por la desigualdad de Cauchy-Schwartz). Por lo tanto, MATH, es decir, MATH. Se define entonces el ángulo entre $u$ y $v$ como el único real $0\leq\theta\leq\pi$ tal que

MATH

Si usted es un estudiante registrado en nuestra base de datos lo invitamos a realizar las evaluaciones del presente capítulo ingresando por el botón de identificación.

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright