5/24/22, 1:17 AM Agustin2.

ipynb - Colaboratory

Proyecciones ortogonales
Contexto: un espacio euclídeo (V, ⟨⋅, ⋅⟩). Dado un subespacio S de dimensión 1 y un vector x,
hallar la proyección ortogonal de x sobre el subespacio S⊥ .

Técnica: Como S tiene dimensión 1 , existe un vector v tal que S = gen{v} . Por un lado se sabe
que
⟨x, v⟩
P S (x) = v.
2
∥v∥

Por otro lado, se sabe que

P S (x) + P ⊥ (x) = x.
S

De ahí resulta que

P ⊥ (x) = x − P S (x).
S

Caso del parcial remoto

El espacio es R2 [x] con el producto interno
1
3
2
⟨p, q⟩ = ∫ x p(x)q(x)dx.
2 −1

Se considera el subespacio
′
S = {p ∈ R2 [x] : p(0) = p (0) = 0} .

No lleva mucho trabajo darse cuenta de que

2
S = gen{x }.
′′
p (0)
Porque para cada p ∈ R2 [x] vale p = p(0) + p (0)x +
′

2
x .
2

Nos dan q = 8x
2
+ 3x + 5 y nos piden P S ⊥ (q) . Para eso usamos que
2
⟨q, x ⟩
2
P ⊥ (q) = q − P S (q) = q − x .
S 2 2
∥x ∥

Hacemos las cuentas y obtenemos el resultado que nos pidieron:

