119
CAPTULO 7
ESPACIOS VECTORIALES EUCLIDIANOS
7.1 INTRODUCCIN
En el captulo 3 calculamos el ngulo entre dos vectores del espacio y obtuvimos que si
( ) , , u a b c = ,
( ) , , v d e f = y u es el ngulo entre u y v, entonces
2 2 2 2 2 2
cos
.
ad be cf
a b c d e f
u
+ +
=
+ + + +
.
Esto nos permiti introducir dos conceptos, el concepto de norma y el concepto de producto
escalar con los cuales la frmula anterior se transform en
,
cos
u v
u v
u = . En este captulo
generalizaremos estos conceptos para espacios vectoriales arbitrarios, introduciendo de esta
forma los conceptos geomtricos de distancia y ngulo.
Un espacio vectorial real enriquecido de esta forma nos brindar un marco terico adecuado
para tratar posteriormente a la geometra mtrica a travs del lgebra lineal.
Definicin
Sea V un espacio vectorial real y , :V V ( ) una funcin.
Decimos que , ( ) es un producto interno definido en V si y slo si cumple:
1) , 0 u u ( ) > , u V e y , 0 u u ( ) =
sii u 0 = .
2) , , u v v u ( ) = ( ) , , u v V e .
3)
, , u v u v ( ) = ( ) , e , , u v V e .
4) , , , u v w u v u w ( + ) = ( ) + ( ) , , , v u w V e .
Un espacio vectorial real en el cual se ha definido un producto interno recibe el nombre de
espacio vectorial euclidiano.
Ejemplos
1) En
n
siendo
1 2
( , , , )
n
u x x x = y
1 2
( , , , )
n
v y y y =
definimos
1 1 2 2
1
,
n
n n i i
i
u v x y x y x y x y
=
( ) = + + + =
.
Ya fue probado en el captulo 3 que ) ( , es un producto interno en
n
llamado producto escalar
o tambin producto interno habitual.
2) En
2
( , ), ( ', ') 2 ' 3 ' x y x y xx yy ( ) = + es tambin un producto interno en
2
como el lector
puede verificar.
120
120
Lo cual nos muestra que en un mismo espacio vectorial es posible definir ms de un producto
interno.
Vayamos ahora al concepto de norma.
Definicin
Sea V un espacio vectorial euclidiano real. Consideramos v V e .
Llamamos norma de v y lo notamos v al nmero real , v v ( ) .
Observemos que con el producto interno habitual
si
2
( , ) v x y = e ,
2 2
, ( , ) v v v x y d O P = ( ) = + = .
A v tambin se le denomina mdulo de v.
Si todo concuerda con lo que sabemos anteriormente debera cumplirse que:
1) 0 v > , v V e
2) 0 v = v 0 =
3) . . v v = , e , v V e
4) u v u v + s + , , u v V e (desigualdad triangular)
Las tres primeras proposiciones se deducen inmediatamente de las definiciones correspondientes.
Centremos la atencin en la 4):
( )
2 2 2 2
, 2 . u v u v u v u v u v u v u v u v + s + + s + ( + + ) s + +
2 2
2 2
, 2 , , 2 . , .
u v
u u u v v v u v u v u v u v ( ) + ( ) + ( ) s + + ( ) s .
Demostremos que esta ltima desigualdad es vlida en cualquier espacio vectorial real.
Teorema (Desigualdad de Cauchy Schwarz)
Sea V un espacio vectorial euclidiano. Entonces , . u v u v ( ) s , , u v V e .
Dem:
Si v 0 = Es inmediato que , . u v u v ( ) s
pues ambos miembros valen cero.
( , ) P x y
O
121
121
Si v 0 = Consideramos : f definida por ( ) , f u v u v = ( + + ) .
Observemos que ( ) 0 f > , e .
Pero ( ) , , , , , , , f u v u v u u v v u v u u u v v u v v = ( + + ) = ( + ) + ( + ) = ( ) + ( ) + ( ) + ( ) =
2 2
, , , , ( ) , 2 , , u u u v v u v v f v v u v u u = ( ) + ( ) + ( ) + ( ) = ( ) + ( ) + ( ) .
Como en este caso v 0 = , tenemos , 0 v v ( ) > y por lo tanto f es una funcin polinmica real de
segundo grado de coeficiente principal positivo.
Teniendo en cuenta que ( ) 0 f > , e , si llamamos A al discriminante se obtiene
| |
2
2 , 4 , , 0 u v v v u u A = ( ) ( )( ) s
2 2
2 2
4 , 4 , , 0 4 , 4 , ,
v u
u v v v u u u v v v u u ( ) ( ) ( ) s ( ) s ( ) ( )
2 2
2
, u v v u ( ) s , . u v u v ( ) s .
Observemos que
2 2 2
2
, . , 4 , 4 , , 0 0 u v u v u v u v u v v v u u ( ) = ( ) = ( ) ( ) ( ) = A = sii
f acepta una raz doble (llammosle
0
). Entonces
( )
0 0 0
0 , 0 f u v u v = ( + + ) =
0 0
u v u v 0 + = = .
Por lo tanto si , . u v u v ( ) = y v 0 = , u y v son colineales.
Tengamos en cuenta que podemos prescindir de la condicin v 0 = .
Proposicin
Sea V un espacio vectorial euclidiano.
Entonces se cumple que:
1) 0 v > , v V e
2) 0 v = v 0 =
3) . . v v = , e , v V e
4) u v u v + s + , , u v V e (desigualdad triangular)
Dem:
4) Como , . u v u v ( ) s , , u v V e , la desigualdad triangular queda demostrada.
122
122
7.2 NGULO ENTRE VECTORES
En
2
y
3
con el producto interno habitual si llamamos u al ngulo determinado por u y v
tenemos que:
,
cos
.
u v
u v
u
( )
= .
Como dijimos al comienzo queremos generalizar la definicin de ngulo entre dos vectores a
cualquier espacio vectorial. Ahora que tenemos definido un producto interno y una norma
podemos hacerlo como sigue:
Definicin
Sea V un espacio vectorial euclidiano y u y v dos vectores no nulos.
Llamamos ngulo determinado por u y v al nmero real u
| |
0,t e tal que
,
cos
.
u v
u v
u
( )
= .
Observemos que si u y v son dos vectores no nulos de un espacio euclidiano V por Cauchy -
Schawarz tenemos que:
,
, . . , . 1 1
.
u v
u v u v u v u v u v
u v
( )
( ) s s ( ) s s s ,
lo cual nos asegura que existe y es nico el real u entre 0 y t cuyo coseno es
,
.
u v
u v
( )
.
Observemos tambin que estamos definiendo el ngulo determinado por dos vectores como un
nmero real.
Definicin
Sea V un espacio vectorial euclidiano, , u v V e .
Decimos que u y v son ortogonales sii , 0 u v ( ) = . Lo notaremos u v .
Observaciones
1) El vector nulo es ortogonal a todos los vectores del espacio.
2) Dos vectores no nulos son ortogonales si y slo si el ngulo determinado por ellos es
2
t
.
3) Si u y v son ortogonales y w es colineal con u entonces w y v son ortogonales.
7.3 BASES ORTONORMALES
Consideremos dos vectores v y w de un espacio vectorial euclidiano V. Si
n
V = con el producto
escalar,
( )
1
, ,
n
v x x = y
( )
1
, ,
n
w y y = sabemos que
1
,
n
i i
i
v w x y
=
=
.
Para que esto coincida con
1
n
i i
i
o |
=
= =
. Intentaremos hallar
1 2
, , ,
k
| | | e
para que
1 k j
w u
+
, j de 1
a k. Igual que antes:
1 1 1 1
1 1
, 0 , 0 , , 0
k k
k j k j k i i j k j i i j
i i
w u w u v u u v u u u | |
+ + + +
= =
( ) = ( ) = ( ) ( ) =
1 1
1
, 0 ,
j
k
k j i i j j k j
i
v u v u
|
| o |
+ +
=
( ) = = ( )
.
125
125
As que
1 1 1
1
,
k
k k k i i
i
w v v u u
+ + +
=
= ( )
es ortogonal a
{ }
1 2
, , ,
k
u u u y tomando
1
1
1
k
k
k
w
u
w
+
+
+
= ,
tenemos que
{ }
1 2 1
, , , ,
k k
u u u u
+
es un conjunto ortonormal.
Reiterando este razonamiento obtenemos una base ortonormal
{ }
1 2
, , ,
n
u u u .
Ejemplo
A partir de
{ } (1,1, 0), (1, 0,1), (0,1,1) B = construyamos por Gram - Schmidt una base
ortonormal de
3
(utilizando el producto interno habitual).
( )
1 1 1
1 1
2 2
1
(1,1, 0)
(1,1, 0) , , 0
2
v
v u
v
= = = = . Entonces
( )
1 1
1
2 2
, , 0 u = .
( ) ( ) ( )
1 1 1 1 1 1
2 2 2 1 1
2 2 2 2 2 2
1
, (1, 0,1) (1, 0,1), , , 0 , , 0 (1, 0,1) , , 0
2
w v v u u = ( ) = =
( )
1 1
2 2
2
2 2 2
6
2
4
, ,1
1 1 2 1 1 1 1 2
, ,1 , ,1 , ,
2 2 2 2 6 6 6 6
w
w u u
w
| | | | | |
= = = = =
| | |
\ . \ . \ .
.
( ) ( ) ( ) ( )
1 1 1 1 1 1 2 1 1 2
3 3 3 1 1 3 2 2
2 2 2 2 6 6 6 6 6 6
, , (0,1,1) (0,1,1), , , 0 , , 0 (0,1,1), , , , , w v v u u v u u
= ( ) ( ) =
( ) ( )
( )
2 2 2
3 3 3 3 1 1 1 1 2
3 3 3
2 2 6 6 6
12
3
9
, ,
1 1 2 2 2
(0,1,1) , , 0 , , , ,
3 3 3 2 6
w
w w u
w
| |
= = = =
|
\ .
3 3
3 2 2 2 3 3 3
, , , ,
2 3 3 3 3 3 3
u u
| |
| |
= =
|
|
|
\ .
\ .
.
Por lo tanto la base ortonormal construida es
1 1 1 1 2 3 3 3
' , , 0 , , , , , ,
3 3 3 2 2 6 6 6
B
| |
| | | |
=
| `
| |
|
\ . \ .
\ . )
.
Ejercicio:
1) Elija una base de
2
.
2) A partir de la base elegida construya por el mtodo de Gram-Schmidt una base
ortonormal de
2
.
126
126
Teorema
1 2
1 2
un espacio vectorial euclidiano de dimensin finita
una base ortonormal de
)
( , , , ) coordenadas de en la base
( , , , ) coordenadas de en la base
n
n
V
B V
H
x x x v B
y y y w B
1 1 2 2
1
) ,
n
n n i i
i
T v w x y x y x y x y
=
( ) = + + + =
En otras palabras, si trabajamos con las coordenadas en una base ortonormal el producto interno
siempre se realiza como el producto interno habitual en
n
.
Ya est probado al comienzo de la seccin.
Proposicin
Sea V un espacio vectorial euclidiano de dimensin finita, S un subespacio de V y
v V e . Entonces v es ortogonal a todo vector de S sii v es ortogonal a una base de S.
Demostracin a cargo del lector.
7.4 COMPLEMENTO ORTOGONAL Y PROYECCIONES
Se considera el plano o de ecuacin 2 3 7 0 x y z + = . Sabemos que podemos pensar o
como
un subespacio de
3
, es decir podemos identificar o con ( ) { }
3
, , : 2 3 7 0 S x y z x y z = e + = .
Sabemos adems que los coeficientes 2,3 y -7 de la ecuacin de o son coordenadas de un vector
u perpendicular a dicho plano y que cualquier otro vector perpendicular a o es mltiplo de u.
Pero podemos caracterizar a los vectores perpendiculares a o como aquellos vectores que son
ortogonales a todos los vectores de S.
En otras palabras el conjunto de los vectores ortogonales a todos los vectores de S es
{ }
3
: , con v v u e = e . Claramente este conjunto es un subespacio al que notaremos S
y
que geomtricamente puede ser pensado como la recta perpendicular a o por el origen.
Es fcil verificar adems que
3
S S
= .
Generalicemos estas ideas a cualquier espacio vectorial euclidiano.
Definicin
Sea V un espacio vectorial euclidiano S un subespacio de V.
Llamamos complemento ortogonal de S al conjunto
{ } : , 0, v V v s s S e ( ) = e y lo notamos S
.
127
127
Proposicin
Sea V un espacio vectorial euclidiano de dimensin finita y S un subespacio de V.
Entonces:
1) S
es un subespacio de V.
2) V S S
= .
Dem:
1) S
es un subespacio sii u v S o |
+ e , , o | e , , u v S
e .
Ahora
0 0
, , , 0 u v s u s v s o | o | ( + ) = ( ) + ( ) = , s S e , , o | e , , u v S
e lo que nos
asegura que u v S o |
+ e , , o | e , , u v S
e . como queramos.
2)
{ } i)
ii)
S S
V S S
S S V
0
=
+ =
.
i) Si v S S
e , v S e y v S
_ y como
{ } S S 0
_ , se tiene
{ } S S 0
= .
ii) S S V
. As se tendr
1 1 2 2 n n
S
v s u u u
e
' = + + + + .
Ahora s S
= =
' ( ) = ( ) = = ( ) ( )
.
Por tanto , 0
i
s u ' ( ) = sii ,
i i
v u = ( ) .
En consecuencia v V e , existen
1
,
n
i i
i
s v u u S
=
= ( ) e
y s v s S
= , v V e existen s S e y s S
' e
nicos, tales que v s s' = + .
Al vector s lo denominamos proyeccin ortogonal de v sobre S (anotamos ( )
S
p v ) y a s'
proyeccin ortogonal de v sobre S
(anotamos ( )
S
p v
).
128
128
Ejemplo
En
3
consideramos
{ }
3
( , , ) : S x y z x y = e = .
1) Probar que S es un subespacio.
2) Hallar S
.
3) Hallar ( )
S
p v y ( )
S
p v
siendo
( ) 3,1, 1 v = .
1) A cargo del lector
2) Comencemos por buscar un generador de S.
Como
{ } { } { }
3
( , , ) : ( , , ) : , (1,1, 0), (0, 0,1) S x y z x y x x z x z L = e = = e = ,
( , , ), (1,1, 0) 0 0
( , , ) y
( , , ), (0, 0,1) 0 0
x y z x y y x
x y z S
x y z z
( ) = + = =
( ) = =
Por lo tanto
{ } { } ( , , 0) : (1, 1, 0) S x x x L
= e = .
3) Para hallar las proyecciones ortogonales de v sobre S y sobre S
(que es de la forma
( , , 0) ).
3 2
(3,1, 1) ( , , ) ( , , 0) 1 1
1 1
o o
o o | o
| |
+ = =
= + = =
= =
En consecuencia
( ) (2, 2,1)
(3,1, 1) (2, 2, 1) (1, 1, 0)
(1, 1, 0)
S
S
S
S
p v
v
p
e
e
=
= = +
=
.
Nota
Si
{ }
1 2
, , ,
p
B u u u =
es una base ortonormal de S entonces las coordenadas de ( )
S
p v
en la
base B son
( )
1 2
, , , , , ,
p
v u v u v u ( ) ( ) ( ) .
Observemos que en el ejercicio anterior no utilizamos esta frmula pues la base obtenida de S no
es una base ortonormal.
129
129
Nota
Nombremos ( )
S
s p v = , ( )
S
s p v
v
s
u
s'
u
130
130
Nota:
El hecho de que V S S
= + .
Ejercicio
Sea V un espacio vectorial euclidiano, , u v V e , u 0 = . Probar que existe un real o tal
que ( ) v u u o . Hallarlo e interpretar geomtricamente en el caso que
2
V = o
3
V = .
Al vector u o lo denominamos proyeccin ortogonal de v sobre u.