Matrices de orden inferior

El caso de matrices de orden inferior (orden 1, 2 o 3) es tan sencillo que su

determinante se calcula con sencillas reglas conocidas. Dichas reglas son tambi�n
deducibles del teorema de Laplace.

Una matriz de orden uno, es un caso trivial, pero lo trataremos para completar
todos los casos. Una matriz de orden uno puede ser tratada como un escalar, pero
aqu� la consideraremos una matriz cuadrada de orden uno:

{\displaystyle A=\left[{\begin{array}{c}a_{11}\end{array}}\right]}{\displaystyle
A=\left[{\begin{array}{c}a_{11}\end{array}}\right]}
El valor del determinante es igual al �nico t�rmino de la matriz:

{\displaystyle \det A=\det \left[{\begin{array}

{c}a_{11}\end{array}}\right]={\begin{vmatrix}a_{11}\end{vmatrix}}=a_{11}}
{\displaystyle \det A=\det \left[{\begin{array}
{c}a_{11}\end{array}}\right]={\begin{vmatrix}a_{11}\end{vmatrix}}=a_{11}}
El determinante de una matriz de orden 2:

{\displaystyle A=\left[{\begin{array}
{cc}a_{11}&a_{12}\\a_{21}&a_{22}\end{array}}\right]}{\displaystyle
A=\left[{\begin{array}{cc}a_{11}&a_{12}\\a_{21}&a_{22}\end{array}}\right]}
se calculan con la siguiente f�rmula:

