Sei sulla pagina 1di 10

25

25
CAPTULO 2
DETERMINANTES

2.1 DETERMINANTES DE ORDEN 2

Supongamos que queremos resolver el sistema
11 1 12 2 1
21 1 22 2 2
a x a x b
a x a x b
+ =

+ =

o lo que es
equivalente resolver la ecuacin matricial . A X B = , donde
11 12
21 22
a a
A
a a
| |
=
|
\ .
,
1
2
x
X
x
| |
=
|
\ .

y
1
2
b
B
b
| |
=
|
\ .
. Sin prdida de generalidad podemos asumir que
11
0 a = .
Sustituyendo la segunda ecuacin por la combinacin lineal
( ) ( )
21 11 1 12 2 11 21 1 22 2 21 1 11 2
a a x a x a a x a x a b a b + + = se obtiene el sistema equivalente
( )
11 1 12 2 1
11 22 12 21 2 11 2 21 1
a x a x b
a a a a x a b a b
+ =

.
Se concluye que si
11 22 12 21
0 a a a a = el sistema es compatible y determinado y su
solucin viene dada por
22 1 12 2
1
11 22 12 21
a b a b
x
a a a a

y
11 2 21 1
2
11 22 12 21
a b a b
x
a a a a

.
En resumen la compatibilidad del sistema depende del nmero real
11 22 12 21
a a a a que
se obtiene a partir de las entradas de la matriz A.
Tenemos pues un buen motivo para asignarle un nombre a este nmero.

Definicin
Sea ( )
2
Ae M ,
11 12
21 22
a a
A
a a
| |
=
|
\ .
. Llamamos determinante de A al real
11 22 12 21
a a a a y lo notamos ( ) det A o A .

Veamos algunas propiedades. Por simplicidad de notacin escribiremos
a b
A
c d
| |
=
|
\ .
,
en vez de
11 12
21 22
a a
A
a a
| |
=
|
\ .
.

Propiedades
1)
' ' ' ' a a b b a b a b
c d c d c d
+ +
= + y
' ' ' '
a b a b a b
c c d d c d c d
= +
+ +
.
2) .
a b a b
c d c d

= y .
a b a b
c d c d


= cualquiera sea e.


26
26

3)
' '
' '
a a b a b a b
c c d c d c d
+
= +
+
y
' '
' '
a b b a b a b
c d d c d c d
+
= +
+
.

4) .
a b a b
c d c d

= y .
a b a b
c d c d

= cualquiera sea e.

5) Si una matriz tiene dos filas (o columnas) iguales, su determinante es 0.

6) ( )
2
det 1 I = .

7) Si a una fila (columna) de una matriz se le suma otra fila (columna) multiplicada por
un real, su determinante no cambia.

8) Si se intercambian dos filas (o columnas) de una matriz, su determinante cambia de
signo.

9) ( ) ( )
det det
t
A A = cualquiera sea ( )
2
Ae M .

Todas las demostraciones son clculos directos. A modo de ejemplo veamos la prueba
de la propiedad 7).

Sea
a b
A
c d
| |
=
|
\ .
y e.
( ) . det
a c b d a b c d a b c d a b
A
c d c d c d c d c d c d

+ +
= + = + = = donde hemos
utilizado las propiedades 1), 2) y 5).

Es importante observar que podemos pensar el determinante como una funcin de
( )
2
M en , es decir ( )
2
: M que a cada matriz le hace corresponder su
determinante.
Escribamos adems a una matriz A como un par ordenado de filas.
As tenemos ( )
1 2
, A A A = donde
i
A es la i-sima fila de A.
Si reescribimos las propiedades 1) y 2) con esta notacin, se tiene:
1) ( ) ( ) ( )
1 1 2 1 2 1 2
det ', det , det ', A A A A A A A + = + (*) y
( ) ( ) ( )
1 2 2 1 2 1 2
det , ' det , det , ' A A A A A A A + = + (**)
2) ( ) ( )
1 2 1 2
det , .det , A A A A = (***) y ( ) ( )
1 2 1 2
det , .det , A A A A = (****).


