ESCUELA POLITÉCNICA NACIONAL

FACULTAD DE CIENCIAS
ÁLGEBRA LINEAL

Nombre: Ajila Loayza Carlos Alberto Carrera: Ingeniería Matemática

Profesor: Dr. Julio Medina Deber Nº 04

1. Sea
:  ×  → ℂ un producto hermitiano. Se supone existen tres vectores ,  y tales que

,  =

,  =

,  = 1 y

,  =

,  =

,  = 3 − 5, calcular


 + 2 + 3 , 4 + 5 + 6 .

 + 2 + 3 , 4 + 5 + 6  =

, 4 + 5 + 6  +

2, 4 + 5 + 6 
Desarrollo

+

3 , 4 + 5 + 6 
=

, 4 +

, 5 +

, 6  + 2

, 4 + 2

, 5 + 2

, 6  + 3

, 4
+ 3

, 5 + 3

, 6 
= 4

,  + 5

,  + 6

,  + 8

,  + 10

,  + 12

,  + 12

, 
+ 15

,  + 18

, 

= 4

,  + 5

,  + 6

,  + 8

, 
 + 10

,  + 12

,  + 12

, 

+ 15

,  + 18

, 
= 4
1 + 5
3 − 5 + 6
3 − 5 + 8
3 + 5 + 10
1 + 12
3 − 5 + 12
3 + 5 + 15
3 + 5
+ 18
1
= 206 + 60

 ⊥  ⇔ ‖ + ‖ = ‖ − ‖, ∀ escalar
2. En un espacio vectorial real o complejo, demostrar o dar un contraejemplo:

⇒ Suponiendo  ⊥ , esto es 〈, 〉 = 0

Demostración

‖ + ‖% = 〈 + ,  + 〉
= 〈,  + 〉 + 〈 ,  + 〉
= 〈, 〉 + 〈, 〉 + 〈, 〉 + | |% 〈, 〉
= ‖‖% + | |% ‖‖% Pues 〈, 〉 = 〈, 〉 = 0
‖ − ‖ = 〈 − ,  − 〉
%

= 〈,  − 〉 − 〈 ,  − 〉
= 〈, 〉 − 〈, 〉 − 〈, 〉 + | |% 〈, 〉
= ‖‖% + | |% ‖‖% Pues 〈, 〉 = 〈, 〉 = 0
Entonces se tiene que ‖ + ‖ = ‖ − ‖ = '‖‖ + | | ‖‖%
% %

⇐ Suponiendo ‖ + ‖ = ‖ − ‖, se tiene:

‖ + ‖% = ‖ − ‖% ⇒ 〈, 〉 + 〈, 〉 + 〈, 〉 + | |% 〈, 〉
= 〈, 〉 − 〈, 〉 − 〈, 〉 + | |% 〈, 〉
〈, 〉 + 〈, 〉 = − 〈, 〉 − 〈, 〉
〈, 〉 + 
〈, 〉 = −) 〈, 〉 + 
〈, 〉*
2 Re
〈, 〉 = −2 Re
〈, 〉
Re
〈, 〉 = 0
Pero no necesariamente Im
〈, 〉 = 0, por lo cual 〈, 〉 ≠ 0 para cuando el espacio es complejo,
pero 〈, 〉 = 0 en el caso real. El recíproco es verdadero en el caso real, pero falso en el caso

Sean  =
1,0,  =
4 − 2, 0 ∈ ℂ% , y = 1 − 2, se tiene:
complejo. Se propondrá un contraejemplo:

‖ + ‖ = ‖1 − 10‖ = √101, ‖ − ‖ = ‖1 + 10‖ = √101, ‖ + ‖ = ‖ − ‖

Pero 〈, 〉 = 4 + 2 ≠ 0.
Para un espacio vectorial real dotado de producto escalar:  ⊥  ⇔ ‖ + ‖ = ‖ − ‖
Finalmente se tiene que:

Para un espacio vectorial complejo dotado de producto hermitiano:  ⊥  ⇒ ‖ + ‖ = ‖ − ‖

3. Sean  = ℝ% 345, 6
4 = 78 + 79 4 + 7% 4 % y :
4 = ;8 + ;9 4 + ;% 4 % .
a) Mostrar que 〈6, :〉 = 78 ;8 + 79 ;9 + 79 ;% + 7% ;9 + = 7% ;% es un producto escalar
<

definido en .
b) Dar una base ortonormal de  relativa a este producto escalar.
Se define la función
:  ×  → ℝ por

6, : = 6
0:
0 + >8 6?
4:?
4@4 .
9

c) Dar la fórmula de

6, : y comparar con 〈6, :〉.
Para 6
4 = 4 − 34 + 24 % y :
4 = 54 + 34 % .
d) Calcular 〈6, :〉, ‖6‖ y ‖:‖.
e) Hallar la proyección de 6 sobre :, proyE 6.
f) Hallar el ángulo ∡
6, : formado por 6 y :.

