Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
El volumen de las publicaciones de Cauchy fue abrumador . Cuando la Academis Francesa de Ciencias comenz
1 Historia de los determinantes
a publicar su revista Comptes Rendus en 1835, Cauchy
envi su obra para que se publicara, en poco tiempo los
Los determinantes fueron introducidos en Occidente a gastos de impresin se hicieron tan grandes, solo por la
partir del siglo XVI, esto es, antes que las matrices, que obra de Cauchy, que la academia impuso un lmite de
no aparecieron hasta el siglo XIX. Conviene recordar que cuatro cuartillas por cada documento a ser publicado.
los chinos (Hui, Liu. iuzhang Suanshu o Los nueve captulos del arte matemtico.) fueron los primeros en utilizar Hay algunos otros matemticos que merecen ser menciola tabla de ceros y en aplicar un algoritmo que, desde el nados aqu. El desarrollo de un determinante por cofacSiglo XIX, se conoce con el nombre de Eliminacin de tores fue empleado por primera vez por el matemtico
francs Pierre de Laplace (1749-1827). Laplace es meGauss-Jordan.
jor conocido por la transformacin que lleva su nombre
La historia de los determinantes
que se estudia en los cursos de matemticas aplicadas.
Los determinantes hicieron su aparicin en las matem- Un contribuyente principal de la teora de los determiticas ms de un siglo antes que las matrices. El trmino nantes (estando solo Cauchy antes que l) fue el matemmatriz fue creado por James Joseph Sylvester, tratando de tico alemn Carl Gustav Jacobi (1804-1851). Fue con l
dar a entender que era la madre de los determinantes. con quien la palabra determinante gan la aceptacin
denitiva. Lo primero en lo que Jacobi emple los determinantes fue en las funciones, al establecer la teora
de las funciones de varias variables. Sylvester llam ms
tarde jacobiano a ste determinante.
En el mismo periodo, Kowa Seki public un manuscrito sobre los determinantes, donde se hallan frmulas generales difciles de interpretar. Parece que se dan frmulas correctas para determinantes de tamao 3 y 4, y
de nuevo los signos mal para los determinantes de tamao superior.[2] El descubrimiento se queda sin futuro a
causa del cierre de Japn al mundo exterior por rdenes
del shgun, lo que se ve reejado en la expulsin de los
Jesuitas en 1638.
Los matemticos se familiarizan con este nuevo objeto a travs de los artculos de Bzout en 1764, de
Vandermonde en 1771 (que proporciona concretamente el clculo del determinante de la actual Matriz de
Con la publicacin de sus tres tratados sobre determinantes en 1841 en la revista Crelle, Jacobi aporta a la nocin
una gran notoriedad. Por primera vez presenta mtodos
sistemticos de clculo bajo una forma algortmica. Del
mismo modo, hace posible la evaluacin del determinan1.2 Determinantes de cualquier dimensin te de funciones con instauracin del jacobiano, lo que supone un gran avance en la abstraccin del concepto del
En 1748, en un tratado pstumo de lgebra de MacLaurin determinante.
aparece la regla para obtener la solucin de un sistema El cuadro matricial es introducido por los trabajos de
de n ecuaciones lineales con n incgnitas cuando n es 2, Cayley y James Joseph Sylvester[cita requerida] . Cayley es
3 o 4 mediante el uso de determinantes.[3][4] En 1750, tambin el inventor de la notacin de los determinantes
Cramer da la regla para el caso general, aunque no ofrece mediante barras verticales (1841[8] ) y establece la frmudemostracin alguna. Los mtodos de clculo de los de- la para el clculo de la inversa de una matriz mediante
terminantes son hasta entonces delicados debido a que se determinantes(1858[10] ).
basan en la nocin de signatura de una permutacin.[5]
La teora se ve reforzada por el estudio de determinantes
2.2
Mtodos de clculo
( )
A = a11
El valor del determinante es igual al nico trmino de la
matriz:
( )
det A = det a11 = a11 = a11
El determinante de una matriz de orden 2:
a12
a22
Pn
sgn()
n
i=1
ai,i .
(
det
a11
a21
a12
a22
a
= 11
a21
a12
= a11 a22 a12 a21
a22
ai,i
i=1
a11 a12 a13
a11 a12 a13
a21 a22 a23 = a21 a22 a23 =
denota el producto de las entradas en la posicin (i, i), det
a31 a32 a33
a31 a32 a33
donde i va desde 1 hasta n:
= a11 a22 a33 +a12 a23 a31 +a13 a21 a32 (a31 a22 a13 +a32 a23 a11 +a33 a21 a
a1,1 a2,2 an,n .
La frmula de Leibniz es til como denicin de determinante; pero, excepto en casos muy pequeos, no es una
forma prctica de calcularlo: hay que llevar a cabo n! productos de n factores y sumar n! elementos. No se suele
usar para calcular el determinante si la matriz tiene ms
de tres las.
2.1
En caso de un determinante de orden 4, se obtienen directamente determinantes de orden 3 que podrn ser calculados por la regla de Sarrus. En cambio, en los determinantes de orden superior, como por ejemplo n = 5, al desarroUna matriz de orden uno, es un caso trivial, pero lo tra- llar los elementos de una lnea, obtendremos determinantaremos para completar todos los casos. Una matriz de tes de orden 4, que a su vez se debern desarrollar en por
orden uno puede ser tratada como un escalar, pero aqu el mismo mtodo, para obtener determinantes de orden
la consideraremos una matriz cuadrada de orden uno:
3. Por ejemplo, para obtener con el mtodo especicado
2.3
Mtodos numricos
K(x, y)(y) dy
Donde:
f (x) es una funcin conocida
(x) es una la funcin incgnita
K(x, y) es una funcin conocida llamada ncleo, que da lugar al siguiente operador lineal
compacto y de traza nita en el espacio de Hilbert de funciones de cuadrado integrable en el
intervalo [0,1]:
1
0
(K)(x)
=
Para reducir el coste computacional de los determinantes a la vez que mejorar su estabilidad frente a errores de
redondeo, se aplica la regla de Chio, que permite utilizar mtodos de triangularizacin de la matriz reduciendo
con ello el clculo del determinante al producto de los
elementos de la diagonal de la matriz resultante. Para la
triangularizacin se puede utilizar cualquier mtodo conocido que sea numricamente estable. stos suelen basarse en el uso de matrices ortonormales, como ocurre
con el mtodo de Gauss o con el uso de reexiones de
Householder o rotaciones de Givens.
...
+
1
0
K)
=
det[K(xi , xj )]1i,jk dx1 . . . dxk
La precisin limitada del clculo numrico produce incertidumbre en ocasiones en los resultados de este mtodo. Un valor muy pequeo del determinante podra ser
el resultado de una matriz de rango deciente, aunque no
lo es necesariamente. Por otra parte, para matrices casi
singulares el resultado no siempre es preciso. Es necesario comprobar el rango de la matriz con otros mtodos o 3.1 Determinante de dos vectores en el
plano eucldeo
calcular el nmero de condicin de la matriz para determinar la abilidad del resultado.
Sea P el plano eucldeo. El determinante de los vectores
X y X' se obtiene con la expresin analtica
2.4
x x
Bajo ciertas condiciones puede denirse el determinante
de aplicaciones lineales de un espacio vectorial de Banach det(X, X ) = y y = xy yx
de dimensin innita. En concreto en el determinante est
denido para los operadores de la clase de determinante o, de manera equivalente, por la expresin geomtrica
3.2
3.1.1
Propiedades
lnea).
det(X, X , X ) = y y y = x
x
+x
z z
z z
z
z z z
Su signo es estrictamente positivo si y slo si la medida del ngulo (X, X ') se encuentra en ]0, [.
Este determinante lleva el nombre de producto mixto.
La aplicacin del determinante es bilineal: la linearidad respecto al primer vector se escribe
3.2.1 Propiedades
El valor absoluto del determinante es igual al volumen de paraleleppedo denido por los tres vectores.
El determinante es nulo si y slo si los tres vectores
se encuentran en un mismo plano (paraleleppedo
plano).
La aplicacin determinante es trilineal: sobre todo
det(aX+bY, X , X ) = a det(X, X , X )+b det(Y, X , X )
Una ilustracin geomtrica de esta propiedad se da en la
gura 3 con dos paraleleppedos adyacentes, es decir con
una cara comn. La igualdad siguiente es entonces intuitiva:
y
=x
z
PROPIEDADES
Una aplicacin lineal entre dos espacios vectoriales de dimensin nita se puede representar mediante una matriz.
La matriz asociada a la composicin de aplicaciones lineales entre espacios de dimensin nita se puede calcular mediante el producto de matrices. Dadas dos aplicaciones lineales u y v , se cumple lo siguiente:
det(u v) = det(u) det(v)
)
(
)
A 0
A B
= det
= det(A) det(D). Esto
C D
0 D
se puede ver de la formula de Leibiniz Leibniz formula.
Empleando la siguiente identidad
det
Propiedades
A
C
B
D
(
=
A
C
0
I
)(
I
0
A1 B
D CA1 B
El determinante de una matriz es un invariante algebraico, lo cual implica que dada una aplicacin vemos que para una matriz general
lineal todas las matrices que la represente tendrn
(
)
el mismo determinante. Eso permite denir el valor
del determinante no slo para matrices sino tambin det A B = det(A) det(D CA1 B).
C D
para aplicaciones lineales.
obtener una identidad similar
El determinante de una matriz y el de su traspuesta Anlogamente, se puede
[11]
con
det(D)
factorizado.
t
coinciden: det(A ) = det(A)
Si dij son matrices diagonales,
Una aplicacin lineal entre espacios vectoriales es
invertible si y slo si su determinante no es nulo. Por
lo tanto, una matriz con coecientes en un cuerpo es
invertible si y slo si su determinante es no nulo.
4.1
d11
..
det .
...
d1c
..
.
d
. . . drc
r1
det(d11 ) . . . det(d1c )
[12]
..
..
det
.
.
.
det(dr1 ) . . . det(drc )
det(A) =
det : Mnn (K) K
7
El diferencial de la funcin derivada (o jacobiana) viene
en trminos de la matriz de adjuntos:
det(A)
:=
H
det(A+H)det(A)
lim0
D(det)|A (H)
= tr (adj(A) H)
7 Referencias
[1] E. Knobloch, Der Beginn der Determinantentheorie, Leibnizens nachgelassene Studien zum Determinantenkalkl
(Hildesheim, 1980)
[2] Y. Mikami, The development of Mathematics in China and
Japan (1913, 2e d. Chelsea Pub. Company 1974)
Donde:
a11
A = ...
am1
...
...
...
a1n
...
amn
[4]
[5] M. Cantor, Geschichte der Mathematik (Teubner, 1913)
[6] O'Connor, John J.; Robertson, Edmund F., Biografa
de Matrices and determinants (en ingls), MacTutor
History of Mathematics archive, Universidad de Saint
Andrews,
http://www-history.mcs.st-andrews.ac.uk/
HistTopics/Matrices_and_determinants.html.
[7] Alexander Regen: The Determinant in Finite- and IniniteDimensional Vector Spaces, 2003
[8] Kline, 1990, p. 796
[9]
[10]
[11] Estas identidades fueron tomadas de http://www.ee.ic.ac.
uk/hp/staff/www/matrix/proof003.html
[12] Este es un caso especial de un teorema publicado en http:
//www.mth.kcl.ac.uk/~{}jrs/gazette/blocks.pdf
ai1 jr
. . . ,
a ir j r
7.1 Bibliografa
{
1 i1 < i2 < < ir n
1 j1 < j2 < < jrKline,
m Morris (1990). Mathematical Thought from
Ancient to Modern Times 2. New York: Oxford University Press. ISBN 0-19-506136-5.
Debe notarse que en general existir un nmero elevado
de menores de orden r, de hecho el nmero de menores
7.2 Enlaces externos
de orden r de una matriz mxn viene dado por:
...
...
...
Minmn
=
r
(m)(n)
r
Vase tambin
Matriz (matemtica)
Teorema de Laplace
Regla de Sarrus
Regla de Cramer
8.1
Text
8.2
Images
Archivo:Determinant_de_vecteur_dim_2.jpg
Fuente:
http://upload.wikimedia.org/wikipedia/commons/a/a4/Determinant_de_
vecteur_dim_2.jpg Licencia: CC-BY-SA-3.0 Colaboradores: Transferred from fr.wikipedia Artista original: Jean-Luc W
Archivo:Deux_parallelogrammes-det.gif Fuente: http://upload.wikimedia.org/wikipedia/commons/c/cc/Deux_parallelogrammes-det.
gif Licencia: CC-BY-SA-3.0 Colaboradores: Own work; loosely based on Image:Deux parallelogrammes.png; Transferred from fr.wikipedia
Artista original: Jean-Luc W
Archivo:Dterminant-3D.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/e/e8/D%C3%A9terminant-3D.jpg Licencia:
CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:Seki.jpeg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/0f/Seki.jpeg Licencia: CC-BY-SA-3.0 Colaboradores:
http://www-groups.dcs.st-and.ac.uk/~{}history Artista original: upload by F. Lembrez
8.3
Content license