Un hilo que he visto recientemente me ha llevado a pensar que esto no es una prueba válida del hecho de que para las matrices $A$ y $B$ , $AB=I\implies BA=I$ .
Supongamos que $AB=I$ . Entonces
$$A^{-1}AB=A^{-1}I$$
$$B=A^{-1}$$
$$BA=A^{-1}A$$
$$BA=I$$
¿qué paso está mal en esto? Supongo que $A$ tiene una inversa porque $\det A\det B=\det AB=\det I=1$ Así que $\det A\neq 0$ .
0 votos
¿Qué le lleva a creer que esto no es válido? He visto exactamente esta prueba en el texto de Álgebra Lineal de Schaum.
0 votos
math.stackexchange.com/questions/3852/if-ab-i-then-ba-i Es correcto ya que la existencia de una inversa izquierda de una matriz cuadrada se deduce de la existencia de una inversa derecha.
1 votos
¿Cómo sabes que $A$ ¿tiene un inverso? Una vez que lo haces, entonces por supuesto $B$ es. Pero el problema es empezar con $AB=I$ , sin saber que $A$ tiene una inversa, y concluye $BA=I$ . Y de esto se deduce que $B$ es la inversa de $A$ .
0 votos
¿Estás asumiendo que $A$ , $B$ y $I$ son todos $n\times n$ ¿matrices? Si eso no se asume, tu afirmación es falsa y la prueba no es válida ya que algunos de los productos serán indefinidos. ¿Es eso lo que quieres decir?
1 votos
Seguro que está asumiendo que son cuadrados. Si no, esto habría sido obviamente defectuoso para cualquiera.
0 votos
La pregunta en la que creo que podría estar pensando ( este ) pide pruebas en las que se imponen algunas restricciones (es decir, si no se conocen los inversos).
0 votos
@HasanSaad ¿eso es lo que se está demostrando aquí? Y a los demás, sí estoy asumiendo que son cuadrados y de la misma dimensión.
0 votos
También, gracias @Winther que ayuda
0 votos
La primera igualdad puede ser incorrecta. No hay ninguna suposición de que $A^{-1}$ existe
1 votos
@sleevechen Para una matriz cuadrada, la existencia de una inversa derecha implica la existencia de una izquierda. En cuanto a OP, la prueba aquí es que si $AB=I$ entonces $BA=I$ y esta prueba es completamente válida. Sin embargo, esta "prueba" pierde la esencia del tema, que consiste en demostrar la existencia de $A^{-1}$ primero. Si se demostró antes, entonces esta prueba es perfectamente válida.