Desarrollo

Sea G
4 = H8 + H9 4 + H% 4 % , ∈ ℝ
a)

P. D. 〈6 + :, G〉 = 〈6, G〉 + 〈:, G〉
4
i.
〈6 + :, G〉 =
78 + ;8 H8 +
79 + ;9 H9 +
79 + ;9 H% +
7% + ;% H9 +
7% + ;% H%
3
4 4
= L78 H8 + 79 H9 + 79 H% + 7% H9 + 7% H% M + L;8 H8 + ;9 H9 + ;9 H% + ;% H9 + ;% H% M
3 3
= 〈6, G〉 + 〈:, G〉
P. D. 〈 6, :〉 = 〈6, :〉
4
ii.
〈 6, :〉 =
78 ;8 +
79 ;9 +
79 ;% +
7% ;9 +
7% ;%
3
4
= L78 ;8 + 79 ;9 + 79 ;% + 7% ;9 + 7% ;% M
3
= 〈6, :〉
P. D. 〈6, :〉 = 〈:, 6〉
4
iii.
〈6, :〉 = 78 ;8 + 79 ;9 + 79 ;% + 7% ;9 + 7% ;%
3
4
= ;8 78 + ;9 79 + ;9 7% + ;% 79 + ;% 7%
3
= 〈:, 6〉
P.D. 〈6, 6〉 ≥ 0
Si 6
4 = 0 + 04 + 04 % , entonces 〈6, 6〉 = 0 ∙ 0 + 0 ∙ 0 + 0 ∙ 0 + 0 ∙ 0 + = 0 ∙ 0 = 0
<
iv.

Si 6
4 ≠ 0P , entonces
4
〈6, 6〉 = 78 78 + 79 79 + 79 7% + 7% 79 + 7% 7%
3
4 %
= 78 + 79 + 279 7% + 7%
% %
3
Ahora, se analizará lo siguiente: Basta probar que 79% + = 7%% ≥ 279 7% , pues de ese modo se satisface
<

〈6, 6〉 > 0. Pero además 7%% ≥ 7%% , entonces se probará que 79% + 7%% ≥ 279 7% . Suponiendo lo
<
=
contrario, es decir 79% + 7%% < 279 7% se tiene:
Si 79 7% < 0 la suposición sería falsa, por lo tanto se tendría 79% + 7%% ≥ 279 7% . Ahora si 79 7% ≥ 0:
79% + 7%% < 279 7% ⇒ 79% − 279 7% 7%% < 0 ⇒
79 − 7% % < 0 Lo cual es también falso, por tanto se
concluye que 79% + 7%% ≥ 279 7% , y finalmente 〈6, 6〉 > 0. Uniendo ambos casos se demuestra que
<
=
〈6, 6〉 ≥ 0.
Considerando la base canónica ST = U68
4 = 1, 69
4 = 4, 6%
4 = 4 % V, se aplicará el proceso de
b)

:8
4 = 68
4 = 1
Gram-Schmidt para obtener una base ortogonal:

〈69 , :8 〉
:9
4 = 69
4 − :
4 = 4
〈:8 , :8 〉 8
〈6% , :8 〉 〈6% , :9 〉
:%
4 = 6%
4 − :8
4 − :
4 = 4 % − 4
〈:8 , :8 〉 〈:9 , :9 〉 9
Entonces la Base S9 = U:8
4 = 1, :9
4 = 4, :%
4 = 4 % − 4V es una base ortogonal, ahora se

G8
4 = 1, G9
4 = 4, G%
4 = √34 % − √34
procederá a normalizar los vectores:

Puesto que 〈4 − 4, 4 − 4〉 = =
1 +
−1
1 +
−1
1 +
−1
−1 = = entonces ‖4 % − 4‖ = =.
% % < 9 9
√
Entonces S = WG8
4 = 1, G9
4 = 4, G%
4 = √34 % − √34X es una base ortonormal de .

6
0 = 78 , :
0 = ;8 , 6?
4 = 79 + 27% 4, :?
4 = ;9 + 2;% 4,
c)

?
4: ?
4
6 = 79 ;9 + 2
79 ;% + 7% ;9 4 + 47% ;% 4 %
9


6, : = 6
0:
0 + Y 6?
4:?
4@4
8
9
= 78 ;8 + Y
79 ;9 + 2
79 ;% + 7% ;9 4 + 47% ;% 4 % @4
8
4 9
= 78 ;8 + ZL79 ;9 4 +
79 ;% + 7% ;9 4 % + 7% ;% 4 = M[
3 8
4
= 78 ;8 + 79 ;9 + 79 ;% + 7% ;9 + 7% ;%
3
Entonces se tiene que

6, : = 〈6, :〉

4
d)
〈6, :〉 = 4
0 +
−3
5 +
−3
3 + 2
5 +
2
3 = −6
3
4 47
‖6‖ = 〈6, 6〉 = 16 + 9 − 12 +
4 =
%
3 3
47
‖6‖ = ^
3
4
‖:‖% = 〈:, :〉 = 25 + 30 +
9 = 67
3
‖:‖ = √67

