Unidad 3: Espacios Vectoriales Eucldeo y Unitario

Espacio Vectorial Eucldeo (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: 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 .
Demostracin:
Sea
1
E un subespacio de E y a E tal que
1
a E , (pues, si
1
a E entonces 0 a = por consecuencia 2).
, ) = Sea
1
a E y probemos que a B , siendo {
1 2
, ,...,
n
B b b b = base de
1
E .
Como
1
a E , entonces es ortogonal a todo vector de
1
E , en particular ser ortogonal a los vectores de
1
B E _ .
, ) = Sea a B y probemos que
1
a E .
Como a B , por definicin de ortogonalidad , 0
i
a b = para todo 1, 2,..., i n = (1)
Sea
1
x E entonces
1
n
i i
i
x b
=
=
_
, luego
1
1
, ,
, 0 de (1)
n
i i
i
n
i i
i
a x a b
a b

=
=
=
= =
_
_

Subespacio ortogonal a otro subespacio: 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 .
Conjunto ortogonal: 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.
Demostracin:
Sea {
1 2
, ,...,
p
F v v v = con 0
i
v = para todo 1, 2,..., i n = y tales que , 0
i j
v v = si i j = (1)
Probemos que F es linealmente independiente.
Dada una combinacin lineal de los vectores de F igualada al vector nulo
1
0
n
i i
i
v
=
=
_
(2)
Si hacemos el producto interior de (2) con
1
v (por la unicidad de la funcin producto interior) tenemos
1 1
1
, , 0 0
n
i i
i
v v v
=
= =
_
(3)
1 1 1 3 3
1 1
1 1 1 2 2 1 1
1 1 1
, , [ , , ]
, , ... ,
, (4) [(1)]
n n
i i i i
i i
n n
v v v v P P P
v v v v v v
v v

= =
=
=
=
_ _
De (3), (4) y transitiva de la relacin de igualdad
1 1
, 0 v v =
Como
1
0 v = , por
4
P y la propiedad sin divisores de cero de los , obtenemos
1
0 = .
Haciendo el producto interior en (2) sucesivamente con
2
,...,
p
v v se llegar a que
2
... 0
p
= = = y por lo tanto F
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 = .
Para ello, consideremos:
1 1
w v = , luego
1
0 w = pues
1
0 v = por pertenecer a un sistema linealmente independiente.
Podemos encontrar
2
0 w = tal que:
2 1 2
v w w = (1) siendo
1 2
w w
2 2 1
w v w = (2)
Ahora bien, si a (1) se lo multiplica por
1
w (unicidad de la funcin producto interior), tendremos:
2 1 1 2 1
1 1 2 1 2 1
1 1 1
, ,
, , con , 0
, como 0
v w w w w
w w w w w w
w w w

=
= =
= =
2 1 2 1
2
1 1
1
, ,
,
v w v w
w w
w
= =
Reemplazando el valor de en (2), obtenemos:
2 1
2 2 1
2
1
, v w
w v w
w
=
En la misma forma podemos encontrar
3
0 w = tal que
3 1 1 2 2 3
v w w w = (3) donde
1 2
w w ,
2 3
w w
3 3 1 1 2 2
w v w w = (4)
Multiplicando a (3) por
1
w :
3 1 1 1 2 2 3 1
1 1 1 2 2 1 3 1
, ,
, , ,
v w w w w w
w w w w w w


=
=
con
2 1 2 3
, , 0 w w w w = = ,
3 1 1 1 1
, , 0 0 v w w w = como
1
0 w = por pertenecer a un conjunto L.I.
2
w
2
v
1
w
1
w
3
w
3
v
3
w
1
w
1 1
w
2 2
w
3 1 3 2
1
2
1 1
1
, ,
,
v w v w
w w
w
= = (5)
Multiplicando a (3) por
2
w , tenemos:
3 2 2 2 2
, 0 , 0 v w w w = de donde
3 2 3 2
2
2
2 2
2
, ,
,
v w v w
w w
w
= = (6)
Reemplazando (5) y (6) en (4)
3 1 3 2
3 3 1 2
2 2
1 2
, , v w v w
w v w w
w w
=
As siguiendo:
1 1
1 1
2 2
1 1
, ,
...
p p p
p p p
p
v w v w
w v w w
w w

=
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
=
=
_
(forma fundamental del espacio eucldeo)
Demostracin:
1 1
1 1
, ,
,
n n
i i j j
i j
n n
i j i j
i j
n
k k
k
a b a e b e
a b e e
a b
= =
= =
=
=
=
_ _
_ _
_
Esta ltima igualdad se debe a que: ,
i j ij
e e = .
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 espacio 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 = .