Documentos de Académico
Documentos de Profesional
Documentos de Cultura
BASES ORTONORMALES
En este tema introduciré el concepto de base ortonormal, que hasta ahora
no habíamos visto dentro del contexto del álgebra lineal que estamos
cursando. A partir de la base ortonormal de vectores se construirá una base
canónica de todos los multivectores del álgebra geométrica. El uso de bases
ortonormales nos permitirá hacer cómputos de forma práctica en álgebra
geométrica, facilitará la introducción de nuevos conceptos y permitirá
avanzar de forma más directa.
Por otro lado, el abuso de las bases ortonormales conduce con demasiada
frecuencia a pensar en los vectores como una “lista ordenada de
coordenadas” en vez de una entidad matemática tan fundamental como los
números reales o los complejos. No saber trabajar con magnitudes
vectoriales o multivectoriales sin tener que recurrir siempre a
descomponerlos en componentes es una muestra de limitación conceptual
que lastra frecuentemente a los estudiantes, y sobre la que desde el principio
han llamado la atención todos los proponentes del álgebra geométrica. Voy,
pues, a introducir las bases ortonormales y aprovecharé para introducir más
rápidamente nuevos conceptos, pero conviene no olvidar que los vectores, y
los multivectores del álgebra geométrica en general, no deben concebirse
como una simple lista de componentes expresadas en una cierta base.
Entre las bases más utilizadas de la física está la base formada por los
vectores unitarios i, j y k que representan las tres direcciones distintivas del
espacio tridimensional: alto, ancho y profundidad. Estos vectores en algebra
lineal se representa como 𝒆
⃗ 𝟏,𝒆
⃗𝟐 y 𝒆
⃗ 𝟑 también se conocen con el nombre
de vectores canónicos unitarios.
≺ 𝑣𝑖 , 𝑣𝑗 ≻ = 0 ∀ i≠j
≺ 𝑣𝑖 , 𝑣𝑖 ≻ = 1 ∀ i=j
∀ j = 1,2, . . . . . . . . . . . . .n ⃗ 𝒋 ,𝒗
≺𝒗 ⃗ 𝒊 ≻=0 ∀ i≠j
⃗ 𝒋 ,𝒗
≺𝒗 ⃗ 𝒊 ≻=1 ∀ i=j
Por tanto si el conjunto { 𝑣1 , 𝑣2 , 𝑣3 , . . . . . ., 𝑣𝑛 } forma una base ortonormal
si y solo si:
⃗ 𝒋 ,𝒗
≺𝒗 ⃗ 𝒊 ≻=0 ∀ i≠j ⃗ 𝒊 ,𝒗
≺𝒗 ⃗ 𝒋 ≻=0
⃗ 𝒋 ,𝒗
≺𝒗 ⃗ 𝒊 ≻=1 ∀ i=j ⃗ 𝒊 ≻=1= ‖𝒗𝒊 ‖2
⃗ 𝒊 ,𝒗
≺𝒗
⃗ = 𝑤
𝑢 ⃗⃗ 1 + 𝑤
⃗⃗ 2
Dónde: ⃗⃗ 1 ∈ W
𝑤 y ⃗⃗ 2 : es un vector ortogonal a W
𝑤
𝑢
⃗ 𝑤
⃗⃗ 2
W
𝑤
⃗⃗ 1 𝑣𝑛
𝑣1 𝑣2
⃗⃗ 1 = α1 𝑣1 + α2𝑣2 + . . . . . . . . . . . . . . . . . . . . .αn 𝑣𝑛
𝑤
𝑤 ⃗ , 𝑣1 ≻ 𝑣1 + ≺ 𝑢
⃗⃗ 1 = ≺ 𝑢 ⃗ , 𝑣2 ≻ 𝑣2 + . . . . . . . . . . . . . .+ ≺ 𝑢
⃗ , 𝑣𝑛 ≻ 𝑣𝑛
⃗ = 𝑤
𝑢 ⃗⃗ 1 + 𝑤
⃗⃗ 2 ⃗⃗ 2 = 𝑢
𝑤 ⃗ − 𝑤
⃗⃗ 1
𝑤
⃗⃗ 2 =𝑢 ⃗ , 𝑣1 ≻ 𝑣1 − ≺ 𝑢
⃗ − ≺𝑢 ⃗ , 𝑣2 ≻ 𝑣2 − . . . . . . . . . . . . . . − ≺ 𝑢
⃗ , 𝑣𝑛 ≻ 𝑣𝑛
Geométricamente:
⃗⃗ 1 : Proyección de 𝑢
𝑤 ⃗ sobre W denotado por: 𝒘 ⃗
⃗⃗⃗ 𝟏 = PRO 𝒀𝑾 𝒖
⃗ − PRO 𝒀𝑾 𝒖
⃗⃗⃗ 𝟐 = 𝒖
𝒘 ⃗
W0
𝑣1 𝑢
⃗1
⃗1
𝑢 ⃗
𝑢
𝑣1 = ‖𝑢
⃗ 1‖
‖𝑣1 ‖ =‖ 1 ‖ = 1
‖𝑢
⃗ ‖ 1
⃗ 2 - ProyW 𝑢
𝑢 ⃗2 ⃗ 2 - ProyW 𝑢
𝑢 ⃗2
𝑢
⃗2
𝑣2
W1
𝑣1 ProyW 𝑢
⃗2
⃗ 2 − 𝑃𝑟𝑜𝑦𝑊 𝑢
𝑢 ⃗2
𝑣2 = ‖𝑢 ⃗2 ‖
⃗ 2 − 𝑃𝑟𝑜𝑦𝑊 𝑢
⃗ 2−≺𝑢
𝑢 ⃗ 2 ,𝑣
⃗ 1 ≻𝑣
⃗1
𝑣2 = ‖𝑢
⃗ 2−≺𝑢
⃗ 2 ,𝑣 ⃗1 ‖
⃗ 1 ≻𝑣
⃗ 𝟐‖=1
‖𝒗
⃗ 𝟏 ,𝒗
≺𝒗 ⃗ 𝟐 ≻=0
⃗ 3 - ProyW 𝑢
𝑢 ⃗3
𝑢
⃗3
⃗𝟑
𝒗
⃗𝟐
𝒗
⃗𝟏
𝒗
ProyW 𝑢
⃗3
W2
⃗ 3 − 𝑃𝑟𝑜𝑦𝑊 𝑢
𝑢 ⃗3
𝑣3 = ‖𝑢 ⃗3 ‖
⃗ 3 − 𝑃𝑟𝑜𝑦𝑊 𝑢
⃗ 3−≺𝑢
𝑢 ⃗ 3 ,𝑣
⃗ 1 ≻𝑣
⃗1 −≺𝑢⃗ 3 ,𝑣
⃗ 2 ≻𝑣
⃗2
𝑣3 = ‖𝑢
⃗ 3−≺𝑢
⃗ 3 ,𝑣
⃗ 1 ≻𝑣
⃗1 −≺ 𝑢
⃗ 3 ,𝑣 ⃗2‖
⃗ 2 ≻𝑣
⃗ 𝟏 ,𝒗
≺𝒗 ⃗ 𝟑 ≻=0 y ⃗ 𝟐 ,𝒗
≺𝒗 ⃗ 𝟑 ≻=0 ‖𝑣3 ‖ = 1
𝑢⃗ 𝑛−≺𝑢⃗ 𝑛 ,𝑣
⃗ 1 ≻𝑣 ⃗1 −≺𝑢
⃗ 𝑛 ,𝑣
⃗ 2 ≻𝑣⃗ 2 . . . . . . . .− ≺ 𝑢
⃗ 𝑛 ,𝑣⃗ 𝑛−1 ≻𝑣 ⃗ 𝑛−1
𝑣𝑛 = ‖𝑢⃗ 𝑛−≺𝑢⃗ 𝑛 ,𝑣⃗ 1 ≻𝑣⃗1−≺𝑢⃗ 𝑛 ,𝑣
⃗ 2 ≻𝑣⃗ 2 −. . . . . .− ≺ 𝑢⃗ 𝑛 ,𝑣
⃗ 𝑛−1 ≻𝑣 ⃗ 𝑛−1 ‖
≺ ⃗𝒗𝒊 , 𝒗
⃗ 𝒋 ≻=0 ∀ i≠j ≺ ⃗𝒗𝒊 , ⃗𝒗𝒊 ≻=1= ‖⃗𝒗𝒊 ‖2 ∀ i = j
Por tanto { 𝑣1 , 𝑣2 , 𝑣3 . . . . . . . . . ., 𝑣𝑛 } forma una base ortonormal