12 votos

Requisitos en los campos para los determinantes para reventar la dependencia.

Al estar muy acostumbrado a trabajar en $\mathbb R^n$ $\mathbb C^n$ He jugado un poco con

$$M = \left[\begin{array}{cc} 2&1\\ 1&2 \end{array}\right]$$

Si los elementos están en "enteros mod $3$ ", entonces $$\det(M) = 2\cdot 2-1\cdot 1=4-1=3\equiv 0 (\mod3)$$

Al estar tan acostumbrado a las matrices reales, a primera vista supongo que son linealmente independientes. Pero si duplico la primera columna en realidad obtengo $[4,2]^T \equiv [1,2]^T (\text{mod } 3)$ . ¿Así que en realidad son dependientes de todos modos?

Mi verdadera pregunta es : los determinantes de la voluntad son $0$ nos dicen la dependencia lineal para todos los campos finitos de la misma manera que lo hacen si trabajamos sobre $\mathbb R$ o $\mathbb C$ ¿o hay algún requisito especial en el campo para que los determinantes rompan la dependencia?

2 votos

El determinante tiene una definición abstracta que le permite trabajar en cualquier campo (sólo debería comprobarlo para la característica 2, pero en todos los demás casos, funciona)

1 votos

Para tu ejemplo concreto, observa que 2 -1 (mod 3). Esto también debería hacer obvio que estas dos líneas son dependientes (esencialmente, lo descubriste tú mismo, cuando multiplicaste por 2).

14voto

Jukka Dahlbom Puntos 1219

En cualquier el determinante es distinto de cero si y sólo si la matriz es invertible (lo que es cierto si y sólo si las columnas son linealmente independientes).

Una dirección es obvia: si $A$ tiene determinante cero, entonces $\det(AB)$ será cero para cualquier matriz $B$ lo que significa que no puede haber un "inverso" $B$ . Es decir, no podemos tener $\det(AB) = \det(I) = 1$

Para la otra dirección, basta con considerar la fórmula $$ A \operatorname{adj}(A) = \det(A)I $$ Como esta fórmula es válida para los números enteros y no requiere división, también es válida para cualquier campo. Si $\det(A)$ es distinto de cero, entonces tiene un inverso multiplicativo, por lo que tenemos $$ A \frac{\operatorname{adj}(A)}{\det(A)} = I $$ lo que significa que $A$ tiene inversa $\frac{\operatorname{adj}(A)}{\det(A)}$ .

0 votos

Adj significa aquí el Matriz adyuvada , alias el adjunto clásico.

3 votos

¿Le falta una negación a su primera frase? ¿El determinante es distinto de cero si la matriz es invertible?

0 votos

¡@Tristan por supuesto! Gracias por eso.

5voto

Bemte Puntos 200

El determinante siempre da dependencia, sí. Para ver eso, tenemos que notar que una dependencia lineal de las columnas de una matriz $A$ equivale a un vector no nulo en el núcleo de dicha matriz.

Ahora no es tan difícil demostrar que una matriz tiene determinante cero si y sólo si tiene elementos no nulos en el núcleo. Si el determinante es distinto de cero, entonces la matriz es invertible (usando su adjunto) y por tanto no tiene un núcleo no trivial. Si el determinante es cero, utilizamos que sobre un campo tenemos la forma escalonada reducida, que entonces también tiene determinante cero. Como ésta será una matriz triangular, es fácil ver que tenemos elementos no triviales en el núcleo.

De hecho, se puede demostrar para todo anillo conmutativo que el núcleo de una matriz es trivial si y sólo si el determinante no es cero ni un divisor cero, pero la prueba se complica en cuanto perdemos el dominio integral (y por tanto la posibilidad de trabajar en el campo cociente).

0 votos

@Starfall el determinante tiene que ser una unidad para que la matriz sea invertible. Para la inyectabilidad, basta con que no sea un divisor nulo (o cero). Sólo hay que ver el caso especial de $1 \times 1$ matrices. O más generalmente, si hay un vector no nulo en el núcleo, seguirá siendo no nulo una vez que inviertas todos los divisores no nulos, lo que hace que el determinante sea una unidad.

0 votos

Oh, no importa, leí mal la declaración.

0 votos

Nótese que una dirección en este caso es fácil, es decir, no es tan difícil demostrar que si el determinante no es un divisor cero, entonces tenemos inyectividad (se puede invertir el determinante como sugirió ronno, usar el adjunto,...). Lo complicado es construir un elemento no nulo en el núcleo en el caso de que el determinante sea un divisor cero. :)

5voto

Starfall Puntos 11

Las dos identidades ( $ A $ es una matriz cuadrada sobre un anillo conmutativo $ R $ )

$$ A \operatorname{adj}(A) = \det(A) I $$

$$ \det(AB) = \det(A) \det(B) $$

implican respectivamente que si $ \det(A) $ es una unidad, entonces $ \operatorname{adj}(A) (\det(A))^{-1} $ es un inverso para $ A $ y si $ A $ tiene una inversa, entonces $ \det(A) $ debe ser una unidad, porque $ \det(A^{-1}) $ es entonces una inversa para $ \det(A) $ en $ R $ . En otras palabras, una matriz cuadrada con entradas en un anillo conmutativo es invertible si su determinante es invertible en el anillo terreno.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X