Transformación lineal que preserva el determinante

Question

Parece que es "de dominio público" lo siguiente:

Dejemos que $T$ sea una transformación lineal sobre matrices nxn con coeficientes complejos que preserva el determinante. Entonces existen matrices U y V cuyo producto tiene determinante 1 tal que se cumple una de las siguientes:

a) Para cualquier matriz $A$ tenemos $T(A)=UAV$
b) Para cualquier matriz $A$ tenemos $T(A)=UA^TV$ donde $A^T$ es la transposición de $A$

Parece bastante razonable, pero en cuanto al "conocimiento común", no tengo ni idea ahora mismo de cómo probar tal cosa

Answer 1

En primer lugar, algunas observaciones sencillas: $T$ debe ser inyectiva ya que para cualquier $A$ Hay un poco de $B$ tal que $B$ y $A+B$ tienen diferentes determinantes (ejercicio fácil). Multiplicando $T$ par $T(1)^{-1}$ se puede suponer que $T(1)=1$ .

Ahora bien, tenga en cuenta que $T$ preserva el rango de las matrices. En efecto, $T$ debe conservar el rango $n$ matrices, y luego el rango $n-1$ son sólo el lugar no singular en la variedad de matrices con determinante $0$ . Esto implica $T$ conserva el rango $n-1$ matrices. Rango $n-2$ son entonces los lugares no singulares de rango $<n-1$ matrices para que se conserven, y así sucesivamente.

Rango actual $k$ Las proyecciones son exactamente las del rango $k$ matrices que al restarlas de la identidad te dan algo de rango $n-k$ Esto es fácil de ver a partir de la forma normal de Jordan. Así, $T$ envía el rango $1$ proyecciones para clasificar $1$ proyecciones. Dos proyecciones tienen rangos disjuntos y conmutan si su suma es también una proyección. En particular, para $P_i$ las proyecciones sobre una base $e_i$ , $T$ envía $P_i$ a las proyecciones $Q_i$ en alguna otra base $f_i$ . Ahora dejemos que $U$ sea la matriz de cambio de base de la $e_i$ a la $f_i$ . Conjugando $T$ par $U$ muestra que podemos asumir $T$ fija cada $P_i$ . Es decir, elegir la base estándar, $T$ fija todas las matrices diagonales.

Ahora bien, las matrices cuyas únicas entradas no nulas están todas en la primera fila o todas en la primera columna se caracterizan por ser de rango $1$ y se mantienen en el rango $1$ si su primera entrada diagonal cambia. Afirmaciones similares son válidas para otras filas y columnas. De ello se desprende que $T(e_{ij})$ es un múltiplo de $e_{ij}$ o $e_{ji}$ para todos $j$ y $i$ , donde $e_{ij}$ es la matriz con $ij$ entrada $1$ y todos los demás $0$ . Considerando los rangos de las matrices con sólo dos entradas no nulas, es fácil ver ahora que debemos tener siempre $T(e_{ij})$ un múltiplo de $e_{ij}$ o siempre tienen $T(e_{ij})$ un múltiplo de $e_{ji}$ . Componiendo $T$ con el mapa de transposición podemos suponer que estamos en el primer caso.

Ahora dejemos que $a_{ij}$ sean los escalares tales que $T(e_{ij})=a_{ij}e_{ij}$ . Sabemos que $a_{ii}=1$ y considerando las matrices de permutación, es fácil ver que debemos tener $a_{ij}a_{jk}=a_{ik}$ . De ello se desprende que $T$ coincide con la conjugación por la matriz diagonal con entradas diagonales $a_{1i}$ y en particular $T$ tiene la forma $T(A)=UAV$ .

Answer 2

Eric Wofsey la respuesta puede ser modificado un poco para soltar la suposición de que estamos tratando con el campo de $K=\mathbb{C}$. Deje $K$ ser un campo arbitrario con $|K|>n$ (donde $n \in \mathbb{N}$ es nuestra matriz de dimensión) y supongamos $T(I)=CD$ para algunas matrices $C$$D$. El reclamo es que existe una matriz invertible $B$ tal que $T: A \mapsto CB^{-1}ABD$ o $T: A \mapsto CB^{-1}A^tBD$.

*Podemos empezar por demostrar que $T$ es inyectiva (y por lo tanto bijective) por el mismo argumento dado por Wofsey. Cambiamos de $T$ $T:=T'(.)=C^{-1}T(.)D^{-1}$tal que $T(I)=I$.

