Espacio vectorial unitario (sobre el cuerpo )

Producto Interior: Sea V un espacio vectorial sobre , se llama producto interior o interno en V , a una funcin
2
, : V , que a cada par de vectores de V le hace corresponder un escalar del cuerpo , tal que:
(P1) Simetra: , , a b b a = para todo , a b V .
(P2) Linealidad respecto del primer factor: , , , a b c a b b c = para todo , , a b c V .
(P3) Homogeneidad: , , a b a b = para todo , para todo , a b V .
(P4) Positividad: , 0 , , 0 0 a a a a a _ = = = .
Nota: Tambin simbolizaremos el producto interior a b en lugar de , a b .
Consecuencias:
(1) , , , a b c a b a c = para todo , , a b c V .
(2) , 0 0 a = para todo a V .
(3) , , 2 , , a b a b a a a b b b = para todo , a b V .
Espacio Vectorial Eucldeo: Se llama espacio vectorial eucldeo a todo espacio vectorial donde se ha definido un
producto interior.
Mdulo o longitud de un vector: , a a a =
Al mdulo del vector se lo suele llamar norma de a .
Propiedades:
(L1) x x =
(L2) 0 0 x x = = =
(L3) , x y x y _ (desigualdad de Schwarz)
(L4) x y x y _ (desigualdad triangular)
Vector unitario: Todo vector de longitud uno, se llama vector unitario.
Nota: Sea E un espacio eucldeo y sea a E . El vector
a
a
es unitario.
Angulo de dos vectores:
,
cos
a b
a b
=

A este nmero se le llama medida del ngulo formado por los vectores y a b .
Distancia entre vectores: Se llama distancia entre los vectores y a b a: , ) , d a b a b =
Propiedades:
(D1) , ) , ) , , d a b d b a =
(D2) , ) , ) , 0 , , 0 d a b d a b a b _ = = =
(D3) , ) , ) , ) , , , d a b d a c d c b _
Ortogonalidad: , 0 a b a b = =
Consecuencias:
(1) Si a b entonces b a .
(2) El vector nulo es ortogonal a si mismo y es el nico vector que cumple sta propiedades.
(3) El vector nulo es ortogonal a todo vector del espacio.
Vector ortogonal a un subespacio.
Definicin: Sea E un espacio eucldeo, sean
1
E un subespacio de E y
1
a E . Diremos que a es ortogonal a
1
E s y
solo si a es ortogonal a todo vector de
1
E .
Esto es:
1
, 0 a E a b = = para todo
1
b E
Teorema 20: Para que un vector a de un espacio eucldeo E sea ortogonal a un subespacio
1
E de E es necesario y
suficiente que a sea ortogonal a los vectores de una base de
1
E .
Subespacio ortogonal a otro subespacio.
Definicin: Dos subespacios
1 2
y E E de un espacio vectorial eucldeo E , son ortogonales entre s, s y solo si, todo
vector de uno de ellos es ortogonal a todo vector del otro subespacio.
Es decir:
1 2
, 0 E E a b = = para todo
1
a E , para todo
2
b E .
Teorema 21: Dos subespacios
1 2
y E E de un espacio vectorial eucldeo E , son ortogonales si y solo si los vectores de
una base de uno de ellos es ortogonal a los vectores de una base del otro.
Esto es:
1 2
E E si y solo si
1 2
siendo
1
base de
1
E y
2
base de
2
E .
Definicin: Un conjunto de vectores
1 2
, ,...,
p
v v v se dice ortogonal si para todo par de subndices i j = ,
i
v es
ortogonal a
j
v , es decir, , 0
i j
v v = .
Teorema de independencia en el espacio eucldeo: En todo espacio vectorial eucldeo E , cualquier conjunto ortogonal
de vectores no nulos es linealmente independiente.
Sistema de vectores ortonormales: El sistema
1 2
, ,...,
p
F v v v = de un espacio vectorial eucldeo E se dice ortonormal
si es ortogonal y sus vectores son unitarios.
Es decir: F es ortonormal si ,
i j ij
v v = , con
0 si ortogonales
1 si normales
ij
i j
i j

'
= 1
1
=
!
1 =
1
+
Bases ortonormales: Sea E un espacio vectorial eucldeo, diremos que
1 2
, ,...,
n
e e e = es una base ortonormal de E
si es base de E y adems es un sistema ortonormal.
Proceso de ortogonalizacin de Gram-Schmidt: El proceso de ortogonalizacin de Gram-Schmidt nos permite, dado un
sistema de vectores linealmente independiente, de un espacio vectorial eucldeo, encontrar otro sistema de igual
nmero de vectores ortogonales dos a dos.
Sea E un espacio vectorial eucldeo y sea
1 2
, ,...,
p
F v v v = linealmente independiente, vamos a encontrar

