Para esta entrada del blog haremos uso de las propiedades vistas en la entrada de propiedades de determinantes para facilitar las cuentas a la hora de calcular determinantes de matrices que un primera instancia podrían parecer complicadas. Asimismo, haciendo uso de estas propiedades, se demostrará el teorema de expansión de Laplace.
Problemas resueltos
Problema 1. Considera la siguiente matriz
$$A=\begin{pmatrix}
1 & 1 & 1\\
1 & 2 & 1\\
1 & 1 & 2\end{pmatrix}$$
y calcula $\det (A^{-1})$.
Solución. Como el determinante es multiplicativo, sabemos que $\det(A^{-1})=\frac{1}{\det A}$ , por lo que nos bastará con calcular $\det A$.
Es fácil ver que $\det A = 1(4-1)- 1(2-1)+1(1-2)=2-1-1=1.$
Así, $\det (A^{-1})=1$.
$\triangle$
Problema 2. Sea $A\in M_n(\mathbb{R}).$
- Muestra que si $n^2-n+1$ entradas de $A$ son iguales a $0$, entonces $\det A =0$.
- Muestra que se puede escoger $A$ de tal manera que $\det A \neq 0$ tiene $n^2-n+1$ entradas iguales.
- Muestra que si $n^2-n+2$ entradas de $A$ son iguales, entonces $\det A = 0$.
Demostración.
- Afirmamos que la matriz $A$ tiene una columna en la que todas las entradas son cero. Supongamos que cada columna de $A$ tiene a los más $n-1$ ceros, entonces la matriz $A$ tiene a lo más $n^2 -n$ ceros, lo cuál contradice nuestra hipótesis, por lo tanto existe una columna en la cuál todas las entradas son iguales a cero. Por lo tanto $\det A = 0$.
- Consideremos la matriz $A=[a_{ij}]$ dado por $a_{ij}=1$ si $i\neq j$ y $a_{ij}=i$ si $i=j$. De esta manera nos aseguramos de que $n^2-n+1$ entradas son iguales a $1$, pero $\det A \neq 0$, pues si sustraemos el primer renglón de cada uno de los siguientes renglones obtenemos una matriz triangular superior con entradas diagonales distintas de cero, por lo que $\det A \neq 0$.
- Si $A$ tiene $n^2-n+2$ entradas iguales (digamos a un número $k$), entonces $A$ tiene a lo más $n-2$ entradas distintas a $k$. Por lo tanto, a lo más $n-2$ columnas de $A$ contienen una entrada distinta de $k$, es decir, al menos dos columnas de $A$ tienen todas sus entradas iguales a $k$, entonces $\rank(A)<n$. Por consiguiente $\det A=0$.
$\square$
Teorema de Expansión de Laplace
Sea $A=[a_{ij}]\in M_n(F)$ una matriz y sea $C_{i,j}$ el cofactor de $a_{ij}$.
(a) (Expansión con respecto a una columna $j$) Para cada $j\in\{1,2,\dots , n\}$ tenemos $$ \det A = \displaystyle\sum _{i=1}^n a_{ij}C_{ij}.$$
(b) (Expansión con respecto a una columna $i$). Para cada $i\in \{1,2,\dots , n\}$ tenemos $$\det A = \displaystyle\sum _{j=1}^n a_{ij}C_{ij}.$$
Demostración. (a) Tomemos $j\in \{1,2,\dots , n\}$ fija , y sea $B=(e_1,\dots, e_n)$ la base canónica de $F^n$ y sea $C_1,\dots, C_n \in F^n$ las columnas de $A$, tales que $C_k=\displaystyle\sum_{i=1}^{n} a_{ik}e_i$ para toda $k$. Se sigue que
$$\det A = \det _{B}(C_1, \dots, C_n)=\det_B(C_1,\dots, C_{j-1}, \displastyle\sum_{i=1}^{n}a_{ij}e_i, C_{j+1},\dots C_n)$$
$$=\displaystyle\sum_{i=1}^n a_{ij}\det_B(C_1,\dots, C_{j-1}, e_i, C_{j+1},\dots , C_n ).$$
Nos falta ver que $X_{ij}:=\det_B(C_1,\dots, C_{j-1}, e_i, C_{j+1},\dots , C_n)= C_{ij}$. Mediante una serie de $n-j$ intercambios de columnas, podemos poner la $j-$ésima columna del determinante $X_{ij}$ en la última posición, y mediante una sucesión de $n-i$ intercambios de renglones podemos poner el $i-$ésimo renglón en la última posición, lo que nos da
$$X_{ij}=(-1)^{n-1+n-j}=\det \begin{pmatrix}
a_{11} & \dots & a_{i,j-1} & a_{1,j+1} & \dots & a_{1n} & 0\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots & \vdots\\
a_{n1} & \dots & a_{n,j-1} & a_{n,j+1} & \dots & a_{nn} & 0\\
a_{i1} & \dots & a_{i,j-1} & a_{i,j+1} & \dots & a_{in} & 1\end{pmatrix}.$$
El último determinante es precisamente $C_{ij}$, y como $(-1)^{n-i+n-j}=(-1)^{i+j}$ se sigue el resultado deseado.
(b) La prueba para este inciso se sigue del inciso anterior y tomando en cuenta que $\det A = \det (^tA)$.
$\square$
Problema 3. Sean $x,y,z \in \mathbb{R}$, $A=
\begin{pmatrix}
0 & y & z\\
z & x & 0\\
y & 0 & x\end{pmatrix}$
y $B=
\begin{pmatrix}
0 & z & y\\
y & x & 0\\
z & 0 & x\end{pmatrix}$. Calcula el determinante de la matriz $$C=\begin{pmatrix}y^2+z^2 & xy & xz\\
xy & x^2+z^2 & yz\\
xz & yz & x^2 + y^2\end{pmatrix}.$$
Solución. Note que $^tA=B$, entonces $\det A = \det B$. Calculemos $\det A$
$$\det A = -z(yx)+y(-zx)=-2xyz$$
Además notemos que $\begin{pmatrix}
0 & y & z\\
z & x & 0\\
y & 0 & x\end{pmatrix} \begin{pmatrix}
0 & z & y\\
y & x & 0\\
z & 0 & x\end{pmatrix} = \begin{pmatrix}y^2+z^2 & xy & xz\\
xy & x^2+z^2 & yz\\
xz & yz & x^2 + y^2\end{pmatrix} $
o bien, $AB=C$.
Así, $\det C= (\det A)^2= (-2xyz)^2 = 4x^2y^2z^2.$
$\triangle$
Entradas relacionadas
- Ir a Álgebra Lineal I
- Entrada anterior del curso: Técnicas básicas de cálculo de determinantes
- Siguiente entrada del curso: Determinantes en sistemas de ecuaciones lineales y regla de Cramer
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM»
hola, dos preguntas, la primera es que no entendí el problema 2 y quería ver si podíamos platicarlo en la clase, y la segunda es que por qué en la demostracion de Laplace, cuando lo pasan a matriz la ultima columna es 0 y 1 gracias
Hola Vale. Sip, podemos verlos en clase ambos. Por favor, recuérdame y ponlo luego luego que llegues a la sesión, para que me acuerde y lo vea pronto. Para el problema 2, mientras tanto te voy recomendando que hagas un cuadrado de 4×4 en tu cuaderno y que intentes poner una tache en 13 de los cuadraditos sin que se ocupe totalmente ninguna columna. ¿Se puede? Y con 12 cuadraditos, ¿se puede? Esto es parte de la idea detrás del problema.
Hola.
En el primer problema, en la segunda igualdad… es 3-1-1=1
Va un 3 en lugar de un 2. (: