6.

11 DESIGUALDAD DE CAUCHY-SCHWARZ

|≺ 𝒖 ⃗ ≻| ≤ ‖𝒖
⃗ ,𝒗 ⃗ ‖‖𝒗
⃗‖ ∀𝑢,
⃗⃗⃗ 𝑣≠ 0

Sea la combinación lineal (vector): 𝛼𝑢

⃗ +𝛽𝑣
Aplicando el axioma de positividad:
⃗ +𝛽𝑣 , 𝛼𝑢
𝛼𝑢 ⃗ +𝛽𝑣 ≻ ≥ 0
⃗ , 𝛼𝑢
≺𝛼𝑢 ⃗ ≻+≺𝛼𝑢
⃗ , 𝛽𝑣 ≻+ ≺ 𝛽𝑣, 𝛼𝑢
⃗ ≻+≺ 𝛽𝑣, 𝛽𝑣 ≻ ≥ 0

⃗ ,𝑢
𝛼𝛼 ≺ 𝑢 ⃗ ≻ + 𝛼𝛽 ≺ 𝑢
⃗ , 𝑣 ≻+ 𝛽𝛼 ≺ 𝑣 ⃗ ≻+𝛽𝛽 ≺ 𝑣⃗ , 𝑣⃗ ≻ ≥ 0
⃗,𝑢
2
⃗ ,𝑢
𝛼2 ≺ 𝑢 ⃗ ≻ + 𝛼𝛽 ≺ 𝑢
⃗ , 𝑣 ≻+ 𝛼𝛽 ≺ 𝑢
⃗ , 𝑣 ≻+𝛽 ≺ 𝑣, 𝑣 ≻ ≥ 0

⃗ ,𝑢
𝛼2 ≺ 𝑢 ⃗ ≻ + 2𝛼𝛽 ≺ 𝑢
⃗ ,𝑣 ≻≥0

Sea el artificio: 𝛼 = ≺ 𝑣, 𝑣 ≻ 𝛽 = − ≺ 𝑢⃗ , 𝑣 ≻

⃗ ‖2 − 2≺ 𝑣, 𝑣 ≻≺ 𝑢
(≺ 𝑣, 𝑣 ≻ )2 ‖𝑢 ⃗ ,𝑣 ≻≺𝑢
⃗ , 𝑣 ≻+ (≺ 𝑢
⃗ , 𝑣 ≻ )2 ‖𝑣‖2 ≥ 0

⃗ ‖2 − 2≺ 𝑣, 𝑣 ≻≺ 𝑢
(≺ 𝑣, 𝑣 ≻ )2 ‖𝑢 ⃗ ,𝑣 ≻≺𝑢
⃗ , 𝑣 ≻+ (≺ 𝑢
⃗ , 𝑣 ≻ )2 ‖𝑣‖2 ≥ 0