1 2
, ,...,
p
F w w w ' = tal que
i j
w w para i j = .
En general:
1
1 1
2
1
,
m
m i
m m i
i
i
v w
w v w
w

=
=
_
Lema 1: Todo conjunto
1 2
, ,...,
m
x x x de vectores ortogonales y unitarios (ortonormales) de un espacio vectorial
eucldeo E , n - dimensional, es parte de una base ortonormal de E .
Conclusin 1: Todo espacio vectorial E de dimensin finita posee al menos una base ortonormal.
Suplemento ortogonal: Sea
1
E un subespacio vectorial eucldeo E , llamaremos suplemento ortogonal de
1
E , respecto
de E , al conjunto
2
E , formado por todos los vectores de E que son ortogonales a los vectores de
1
E .
Es decir:
2
: , 0 para todo E x E x y y E = =
Teorema 23: Sean
1
E un subespacio del espacio vectorial eucldeo E y
2
: , 0 para todo E x E x y y E = = ,
entonces
2
E es un subespacio de E .
Teorema 24: En un espacio del espacio vectorial eucldeo E , un subespacio
1
E admite un subespacio suplementario y
ortogonal
2
E y slo uno.
Forma fundamental del espacio eucldeo.
Teorema 25: Sean E un espacio vectorial eucldeo y
1 2
, ,...,
p
B e e e una base ortonormal de E . Para todo par de
vectores:
1
n
i i
i
a a e
=
=
_
y
1
n
j j
j
b b e
=
=
_
se tiene que:
1
,
n
k k
k
a b a b
=
=
_
Consecuencia 1: Si a b = entonces
2
1
,
n
i
i
a a a
=
=
_
, luego
2
1
n
i
i
a a
=
=
_
Espacio vectorial unitario (sobre el cuerpo )
Sea ahora, V un espacio vectorial sobre el cuerpo de los complejos . Al analizar las propiedades que caracterizan al
producto interior se puede observar que no se verifican algunas de ellas.
As, la propiedad (P4) , 0 v v _ si , v v = tendra que ser 0 _ y en no est definida la relacin de
orden _.
Vamos a obtener una teora anloga a la anterior para un espacio vectorial sobre los complejos, modificando
convenientemente la axiomtica dada para el producto interior.
Producto interior hermtico: Sea E un espacio vectorial sobre el cuerpo de los nmeros complejos. Se llama producto
interior hermtico a toda funcin que asigna a cada par de vectores de E , un escalar que verifica los siguientes
axiomas:
(h
1
) Simetra hermtica, es decir: , , u v v u = significa conjugado de , v u < .
(h
2
) Carcter definido positivo, es decir: , 0 , , 0 si y solo si 0 u u u u u _ = = .
(h
3
) Linealidad respecto del primer factor, es decir: , , , u v w u w v w =
Observaciones 1:
(1) La propiedad (h
1
) implica que , u v sea real y por lo tanto (h
2
) tiene sentido.
(2) Usando (h
1
) y (h
3
) se prueba que: , , , u v w u v u w = donde , son los conjugados de
y .
Espacio vectorial unitario: Llamaremos espacio vectorial unitario a todo espacio vectorial sobre el cuerpo de los
nmeros complejos, dotado de un producto interior hermtico.
El espacio vectorial eucldeo es un caso particular del espacio vectorial unitario.
En un espacio unitario se definen en forma anloga que en el espacio eucldeo, las nociones de longitud de un vector,
distancia entre vectores, ngulo entre vectores y ortogonalidad.
Forma fundamental del espacio unitario.
Teorema 26: Sean E un espacioi vectorial unitario y
1 2
, ,...,
n
B e e e = una base ortonormal de E . Para todo par de
vectores:
1
n
i i
i
a a e
=
=
_
y
1
n
j j
j
b b e
=
=
_
se tiene que:
1
,
n
k k
k
a b a b
=
=
_
A la expresin
1
,
n
k k
k
a b a b
=
=
_
se le llama forma fundamental del espacio unitario.
Consecuencia 2: Si a b = entonces
1
,
n
k k
k
a a a a
=
=
_
luego
2
1
n
i
i
a a
=
=
_
Aclaracin:
2
i
a es el mdulo del nmero complejo
i i i
a u iv = , con ,
i i
u v , entonces
2 2
i i i
a u v = , donde
2
2 2
i i i
a u v = .