{\displaystyle |A|
={\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{vmatrix}}=a_{11}a_{22}-
a_{12}a_{21}}{\displaystyle |A|
={\begin{vmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{vmatrix}}=a_{11}a_{22}-
a_{12}a_{21}}
Dada una matriz de orden 3:

{\displaystyle A=\left[{\begin{array}
{ccc}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{array}}\r
ight]}{\displaystyle A=\left[{\begin{array}
{ccc}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{array}}\r
ight]}
El determinante de una matriz de orden 3 se calcula mediante la regla de Sarrus:

{\displaystyle |A|=\left|{\begin{array}
{ccc}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{array}}\r
ight|=a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-
(a_{31}a_{22}a_{13}+a_{32}a_{23}a_{11}+a_{33}a_{21}a_{12})}{\displaystyle |A|
=\left|{\begin{array}
{ccc}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{array}}\r
ight|=a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-
(a_{31}a_{22}a_{13}+a_{32}a_{23}a_{11}+a_{33}a_{21}a_{12})}
Determinantes de orden superior
El determinante de orden n, puede calcularse mediante el teorema de Laplace a
partir de una fila o columna, reduciendo el problema al c�lculo de n determinantes
de orden n-1. Para ello se toma una fila o columna cualquiera, multiplicando cada
elemento por su cofactor (es decir, el determinante de la matriz que se obtiene
eliminando la fila y columna correspondiente a dicho elemento, multiplicado por (-
1)i+j donde i es el n�mero de fila y j el n�mero de columna). La suma de todos los
productos es igual al determinante.

En caso de un determinante de orden 4, se obtienen directamente determinantes de

orden 3 que podr�n ser calculados por la regla de Sarrus. En cambio, en los
determinantes de orden superior, como por ejemplo n = 5, al desarrollar los
elementos de una l�nea, obtendremos determinantes de orden 4, que a su vez se
deber�n desarrollar en por el mismo m�todo, para obtener determinantes de orden 3.
Por ejemplo, para obtener con el m�todo especificado un determinante de orden 4, se
deben calcular 4 determinantes de orden 3. En cambio, si previamente se logran tres
ceros en una fila o columna, bastara con calcular solo un determinante de orden 3
(ya que los dem�s determinantes estar�n multiplicados por 0, lo que los anula).
Para calcular el determinante de una matriz de 4x4 tambi�n se puede utilizar
directamente la regla de Villalobos, que es una extensi�n de la regla de Sarrus.

La cantidad de operaciones aumenta muy r�pidamente. En el peor de los casos (sin

obtener ceros en filas y columnas), para un determinante de orden 4 se deber�n
desarrollar 4 determinantes de orden 3. En un determinante de orden 5, se obtienen
5 determinantes de orden 4 a desarrollar, d�ndonos 20 determinantes de orden 3. El
n�mero de determinantes de orden 3 que se obtienen en el desarrollo de un
determinante de orden n es igual a {\displaystyle (n!) \over (3!)}{\displaystyle
(n!) \over (3!)}

Por ejemplo, mediante este m�todo, para un determinante de orden 10 se deber�n

calcular 10 x 9 x 8 x 7 x 6 x 5 x 4 = 604.800 determinantes de orden 3.

Tambi�n puede utilizarse el M�todo de eliminaci�n Gaussiana, para convertir la

matriz en una matriz triangular. Si bien el proceso puede parecer tedioso, estar�
muy lejos de los 14.529.715.200 de determinantes de orden 3 necesarios para
calcular el determinante de una matriz de orden 14.

M�todos num�ricos
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 m�todos de triangularizaci�n de la matriz reduciendo con ello el c�lculo
del determinante al producto de los elementos de la diagonal de la matriz
resultante. Para la triangularizaci�n se puede utilizar cualquier m�todo conocido
que sea num�ricamente estable. Estos suelen basarse en el uso de matrices
ortonormales, como ocurre con el m�todo de Gauss o con el uso de reflexiones de
Householder o rotaciones de Givens.

La precisi�n limitada del c�lculo num�rico produce incertidumbre en ocasiones en

los resultados de este m�todo. Un valor muy peque�o del determinante podr�a ser el
resultado de una matriz de rango deficiente, 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 m�todos o calcular el n�mero de
condici�n de la matriz para determinar la fiabilidad del resultado.

Determinantes en dimensi�n infinita

Bajo ciertas condiciones puede definirse el determinante de aplicaciones lineales
de un espacio vectorial de Banach de dimensi�n infinita. En concreto en el
determinante est� definido para los operadores de la clase de determinante que
puede a partir de los operadores de la clase de traza. Un ejemplo notable fue el
determinante de Fredholm que este defini� en conexi�n con su estudio de la ecuaci�n
integral que lleva su nombre:

(*){\displaystyle f(x)=\phi (x)+\int _{0}^{1}K(x,y)\phi (y)\ dy}{\displaystyle

f(x)=\phi (x)+\int _{0}^{1}K(x,y)\phi (y)\ dy}

Donde:

{\displaystyle f(x)\,}f(x)\, es una funci�n conocida

{\displaystyle \phi (x)\,}{\displaystyle \phi (x)\,} es una la funci�n inc�gnita
{\displaystyle K(x,y)\,}{\displaystyle K(x,y)\,} es una funci�n conocida llamada
n�cleo, que da lugar al siguiente operador lineal compacto y de traza finita en el
espacio de Hilbert de funciones de cuadrado integrable en el intervalo [0,1]:
{\displaystyle {\hat {K}}:L^{2}[0,1]\to L^{2}[0,1],\quad ({\hat {K}}\phi )(x)=\int
_{0}^{1}K(x,y)\phi (y)\ dy}{\displaystyle {\hat {K}}:L^{2}[0,1]\to L^{2}[0,1],\quad
({\hat {K}}\phi )(x)=\int _{0}^{1}K(x,y)\phi (y)\ dy}:

La ecuaci�n (*) tiene soluci�n si el determinante de Fredholm {\displaystyle

\scriptstyle \det(I+{\hat {K}})}{\displaystyle \scriptstyle \det(I+{\hat {K}})} no
se anula. El determinante de Fredholm en este caso generaliza al determinante en
dimensi�n finita y puede calcularse expl�citamente mediante:

{\displaystyle \det(I+{\hat {K}})=\sum _{k=0}^{\infty }{\frac {1}{k!}}\int

_{0}^{1}\dots \int _{0}^{1}\det[K(x_{i},x_{j})]_{1\leq i,j\leq k}\ dx_{1}\dots
dx_{k}}{\displaystyle \det(I+{\hat {K}})=\sum _{k=0}^{\infty }{\frac {1}{k!}}\int
_{0}^{1}\dots \int _{0}^{1}\det[K(x_{i},x_{j})]_{1\leq i,j\leq k}\ dx_{1}\dots
dx_{k}}

La propia soluci�n de la ecuaci�n (*) puede escribirse de manera simple en t�rminos

del determinante cuando este no se anula.

Primeros ejemplos: �reas y vol�menes

El c�lculo de �reas y vol�menes bajo forma de determinantes en espacios eucl�deos
aparecen como casos particulares de una noci�n m�s general de determinante. La
letra may�scula D (Det) se reserva a veces para distinguirlos.

Determinante de dos vectores en el plano eucl�deo

Fig. 1. El determinante es el �rea azul orientada.

Sea P el plano eucl�deo. El determinante de los vectores X y X' se obtiene con la
expresi�n anal�tica

{\displaystyle \det(X,X')={\begin{vmatrix}x&x'\\y&y'\end{vmatrix}}=xy'-yx'}
{\displaystyle \det(X,X')={\begin{vmatrix}x&x'\\y&y'\end{vmatrix}}=xy'-yx'}
o, de manera equivalente, por la expresi�n geom�trica

{\displaystyle \det(X,X')=\|X\|\cdot \|X'\|\cdot \sin \theta }{\displaystyle

\det(X,X')=\|X\|\cdot \|X'\|\cdot \sin \theta }
en la cual {\displaystyle \theta }\theta es el �ngulo orientado formado por los
vectores X y X'.

Propiedades
El valor absoluto del determinante es igual a la superficie del paralelogramo
definido por X y X' ({\displaystyle X\sin \theta }{\displaystyle X\sin \theta } es
en efecto la altura del paralelogramo, por lo que A = Base � Altura).
El determinante es nulo si y s�lo si los dos vectores son colineales (el
paralelogramo se convierte en una l�nea).
Su signo es estrictamente positivo si y s�lo si la medida del �ngulo (X, X ') se
encuentra en ]0,{\displaystyle \pi }\pi[.
La aplicaci�n del determinante es bilineal: la linearidad respecto al primer vector
se escribe
{\displaystyle \det(aX+bY,X')=a\det(X,X')+b\det(Y,X')\;}{\displaystyle
\det(aX+bY,X')=a\det(X,X')+b\det(Y,X')\;}
y respecto al segundo

{\displaystyle \det(X,aX'+bY')=a\det(X,X')+b\det(X,Y')\;}{\displaystyle
\det(X,aX'+bY')=a\det(X,X')+b\det(X,Y')\;}