27
27
Esto se resume diciendo que la funcin es lineal en la primera fila ((*) y (***)) y
tambin es lineal en la segunda fila ((**) y (****)) o ms sintticamente que es una
funcin multilineal de las filas de la matriz.
Observemos adems que la propiedad 8) podra reformularse como
( ) ( )
2 1 1 2
det , det , A A A A = y se expresa diciendo que es una funcin alternada
de las filas de la matriz.
Reformulando tambin las propiedades 3), 4) y 8) en trminos de columnas tendremos
que es una funcin multilineal alternada de las columnas de la matriz.


2.2 DETERMINANTES DE ORDEN n

Parece razonable extender la definicin de determinante a matrices cuadradas de
cualquier dimensin. Si retomamos la idea de resolucin de sistemas que nos gui a la
definicin para el caso de ( )
2
M podemos ver que la compatibilidad del sistema
11 1 12 2 13 3 1
21 1 22 2 23 3 2
31 1 32 2 33 3 3
a x a x a x b
a x a x a x b
a x a x a x b
+ + =

+ + =

+ + =

depende de que el nmero real


22 23 21 23 21 22
11 12 13
32 33 31 33 31 32
a a a a a a
a a a
a a a a a a
+ sea distinto de cero.
Se deja al lector verificar este hecho.
Este real debera ser el determinante de una matriz de ( )
3
M ,

Para dimensin 4 se tiene que la compatibilidad del sistema
11 1 12 2 13 3 14 4 1
21 1 22 2 23 3 24 4 2
31 1 32 2 33 3 34 4 3
41 1 42 2 43 3 44 4 4
a x a x a x a x b
a x a x a x a x b
a x a x a x a x b
a x a x a x a x b
+ + + =

+ + + =

+ + + =

+ + + =

depende del nmero real


22 23 24 21 23 24 21 22 24 21 22 23
11 32 33 34 12 31 33 34 13 31 32 34 14 31 32 33
42 43 44 41 43 44 41 42 44 41 42 43
a a a a a a a a a a a a
a a a a a a a a a a a a a a a a
a a a a a a a a a a a a
+ aunque
no se le recomienda a ningn lector sensato que verifique este hecho.
Este real tendra que ser el determinante de una matriz de ( )
4
M .

Observando las expresiones anteriores y teniendo en cuenta la alternancia de signos
parece lgico ensayar una definicin por recurrencia.
Para ello notemos
i j
A a la matriz que se obtiene a partir de A suprimiendo la i-sima fila
y la j-sima columna.



28
28
Definicin
Sea ( )
n
Ae M con 3 n > . Llamamos determinante de A al nmero real
( ) ( )
1
1 1
1
1 .det
n
j
j j
j
a A
+
=

y lo notamos igual que para 2 n = .



Esta definicin se extiende al caso 1 n = definiendo el determinante de la matriz ( )
11
a
como el real
11
a .

A esta altura es natural preguntarse si las propiedades enunciadas para el caso 2 n = se
cumplen para todo natural n.
Dado que hemos definido el determinante por recurrencia sera lgico pensar que las
propiedades deberan probarse por induccin completa sobre n.
Supongamos que queremos generalizar la propiedad 8): si se intercambian dos filas o
columnas de una matriz, su el determinante cambia de signo.
Analicemos el caso 3 n = para filas.
Deberamos probar que
21 22 23 11 12 13
11 12 13 21 22 23
31 32 33 31 32 33
a a a a a a
a a a a a a
a a a a a a
= .
De acuerdo a nuestra definicin el miembro izquierdo de la igualdad es igual a
12 13 11 13 11 12
21 22 23
32 33 31 33 31 32
a a a a a a
a a a
a a a a a a
+ y el miembro derecho es igual a
22 23 21 23 21 22
11 12 13
32 33 31 33 31 32
a a a a a a
a a a
a a a a a a
+ .
Obviamente podramos finalizar esta demostracin por clculo directo aplicando la
definicin de determinante para matrices de ( )
2
M . Pero parece difcil visualizar un
camino inductivo; es decir lograr probar esta igualdad a partir de la suposicin de que la
propiedad vale para matrices de ( )
2
M con el objeto de generalizarlo para todo n. La
dificultad radica en que las matrices de ( )
2
M que aparecen en ambos miembros de la
igualdad son distintas como consecuencia de que nuestra definicin slo nos permite
desarrollar el determinante por la primera fila.

