XV PREMIOS JORGE JUAN

Á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:

1. Demuestra que W es un subespacio vectorial de V , dando su dimensión y una base.

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:

3. Demuestra que W = WS WA , donde denota la suma directa de los dos subespacios.

SOLUCIÓN

1. Para probar que W es un subespacio vectorial de V , tenemos que demostrar que:

a) A + B 2 W , 8A; B 2 W:

b) A 2 W , 8 2 R, 8A 2 W:

Consideremos A; B 2 W . Si A = (aij ) y B = (bij ), deben cumplirse las siguientes condiciones

X
3 X
3
aij = aij = a13 + a22 + a31 , i; j = 1; 2; 3;
i=1 j=1

X
3 X
3
bij = bij = b13 + b22 + b31 , i; j = 1; 2; 3:
i=1 j=1

Entonces la matriz suma, A + B = (aij + bij ), es también un elemento de W , ya que, para i; j =

1; 2; 3,
X
3 X
3 X
3 X
3 X
3 X
3
(aij + bij ) = aij + bij = aij + bij = (aij + bij ) ;
i=1 i=1 i=1 j=1 j=1 j=1
y
X
3 X
3 X
3
(aij + bij ) = aij + bij = (a13 + a22 + a31 )+(b13 + b22 + b31 ) = (a13 + b13 )+(a22 + b22 )+(a31 + b31 ) :
j=1 j=1 j=1

Consideremos ahora A = (aij ) 2 W y 2 R. Entonces, se cumple

X
3 X
3
aij = aij = a13 + a22 + a31 , i; j = 1; 2; 3
i=1 j=1
 y, multiplicando la expresión anterior por , se tiene
X
3 X
3
aij = aij = (a13 + a22 + a31 ) , 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

Por lo tanto, la matriz A = ( aij ) 2 W:

Así pues, W es un subespacio vectorial de V .

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 ;

Por lo tanto, A 2 W si, y sólo si,

0 1 0 1 0 1 0 1
1 1 0 0 0 1 2 1 0 0 1 0
A = a33 @ 1 0 1 A + a13 @ 1 0 0 A + a22 @ 1 1 1 A + a31 @ 0 0 1 A ;
0 1 1 0 1 0 0 1 0 1 0 0
así que las matrices del conjunto
8 0 1 0 1 0 1 0 19
< 1 1 0 0 0 1 2 1 0 0 1 0 =
B = A1 = @ 1 0 A
1 ; A2 = @ A
1 0 0 ; A3 = @ 1 1 1 A ; A4 = @ 0 0 1 A
: 0 1 1 0 1 0 0 1 0 1 0 0 ;
son un sistema de generadores para W . Por otra parte, las matrices del conjunto B son linealmente
independientes ya que si tomamos una combinación lineal de ellas y la igualamos a la matriz nula,
0 1 0 1 0 1 0 1 0 1
1 1 0 0 0 1 2 1 0 0 1 0 0 0 0
1
@ 1 0 1 A + 2@ 1 0 0 A + 3@ 1 1 1 A + 4@ 0 0 1 A = @ 0 0 0 A;
0 1 1 0 1 0 0 1 0 1 0 0 0 0 0
se obtiene que 1 = 2 = 3 = 4 = 0:
Así pues, B es una base de W y dim W = 4:

2. Puesto que WS = W \ S W y WA = W \ A W , con S y A los subespacios de las ma-

trices simétricas y antisimétricas de orden 3, respectivamente, y las intersecciones de subespacios
vectoriales son subespacios vectoriales, se tiene que WS y WA son subespacios de W:

3. Calculamos dim WS y dim WA encontrando una base para cada uno de los subespacios.

Por una parte, A 2 WS si, y sólo si, A 2 W y A 2 S, es decir,

A = a33 A1 + a13 A2 + a22 A3 + a31 A4

y AT = A. Como AT = a33 AT1 + a13 AT2 + a22 AT3 + a31 AT4 y A1 y A3 son simétricas, se tiene que

AT = a33 A1 + a13 AT2 + a22 A3 + a31 AT4 ;

por lo 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,

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,

A = a33 A1 + a13 A2 + a22 A3 + a13 A4 = a33 A1 + a13 (A2 + A4 ) + a22 A3 :

Por lo tanto, WS es el subespacio generado por

80 1 0 1 0 19
< 1 1 0 0 1 1 2 1 0 =
@ 1 0 A @
1 ; 1 0 1 ; A @ 1 1 1 A :
: 0 1 1 1 1 0 0 1 0 ;
Se demuestra fácilmente que el conjunto anterior es una base de WS , por lo que dim WS = 3.

Por otro lado, A 2 WA si, y sólo si, A 2 W y A 2 A, es decir,

A = a33 A1 + a13 A2 + a22 A3 + a31 A4

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,

2a33 A1 + a13 AT2 + A2 + 2a22 A3 + a31 AT4 + A4 = O:

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,

A = a13 A2 a13 A4 = a13 (A2 A4 ) :

Por lo tanto, WA es el subespacio generado por

80 19
< 0 1 1 =
@ 1 0 1 A
: ;
1 1 0
y dim WA = 1.
Por último, dado que WS \ WA S \ A = fOg, se tiene que

dim (WS + WA ) = dim WS + dim WA dim (WS \ WA ) = 3 + 1 0 = 4:

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.