1 1 1 1
3 3 3
2 2 2 4 2 6 5
⟨q, x ⟩ = ∫ x q(x)x dx = ∫ x (8x + 3x + 5)dx = (8 ∫ x dx + 3 ∫ x dx
2 −1
2 −1
2 −1 −1

45
= .
7

1
3 3 2 3
2 2 2 2 6
∥x ∥ = ⟨x , x ⟩ = ∫ x dx = ⋅ = .
2 −1
2 7 7

La primera conclusión es que

2
P S (q) = 15x .

Por lo tanto,
2 2 2
P ⊥ (q) = q − P S (q) = 8x + 3x + 5 − 15x = −7x + 3x + 5.
S

https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 1/7
5/24/22, 1:17 AM Agustin2.ipynb - Colaboratory

Calculamos distancias
−−−−−−−−−−−−−
d(q, S) = ∥P ⊥ (q)∥ = √ ⟨P ⊥ (q), P ⊥ (q)⟩ .
S S S

Hacemos las cuentas

1 1
3 2
3
2 2 2
⟨P ⊥ (q), P ⊥ (q)⟩ = ∫ x (P ⊥ (q)) dx = ∫ x (−7x + 3x +
S S S
2 −1
2 −1

1
3 2 2 2 2
2 4 2 3 2
∫ x (49x + 9x + 25 − 42x − 70x + 30x) dx = (49 + 9 + 25 − 70 ) =
−1
2 7 5 3 5

⋅ 94 = 141.

La conclusión es que
−−−
d(q, S) = √141 .

Resolución de ecuaciones
. Dada una base de R3 , B , y 3 vectores w1 , w2 , w3 de R3 . Me dicen
3 3
T : R → R = {v1 , v2 , v3 }

que
T (v1 ) = w1 , T (v2 ) = w2 , T (v3 ) = w3 .

Me piden resolver T (x) = w .

Qué significa? Significa que

E
[T ] = [ w1 w2 w3 ]
B

Entonces
−1 −1
E E B E E
[T ] = [T ] M = [T ] (M ) = [ w1 w2 w3 ] [ v1 v2 v3 ] .
E B E B B

Tomando coordenadas respecto de la base canónica tenemos que

E E E E
T (x) = w ⟺ [T ] [x] = [w] ⟺ [T ] x = w
E E

v_1,v_2,v_3=Matrix([2,2,1]),Matrix([-2,1,2]),Matrix([1,-2,2])

w_1,w_2,w_3=Matrix([2,-3,6]),Matrix([3,6,2]),Matrix([4,15,-2])

V=Matrix.hstack(v_1, v_2, v_3)

W=Matrix.hstack(w_1, w_2, w_3)

V,W

⎛⎡ 2 −2 1 ⎤ ⎡ 2 3 4 ⎤⎞
2 1 −2 ,  −3 6 15
⎝⎣ 1 2 ⎦ ⎣ 6 −2⎦ ⎠
​ ​ ​ ​ ​ ​ ​ ​ ​

2 2

MTEE=W*(V.inv())
MTEE

https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 2/7
5/24/22, 1:17 AM Agustin2.ipynb - Colaboratory

⎡ 9 ⎤
2
− 19 16
9
​ ​

− 3 − 10
1 13
⎣ 2 2 ⎦
3 3
​ ​ ​ ​ ​ ​

3
2
w=-Rational('1/9')*Matrix([13,12,18])

3
​

⎡ − 94 ⎤
13
​

−3
⎣ −2 ⎦
​

MTEE.gauss_jordan_solve(w)

⎛⎡ −7τ0 − 6⎤ ⎞ ​

2τ0 + 1 ,  [τ0 ]
⎝⎣ ⎦ ⎠
​ ​ ​ ​

τ0 ​

De acuerdo a los resultados obtenidos con la calculadora tenemos que

1 T T T
3
{x ∈ R : T (x) = − [ 13 12 18 ] } = [ −6 1 0] + gen {[ −7 2 1] }.
9

Resolver la ecuación Ax = b .

Resolver la ecuación Ax = b por mínimos cuadrados.

Hallar la solución de norma mínima de Ax = b .

Si me dan U = {u1 , u2 , … , un } una base ortonormal de un espacio euclídeo (V, ⟨⋅, ⋅⟩). Vale
que
GU = I

Y esto es porque ⟨ui , ui ⟩ = 1 para todo i = 1, 2, … , n y ⟨ui , uj ⟩ = 0 para toda pareja i ≠ j .

El espacio euclídeo será R2×2 con el producto interno ⟨X, Y ⟩ = traza(Y

T
X) .

Se considera S (esto significa que S es el subespacio de las matrices

2×2 T
= {X ∈ R : X = X }

simétricas).
⊥
d(A, S ) =?

Se sabe que
⊥
d(A, S ) = ∥P S (A)∥.

Si A ∈ S , vale que P S (A) = A .

2 3
Como A = [ ] ∈ S , vale que P S (A) = A y entonces
3 8

https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 3/7
5/24/22, 1:17 AM Agustin2.ipynb - Colaboratory
⊥
d(A, S ) = ∥A∥.

1 0 0 0 0 1
S = gen {[ ],[ ],[ ]} .
0 0 0 1 1 0

La base de S ,
–
1 0 0 0 √2 0 1
{[ ],[ ], [ ]}
0 0 0 1 2 1 0

es una base ortonormal.

Ojo que
0 1 0 1 1 0
[ ][ ] = [ ]
1 0 1 0 0 1

La traza de esta matriz vale 2.

Técnica Si u1 , u2 , … , un es una base ortonormal de un subespacio S vale que

n

P S (x) = ∑⟨x, uj ⟩uj .

j=1

Doña Petrona

Me dan un R-espacio euclídeo (V, ⟨⋅, ⋅⟩) tal que dim(V) = n , y me dan dos subespacios
distintos S1 y S2 de dimensión n − 1. Me piden hallar
{x ∈ V : d(x, S1 ) = d(x, S2 )} .

En este caso S⊥
1
= gen{u1 } y S⊥
2
= gen{u2 } , donde u1 ≠ u2 y ∥u1 ∥ = ∥u2 ∥ = 1 .
2 2
d(x, S1 ) = d(x, S2 ) ⟺ d(x, S1 ) = d(x, S2 )

2 ⊥ 2
⟺ ∥P ⊥ (x)∥ = ∥P S (x)∥
S1 2

2 ⊥ 2
⟺ ∥P ⊥ (x)∥ − ∥P S (x)∥ = 0
S1 2

2 2
⟺ ∥⟨x, u1 ⟩u1 ∥ = ∥⟨x, u2 ⟩u2 ∥

2 2
⟺ |⟨x, u1 ⟩| − |⟨x, u2 ⟩| = 0

⟺ ⟨x, u1 − u2 ⟩⟨x, u1 + u2 ⟩ = 0

⟺ ó
⟨x, u1 − u2 ⟩ = 0   ⟨x, u1 + u2 ⟩ = 0

Qué significa? Significa que x⊥(u1 − u2 ) o que x⊥(u1 + u2 ). En otras palabras,

⊥ ⊥
{x ∈ V : d(x, S1 ) = d(x, S2 )} = (u1 − u2 ) ∪ (u1 + u2 ) .

Ejemplo

Me dan R2 con el producto interno

25 −5
T
⟨x, y⟩ = y [ ] x.
−5 4

T T
S1 = gen {[ 1 0] } , S2 = gen {[ 0 1] }

https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 4/7
5/24/22, 1:17 AM Agustin2.ipynb - Colaboratory

T T 25 −5 1
⟨[ 1 0] ,[x x2 ] ⟩ = [x x2 ] [ ][ ]
1 1
−5 4 0

= 25x1 − 5x2 .

⊥ T
S = gen {[ 1 5] }
1

T
25 −5 1
2
∥[ 1 5] ∥ = [1 5][ ][ ] = 75
−5 4 5

⊥ 1 T
S = gen { [1 5] }.
1
√75

De la misma manera se puede ver que

⊥ 1 T
S = gen { [4 5] }.
2
2√75

⊥
1 T
1 T
1 T
{x ∈ V : d(x, S1 ) = d(x, S2 )} = ( [1 5] − [4 5] ) ∪ ( [1 5] +
−− −− −−
√75 2√75 √75
⊥ ⊥

T
1 T T
1 T
= ([ 1 5] − [4 5] ) ∪ ([ 1 5] + [4 5] )
2 2

⊥ ⊥
T T
= ([ −2 5] ) ∪ ([ 6 15 ] ) .

Cuentas:
⊥
T 2 T
([ −2 5] ) = {x ∈ R : 5x1 − 2x2 = 0} = gen {[ 2 5] }.

Porque
T T
25 −5 −2
⟨[ −2 5] , [ x1 x2 ] ⟩ = [ x1 x2 ] [ ][ ]
−5 4 5

−75
= [ x1 x2 ] [ ]
30

= −75x1 + 30x2 = −15(5x1 − 2x2 ).

Etcétera.

El espacio euclídeo será R2×2 con el producto interno ⟨X, Y ⟩ = traza(Y

T
X) . Dados los
subespacios

1 0 0 1 0 0
S1 = gen {[ ],[ ],[ ]}
0 0 0 0 1 0

1 0 0 1 0 0
S2 = gen {[ ],[ ],[ ]}
0 1 0 0 1 0

hallar
https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 5/7
5/24/22, 1:17 AM Agustin2.ipynb - Colaboratory
2×2
{X ∈ R : d(X, S1 ) = d(X, S2 )} .

Observación:
T T T
⟨X, Y ⟩ = traza(Y X) = x11 y 11 + x12 y 21 + x21 y 12 + x22 y 22 = X Y1 + X Y∗2 .
1∗ 2

X⊥S1 ⟺ x11 = 0, x21 = 0, x12 = 0

0 0
⟺ X ∈ gen {[ ]}
0 1

X⊥S2 ⟺ x11 + x22 = 0, x21 = 0, x12 = 0

–
√2 1 0
⟺ X ∈ gen { [ ]}
2 0 −1

– ⊥ –
0 0 √2 1 0 0 0 √2
2×2
{X ∈ R : d(X, S1 ) = d(X, S2 )} = ([ ] − [ ]) ∪ ([ ] +
0 1 2 0 −1 0 1 2

Cuentas
⊥
√2
⎛⎡ − 0 ⎤⎞
2
.
⎝⎣ √2 ⎦⎠
0 1 +
2

⊥
√2 – –
⎛⎡ − 0 ⎤⎞ √2 √2
2
X ∈ ⟺ − x11 + (1 + ) x22 = 0.
⎝⎣ √2 ⎦⎠ 2 2
0 1 +
2

Etcétera.

,
B = {v1 , v2 , v3 } S = gen{v2 , v3 } v = 2v1 + 5v2 + 3v3 ,

3 0 5
⎡ ⎤
1
GB = ⎢0 5 0 ⎥
15
⎣ ⎦
5 0 15

d(v, S) = ∥P ⊥ (v)∥ = ∥v − P S (v)∥.

S

Como v2 ⊥v3 vale que

⟨v, v2 ⟩ ⟨v, v3 ⟩
P S (v) = v2 + v3 .
2 2
∥v2 ∥ ∥v3 ∥

Hago cuentas:

3 0 5 0
⎡ ⎤⎡ ⎤
1 25 5
⟨v, v2 ⟩ = [2 5 3] ⎢ 0 5 0 ⎥⎢1⎥ = = .
15 15 3
⎣ ⎦⎣ ⎦
5 0 15 0

2 1
∥v2 ∥ = .
3

https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 6/7
5/24/22, 1:17 AM Agustin2.ipynb - Colaboratory

3 0 5 0
⎡ ⎤⎡ ⎤
1 55 11
⟨v, v3 ⟩ = [2 5 3] ⎢ 0 5 0 ⎥⎢0⎥ = = .
15 15 3
⎣ ⎦⎣ ⎦
5 0 15 1

2
∥v3 ∥ = 1.

1
P S (v) = 5v2 + v3 .
3

1
v − P S (v) = 2v1 + 5v2 + 3v3 − 5v2 − v3 = ⋯
3

https://colab.research.google.com/drive/1uk8oWrqjmH8LRe4NIMtxrc0D05WnKlAq#scrollTo=-BwpGGW0XMBe&printMode=true 7/7