〈6, :〉 6 30 18
e)
proyE 6 = : = −
54 + 34 %  = − 4 − 4 %
‖:‖ % 67 67 67
f)

〈6, :〉 6
∡
6, : = arccos b c = arccos e− h ≈ 1.757
‖6‖‖:‖ 47
f √67
d 3 g

4. Sea el espacio vectorial complejo  = ℂ% , j =

j9 , j%  y =
9 , %  elementos de . Se
9 +
1 − j9 
define

j,  = 2j9  % + 7j% 
9 + 3j% 
% donde 7 ∈ ℂ. ¿Cómo debería ser
7 para que
sea un producto hermitiano?

Sea 4 =
49 , 4% , k ∈ ℂ:
Desarrollo


j + , 4 =

j, 4 +

, 4


j + , 4 = 2
j9 + 9 4l9 +
1 − 
j9 + 9 4l% + 7
j% + % 4l9 + 3
j% + % 4l%
i.

= 32j9 4l9 +
1 − j9 4l% + 7j% 4l9 + 3j% 4l% 5 + 32 9 4l9 +
1 −  9 4l% + 7 % 4l9 + 3 % 4l% 5
=

j, 4 +

, 4
Se satisface para cualquier 7 ∈ ℂ.


kj,  = k

j, 


kj,  = 2
kj9  9 +
1 − 
kj9  % + 7
kj%  9 + 3
kj% 
%
ii.

9 +
1 − j9 
= kU2j9  % + 7j%  9 + 3j% V
%
= k

j, 
Se satisface para cualquier 7 ∈ ℂ.



j,  =

, j


j,  = 2j9  9 +
1 − j9  % + 7j% 
9 + 3j% 
%
iii.

1


, j = 2 9 jl9 + −  9 jl% + 7 % jl9 + 3 % jl%



, j = 2j9  9 +
1 + j%  9 + 7j9 
% + 3j% 
%
Como

j,  =

, 
j, se tiene:
9 +
1 − j9 
2j9  % + 7j%  9 + 3j% 
% = 2j9  9 +
1 + j% 
9 + 7j9 
% + 3j% 
%

1 − j9  9 =
1 + j% 
% + 7j%  9 + 7j9 
%
De aquí 7 = 1 +  es el valor que satisface la condición.


j, j ≥ 0


j, j = 2j9 jl9 +
1 − j9 jl% +
1 + j% jl9 + 3j% jl%
iv.

= 2|j9 |% +
1 − j9 jl% +
1 
− mj9 jl% + 3|j% |%
= 2|j9 | + 2 Re3
1 − j9 jl% 5 + 3|j% |%
%

j, j ≥ 0
Entonces,
define un producto hermitiano en  si 7 = 1 + .

3 2
5. Se define la aplicación ℎ: ℳ%
ℝ → ℝ por ℎ
p, S = Tr
pr sS donde s = t u.
2 5
Verificar que es un producto escalar.

Sean p, S, v ∈ ℳ%
ℝ, ∈ ℝ
Desarrollo

P. D. ℎ
p + S, v = ℎ
p, v + ℎ
S, v
ℎ
p + S, v = Tr

p + Sr sv
i.

= Tr)
pr + Sr sv*
= Tr
pr sv + Sr sv
= Tr
pr sv + Tr
Sr sv
= ℎ
p, v + ℎ
S, v
P. D. ℎ
p, S = ℎ
p, S
ℎ
p, S = Tr

pr sS
ii.

= Tr
pr sS
= Tr
pr sS
= ℎ
p, S
P. D. ℎ
p, S = ℎ
S, p
ℎ
p, S = Tr
pr sS
iii.

= Tr

pr sSr 
= Tr
Sr sr p
= Tr
Sr sp Pues s es simétrica
= ℎ
S, p
P. D. ℎ
p, p ≥ 0
ℎ
p, p = Tr
pr sp
iv.

7 ; 37% + 47H + 5H % 37; + 27@ + 2;H + 5H@ x

Sea p = t u, entonces pr sp = w
H @ 37; + 27@ + 2;H + 5H@ 3;% + 4;@ + 5@ %
Luego, obviamente 37% + 47H + 5H % ≥ 7% + 47H + 4H % , pero 7% + 47H + 4H % =
7 + 2H% ≥ 0,
por tanto 37% + 47H + 5H % ≥ 0. Análogamente 3;% + 4;@ + 5@ % ≥ 0.

