PROPIEDADES
Un espacio vectorial complejo V se denomina espacio con producto interno si
para cada par ordenado de vectores u y v en V, existe un numero complejo nico
(u,v), denominado producto interno de u y v, tal que si u, v y w estn en V y C,
entonces
Nota 1. Aqu se usa la doble barra en lugar de una sola para evitar confusin con
el valor absoluto. Por ejemplo sen t denota la norma de sen t como un vector
en C[0, 2] mientras que |sen t| denota el valor absoluto de la funcin sen t.
Nota 2. La ecuacin anterior tiene sentido ya que (u, u)0.
EJEMPLO: dos vectores ortogonales en C2
En
C2
los
vectores
(3,-i)
y
(2,6i)
son
ortogonales
porque
Conjunto ortonormal
El conjunto de vectores
es un conjunto ortonormal en V si
y
Si solo el primero se cumple, se dice que el conjunto es ortonormal.
TEOREMA: cualquier conjunto finito de vectores ortonormales diferentes de cero
en un espacio con producto interno es linealmente independiente.
TEOREMA: cualquier conjunto finito linealmente independiente en un espacio con
producto interno se puede convertir en un conjunto ortonormal mediante el
proceso de Gram-Schmidt. En particular, cualquier espacio con producto interno
tiene una base ortonormal.
Proyeccin ortogonal
Sea H un subespacio del espacio con producto interno V con base ortonormal
Si vV, entonces la proyeccin ortonormal de v sobre H denotada por proy Hv esta
dada por (6)
Las demostraciones de los siguientes teoremas son idnticas a sus contrapartes
en Rn.
Sea
vV.
entonces
Complemento ortogonal
Sea H un subespacio del espacio con producto interno V. entonces el
complemento ortogonal de H, denotado por H, esta dado por (7)