Para evitar estas dificultades tcnicas recordemos que hemos probado que
( )
2
det: M es una funcin multilineal alternada de las filas de la matriz.
En realidad podemos probar que ( )
2
det: M es la nica funcin multilineal
alternada de las filas de la matriz a menos de una constante.
Este resultado se generaliza a matrices cuadradas de cualquier dimensin.
Ms precisamente es posible probar el siguiente resultado.




29
29
Teorema
Sea ( ) :
n
M una funcin multilineal alternada de las filas de la
matriz. Entonces ( ) ( ) ( ) det .
n
A I = .

Para dicha prueba es necesario un lema previo.

Lema
Sea ( ) :
n
M una funcin multilineal alternada de las filas de la matriz y
( )
n
Ae M una matriz que tiene dos filas iguales. Entonces ( ) 0 = .

Dem:
Sea ( )
n
Ae

M la matriz que se obtiene intercambiando las dos filas iguales de


A. Como es alternada en las filas se tiene
( ) ( ) A A =

. Pero A A =

, por lo tanto
( ) ( ) A A = de lo cual se deduce que ( ) 0 A = .

An con este lema que hemos establecido para matrices cuadradas de cualquier
dimensin, la demostracin del teorema presenta dificultades tcnicas que nos
obligaran a un desarrollo terico demasiado extenso.
Dejamos a cargo del lector interesado la lectura de este tema.
Nos limitaremos a demostrar el teorema para el caso 2 n = .

Dem del teorema:
Manteniendo la notacin establecida antes para las filas, podemos
escribir ( )
1 2
, A A A = . Si notamos adems con
1
E y
2
E a las filas de la matriz identidad
2
I , podemos escribir ( ) ( )
1 2 11 1 12 2 21 1 22 2
, , A A A a E a E a E a E = = + + y tenemos la
siguiente cadena de igualdades obtenida aplicando la hiptesis de que es multilineal
en las filas.
( ) ( ) ( ) ( )
1 2 11 1 12 2 21 1 22 2 11 1 21 1 22 2
, , , A A A a E a E a E a E a E a E a E = = + + = + +
( ) ( ) ( )
12 2 21 1 22 2 11 1 21 1 22 2 12 2 21 1 22 2
, , , a E a E a E a E a E a E a E a E a E + + = + + + =
( ) ( ) ( ) ( )
11 1 21 1 11 1 22 2 12 2 21 1 12 2 22 2
, , , , a E a E a E a E a E a E a E a E + + + =
( ) ( ) ( ) ( )
11 21 1 1 11 22 1 2 12 21 2 1 12 22 2 2
, , , , a a E E a a E E a a E E a a E E + + + .
Aplicando el lema anterior podemos afirmar que ( )
1 1
, 0 E E = y que ( )
2 2
, 0 E E = de
lo cual se deduce que ( ) ( ) ( )
11 22 1 2 12 21 2 1
, , A a a E E a a E E = +
Recordando ahora que es alternada tenemos: ( ) ( )
2 1 1 2
, , E E E E = y por ende
( ) ( ) ( ) ( ) ( ) ( ) ( )
11 22 1 2 12 21 1 2 11 22 12 21 1 2 2
, , , det . A a a E E a a E E a a a a E E A I = = =
como queramos.



30
30
Dado que ( ) det 1
n
I = podemos enunciar el siguiente corolario cuya demostracin es
inmediata.

Corolario
Sea ( ) :
n
M una funcin multilineal alternada de las filas de la
matriz tal que ( ) 1
n
I = . Entonces ( ) ( ) det A = .

