17 votos

Pruebas en álgebra lineal a través de la topología

Estoy viendo la serie de conferencias de Tadashi Tokieda sobre Topología y Geometría en YouTube. En la segunda conferencia muestra cómo se puede demostrar, mediante un argumento topológico, que dados dos $n\times n$ matrices $P$ y $Q$ los productos matriciales $PQ$ y $QP$ comparten los mismos valores propios. Luego afirma que también se puede demostrar que $\det(e^L)=e^{\operatorname{tr} L}$ y el teorema de Cayley-Hamilton también topológicamente.

Esto me ha interesado. ¿Existe algún libro/obra de referencia que trate el álgebra lineal en el contexto de la topología? Idealmente, me gustaría un libro (a nivel de primer año de grado) sobre álgebra lineal que utilice argumentos topológicos para demostrar enunciados de álgebra lineal. ¿Alguien conoce una obra de este tipo?

15voto

Matt Dawdy Puntos 5479

Estos argumentos topológicos implican la misma idea básica: a menudo es fácil demostrar cosas para un subconjunto de matrices que son densas en el espacio de todas las matrices. Cualquier hecho "continuo" (por ejemplo, la afirmación de que dos funciones continuas son iguales) puede demostrarse para todas las matrices demostrándolo para este subconjunto denso.

Por ejemplo, si $L$ es diagonalizable con valores propios $\lambda_1, \dots \lambda_n$ entonces está claro que $(L - \lambda_1) \dots (L - \lambda_n) = 0$ que es el teorema de Cayley-Hamilton para $L$ . Pero el teorema de Cayley-Hamilton es un hecho "continuo": para un $n \times n$ matriz afirma que $n^2$ funciones polinómicas del $n^2$ entradas de $L$ desaparecer. Y las matrices diagonalizables son densas (sobre $\mathbb{C}$ ). De ahí que obtengamos Cayley-Hamilton en general.

Del mismo modo, la afirmación de que $PQ$ y $QP$ tienen el mismo polinomio característico (equivalentemente, los mismos valores propios, con las mismas multiplicidades aritméticas; esto es un poco más fuerte que lo que has escrito) está claro si, digamos, $P$ es invertible. Pero esto es un hecho "continuo": para $n \times n$ matrices afirma que $n$ funciones polinómicas del $2n^2$ entradas de $P$ y $Q$ desaparecer. Y las matrices invertibles son densas. De ahí que obtengamos la afirmación en general. Véase también esta entrada del blog para otras pruebas y generalizaciones.

Pero creo que $\det (e^L) = e^{\text{tr}(L)}$ es un mal ejemplo; la reducción de la densidad no te permite realmente comprar nada aquí. Está claro que $\text{tr}(L)$ es la suma de los valores propios de $L$ y que $\det (e^L)$ es el producto de los exponenciales de los valores propios de $L$ si es o no $L$ es diagonalizable, porque podemos triangularización superior $L$ (por ejemplo, llevarla a la forma normal de Jordan) en lugar de diagonalizarla. Nótese que esto no es suficiente para demostrar Cayley-Hamilton.

5 votos

Vale la pena mencionar que hay una prueba muy corta y limpia de que las matrices pueden ser trianguladas superiormente sobre un campo algebraicamente cerrado; esto es mucho más fácil que la forma normal de Jordan. Si $T : V \to V$ es un operador lineal sobre un espacio vectorial f.d. $V$ sobre dicho campo, entonces $T$ tiene un vector propio $v_1$ . También $T$ actuando sobre el cociente $V/\text{span}(v_1)$ tiene un vector propio $v_2$ . También $T$ actuando sobre el cociente $V/\text{span}(v_1, v_2)$ tiene un vector propio $v_3$ . Y así sucesivamente. Después de elevar todo esto a elementos de $V$ se obtiene una base en la que $T$ es triangular superior.

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