Frmula de Leibniz para el clculo de

determinantes
En lgebra, la frmula de Leibniz expresa el
determinante de una Matriz cuadrada
F : Mn (K) K
que es alterna multilineal columnas w.r.t. y de tal manera
que F (I) = 1 .

A = (aij )i,j=1,...,n

En trminos de permutaciones de los elementos de la maPrueba.

triz. Nombrado en honor de Gottfried Leibniz, la frmula
Singularidad: Sea F una funcin de este tipo, y sea
es:
j=1,...,n
A = (aji )i=1,...,n
una n n matriz. Llmese Aj la j
j
j
-la columna
( 1 de An,) i.e. A = (ai )i=1,...,n de modo que
n

A = A ,...,A .
det(A) =
sgn()
a(i),i
Tambin, sea E k la k columna-vector de la matriz de
i=1
Sn
identidad.
Para una matriz nn, donde sgn es la Funcin signo de
Ahora se escribe cada uno de los Aj 's en trminos de la
Permutaciones en el grupo de la permutacin Sn que deE k , por ejemplo:
vuelve +1 y 1 para permutaciones pares e impares, respectivamente.
Otra notacin comn usada para la frmula es en trmin

nos del smbolo de Levi-Civita y hace uso de la notacin Aj =

ajk E k
de Einstein, donde se convierte:
k=1
Como F es multilineal, uno tiene
i1 in

det(A) =

a1i1 anin ,
(

que puede ser ms familiar para los fsicos.

F (A) = F

Evaluar directamente la frmula Leibniz de la denicin requiere (n! n) operaciones en general es decir un nmero de operaciones asintticamente proporcionales a n factorial porque n! es el nmero n de rdenes de permutaciones. Esto es prcticamente difcil para grandes n. En su lugar, el determinante se puede evaluar en O(n)3 operaciones mediante la formacin de la
Descomposicin LU] A = LU (normalmente a travs de
la Eliminacin gaussiana o mtodos similares), en cuyo
caso det A = (det L)(det U ) y los determinantes de las
matrices triangulares L y U son simplemente los productos de sus entradas diagonales. (En los usos prcticos de
lgebra lineal, sin embargo, raras vez requieren el clculo
explcito del determinante). Ver, por ejemplo, Trefethen
y Bau (1997).

a1k1 E k1 , . . . ,

k1 =1

k1 ,...,kn =1

)
aiki

)
ankn E kn

kn =1

(
)
F E k1 , . . . , E kn .

i=1

A partir de la alternativa se sigue que cualquier plazo con

ndices repetidos es cero. Por consiguiente, la suma puede
ser restringido a las tuplas con ndices que no se repiten,
es decir, permutaciones:

F (A) =

Sn

)
ai(i)

F (E (1) , . . . , E (n) ).

i=1

Debido a que F es alterna, las columnas E pueden ser

cambiadas hasta que se convierte en la identidad. La
Funcin signo se dene para contar el nmero de intercambios necesarios y cuenta para el cambio de signo resultante. Uno nalmente obtiene:

Declaracin formal y prueba

Teorema. existe exactamenta una funcin:

1

F (A) =

(
sgn()

)
ai(i)

F (A) =

i=1
n

sgn()
ai(i)
i=1
Sn

sgn()

Sn ,(j1 )<(j2 )

sgn()

Sn ,(j1 )<(j2 )

F (I)

Sn

sgn()

Sn ,(j1 )<(j2 )

Como F (I) se requiere para ser igual a 1 .

Por lo tanto ninguna funcin adems de la funcin denida por la frmula Leibniz es una funcin de alternacin Por lo tanto, si Aj1
=
multilineal F (I) = 1 .
F (. . . , Aj1 , . . . , Aj2 , . . . ) = 0 .

REFERENCIAS

1
ai(i) aj(j
aj2 + s
1 ) (j2 )

i=1,i=j1 ,i=j2
n

1
ai(i) aj(j
aj2 s
1 ) (j2 )

i=1,i=j1 ,i=j2

(
1
ai(i) aj(j
aj2 a
1 ) (j2 )

i=1,i=j1 ,i=j2

Aj2

entonces

Existencia: Vamos a demostrar que F, dond F es la fun- Finalmente, F (I) = 1 :

cin denida por la frmula de Leibniz, tiene estas tres
propiedades.
Multilineal
F (I) =

sgn()

Sn

F (A1 , . . . , cAj , . . . ) =

sgn()caj(j)

Sn

=c

sgn()aj(j)

ai(i)

i=1,i=j
n

i
I(i)

i=1
n

Iii

=(1,2,...,n) i=1

=1
ai(i)
As,

las nicas funciones que son multilineal que alternan

con F (I) = 1 se restringen a la funcin denida por la
= cF (A1 , . . . , Aj , . . . )
frmula Leibniz, y que de hecho, tambin tiene estas tres
propiedades. Por lo tanto el determinante se puede denir
la nica funcin:
n
(
) como

j
1
j
F (A , . . . , b + A , . . . ) =
sgn() b(j) + a(j)
ai(i)
Sn

Sn

i=1,i=j

i=1,i=j

det : Mn (K) K
n
ai(i)
=
sgn() b(j)
ai(i) + aj(j)
Sn
i=1,i=j
i=1,i=j con estas tres propiedades.

(
)
n
n

i
i
=
sgn()
a(i)
sgn()b(j)
a(i) +

Sn

i=1,i=j

2 Vase
tambin
i=1
S
n

= F (A1 , . . . , b, . . . ) + F (A1 , . . . , Aj , . . . )
Matriz
Expansin de Laplace
La regla de Cramer

Alterna:

3 Referencias
F (. . . , Aj1 , . . . , Aj2 , . . . ) =

Sn

sgn()

i=1,i=j1 ,i=j2

Para cualquier Sn permite ser igual a la tupla

con el j1 j2 los ndices cambiaron.

Lloyd N. Trefethen y David Bau, Numerical Linear

j2
1
ai(i)
aj(j
a
Algebra
(SIAM,
1997) ISBN 978-0898713619
1 ) (j2 )

Text and image sources, contributors, and licenses

4.1

Text

Frmula de Leibniz para el clculo de determinantes Fuente: http://es.wikipedia.org/wiki/Frmula_de_Leibniz_para_el_clculo_de_

determinantes?oldid=77907841 Colaboradores: Pitufox27, Entalpia2, Dannii11 y Annimos: 2

4.2

Images

Archivo:Translation_arrow.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2a/Translation_arrow.svg Licencia: CCBY-SA-3.0 Colaboradores: Este imagen vectorial fue creado con Inkscape. Artista original: Jesse Burgheimer

4.3

Content license

Creative Commons Attribution-Share Alike 3.0