You are on page 1of 9

Universidad Simn Bolvar Preparadura de Matemticas III (MA1116) Preparador: Ricardo Fernndez T. ( RicharOrange@hotmail.

com )

LA GEOMETRA DE LOS DETERMINANTES


1. Introduccin: La funcin determinante. Expansin de Laplace.
La funcin determinante es una funcin cuerpo un nico nmero en . que asocia a cada matriz cuadrada sobre un

Por ejemplo, si todos los elementos de la matriz son reales entonces el determinante ser un nmero real, pero si la matriz tiene al menos un elemento complejo entonces el determinante puede no ser real, pero seguramente ser complejo (ya que los reales son un subconjunto de los complejos). La frmula de la expansin de Laplace para determinantes permite definir un determinante de cualquier orden con solo una definicin recursiva: Se define el Menor ij-simo de la matriz ( ) como el determinante de la

submatriz de orden obtenida eliminando la fila y la columna de la matriz original. El determinante de la matriz ser igual a | | . El Cofactor ij-simo ( ) ser simplemente el menor ij-simo con un signo que ( ) alternar segn la fila y la columna del elemento, es decir: La frmula de Laplace es: ( ) ( ) ( )

La primera expresin corresponde al desarrollo por la fila -sima y la segunda corresponde al desarrollo por la columna -sima. Una propiedad algebraica que surge al escribir la frmula de Laplace es que el determinante de la matriz transpuesta es igual al determinante de la matriz original. Se demuestra fcilmente considerando la inversin de subndices: [ ] Quiero probar que ( ) ( ) ( ) [ ] ( ), as que escribo ( ) ( ): ( )

RFT 2011

pg. 1

En la expresin anterior se utiliz la igualdad de los subndices establecida al trasponer la matriz. Ntese que desarrollar el determinante de por la fila i-sima es equivalente a desarrollar el determinante de por la columna j-sima. Pero la columna j-sima de es la fila -sima de Como ambos desarrollos son equivalentes por la definicin de ( ) la frmula de Laplace, entonces ( ). Propiedad 1:

( )

2. El determinante de orden

Siguiendo al pi de la letra la frmula de Laplace, tal como una receta de cocina, obtengo el siguiente plato: ( ( ) ) (( )) ( | ) | ( ) ( )

As, de todas las formas posibles (en este caso 4), obtuve que el determinante de una matriz cuadrada de orden 2 es igual a la resta de los productos de las diagonales.

3. La geometra del determinante de orden

Si considero dos vectores, digamos ( ) y ( ) en el plano , y me pregunto por el rea que ocupa el paralelogramo que hay entre ellos, pues entonces la respuesta ser: | | el determinante de la matriz que toma a y como sus vectores fila.

Esta es una respuesta muy intrigante. Un determinante puede ser negativo, pero un rea no. La respuesta a la pregunta sobre la respuesta anterior (suena enredado esto) es que el determinante de orden da el valor del rea con signo (u orientada) entre dos vectores en el plano. Al igual que la integral da el rea bajo la curva, el determinante da el rea entre dos vectores, y la misma consideracin sobre el signo de la integral definida es vlida aqu para el determinante definido (?). Demostremos pues que esto es as. De la frmula anterior se tiene que | | | |

RFT 2011

pg. 2

En primer lugar voy a considerar el rea que ocupan los vectores y , es decir, el rea que hay en el paralelogramo (que en realidad es un cuadrado) formado por los vectores de la base cannica de . Pero ya lo dije, es un cuadrado, y cada uno de ellos tiene mdulo 1, as que el rea ser 1, y esto es obvio viendo la matriz identidad de orden 2: | | | |

Ahora, me pregunto Qu pasar si reemplazo a uno de ellos por la suma de ambos? Vemoslo geomtricamente: (1,0) (1,1) El rea de un cuadrado cuyos lados miden 1 es 1. Si cambio uno de los lados por el vector suma, me queda lo siguiente: | | | |

Y el rea sigue valiendo 1 porque slo deform el cuadrado. (0,0) (0,1) El dibujito sugiere que el paralelogramo efectivamente sigue teniendo rea igual a 1. Si no me cree, se lo probar analticamente: el rea del paralelogramo es el doble que la de cualquiera de los dos tringulos marcados. As que debo probarle que ambos tringulos tienen igual rea. )y( )

(1,0)

(1,1)

(2,1)

(0,0)

(0,1)