Obtenido este resultado es un trabajo largo y tedioso generalizar las propiedades a cerca
de filas vistas para determinantes de dimensin 2 a cualquier dimensin, por lo cual no
aburriremos al lector en estas notas con esta tarea dejndola por su cuenta.
En cuanto a la propiedad 9), la prueba es un poco ms delicada y la omitiremos en estas
notas. J ustamente la propiedad 9) nos permite reescribir el corolario anterior de la
siguiente forma:
Sea ( ) :
n
M una funcin multilineal alternada de las columnas de la matriz tal
que ( ) 1
n
I = . Entonces ( ) ( ) det A A = .
A partir de esto todas las propiedades enunciadas para filas valen automticamente para
columnas.


2.3 DETERMINANTES DE LA SUMA Y DEL PRODUCTO

Considerando que el determinante es una funcin con dominio ( )
n
M es razonable
preguntarse como se comporta respecto a las operaciones de las matrices.
Es fcil verificar que en general ( ) ( ) ( ) det det det A B A B + = + .
La linealidad respecto de las filas nos permite deducir inmediatamente que si
( )
n
Ae M y e, entonces ( ) ( ) det det
n
A A = .
Slo falta saber como se comporta la funcin determinante respecto al producto de
matrices. La respuesta viene dada por la siguiente proposicin.

Proposicin
Si ( ) ,
n
A Be M entonces ( ) ( ) ( ) det . det .det A B A B =

Dem:
Fijemos la matriz B y consideremos ( ) :
n
M tal que ( ) ( ) det . A A B = .
Verifiquemos que es multilineal y alternada en las filas.



31
31
11 1 11 11 1 1 11 11 1 1
21 2 21 2 21 2
1 1 1
' ' ' '
det
n n n n n
n n n
n nn n nn n nn
b b a a a a a a a a
b b a a a a
b b a a a a

| | + + + + | | | | | |
| | | |
| | | |
= =
| | | |
| | | |
| |
\ . \ . \ . \ .






11 11 11 11 1 1 1 1 11 1 11 1 1 1
21 11 2 1 21 1 2
1 11 1 1 1
' ' ' '
det
n n n n n n n nn n nn
n n n n nn
n nn n n n nn nn
a b a b a b a b a b a b a b a b
a b a b a b a b
a b a b a b a b
+ + + + + + + + | |
|
+ + + +
|
= =
|
|
+ + + +
\ .






11 11 1 1 11 1 1
21 11 2 1 21 1 2
1 11 1 1 1
det
n n n n nn
n n n n nn
n nn n n n nn nn
a b a b a b a b
a b a b a b a b
a b a b a b a b
+ + + + | |
|
+ + + +
|
= +
|
|
+ + + +
\ .






11 11 1 1 11 1 1
21 11 2 1 21 1 2
1 11 1 1 1
' ' ' '
det
n n n n nn
n n n n nn
n nn n n n nn nn
a b a b a b a b
a b a b a b a b
a b a b a b a b
+ + + + | |
|
+ + + +
|
+ =
|
|
+ + + +
\ .






11 1 11 1 11 1 11 1
21 2 21 2 21 2 21 2
1 1 1 1
' '
det det
n n n n
n n n n
n nn n nn n nn n nn
a a b b a a b b
a a b b a a b b
a a b b a a b b
| | | | + | | | | | | | |
| | | | | |
| | | | | |
= + =
| | | | | |
| | | | | |
| |
\ . \ . \ . \ . \ . \ .






11 1 11 1
21 2 21 2
1 1
' '
n n
n n
n nn n nn
a a a a
a a a a
a a a a

| | | |
| |
| |
= +
| |
| |
\ . \ .




.

Claramente la demostracin que hemos hecho en la primera fila funciona para cualquier
otra.



32
32
De igual forma se prueba que
11 1 11 1
1 1
1 1
.
n n
i in i in
n nn n nn
a a a a
a a a a
a a a a

| | | |
| |
| |
| |
=
| |
| |
| |
\ . \ .





para cualquier
fila i y que es alternada.

Tenemos entonces que ( ) :
n
M es una funcin multilineal y alternada en las
filas, por lo tanto ( ) ( ) ( ) det .
n
A A I = para toda matriz A. Pero es claro que
( ) ( ) det
n
I B = . Concluimos que ( ) ( ) ( ) det .det A A B = , es decir que
( ) ( ) ( ) det . det .det A B A B = como queramos.