Tr
pr sp = 37% + 47H + 5H % + 3;% + 4;@ + 5@ % ≥ 0, de este modo ℎ
p, p ≥ 0.
Entonces:

Por tanto, ℎ sí define un producto escalar en ℳ%

ℝ.

6. Sea  = y
30, z5, ℝ, donde se define

{, | = >8 3{
4|
4 + { ?
4|?
45 @4.
}

a) Mostrar que
es un producto escalar.

b) Calcular 〈{, |〉, ‖{‖ y ‖|‖, donde {
4 = sen
4 y |
4 = cos
4
c) Sean  = U{ ∈  | {
0 = {
z = 0V y € = U{ ∈ | { ?? = {V. Mostrar que  y € son
suplementarios ortogonales.

a) Sean {, |, ℎ ∈ , ∈ ℝ:
Desarrollo

P. D.

{ + |, ℎ =

{, ℎ +

|, ℎ
}
i.


{ + |, ℎ = Y 3
{ + |
4ℎ
4 +
{ + |?
4ℎ?
45 @4
8
}
= Y 3{
4ℎ
4 + |
4ℎ
4 + { ?
4ℎ?
4 + |?
4ℎ?
45@4
8
} }
= Y 3{
4ℎ
4 + { ?
4ℎ?
45@4 + Y 3|
4ℎ
4 + |?
4ℎ?
45@4
8 8
=

{, ℎ +

|, ℎ
P. D.

{, | =

{, |
}
ii.


{, | = Y 3
{
4|
4 +
{?
4|?
45 @4
8
}
= Y 3 {
4|
4 + { ?
4|?
45 @4
8
}
= Y 3{
4|
4 + { ?
4|?
45 @4
8
=

{, |
P. D.

{, | =

|, {
}
iii.


{, | = Y 3{
4|
4 + { ?
4|?
45 @4
8
}
= Y 3|
4{
4 + |?
4{ ?
45 @4
8
=

|, {
P. D.

{, { ≥ 0
}
iv.


{, { = Y 3{
4{
4 + { ?
4{ ?
45 @4
8
}
= Y t){
4* + ){ ?
4* u @4
% %

8


{, { ≥ 0
Se concluye que
define un producto escalar en .
} }
b)
〈sen
4 , cos
4〉 = Y 3sen
4 cos
4 − cos
4 sen
45@4 = Y 0@4 = 0
8 8
}
} }
‖sen
4‖% = Y 3sen
4 sen
4 + cos
4 cos
45@4 = Y3sen%
4 + cos %
45@4 = Y @4 = z
8 8
8
‖sen
4‖ = √z
 }
} }
‖cos
4‖% = Y 3cos
4 cos
4 +
− sen
4
− sen
45@4 = Y3cos%
4 + sen%
45@4 = Y @4 = z
8 8
8
‖cos
4‖ = √z

Sean { ∈ , | ∈ € y ℎ ∈ :
c)

P. D.  = €  . P. D.  ⊆ €  ∧ €  ⊆ 
Sea { ∈ € ⇒ { ?? = {:
| ∈  ⇒ |
0 = |
z = 0
⇒ { ?
0|
0 = { ?
z|
z = 0
⇒ { ?
z|
z − { ?
0|
0 = 0
⇒ Z{ ?
4|
4|}8 = 0
}
⇒ Y @){ ?
4|
4* = 0
8
}
⇒ Y 3{ ??
4|
4 + { ?
4|′
45@4 = 0
8
}
⇒ Y 3{
4|
4 + { ?
4|?
45@4 = 0 Pues { ′′ = {
8
⇒ 〈{, |〉 = 0
⇒ | ∈ €
Por tanto se tiene que  ⊆ € 
€  ⊆  ⇔   ⊆ €. Sea { ∈  ⇒ {
0 = {
z = 0
| ∈   ⇒ 〈{, |〉 = 0
}
⇒ Y 3{
4|
4 + { ?
4|?
45@4 = 0
8
}
⇒ Y 3{
4|
4 − {
4|??
4 + {
4|??
4 + { ?
4|?
45@4 = 0
8
} }
⇒ Y 3{
4|
4 − {
4|??
45@4 + Y 3{
4|??
4 + { ?
4|?
45@4 = 0
8 8
} }
⇒ Y 3{
4|
4 − {
4| ??
45@4
+ Y @){
4|?
4* = 0
8 8
}
⇒ Y 3{
4|
4 − {
4|??
45@4 + {
z|?
z − {
0|?
0 = 0
8
}
⇒ Y {
43|
4 − |??
45@4 = 0 Pues {
0 = {
z = 0
8
⇒ |
4 − |??
4 = 0
⇒ | = |′′
En particular

⇒|∈€
Por tanto   ⊆ € ⇒ €  ⊆ . Se concluye que  = €  . Por tanto  y € son suplementarios
ortogonales.