( ‖𝑣‖2)2 ‖𝑢 ⃗ , 𝑣 ≻ )2 ‖𝑣‖2 + (≺ 𝑢
⃗ ‖2 − 2(≺ 𝑢 ⃗ , 𝑣 ≻ )2 ‖𝑣‖2 ≥ 0

( ‖𝑣‖2)2 ‖𝑢 ⃗ , 𝑣 ≻ )2 ‖𝑣‖2 ≥ 0
⃗ ‖2 − (≺ 𝑢

Dividiendo entre ‖𝑣‖2 𝑦 ordenando

⃗ , 𝑣 ≻ )2 ≥ 0
⃗ ‖2 ‖𝑣 ‖2 − (≺ 𝑢
‖𝑢

Aplicando propiedad de desigualdad

⃗ , 𝑣 ≻ )2 ≤ ‖𝑢
(≺ 𝑢 ⃗ ‖2 ‖𝑣‖2

Obteniendo la raíz cuadrada, m/m

|≺ 𝒖 ⃗ ≻| ≤ ‖𝒖
⃗ ,𝒗 ⃗ ‖‖𝒗
⃗‖

JULIO CESAR RODRIGUEZ B. Página 1

6.11 DESIGUALDAD TRIANGULAR
‖𝑢
⃗ + 𝑣‖ ≤ ‖𝑢
⃗ ‖ + ‖𝑣 ‖

⃗ +𝑣,𝑢
⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ +𝑣≻

⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ ,𝑢
⃗ ≻+≺𝑢
⃗ , 𝑣 ≻+ ≺ 𝑣, 𝑢
⃗ ≻+ ≺ 𝑣, 𝑣 ≻

⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ ,𝑢
⃗ ≻ + 2≺ 𝑢
⃗ , 𝑣 ≻+ ≺ 𝑣 , 𝑣 ≻

⃗ + 𝑣‖2 = ‖𝑢⃗ ‖2 + 2≺ 𝒖
‖𝑢 ⃗ ,𝒗
⃗ ≻ + ‖𝑣‖2

Aplicando la desigualdad de Cauchy-Schwarz a la expresión: ≺ 𝒖

⃗ ,𝒗
⃗ ≻

⃗ + 𝑣‖2 = ‖⃗𝑢‖2 + 2≺ 𝒖
‖𝑢 ⃗ , ⃗𝒗 ≻ + ‖𝑣‖2

⃗ ‖2 + 2‖𝑢
⃗ + 𝑣‖2 ≤ ‖𝑢
‖𝑢 ⃗ ‖‖𝑣‖ + ‖𝑣‖2

⃗ + 𝑣‖2 ≤ ( ‖𝑢
‖𝑢 ⃗ ‖ + ‖𝑣‖ ) 2

Obteniendo la raíz cuadrada, m/m

‖𝒖 ⃗ ‖ ≤ ‖𝒖
⃗ + 𝒗 ⃗ ‖ + ‖𝒗
⃗‖

EJEMPLO: Demostrar el Teorema de Pitágoras:

‖𝒖 ⃗ ‖2 = ‖𝒖
⃗ + 𝒗 ⃗ ‖2 + ‖𝒗‖2

⃗ +𝑣,𝑢
⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ +𝑣≻

⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ ,𝑢
⃗ ≻+≺𝑢
⃗ , 𝑣 ≻+ ≺ 𝑣, 𝑢
⃗ ≻+ ≺ 𝑣, 𝑣 ≻

⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ ,𝑢
⃗ ≻ + 2≺ 𝑢
⃗ , 𝑣 ≻+ ≺ 𝑣 , 𝑣 ≻

⃗ , 𝑣 son ortogonales
En un triángulo rectángulo los vectores: 𝑢
≺ 𝑢⃗ , 𝑣 ≻ = 0
⃗ + 𝑣 ‖2 = ≺ 𝑢
‖𝑢 ⃗ ,𝑢
⃗ ≻ + 0 + ≺ 𝑣, 𝑣 ≻

‖𝒖 ⃗ ‖2 = ‖𝒖
⃗ + 𝒗 ⃗ ‖2 + ‖𝒗‖2

JULIO CESAR RODRIGUEZ B. Página 2

 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.

Una base ortonormal se forma con vectores perpendiculares entre sí y cuyo

módulo además vale 1 (vectores unitarios). Recordemos que una base [B] en
un espacio vectorial V, se define como un conjunto de vectores linealmente
independientes capaces de generar dicho espacio.

JULIO CESAR RODRIGUEZ B. Página 3

A su vez un espacio vectorial es una entidad matemática abstracta entre
cuyos elementos están los vectores, generalmente asociados a magnitudes
físicas como la velocidad, la fuerza y el desplazamiento o también a matrices,
polinomios y funciones.

En la física representamos a los vectores unitarios i, j que representan la base

de un sistema de coordenadas en direcciones distintas del espacio
bidimensional: alto y ancho. Estos vectores en algebra lineal se representa
como ⃗𝟏, 𝒆
𝒆 ⃗ 𝟐 también se conocen con el nombre de vectores canónicos
unitarios.

JULIO CESAR RODRIGUEZ B. Página 4

Los vectores tienen tres elementos distintivos: módulo, dirección y sentido,
una base ortonormal es útil para representarlos y operar con ellos, pues
cualquier vector que pertenezca a un espacio vectorial V, se puede escribir
como una combinación lineal de los vectores que forman la base ortonormal.

Entre las bases más utilizadas, esta la base formada por los vectores unitarios
i, j y k que representan las tres direcciones distintas del espacio
tridimensional, estos vectores en algebra lineal se representa como 𝒆
⃗𝟏, 𝒆
⃗𝟐
y 𝒆
⃗ 𝟑 también se conocen con el nombre de vectores canónicos unitarios.

Si en cambio se trabajan los vectores en un plano, bastaría con dos de estas

tres componentes, mientras que para los vectores unidimensionales se
requiere solo una.

7.1 CONJUNTO ORTOGONAL DE VECTORES

Sea (V, + , 𝕂 , ● ) un espacio vectorial euclidiano con producto interno

en 𝕂, el conjunto { 𝑣1 , 𝑣2 , , . . . . . ., 𝑣𝑛 } se dice que es un conjunto
ortogonal de vectores si y solo si:

≺ 𝑣𝑖 , 𝑣𝑗 ≻ = 0 ∀ i≠j

7.2 CONJUNTO ORTONORMAL DE VECTORES

Sea (V, + , 𝕂 , ● ) un espacio vectorial euclidiano con producto interno

en 𝕂, el conjunto { 𝑣1 , 𝑣2 , . . . . . ., 𝑣𝑛 } se dice que es un conjunto
ortonormal de vectores si y solo si:

≺ 𝑣𝑖 , 𝑣𝑖 ≻ = 1 ∀ i=j

JULIO CESAR RODRIGUEZ B. Página 5

7.3 BASE ORTONORMAL
TEOREMA
Si el conjunto de vectores {𝑣1 ,𝑣2 , . . . . . .,𝑣𝑛 } forman una base ortonormal,
para un espacio vectorial euclidiano con producto interno en 𝕂, si y solo si
{𝑣1 ,𝑣2 , . . . . . .,𝑣𝑛 } es una base.

Sea un sistema de generadores, entonces ∀ 𝑢

⃗ ∈ V se puede expresar como:
𝑢 ⃗ , 𝑣1 ≻ 𝑣1 + ≺ 𝑢
⃗ = ≺𝑢 ⃗ , 𝑣2 ≻ 𝑣2 + . . . . . . . . . . . . . .+ ≺ 𝑢
⃗ , 𝑣𝑛 ≻ 𝑣𝑛
Pero ≺ 𝑢
⃗ , 𝑣1 ≻= α1 , ⃗ , 𝑣2 ≻= α2 ,
≺𝑢 ............. ⃗ , 𝑣𝑛 ≻= αn
≺𝑢
⃗ = α1 𝑣1 + α2𝑣2 + . . . . . . . . . . . . . . . . . . . . .αn 𝑣𝑛
𝑢
Como αi =≺𝑢
⃗ , 𝑣𝑖 ≻ ∀ i = 1,2, . . . . . . . . . . . . .n
⃗ , 𝑣 𝑖 ≻ = ≺ α1 𝑣1 + α2𝑣2 + . . . . . . . . . . . . . . . . . . . . + αn 𝑣𝑛 , 𝑣 𝑖 ≻
≺𝑢
⃗ , 𝑣 𝑖 ≻ = α1 ≺ 𝑣1 , 𝑣𝑖 ≻ + α1 ≺ 𝑣1 , 𝑣𝑖 ≻ + . . . . + αj ≺ 𝒗
≺𝑢 ⃗ 𝒋 ,𝒗
⃗ 𝒊 ≻ + . . . . . .+ α1 ≺ 𝑣1 , 𝑣𝑖 ≻

∀ i, 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 ⃗ 𝒊 ,𝒗
≺𝒗 ⃗ 𝒊 ‖2
⃗ 𝒊 ≻=1= ‖𝒗

TEOREMA
Sea (V,+,𝕂,●) un espacio vectorial euclidiano en 𝕂, si { 𝑣1 , 𝑣2 , . . . . . ., 𝑣𝑛 } es
un conjunto ortonormal de vectores tal que W denota el espacio generado
por los vectores 𝑣1 , 𝑣2 , , . . . . . ., 𝑣𝑛 por tanto ∀ 𝑢
⃗ ∈ 𝑉, se expresa como:

⃗ = 𝑤
𝑢 ⃗⃗ 1 + 𝑤
⃗⃗ 2

JULIO CESAR RODRIGUEZ B. Página 6

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 𝒀𝑾 𝒖
⃗⃗⃗ 𝟐 = 𝒖
𝒘 ⃗
7.4 PROCESO DE GRAM-SCHMIDT PARA OBTENER UNA BASE
ORTONORMAL
Sea (V,+,𝕂,●) un espacio vectorial euclidiano en 𝕂 , de dimensión finita y el
conjunto { 𝑢
⃗1 ,𝑢
⃗2 ,,𝑢
⃗ 2 . . . . . . .. . ., 𝑢
⃗ 𝑛 } que forma una base, los siguientes
pasos nos conducen a una base ortonormal { 𝑣1 , 𝑣2 , 𝑣3 . . . . . . . . . ., 𝑣𝑛 }

1er PASO: Sea ( ℝ, + , ℝ , • )

W0
𝑣1 𝑢
⃗1
⃗1
𝑢 ⃗
𝑢
𝑣1 = ‖𝑢
⃗1‖
‖𝑣1 ‖ =‖‖ 1 ‖‖ = 1
⃗
𝑢 1

JULIO CESAR RODRIGUEZ B. Página 7

2º PASO: Sea ( ℝ2, + , ℝ , • )

⃗ 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

3er PASO: Sea ( ℝ3, + , ℝ , • )

⃗ 3 - ProyW 𝑢
𝑢 ⃗3

⃗ 3 - ProyW 𝑢
𝑢 ⃗3
𝑢
⃗3
⃗𝟑
𝒗

⃗𝟐
𝒗

⃗𝟏
𝒗

ProyW 𝑢
⃗3

W2

JULIO CESAR RODRIGUEZ B. Página 8

 ⃗ 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

Generalizando el n-simo PASO, en ( ℝn, + , ℝ , • ) :

𝑢⃗𝑛−≺𝑢⃗ 𝑛 ,𝑣
⃗ 1 ≻𝑣 ⃗1 −≺𝑢
⃗ 𝑛 ,𝑣
⃗ 2 ≻𝑣⃗ 2 . . . . . . . .− ≺ 𝑢
⃗ 𝑛 ,𝑣⃗ 𝑛−1 ≻𝑣 ⃗ 𝑛−1
𝑣𝑛 = ‖𝑢⃗𝑛−≺𝑢⃗ 𝑛 ,𝑣⃗ 1 ≻𝑣⃗1−≺𝑢⃗ 𝑛 ,𝑣
⃗ 2 ≻𝑣⃗ 2 −. . . . . .− ≺ 𝑢⃗ 𝑛 ,𝑣
⃗ 𝑛−1 ≻𝑣 ⃗ 𝑛−1 ‖

⃗ 𝒊 ,𝒗
≺𝒗 ⃗ 𝒋 ≻=0 ∀ i≠j ⃗ 𝒊 ,𝒗
≺𝒗 ⃗ 𝒊 ‖2 ∀ i = j
⃗ 𝒊 ≻=1= ‖𝒗
Por tanto { 𝑣1 , 𝑣2 , 𝑣3 . . . . . . . . . ., 𝑣𝑛 } forma una base ortonormal

JULIO CESAR RODRIGUEZ B. Página 9