(0,2)

Tringulo A que tiene por lados los vectores (

Bueno, el rea del tringulo A es igual a la base por la altura entre dos, pero la base es 1 y la altura es 1, luego el rea es igual a . No le convence? Bueno, otra forma de probarlo es observando que el rea del tringulo es igual a la mitad del mdulo del producto cruz de los vectores: ( ) ( ) Satisfecho?

RFT 2011

pg. 3

Tringulo B que tiene por lados los vectores (

)y(

S, no s cules son los vectores, pero tampoco me importa, porque ya debe estar usted convencido que el rea de este tringulo tambin es igual a . Y bueno, as que el paralelogramo tiene rea 1, y de ah obtengo una primera propiedad importante y no tan trivial de los determinantes: Propiedad 2: Al sumar una fila (o columna) de una matriz a otra fila (o columna), el valor del determinante no se altera.

Despus de sumar se aprende a multiplicar, no es as? Entonces veamos qu sucede cuando multiplico una de las filas del determinante por un nmero real (por supuesto, distinto de cero). | | | |

Oh sorpresa, as que el rea delimitada por un mltiplo escalar de uno de los vectores de la base cannica y el otro vector (de la base cannica) es proporcional al nmero por el que se multiplic el vector. Bueno, la prueba geomtrica la tiene considerando una cancha de ftbol que tiene longitud L y ancho A, donde ambos son vectores en el plano. Piense por un momento que multiplicar el largo por una constante significa poner juntas k-nchas de ftbol (quise decir, canchas*). De aqu se deriva la segunda propiedad no trivial de los determinantes: Propiedad 3: Al multiplicar una fila (o columna) de una matriz por un escalar distinto de cero, el valor del determinante queda multiplicado por el mismo valor.

Ahora, si multiplica tanto el largo como el ancho por la misma constante entonces obtendr que el determinante (quise decir, el rea de la cancha de ftbol) queda multiplicado (o multiplicada) por esa constante al cuadrado: | | | |

Propiedad 4: Al multiplicar todas las filas (o columnas) de una matriz por un mismo escalar distinto de cero, el valor del determinante queda multiplicado por la potencia n-sima del escalar, donde n es la dimensin de la matriz.
pg. 4

RFT 2011

Si por alguna extraa casualidad alguno de los vectores-fila de la matriz es el vector nulo, entonces el determinante es automticamente cero, sin importar quienes sean los dems vectores: | | | |

Esto es evidente cuando se considera el desarrollo de Laplace, y tambin lo es si considera una cancha de ftbol que tiene 0 unidades de largo. Entonces se trata de una lnea recta, pero dicha lnea tiene rea igual a cero. Y esa es la demostracin geomtrica, sin dibujos. Propiedad 5: Si una de las filas (o columnas) de la matriz es nula, entonces su determinante tambin es nulo.

Y tambin pasa que si los dos vectores son colineales entonces el determinante es nulo: | | | |

Imagine una cancha de ftbol (con grama verde) que tenga largo y ancho en una misma lnea. Y ahora cito lo que dije antes: Entonces se trata de una lnea recta, pero dicha lnea tiene rea igual a cero. Y esa es la demostracin geomtrica, sin dibujos. Y ya est. Propiedad 6: Si dos filas (o columnas) de la matriz son iguales, o una de ellas es mltiplo escalar de otra, entonces su determinante es nulo.

Y ahora viene una mezcla de todo: si una fila es combinacin lineal de otras, entonces el determinante se anula. Esta propiedad es la menos obvia de todas, hasta que se considera una propiedad an menos obvia: el determinante del producto es igual al producto de los determinantes y se recuerda el concepto de Matriz Elemental y su relacin con las operaciones elementales de fila y de columna. As quedan las dos ltimas propiedades de los determinantes: Propiedad 7: Si una fila (o columna) de la matriz es combinacin lineal de otra(s), entonces el determinante de la matriz es nulo. Propiedad 8:

( )

( )

Y la propiedad 8 no es fcil de mostrar geomtricamente, as que se lo dejo de trabajo de investigacin.

RFT 2011

pg. 5

(Le doy una pista: con la propiedad 8 sola se pueden probar todas las dems.) Y ahora que dije que el producto de los determinantes es el determinante del producto, usted observa que es trivial demostrar que si se intercambian dos filas (o columnas), entonces el determinante cambia de signo. Propiedad 9: Si se intercambian dos filas (o columnas) en la matriz, entonces su determinante cambia de signo. Y yo le digo, mire: No es lo mismo San Antonio-Caracas-La Guaira, que La Guaira -Caracas-San Antonio. Y esa es la demostracin geomtrica. Una ltima propiedad que le dejo de tarea (que s es ms fcil de observar geomtricamente, pero ms difcil de entender algebraicamente) es la siguiente: Propiedad 10: Si dos matrices difieren nicamente en una fila, entonces el determinante de la matriz que tiene exactamente las mismas filas que ambas excepto aquella que es distinta, que est sustituida por la suma de las filas en las que difiere, es igual a la suma de los determinantes de las matrices que tienen por filas a cada una de las filas sumadas. Parece un trabalenguas!, pero no lo es. Lo ayudo, para matrices se escribe as: | | | | | | y

Ahora bien, nuestro problema inicial era considerar la matriz genrica de orden probar que el determinante de esa matriz es un rea. Mire: | | | | | ( )( | ( ) ( ) ( ) | ( ) | )

RFT 2011

pg. 6

Le prob que el determinante de orden es un rea, utilizando las definiciones y propiedades geomtricas anteriores. Por ejemplo, el penltimo paso es equivalente a: | | ( (| ( ) ) ( * ( ) ( )( ) [( | ( ( )| ) |+ | | ] ) |)

[(

] |

)( )

Quedando as probado que se trata de un rea. Y no se hable ms sobre dos dimensiones. Aunque quizs puede hablarse, escribirse, o lo que sea, sobre dos dimensiones.

ad-bc

Piense usted qu significara (geomtrica y algebraicamente) que , y entienda que dos vectores son colineales si el determinante de la matriz que los tiene como vectores fila es nulo. Y ahora s, es todo.

4. El determinante de orden

. La Regla de Sarrus.

Cuando usted dice Tengo un tanque de 10 usted est diciendo que independientemente de la forma de su tanque, contiene la misma cantidad de agua que uno cbico cuya arista mide 10 metros. As, el determinante de orden colores, qu se yo). es un volumen (de nuevo con signo, orientado, con

RFT 2011

pg. 7

Para calcular un determinante de orden que: | | (

utilice la expansin de Laplace y fjese

Que es lo mismo que obtendra si duplica las primeras dos columnas y efecta el producto de las diagonales, teniendo en cuenta que las que van hacia arriba a la derecha tienen signo negativo y las que van hacia arriba a la izquierda tienen signo positivo. Grficamente:

Las diagonales punteadas se restan y las continuas se suman. A eso se le llama Regla de Sarrus, y es COMPLETAMENTE INTIL si usted conoce las propiedades de los determinantes.

5. La geometra del determinante de orden producto escalar.

. El triple

Por cultura general se sabe que el triple producto escalar entre tres vectores (un triple producto necesita tres factores) est definido as: ( ) | | | |

Y tiene ciertas propiedades, y esas propiedades son aquellas que tiene el determinante, y son aquellas que tiene el producto vectorial. Slo le dir una cosa: Por qu es un determinante? Mire: ( ) ( ) (| |)

RFT 2011

pg. 8

) (|

|(

| )

Pero fjese bien, escriba el producto escalar: | | ( )| | | |

No es eso el desarrollo de Laplace de un determinante? No corresponde acaso al desarrollo del determinante | |?

Ah, entonces el triple producto es el volumen del paraleleppedo que forman los tres vectores. Pero claro, usted tiene que el producto vectorial da el rea de la base, y el producto escalar la altura, entonces queda y eso es volumen. Piense ahora que tres vectores en el espacio son coplanares s y slo s el determinante de la matriz que los tiene como vectores fila es igual a cero.

6. La geometra del determinante de orden


No se preocupe, no queda mucho que decir:

Un determinante de orden es el hipervolumen n-dimensional del conjunto de n-vectores en un espacio vectorial . El determinante de la matriz que forma la base cannica para cualquier espacio vectorial es siempre igual a 1, es decir, el determinante de la matriz identidad es siempre igual a 1. Se dice que un conjunto de n vectores en un espacio vectorial eucldeo de dimensin n es linealmente dependiente s y slo s el determinante de la matriz que los tiene por vectores fila (o columna) es nulo.

Y eso es todo. Queda como ejercicio que demuestre las dos ltimas afirmaciones.

RFT 2011

pg. 9