Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

3 votos

Dos matrices invertibles

Dejemos que A,B ser dos n×n matrices invertibles con entradas complejas. Además, dejemos que α,βC con |α||β| tal que αAB+βBA=In . Demostrar que det .

He intentado manipular la ecuación dada para obtener (AB-BA) como un factor en alguna parte, pero no logró obtener nada útil. También pensé en utilizar A^{-1} y B^{-1} en algún lugar, pero sólo conseguí relaciones más desordenadas.

3voto

amsmath Puntos 178

Dejo mi primera respuesta a continuación. Aquí hay una mucho más fácil: Como a continuación, podemos suponer AB + \gamma BA = I , donde |\gamma|\neq 1 y \gamma\neq 0 . Poner \lambda_0 = (1+\gamma)^{-1} . Entonces AB-\lambda_0 = 1 - \lambda_0 - \gamma BA = -\gamma\left(BA - \frac{1-\lambda_0}{\gamma}\right) = -\gamma(BA-\lambda_0). Por lo tanto, como AB y BA tienen los mismos valores propios, \sigma(BA-\lambda_0) = \sigma(AB-\lambda_0) = -\gamma\cdot\sigma(BA-\lambda_0). Así, la multiplicación por (-\gamma) deja el conjunto finito \sigma(BA-\lambda_0) invariante. Pero, como |\gamma|\neq 1 Esto sólo es posible si \sigma(BA-\lambda_0) = \{0\} . Por lo tanto, BA-\lambda_0 es nilpotente. Y como AB-BA = I - \gamma BA - BA = I - \lambda_0^{-1}BA = -\lambda_0^{-1}(BA - \lambda_0), lo mismo ocurre con AB-BA . En particular, AB-BA no es invertible, es decir, \det(AB-BA)=0 .


La declaración es clara para \alpha = 0 . Por lo tanto, dejemos que \alpha\neq 0 . En este caso, con A' = \alpha A tenemos A'B + \frac{\beta}{\alpha}BA' = I . Por lo tanto, podemos suponer que AB + \gamma BA = I con |\gamma|\neq 1 y \gamma\neq 0 .

Dejemos que x sea un vector propio de AB con respecto al valor propio \lambda . Entonces \lambda x + \gamma BAx = x, es decir, BAx = \frac{1-\lambda}\gamma x. Pero sabemos que AB y BA tienen exactamente los mismos valores propios (incluso las mismas estructuras de Jordan) ya que ambos son invertibles. Por lo tanto, la función f(z) = \tfrac{1-z}\gamma es un mapa propio del conjunto de valores propios. Por lo tanto, hay un valor propio \lambda tal que f^n(\lambda) = \lambda para algunos n , donde f^n = f\circ\ldots\circ f ( n veces).

Se puede demostrar fácilmente por inducción que f^n(z) = \frac{1 - (-\gamma^{-1})^n}{1+\gamma} + (-\gamma^{-1})^nz y luego (ya que (-\gamma^{-1})^n\neq 1 ) que el único punto fijo de cada f^n es z = (1+\gamma)^{-1} . Así, \lambda = (1+\gamma)^{-1} . En particular, f(\lambda) = \lambda . Pero entonces, con el vector propio x de arriba, tenemos (BA-AB)x = BAx - ABx = f(\lambda)x - \lambda x = 0. Por lo tanto, la matriz BA-AB no es invertible, lo que significa que \det(BA-AB) = 0 .

1voto

Cantali Puntos 21

Al final he conseguido encontrar una solución, diferente a la de @amsmath. De la ecuación dada obtenemos AB=\frac{1}{\alpha}I_n-\frac{\beta}{\alpha}BA \quad (1) y también \alpha B+\beta A^{-1}BA=A^{-1} \quad (2) por lo que d=\det(AB-BA)=\det \left(\frac{1}{\alpha}I_n-\frac{\alpha+\beta}{\alpha}BA \right)=\frac{1}{\alpha^n}\det(I_n-(\alpha+\beta)BA) Pero A^{-1}A=I_n así que d=\frac{1}{\alpha^n}\det(A^{-1}A-(\alpha+\beta)BA)=\frac{1}{\alpha^n}\det A \det(A^{-1}-(\alpha+\beta)B) y utilizando (2) tendremos d=\frac{1}{\alpha^n}\det A \det(\beta A^{-1}BA-\beta B)=\frac{\beta^n}{\alpha^n}\det A \det(A^{-1}BA-B)=\frac{\beta^n}{\alpha^n}\det(BA-AB) Finalmente, d=\det(AB-BA)=\frac{\beta^n}{\alpha^n}(-1)^n\det(AB-BA) y como |\alpha| \neq |\beta| La conclusión es la siguiente.

0voto

Chris Ballance Puntos 17329

Como ha señalado loup blanc en un comentario, la suposición de que A y B son invertibles es inútil. Incluso la suposición de que |\alpha|\ne|\beta| es demasiado fuerte. Como veremos en breve, todo lo que necesitamos es que \alpha^n\ne(-\beta)^n .

A partir de la condición de que \alpha AB+\beta BA=I obtenemos \begin {align} \alpha (AB-BA) &= (I- \beta BA)- \alpha BA = I - ( \alpha + \beta )BA, \\ - \beta (AB-BA) &= - \beta AB + (I- \alpha AB) = I - ( \alpha + \beta )AB. \end {align} Desde A y B son matrices cuadradas, AB y BA tienen espectros idénticos. De ello se deduce que \alpha^n\det(AB-BA) = (-\beta)^n \det(AB-BA) . Por lo tanto, cuando \alpha^n\ne(-\beta)^n Debemos tener \det(AB-BA)=0 .

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