Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE CIENCIAS
FÍSICAS Y MATEMÁTICAS
UNIVERSIDAD DE CHILE Ingenierı́a Matemática
Álgebra Lineal 07-2 Universidad de Chile
SEMANA 12: ORTOGONALIDAD
6. Ortogonalidad
6.1. Conjuntos ortogonales y ortonormales
Recordemos que la proyección de u sobre v 6= 0 está definida por w = hu,vi
hv,vi v. Este vector w
es “el que está más cerca” de u en el espacio h{v}i. Es decir mı́n ku − λvk = ku − wk.
λ∈ R
Notaremos por u⊥v si hu, vi = 0, es decir si u y v son ortogonales. u⊥v
Pero dado que el conjunto es ortogonal, luego hvi , vj i = 0 para i 6= j, de manera que
2
αj hvj , vj i = αj kvj k = 0.
119
Ingenierı́a Matemática
Universidad de Chile
2. Si x ∈ Rn y definimos
k
X
z= hx, ui i ui ∈ W,
i=1
Demostración.
1. Como {u1 , . . . , uk } es una base de W y x ∈ W , luego
k
X
x= αi ui .
i=0
hx, uj i = αj huj , uj i = αi · 1.
Repitiendo este procedimiento para todo j ∈ {1, . . . , k}, se concluye que αj = hx, uj i
k
X
x= hx, ui i ui .
i=1
la última igualdad gracias a que w ∈ W . Ası́, usando las propiedades del producto
interno:
k X
X k
hx − z, wi = hx, wi − hx, ui i hw, uj i hui , uj i
i=1 j=1
120
Ingenierı́a Matemática
Universidad de Chile
y como {u1 , . . . , uk } es ortonormal, hui , uj i = 0, ∀i 6= j y
k
X
hx − z, wi = hx, wi − hx, ui i hw, ui i hui , ui i
i=1
k
X
= hx, wi − hx, ui i hw, ui i
i=1
* k
+
X
= hx, wi − x, hw, ui i ui = 0.
i=1
| {z }
w
Para probar que d(x, z) = mı́nw∈W d(x, w), sea w ∈ W distinto de z, luego por el
R
Teorema de Pitágoras en n , probado en el Ejercicio 2.4:
2 2 2
kx − zk + kx − zk = kx − wk .
2
Pero como kx − zk > 0, luego
2 2
kx − zk < kx − wk .
De esta manera
de donde se concluye.
P: Rn −→ W
k
P
x 7−→ P (x) = hx, ui i ui ∈ W.
i=1
121
Ingenierı́a Matemática
Universidad de Chile
W ⊥ = {u ∈ Rn | ∀w ∈ W hw, ui = 0}.
Proposición 6.5.
(i) W ⊥ es un subespacio de Rn .
(ii) Rn = W ⊕ W ⊥ . Rn = W ⊕ W ⊥
(iii) dim(W ⊥ ) = n − dim(W ).
Demostración.
(i) Sea u, v ∈ W ⊥ y λ ∈ R, debemos probar que λu + v ∈ W ⊥ . Sea w ∈ W :
hw, λu + vi = λ hw, ui + hw, vi = 0
122
Ingenierı́a Matemática
Universidad de Chile
(ii) Es claro que W + W ⊥ ⊆ Rn. Para la otra inclusión, dado x ∈ Rn, basta notar que
x = P (x) + (x − P (x)).
h{v0 , . . . , vm }i = h{u0 , . . . , uk }i .
Probemos que esta definición del {u0 , . . . , uk } cumple lo pedido. Lo haremos por inducción
en m.
Caso base. Para m = 0, si v0 = 0 luego w0 = 0 y el algoritmo termina sin generar
vectores uj . Esto es consistente con que la única base de {0} es el conjunto vacı́o.
123
Ingenierı́a Matemática
Universidad de Chile
Si v0 6= 0, por ende w0 6= 0, se tiene el resultado ya que
v0
u0 = ,
kv0 k
1
huk , ui i = (hvm , ui i − hvm , ui i · 1)
kwk k
= 0.
124
Ingenierı́a Matemática
Universidad de Chile
es decir, vm es combinación lineal de {u0 , . . . , uk }, lo que equivale a vm ∈ h{u0 , . . . , uk }i.
Ası́, gracias a la hipótesis inductiva, se tiene que
h{v0 , . . . , vm }i ⊆ h{u0 , . . . , uk }i . (6.1)
Por otra parte, uk es combinación lineal de vm y u0 , . . . , uk−1 , ya que
k−1
1 X hvm , ul i
uk = vm − ul .
kwk k kwk k
l=0
l=0 l=0
h{v0 , . . . , vm }i y luego
h{u0 , . . . , uk }i ⊆ h{v0 , . . . , vm }i .
Obteniendo lo buscado.
Luego, por Principio de Inducción, se tiene el teorema.
Observación:
Notemos que como corolario del Teorema 6.1, se obtiene la Proposición 6.3.
Además, el Teorema 6.1 puede ser aplicado en particular a una base {v0 , . . . , vn−1 }
R
de n .
Ejemplo:
0 1 1 1
0 , 1 , 1 , 0 en 3 .
R
1 0 1 1
1
0
u0 = v0 / hv0 , v0 i 2 , como hv0 , v0 i = 1 se tiene u0 = 0
1
* +
1 1 0 0 1
w1 = 1 − 1 , 0 0 = 1 .
0 0 1 1 0
1
1 1
hw1 , w1 i = 2 ⇒ u1 = √ w1 = √ 1
2 2 0
* + * +
1 1 0 0 1 1 1
1 1
w2 = 1 − 1 , 0 0 − 1 , √ 1 √ 1
1 1 1 1 1 2 0 2 0
1 0 1 0
1 1
= 1 − 0 − √ √ · 21 = 0
1 1 2 2 0 0
125
Ingenierı́a Matemática
Universidad de Chile
1
w2 = 0, por ende ignoramos 1 y redefinimos w2 .
1
* + * +
1 1 0 0 1 1 1
1 1
w2 = 0 − 0 , 0 0 − 0 , √ 1 √ 1
1 1 1 1 1 2 0 2 0
1 0 1 1 0 1 1
1 1 1 1
= 0 − 0 − √ √ 1 = 0 − 0 − 1 = −1 .
2 2 0 2 2
1 1 1 1 0 0
1 1
Como hw2 , w2 i = 4 + 4 = 21 , luego
1
1
u2 = √ −1 .
2 0
◭ Ejercicio
126