ESCUELA POLITCNICA NACIONAL FACULTAD DE CIENCIAS

EXAMEN BIMESTRAL DE LGEBRA LINEAL

FSICA INGENIERA MATEMTICA

Profesor: Dr. Julio Medina Fecha: 03-10-2012

Resuelto por: Carlos Ajila Semestre:

 
1. Sea =  =    , ,    . Los elementos de se dicen cuaterniones.

b) Es un s.e.v. real de  ? En caso afirmativo dar una base y su dimensin.

a) Un cuaternin es una matriz hermitiana, antihermitiana?

c) Es un s.e.v. complejo de  ? En caso afirmativo dar una base y su dimensin.

d) El producto de cuaterniones es un cuaternin? Este producto es conmutativo?
e) Bajo qu condiciones existe el inverso de un cuaternin? Hallarlo.

Resolucin:

 =     ,   =   ,
a)
  =   ,  
   
Por lo tanto, los cuaterniones no son ni hermitianos ni antihermitianos.

P. D. 0 
b)

0 0
i.
0  =  , 0 = 0 , 0 = 0
0 0
Entonces 0  ,
  $ %
Sean " =   , # =   , & . P. D. &" + # .
% $
& + $ & + %
ii.

&" + # = 
, pero: &
+ $ = & + $ , & + % = & % pues & .
& % & + $
Entonces &" + # , por lo tanto, es s.e.v. real de  .
Sea  = ) + *+,  = , + -+, entonces:
  ) + *+ , + -+ 1 0 + 0 0 1 0 +
   =   = ) +* +, +- 
, + -+ ) *+ 0 1 0 + 1 0 + 0
1 0 0 1 + 0 0 +
# =  , , , 
0 1 1 0 0 + + 0
Entonces, por construccin, el conjunto # genera a .
P. D. # es l.i.
1 0 + 0 0 1 0 + & + & + &0 + &1 + 0 0
&/   + &   + &0   + &1  = / = 
0 1 0 + 1 0 + 0 &0 + &1 + &/ & + 0 0
&/ = & = &0 = &1 = 0
Por lo tanto # es l.i. y # es base de , adems dim = 4.

  $ %
c)
Sean " =   , # =   , & . P. D. &" + # .
% $
& + $ & + %
&" + # = 
, pero: &
+ $ & + $ , & + % & % pues & .
& % & + $
Entonces &" + # , por lo tanto, no es s.e.v. complejo de  .

  $ % $ % % + $
d)
"# =      =  
% $  $ %  % +  $

$ % =  $  %,
% + $  =  $  %
Entonces "# es un cuaternin, por lo tanto el producto de cuaterniones es un cuaternin.
$ %   $ % $ + %
#" =   =  "#
% $   % $  % + $ 
En general, el producto de cuaterniones no es conmutativo.

 
e)
7 7 =  +  = || + || 0 ssi  0 y  0.
1  
;/ =   
|| + ||  

 2. Se considera el espacio vectorial complejo < =  =%> y # = ?@ % = 1, / % = % + -,  % = % + - A
donde - es un nmero real fijo.
a) Demostrar que # es una base de <.
b) Dar las coordenadas en la base # para un elemento cualquiera de <: % = *@ + */ % + * %  , *B .
c) La frmula anterior, sugiere alguna generalizacin? (Opcional)

Resolucin:

Como dim < = 3 y # tiene 3 elementos, basta probar que # es l.i.

a)

&@ % + D/ % + E % = 0F

&1 + D% + - + E%  + 2-% + -  = & + -D + - E + D + 2-E% + E%  = 0 + 0% + 0% 

1 - - & 0
Se tiene el sistema:

H0 1 2- I HDI = H0I
0 0 1 E 0

1 - -
Este tiene solucin nica trivial si y slo si el determinante de la matriz de coeficientes es distinto de cero, por lo tanto

J0 1 2-J = 1 0 Entonces & = D = E = 0 y por lo tanto # es l.i.

0 0 1
Finalmente, # es base de <.

K@ @ % + K/ / % + K  % = %

b)

K@ 1 + K/ % + - + K %  + 2-% + -   = K@ + -K/ + - K  + K/ + 2-K % + K %  = *@ + */ % + * % 

1 - -  *@ N/ N/ -  N0 1 - 0 *@ - * N/ N/ -N 1 0 0 *@ -*/ + - *
Se plantea la matriz ampliada:
 

H0 1 2- J*/ LI ~N N 2-N0 P0 1 0 Q*/ 2-* LR ~ P0 1 0 Q */ 2-* LR

0 0 1  * 0 0 1 * 0 0 1 *
Por lo tanto las coordenadas de % respecto a la base # son:
K@ *@ -*/ + - *
HK/ I = P */ 2-* R
K *

Se puede generalizar que las coordenadas corresponden al desarrollo en serie de Taylor en % = -.

c)

3. Sean < = 0 , N = ?K = K/ , K , K0  < | K/ = S + E, K = E + T, K0 = S + 2E + TA

U = ?K = K/ , K , K0  < | K/ K + 2K0 = 0A
a) Hallar un base y dar la dimensin de los s.e.v. N y U.
b) Hallar el espacio N U, dar una base y la dimensin.
c) Qu es N + U? Se puede decir que < = N U? Justificar.

Resolucin:

En N se puede notar que K0 = S + 2E + T = S + E + E + T = K/ + K , y dado que S, E y T son reales

a)

cualesquiera, entonces se podra redefinir N de la siguiente manera:

N = ?K = K/ , K , K/ + K  < | K/ , K A
K = K/ , K , K/ + K  = K/ 1,0,1 + K 0,1,1
#X = ?1,0,1, 0,1,1A Por construccin #X genera a N. P. D. #X es l.i.
&1,0,1 + D0,1,1 = &, D, & + D = 0,0,0 de donde & = D = 0, por lo tanto #X es l.i.
Entonces #X es base de N, y dim N = 2
U puede ser redefinido as:
U = ?K = K 2K0 , K , K0  < | K , K0 A
K = K 2K0 , K , K0  = K 1,1,0 + K0 2,0,1
#Y = ?1,1,0, 2,0,1A Por construccin #Y genera a U. P. D. # es l.i.
&1,1,0 + D2,0,1 = & 2D, &, D = 0,0,0 de donde & = D = 0, por lo tanto #Y es l.i.
Entonces #Y es base de U, y dim U = 2
N U = ?K = K/ , K , K0  < | K/ = K0 K K/ = K 2K0 A
b)

Esto puesto que K0 = K/ + K K/ = K0 K

 /
Entonces se tiene K0 K = K 2K0 K0 = K K/ = K
0 0
1 2
N U = \K = K/ , K , K0  < | K/ = K , K/ = K0 = K ]
3 3
1 2 1
K = ^ K , K , K _ = K 1,3,2
3 3 3
# = ?1,3,2A Por construccin # genera a N U.
Como # tiene un solo elemento, # es l.i., por lo tanto # es base de N U, y dimN U = 1.

N + U = ?K < | K = ` + a, ` N a UA
c)

Sea ` N, ` = ), *, ) + * y a U, a = , 2-, ,, -

K = ` + a = ) + , 2-, * + ,, ) + * + -
Como en general ), *, , y - son nmeros distintos, entonces K es cualquier elemento de <, por lo tanto
N+U =<
Pero como se vio en el inciso anterior N U por lo tanto no se puede decir que < = N U.