*Para mostrar que $T$ conserva el rango de las matrices, recordar que hay un rango de $m$ matriz puede ser escrito como $A=Q\Lambda$ donde $\Lambda$ es nonsingular y $Q$ tiene exactamente $m$ cero lineal independiente de las columnas (las otras columnas es cero). Con esto en mente, podemos ver que para cualquier matriz $A$ \begin{equation} rank(A)=\max \left\{ m \in \mathbb{N}\left.\right| D \in M_n:\det (\lambda D + A)= c_{n-m}\lambda^{n-m}+...+c_n \lambda^n \text{ with }c_{n-m} \neq 0 \right\}. \end{equation} (Si no me equivoco, la suposición de que $|K|>n$ es importante aquí, en el sentido de que para que un polinomio $P$ grado $\leq n$ tenemos $P(\lambda)=0$ todos los $\lambda \in K$ si $P=0$. Por tanto, los polinomios $P$ son los únicos fijos por sus evaluaciones de $P(\lambda)$)

Pero a partir de la bijectivity de $T$ se sigue que \begin{equation} rank(A)=\max \left\{ m \in \mathbb{N}\left.\right| D \in M_n:\det (\lambda D + A)=\det (T(\lambda D + A))=\det (\lambda T(D) + T(A))= c_{n-m}\lambda^{n-m}+...+c_n \lambda^n \text{ with }c_{n-m} \neq 0 \right\}= \max \left\{ m \in \mathbb{N}\left.\right| D \in M_n:\det (\lambda D +T(A))= c_{n-m}\lambda^{n-m}+...+c_n \lambda^n \text{ with }c_{n-m} \neq 0 \right\}=rank(T(A)) \end{equation}

*La última modificación a hacer es revisar la prueba de que $T$ mapas de proyectores en proyectores de igual rango. Es suficiente para demostrar que $A$ es un proyector de rango $m$ fib $A$ rango $m$ $I-A$ rango $n-m$.

Demostrando la derecha implicación es fácil. Para la izquierda implicación: para cualquier matriz $A$, tenemos la inclusión de $\ker (A) \subset Ran (I-A)$ (ejercicio fácil), lo que implica $\dim(\ker (A)) \leq \dim(Ran (I-A))$ donde la igualdad se alcanza el fib $\ker (A) = Ran (I-A)$. Por el teorema de la dimensión, entonces tenemos que $n=\dim(Ran(A))+\dim(\ker(A))\leq \dim(Ran(A)) + \dim(Ran(I-A))$ con igualdad de iff $\ker (A) = Ran (I-A)$. Llegamos a la conclusión de que \begin{equation} Rank(A)+Rank(I-A)=\dim(Ran(A))+\dim(Ran(I-A))=n \Rightarrow \ker (A) = Ran (I-A) \Rightarrow A(I-A)=0 \Rightarrow A\text{ is a projector} \end{equation}

Answer 3

He aquí una prueba más geométrica. Poner $V=\mathbb{C}^n$ . Considere la incrustación $i:\mathbb{P}(V)\times \mathbb{P}(V^*)\hookrightarrow \mathbb{P}(\mathrm{End}(V))$ que se asocia a $(x,x^*)$ el endomorfismo $z\mapsto \langle x^*,z\rangle x\ $ su imagen es el lugar de los endomorfismos de rango 1. Dado que $T$ preserva el rango, induce un automorfismo de $\mathbb{P}(V)\times \mathbb{P}(V^*)$ . Ahora $i$ es la incrustación definida por las secciones globales del haz de líneas $\mathcal{O}(1)\boxtimes \mathcal{O}(1)$ cualquier automorfismo de $\mathbb{P}(V)\times \mathbb{P}(V^*)$ preserva este haz de líneas, por lo que es inducido por un único automorfismo de $\mathbb{P}(\mathrm{End}(V))$ . Estos automorfismos son de la forma $(x,x^*)\mapsto (u(x),{}^{t}\!v(x^*))$ con $u,v\in \mathrm{Aut}(V)$ o $(x,x^*)\mapsto ({}^{t}\!v(x^*),u(x))$ , donde $u$ (resp. $v$ ) es un isomorfismo de $V$ en $V^*$ (resp. $V^*$ en $V$ ). De ello se desprende que $T(f)=ufv\ $ o $\ u{}^{t}\!fv$ .

Answer 4

La conclusión a la que indican que se obtiene como resultado principal, en el siguiente documento, pero con una aparentemente más fuerte hipótesis: (EDIT: No más fuerte en todos, en realidad - acabo de darme cuenta de que usted está asumiendo que el mapa es lineal.)

Determinante en la preservación de los mapas en la matriz de álgebras de

Gregor Dolinar y Pedro Semrl

Álgebra lineal y sus Aplicaciones Volumen 348, Temas 1-3, 15 De Junio De 2002, Páginas 189-192

Deje $M_n$ ser el álgebra de todos los $n\times n$ matrices complejas. Si $\phi:M_n→M_n$ es un surjective asignación de satisfacer $\det(A+\lambda B)=\det(\phi(A)+\lambda\phi(B))$ entonces $\phi$ es de la forma $\phi(A)=MAN$ o $\phi$ es de la forma $\phi(A)=MA^TN$ donde $M,N$ son nonsingular matrices con $\det(MN)=1$.