Professional Documents
Culture Documents
Álgebra Lineal
Se consideran, V = M3 3 (R) el espacio vectorial de las matrices cuadradas de orden 3 con coe cientes
reales y W el subconjunto de V formado por las "matrices mágicas":
( )
X
3 X
3
W = A = (aij ) 2 V j aij = aij = a13 + a22 + a31 , i; j = 1; 2; 3 :
i=1 j=1
Se pide:
2. Si denotamos por WS y WA los conjuntos de las matrices mágicas simétricas y antisimétricas, respec-
tivamente, demuestra que ambos conjuntos son subespacios de W:
SOLUCIÓN
a) A + B 2 W , 8A; B 2 W:
b) A 2 W , 8 2 R, 8A 2 W:
X
3 X
3
bij = bij = b13 + b22 + b31 , i; j = 1; 2; 3:
i=1 j=1
de donde
X
3 X
3
( aij ) = ( aij ) = a13 + a22 + a31 , i; j = 1; 2; 3:
i=1 j=1
Para encontrar una base de W , necesitamos conocer la forma que tiene un vector genérico del
subespacio y, para encontrarla, debemos resolver el sistema que se obtiene al considerar las condi-
ciones que de nen los elementos de W , es decir,
9
a11 + a12 + a13 = a13 + a22 + a31 >
>
>
a21 + a22 + a23 = a13 + a22 + a31 >
>
=
a31 + a32 + a33 = a13 + a22 + a31
:
a11 + a21 + a31 = a13 + a22 + a31 >
>
a12 + a22 + a32 = a13 + a22 + a31 >
>
>
;
a13 + a23 + a33 = a13 + a22 + a31
Simpli cando y poniendo las ecuaciones y las incógnitas en el orden adecuado, se obtiene el sistema
homogéneo
9
a11 + a12 a22 a31 = 0 >
>
>
a12 + a32 a13 a31 = 0 >
>
=
a21 + a23 a13 a31 = 0
;
a23 + a33 a22 a31 = 0 >
>
a32 + a33 a13 a22 = 0 >
>
>
;
a11 + a21 a13 a22 = 0
cuya matriz de coe cientes es
0 1
1 1 0 0 0 0 0 1 1
B 0 1 0 0 1 0 1 0 1 C
B C
B 0 0 1 1 0 0 1 0 1 C
B C:
B 0 0 0 1 0 1 0 1 1 C
@ 0 0 0 0 1 1 1 1 0 A
1 0 1 0 0 0 1 1 0
Resolvemos el sistema por el método de Gauss-Jordan,
0 1 0 1
1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1
B 0 1 0 0 1 0 1 0 1 C B 0 1 0 0 1 0 1 0 1 C
B C B C
B 0 0 1 1 0 0 1 0 1 C F6 F6 F1 +F2 F3 +F4 F5 B 0 0 1 1 0 0 1 0 1 C
B C ! B C
B 0 0 0 1 0 1 0 1 1 C B 0 0 0 1 0 1 0 1 1 C
@ 0 0 0 0 1 1 1 1 0 A @ 0 0 0 0 1 1 1 1 0 A
1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0
0 1 0 1
1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1
B 0 1 0 0 1 0 1 0 1 C B 0 1 0 0 0 1 0 1 1 C
B C B C
B 0 0 1 1 0 0 1 0 1 C F2 F 2 F5 B 0 0 1 0 0 1 1 1 0 C
B C ! B C
B 0 0 0 1 0 1 0 1 1 C F3 F 3 F4 B 0 0 0 1 0 1 0 1 1 C
@ 0 0 0 0 1 1 1 1 0 A @ 0 0 0 0 1 1 1 1 0 A
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1
1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 0
B 0 1 0 0 0 1 0 1 1 C B 0 1 0 0 0 1 0 1 1 C
B C B C
B 0 0 1 0 0 1 1 1 0 C F1 F1 F2 B 0 0 1 0 0 1 1 1 0 C
B C ! B C;
B 0 0 0 1 0 1 0 1 1 C B 0 0 0 1 0 1 0 1 1 C
@ 0 0 0 0 1 1 1 1 0 A @ 0 0 0 0 1 1 1 1 0 A
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
y se obtiene el sistema equivalente
9
a11 + a33 2a22 = 0 >
>
>
>
a12 a33 + a22 a31 = 0 =
a21 a33 a13 + a22 = 0 ;
a23 + a33 a22 a31 = 0 >
>
>
>
a32 + a33 a13 a22 = 0 ;
de donde se obtiene
9
a11 = a33 + 2a22 >
>
>
>
a12 = a33 a22 + a31 =
a21 = a33 + a13 a22 :
a23 = a33 + a22 + a31 >
>
>
>
a32 = a33 + a13 + a22 ;
3. Calculamos dim WS y dim WA encontrando una base para cada uno de los subespacios.
y AT = A. Como AT = a33 AT1 + a13 AT2 + a22 AT3 + a31 AT4 y A1 y A3 son simétricas, se tiene que
a33 A1 + a13 AT2 + a22 A3 + a31 AT4 = a33 A1 + a13 A2 + a22 A3 + a31 A4 ;
o, lo que es lo mismo,
a13 AT2 + a31 AT4 a13 A2 a31 A4 = a13 AT2 A2 + a31 AT4 A4 = O:
Resolviendo la anterior ecuación matricial, se obtiene que a13 = a31 y, por lo tanto, A 2 WS si, y
sólo si,
y AT = A. Como AT = a33 A1 + a13 AT2 + a22 A3 + a31 AT4 , se tiene que AT = A si, y sólo si,
a33 A1 + a13 AT2 + a22 A3 + a31 AT4 = a33 A1 a13 A2 a22 A3 a31 A4 ;
o, lo que es lo mismo,
Resolviendo la anterior ecuación matricial, se obtiene que a13 = a31 , a33 = 0 y a22 = 0, por lo
tanto, A 2 WA si, y sólo si,
Como WS +WA es un subespacio de W con la misma dimensión que W , se tiene que W = WS +WA ,
que es suma directa porque WS \ WA = fOg.