Determinante

1
INTRODUCCI
N
Determinante, notacin matemtica formada por una tabla
cuadrada de nmeros, u otros elementos, entre dos lneas
!erticales" el !alor de la e#presin se calcula mediante su
desarrollo si$uiendo ciertas re$las% &os determinantes fueron
ori$inalmente in!esti$ados por el matemtico 'apon(s )e*i
+o,a alrededor de 1-./ 0, por separado, por el filsofo 0
matemtico alemn 1ottfried 2il33elm &eibni4 alrededor de
1-5/% 6sta notacin se utili4a en casi todas las ramas de las
matemticas 0 en las ciencias naturales%
6l smbolo es un determinante de se$undo
orden, pues es una tabla con dos filas 0 dos columnas" su
!alor es, por definicin, a
11
a
77
8 a
17
a
71
% Un determinante de
orden n8(simo es una tabla cuadrada con n filas 0 n columnas
como se muestra en la fi$ura9
6l adjunto menor, M
ij
, de un elemento cual:uiera a
ij
de la
tabla es el determinante formado por los elementos restantes
al eliminar la fila i 0 la columna j en las :ue aparece el
elemento a
ij
% 6l cofactor, A
ij
, de un elemento a
ij
es i$ual a ;8
1<
i=j
M
ij
%
7
6>?&U?CIN D6 UN
D6T6R@IN?NT6
6l !alor de un determinante se puede e#presar usando los
elementos de una fila ;o columna< 0 sus respecti!os
cofactores" la suma de estos productos es el !alor del
determinante% Aormalmente, esto se e#presa como
si el desarrollo se 3ace en funcin de la fila i, o
si se 3ace en funcin de la columna j% De esta manera, para
calcular el !alor de un determinante de tercer orden utili4ando
los elementos de la primera columna
6stos t(rminos se e!alan a su !e4 utili4ando la definicin
dada anteriormente para el determinante de se$undo orden%
Bara determinantes de orden superior al tercero, el proceso
se repite para los determinantes formados por los ad'untos
menores, 3asta lle$ar a determinantes :ue puedan
desarrollarse fcilmente%
6ste m(todo de clculo del !alor de un determinante puede
ser bastante laborioso, por lo :ue se utili4an ciertas
propiedades de los determinantes para reducir la cantidad de
clculos necesarios% 6ntre estas propiedades, tenemos las
si$uientes9
1< Un determinante es i$ual a cero si todos los elementos de
una fila ;o columna< son id(nticos, o proporcionales, a los
elementos de otra fila ;o columna<%
7< )i todos los elementos de una fila ;o columna< se
multiplican por un factor dado, el determinante :ueda
multiplicado por dic3o factor%
/< 6l !alor de un determinante no se altera si se aCade a cada
elemento de una fila ;o columna< el elemento correspondiente
de otra fila ;o columna< multiplicado por un factor constante%
/
?B&IC?CION
6)
Una aplicacin de los determinantes en la $eometra analtica
se muestra en el si$uiente e'emplo9 )i P
1
;x
1
, y
1
<, P
7
;x
7
, y
7
<, 0
P
/
;x
/
, y
/
< son tres puntos distintos en un plano de
coordenadas cartesianas, el rea A del trin$ulo P
1
P
7
P
/
,
i$norando el si$no al$ebraico, est dada por
)i los tres puntos son colineales, el !alor del determinante es
cero%
&os determinantes se utili4an tambi(n para resol!er sistemas
de ecuaciones de la si$uiente manera% &as n ecuaciones a
resol!er se representan al$ebraicamente como
)e constru0e un determinante, D, utili4ando estos
coeficientes, 0 siendo D
k
el determinante :ue se obtiene al
eliminar la columna k 0 sustituirla por la columna de las
constantes b
1
, b
7
, %%% b
n
% )i D E F las ecuaciones son
consistentes 0 es posible encontrar una solucin% Gsta est
dada por
)i D H F, es necesario in!esti$ar las ra4ones para a!eri$uar el
nmero 0 la naturale4a de las soluciones%
6ste es un e'emplo num(rico% Dados97x
1
= /x
7
= Ix
/
H -, x
1
=
x
7
= x
/
H / 0 x
1
8 x
7
= x
/
H 81, entonces tenemos :ue x
1
H D
1
J D
H 7% )i construimos D
7
0 D
/
el resultado es x
7
H 7 0 x
/
H 81%
Mtodos de clculo
?rtculos principales9 Teorema de Laplace 0 Regla de Sarrus%
Bara el clculo de determinantes de matrices de cual:uier
orden, e#iste una re$la recursi!a ;teorema de &aplace< :ue
reduce el clculo a sumas 0 restas de !arios determinantes
de un orden inferior% 6ste proceso se puede repetir tantas
!eces como sea necesario 3asta reducir el problema al
clculo de mltiples determinantes de orden tan pe:ueCo
como se :uiera% )abiendo :ue el determinante de un escalar
es el propio escalar, es posible calcular el determinante de
cual:uier matri4 aplicando dic3o teorema%
?dems de esta re$la, para calcular determinantes de
matrices de cual:uier orden podemos usar otra definicin de
determinante conocida como Armula de &eibni4%
&a frmula de &eibni4 para el determinante de una matri4
cuadrada A de orden n es9
donde la suma se calcula sobre todas las permutacines K
del con'unto L1,7,%%%,nM% &a posicin del elemento i despu(s de
la permutacin K se denota como K
i
% 6l con'unto de todas las
permutaciones es B
n
% Bara cada K, s$n;K< es la signatura de
K, esto es =1 si la permutacin es par 0 N1 si es impar ;!er
Baridad de permutaciones<%
6n cual:uiera de los sumandos, el t(rmino
denota el producto de las entradas en la posicin ;i, K
i
<, donde
i !a desde 1 3asta n9
&a frmula de &eibni4 es til como definicin de determinante"
pero, e#cepto en casos mu0 pe:ueCos, no es una forma
prctica de calcularlo9 3a0 :ue lle!ar a cabo nO productos de n
factores 0 sumar nO elementos% No se suele usar para calcular
el determinante si la matri4 tiene ms de tres filas%
Matrices de orden inferior
6l caso de matrices de orden inferior ;orden 1, 7 /< es tan
sencillo :ue su determinante se calcula con sencillas re$las
conocidas% Dic3as re$las son tambi(n deducibles del teorema
de &aplace%
Una matri4 de orden uno, es un caso tri!ial, pero lo
trataremos para completar todos los casos% Una matri4 de
orden uno puede ser tratada como un escalar, pero a:u la
consideraremos una matri4 cuadrada de orden uno9
6l !alor del determinante es i$ual al nico termino de la
matri49
&os determinantes de una matri4 de orden 79
se calculan con la si$uiente frmula9
Dada una matri4 de orden /9
6n determinante de orden / se calcula mediante la re$la de
)arrus9
Determinantes de orden superior
6l determinante de orden n, puede desarrollarse a partir de
una fila o columna, reduciendo el problema al clculo de un
determinante de orden n81% Bara ello se toma una fila o
columna cual:uiera, multiplicando cada elemento por su
cofactor ;es decir, el determinante de la matri4 :ue se obtiene
eliminando la fila 0 columna correspondiente a dic3o
elemento, multiplicado por ;81<
i='
donde i es el nmero de fila 0
' el nmero de columna<% &a suma de todos los productos es
i$ual al determinante%
6n caso de un determinante de orden I, se obtienen
directamente determinantes de orden / :ue podrn ser
calculados por la re$la de )arrus% 6n cambio, en los
determinantes de orden superior, como por e'emplo n H P, al
desarrollar los elementos de una lnea, obtendremos
determinantes de orden I, :ue a su !e4 se debern
desarrollar en por el mismo m(todo, para obtener
determinantes de orden /% Bor e'emplo, para obtener con el
m(todo especificado un determinante de orden I, se deben
calcular I determinantes de orden /% 6n cambio, si
pre!iamente se lo$ran tres ceros en una fila o columna,
bastara con calcular solo un determinante de orden / ;0a :ue
los dems determinantes estarn multiplicados por F, lo :ue
los anula<%
&a cantidad de operaciones aumenta mu0 rpidamente% 6n el
peor de los casos ;sin obtener ceros en filas 0 columnas<,
para un determinante de orden I se debern desarrollar I
determinates de orden /% 6n un determinante de orden P, se
obtienen P determinates de orden I a desarrollar, dndonos
7F determinates de orden /% 6l nmero de determinates de
orden / :ue se obtienen en el desarrollo de un determinante
de orden n es i$ual a
Bor e'emplo, mediante este m(todo, para un determinante de
orden 1F se debern calcular 1F # 5 # . # Q # - # P # I H
-FI%.FF determinantes de orden /%
Tambi(n puede utili4arse el @(todo de eliminacin
1aussiana, para con!ertir la matri4 en una matri4 trian$ular%
)i bien el proceso puede parecer tedioso, estar mu0 le'os de
los 1I%P75%Q1P%7FF de determinantes de orden / necesarios
para calcular el determinante de una matri4 de orden 1I%
Determinantes en dimensin infinita
Ra'o ciertas condiciones puede definirse el determinante de
aplicaciones lineales de un espacio !ectorial de Ranac3 de
dimensin infinita% 6n concreto en el determinante est
definido para los operadores de la clase de determinante :ue
puede a partir de los operadores de la clase de tra4a% Un
e'emplo notable fue el determinante de Fredholm :ue (ste
defini en cone#in con su estudio de la ecuacin inte$ral :ue
lle!a su nombre9
;S<
Donde9
es una funcin conocida
es una la funcin inc$nita
es una funcin conocida llamada ncleo, :ue da
lu$ar al si$uiente operador lineal compacto 0 de tra4a
finita en el espacio de Tilbert de funciones de cuadrado
inte$rable en el inter!alo UF,1V9
9
&a ecuacin ;S< tiene solucin si el determinante de Ared3olm
no se anula% 6l determinante de Ared3olm en este
caso $enerali4a al determinante en dimensin finita 0 puede
calcularse e#plcitamente mediante9
&a propia solucin de la ecuacin ;S< puede escribirse de
manera simple en t(rminos del determinante cuando este no
se anula%
Primeros ejemplos: reas y volmenes
6l clculo de reas 0 !olmenes ba'o forma de determinantes
en espacios eucldeos aparecen como casos particulares de
una nocin ms $eneral de determinante% &a letra ma0scula
D ;Det< se reser!a a !eces para distin$uirlos%
Determinante de dos vectores en el plano eucldeo
Ai$% 1% 6l determinante es el rea a4ul orientada%
)ea P el plano eucldeo% 6l determinante de los !ectores X 0
X se obtiene con la e#presin analtica
o, de manera e:ui!alente, por la e#presin $eom(trica
en la cual es el n$ulo orientado formado por los !ectores X
0 X%
Propiedades
6l !alor absoluto del determinante es i$ual a la superficie
del paralelo$ramo definido por X 0 X ; es en
efecto la altura del paralelo$ramo, por lo :ue ? H Rase W
?ltura<%
6l determinante es nulo si 0 slo si los dos !ectores son
colineales ;el paralelo$ramo se con!ierte en una lnea<%
)u si$no es estrictamente positi!o si 0 slo si la medida
del n$ulo !X, X " se encuentra enVF, U%
&a aplicacin del determinante es bilineal9 la linearidad
respecto al primer !ector se escribe
0 respecto al se$undo
Ai$% 7%)uma de las reas de dos paralelo$ramos ad0acentes%
&a fi$ura 7, en el plano, ilustra un caso particular de esta
frmula% Representa dos paralelo$ramos ad0acentes, uno
definido por los !ectores u 0 ! ;en !erde<, 0 otro por los
!ectores uX 0 ! ;en a4ul<% 6s fcil !er sobre este e'emplo el
rea del paralelo$ramo definido por los !ectores u=uX 0 ! ;en
$ris<9 es i$ual a la suma de los dos paralelo$ramos
precedentes a la cual se sustrae el rea de un trin$ulo 0 se
aCade el rea de otro trin$ulo% ?mbos trin$ulos se
corresponden por translacin 0 la frmula si$uiente se !erifica
Det ;u=uX, !<HDet ;u, !<=Det ;uX, !<%
6l dibu'o corresponde a un caso particular de la frmula de
bilinealidad 0a :ue las orientaciones 3an sido ele$idas de
manera :ue las reas ten$an el mismo si$no, aun:ue a0uda
a comprender el contenido $eom(trico%
!enerali"acin
6s posible definir la nocin de determinante en un plano
eucldeo orientado con una base ortonormal directa #
utili4ando las coordenadas de los !ectores en esta base% 6l
clculo del determinante da el mismo resultado sea cual sea
la base ortonormal directa ele$ida para el clculo%
Determinante de tres vectores en el espacio eucldeo
)ea $ el espacio eucldeo orientado de dimensin /% 6l
determinante de tres !ectores de $ se da por
Ai$% /% Ilustracin $rfica de la trilinealidad%
6ste determinante lle!a el nombre de producto mi#to%
Propiedades
6l !alor absoluto del determinante es i$ual al !olumen de
paraleleppedo definido por los tres !ectores%
6l determinante es nulo si 0 slo si los tres !ectores se
encuentran en un mismo plano ;paraleleppedo YplanoY<%
&a aplicacin determinante es trilineal9 sobre todo
Una ilustracin $eom(trica de esta propiedad se da en la
fi$ura / con dos paraleleppedos ad0acentes, es decir con
una cara comn% &a i$ualdad si$uiente es entonces intuiti!a9
%
Propiedades
6l determinante de una matri4 es un in!ariante
al$ebraico, lo cual implica :ue dada una aplicacin lineal
todas las matrices :ue la represente tendrn el mismo
determinante% 6so permite definir el !alor del
determinante no slo para matrices sino tambi(n para
aplicaciones lineales%
6l determinante de una matri4 0 el de su traspuesta
coinciden9
Una aplicacin lineal entre espacios !ectoriales es
in!ertible si 0 slo si su determinante no es nulo% Bor lo
tanto, una matri4 con coeficientes en un cuerpo es
in!ertible si 0 slo si su determinante es no nulo%
Determinante del producto
Una propiedad fundamental del determinante es su
comportamiento multiplicati!o frente al producto de
matrices9
6sta propiedad es ms trascendente de lo :ue parece 0 es
mu0 til en el clculo de determinantes% 6n efecto,
supon$amos :ue :ueremos calcular el determinante de la
matri4 0 :ue es cual:uier matri4 con derminante uno ;el
elemento neutro respecto al producto del cuerpo<% 6n este
caso, se !erifica :ue9
Una aplicacin lineal entre dos espacios !ectoriales de
dimensin finita se puede representar mediante una matri4%
&a matri4 asociada a la composicin de aplicaciones lineales
entre espacios de dimensin finita se puede calcular
mediante el producto de matrices% Dadas dos aplicaciones
lineales 0 , se cumple lo si$uiente9
Matrices en #lo$ues
)ean matrices
respecti!amente% 6ntonces
6sto se puede !er
de la formula de &eibini4 &eibni4 formula% 6mpleando la
si$uiente identidad
!emos :ue para una matri4 $eneral
?nlo$amente, se puede obtener una identidad similar con
factori4ado%
.
)i son matrices dia$onales,
5
Derivada de la funcin determinante
&a funcin determinante puede definirse sobre el espacio
!ectorial formado por matrices cuadradas de orden n% Dic3o
espacio !ectorial puede con!ertirse fcilmente en un espacio
!ectorial normado mediante la norma matricial, $racias a lo
cual dic3o espacio se con!ierte en un espacio m(trico 0
topol$ico, donde se pueden definir lmites e incluso
deri!adas% 6l determinante puede definirse como un morfismo
del l$ebra de las matrices al con'unto de los elementos del
cuerpo sobre el :ue se definen las matrices9
6l diferencial de la funcin deri!ada ;o 'acobiana< !iene en
t(rminos de la matri4 de ad'untos9
Donde9
es la matri4 de ad'untos%
, es la tra4a de la matri4%
Menores de una matri"
?rtculo principal9 Menor !%lgebra lineal"%
?dems del determinante de una matri4 cuadrada, dada una
matri4 se pueden definir otras ma$nitudes mediante el
empleo de determinantes relacionadas con las propiedades
al$ebraicas de dic3a matri4% 6n concreto dada una matri4
cuadrada o rectan$ular se pueden definir los llamados
determinantes menores de orden r a partir del determinante
de submatrices cuadradas de r#r de la matri4 ori$inal% Dada la
matri4 9
)e define cual:uier menor de ran$o r como9
Debe notarse :ue en $eneral e#istir un nmero ele!ado de
menores de orden r, de 3ec3o el nmero de menores de
orden r de una matri4 m#n !iene dado por9
Una propiedad interesante es :ue el ran$o coincide con el
orden del menor no nulo ms $rande posible, siendo el
clculo de menores una de los medios ms empleados para
calcular el ran$o de una matri4 o de una aplicacin lineal%
%egla de &ramer
)altar a9 na!e$acin, bs:ueda
&a regla de &ramer es un teorema en l$ebra lineal, :ue da
la solucin de un sistema lineal de ecuaciones en t(rminos de
determinantes% Recibe este nombre en 3onor a 1abriel
Cramer ;1QFI 8 1QP7<, :uien public la re$la en su
&ntroduction ' lanalyse des lignes courbes alg(bri)ues de
1QPF, aun:ue Colin @aclaurin tambi(n public el m(todo en
su Treatise of *eometry de 1QI. ;0 probablemente saba del
m(todo desde 1Q75<%
1
&a re$la de Cramer es de importancia terica por:ue da una
e#presin e#plcita para la solucin del sistema% )in embar$o,
para sistemas de ecuaciones lineales de ms de tres
ecuaciones su aplicacin para la resolucin del mismo resulta
e#cesi!amente costosa9 computacionalmente, es ineficiente
para $randes matrices 0 por ello no es usado en aplicaciones
prcticas :ue pueden implicar muc3as ecuaciones% )in
embar$o, como no es necesario pi!otar matrices, es ms
eficiente :ue la eliminacin $aussiana para matrices
pe:ueCas, particularmente cuando son usadas operaciones
)I@D%
)i es un sistema de ecuaciones% es la matri4 de
coeficientes del sistema, es el !ector columna
de las inc$nitas 0 es el !ector columna de los t(rminos
independientes% 6ntonces la solucin al sistema se presenta
as9
donde es la matri4 resultante de reempla4ar la '8(sima
columna de por el !ector columna % T$ase notar :ue para
:ue el sistema sea compatible determinado, el determinante
de la matri4 3a de ser no nulo%
'ndice
1 Armulas e#plcitas para sistemas pe:ueCos
o 1%1 )istema de 7 ecuaciones con 7 inc$nitas
o 1%7 )istema de / ecuaciones con / inc$nitas
7 Demostracin
/ Referencias
I >(ase tambi(n
Frmulas e(plcitas para sistemas pe$ue)os
*istema de + ecuaciones con + incgnitas
Bara la resolucin de un sistema de dos ecuaciones con dos
inc$nitas, de la forma% Dado el sistema de ecuaciones9
&o representamos en forma de matrices9
6ntonces, e pueden ser encontradas con la re$la de
Cramer, con una di!isin de determinantes, de la si$uiente
manera9
*istema de , ecuaciones con , incgnitas
&a re$la para un sistema de tres ecuaciones con tres
inc$nitas es similar, con una di!isin de determinantes9
Zue representadas en forma de matri4 es9
, , pueden ser encontradas como si$ue9
Demostracin
)ean9
Usando las propiedades de la multiplicacin de matrices9
entonces9
Bor lo tanto9
?parte, recordando la definicin de determinante, la
sumatoria definida acumula la multiplicacin del elemento
ad'unto o cofactor de la posicin , con el elemento i8(simo
del !ector ;:ue es precisamente el elemento i8[simo de la
columna , en la matri4 <%
&a regla de &ramer sir!e para resol!er sistemas de
ecuaciones lineales% )e aplica a sistemas :ue cumplan las
dos condiciones si$uientes9
6l nmero de ecuaciones es i$ual al nmero de
incgnitas%
6l determinante de la matri4 de los coeficientes es distinto
de cero%
Tales sistemas se denominan sistemas de &ramer%
)ea - el determinante de la matri4 de coeficientes%
\ sean9
-
.
/ -
+
/ -
,
000 / -
n
los determinantes $ue se o#tiene al sustituir los
coeficientes del +1 miem#ro 2los trminos
independientes3 en la .4 columna / en la +4 columna/ en la
,4 columna y en la ensima columna respectivamente0
Un sistema de &ramer tiene una sola solucin :ue !iene
dada por las si$uientes e#presiones9
5jemplo
%egla de *arrus
)altar a9 na!e$acin, bs:ueda
&a regla de Sarrus9 las dia$onales continuas se suman 0 las
dia$onales en tra4os se restan%
&a regla de *arrus es un m(todo fcil para memori4ar 0
calcular el determinante de una matri4 /W/% Recibe su nombre
del matemtico franc(s Bierre Ar(d(ric )arrus%
Consid(rese la matri4 /W/9
)u determinante se puede calcular de la si$uiente manera9
6n primer lu$ar, repetir las dos primeras columnas de la
matri4 a la derec3a de la misma de manera :ue :ueden cinco
columnas en fila% Despu(s sumar los productos de las
dia$onales descendentes ;en lnea continua< 0 sustraer los
productos de las dia$onales ascendentes ;en tra4os<% 6sto
resulta en9
Un proceso similar basado en dia$onales tambi(n funciona
con matrices 7W79
6sta re$la mnemot(cnica es un caso especial de la frmula
de &eibni4 0 no se puede aplicar para matrices ma0ores a
/W/%
Pierre *arrus ;1Q5., 1.-1< fue un matemtico franc(s :ue
estableci una re$la para para calcular determinantes de
orden ,%
%egla de *arrus
&os t(rminos con signo 6 estn formados por los elementos
de la diagonal principal 0 los de las diagonales paralelas
con su correspondiente vrtice opuesto%
&os t(rminos con signo 7 estn formados por los elementos
de la diagonal secundaria 0 los de las diagonales paralelas
con su correspondiente vrtice opuesto%
5jemplo
M