Como corolario inmediato tenemos:

Corolario
Sea ( )
n
Ae M . Si A es invertible, entonces ( ) det 0 A = y
( )
( )
1
1
det
det
A
A

=

Dem:
Si A es invertible, existe ( )
1
n
A

e M tal que
1
.
n
A A I

= . Entonces
( ) ( ) ( )
1
det .det det 1
n
A A I

= = y de aqu se obtiene la tesis.




2.4 APLICACIONES A LA RESOLUCIN DE SISTEMAS

Terminaremos este captulo mostrando un par de resultados interesantes.
Comencemos por la regla de Cramer para el clculo de las soluciones de un sistema, que
lleva el nombre del matemtico suizo Gabriel Cramer (1704-1752) quien la presentara
sin demostracin en un trabajo publicado en 1750.
Notaremos aqu
j
A a la j-sima columna de la matriz A. De este modo la matriz ser
representada como una n-upla de columnas
( )
1
,
n
A A A = .









33
33
Proposicin
Se considera un sistema de ecuaciones escrito en forma de ecuacin
matricial . A X B = con
( )
1
,
n
A A A = ,
1
n
x
X
x
| |
|
=
|
|
\ .
y
1
n
b
B
b
| |
|
=
|
|
\ .
.
Si ( ) det 0 A = , entonces el sistema es compatible y determinado y se tiene j n s ,
( )
( )
1 1 1
det , , , , , ,
det
j j n
j
A A B A A
x
A
+
=

.

Dem:
La igualdad . A X B = se puede reescribir como
1
1
n
n
B x A x A = + +
Entonces
( ) ( )
1 1 1 1 1 1 1
1
det , , , , , , det , , , , , ,
j j n j n j n
n
A A B A A A A x A x A A A
+ +
= + + =
( ) ( )
1 1 1 1 1 1 2 1
1 2
det , , , , , , det , , , , , ,
j j n j j n
x A A A A A x A A A A A
+ +
= + +
( ) ( )
1 1 1 1 1 1 1
1
det , , , , , , det , , , , , ,
j j j n j j j n
j j
x A A A A A x A A A A A
+ +

+ + +
( ) ( )
1 1 1 1 1 1 1
1
det , , , , , , det , , , , , ,
j j j n j n j n
j n
x A A A A A x A A A A A
+ + +
+
+ + + donde
hemos utilizado la linealidad de la funcin determinante respecto a las columnas.
Pero en el ltimo miembro de la igualdad todos los determinantes son 0 por tratarse de
matrices con dos columnas iguales con excepcin de
( )
1 1 1
det , , , , , ,
j j j n
A A A A A
+

que no es otra cosa que ( ) det A . Por lo tanto la igualdad se reduce a
( ) ( )
1 1 1
det , , , , , , det
j j n
j
A A B A A x A
+
= de donde se obtiene la igualdad deseada.

Corolario
Se considera un sistema de ecuaciones escrito en forma de ecuacin matricial
. 0 A X = donde hemos notado con 0 a la matriz nula de 1 n (a este tipo tipo de
sistemas se les denomina homogneos).
Si ( ) det 0 A = , entonces el sistema es compatible y determinado y su nica solucin es
la trivial (es decir ( ) { }
0, ,0 S = ) y si ( ) det 0 A = , entonces el sistema es compatible
indeterminado.

La demostracin es inmediata.

Por ltimo veamos una expresin de la matriz inversa en trminos de determinantes.







34
34
Proposicin
Sea ( )
n
Ae M tal que ( ) det 0 A = . Entonces A es invertible y si notamos
con
i j
b la entrada de
1
A

correspondiente a la fila i y columna j y con


j
E la
j-sima columna de la matriz identidad, entonces
( )
( )
1 1 1
det , , , , , ,
det
i j i n
i j
A A E A A
b
A
+
=

.

La demostracin se obtiene directamente aplicando la regla de Cramer y la dejamos
a cargo del lector.