Posibles Duplicados:
Si AB=IAB=I BA=IBA=ILa mayoría de los introductorio de álgebra lineal textos definir la inversa de una matriz cuadrada AA como tal:
Inversa de a AA, si es que existe, es una matriz de BB tal que AB=BA=IAB=BA=I.
Esa definición, en mi opinión, es problemático. Un par de libros (en mi ejemplo de que menos del 20%) dan una definición diferente:
Inversa de a AA, si es que existe, es una matriz de BB tal que AB=IAB=I. Entonces ellos van y demostrar que BA=IBA=I.
¿Sabe usted de una prueba distinta de la definición de inversa a través de los determinantes o a través del uso
rref
?Hay un planteamiento general en el álgebra en virtud de la cual ab=eab=e conduce a ba=eba=e donde ee es la identidad?
Respuestas
¿Demasiados anuncios?Multiplicar ambos lados de AB−I=0AB−I=0 a la izquierda por BB para obtener (BA−I)B=0\etiqueta1(BA−I)B=0\etiqueta1 Deje {ej}{ej} ser el estándar de base para Rn. Tenga en cuenta que {Bej} son linealmente independientes: supongamos que n∑j=1ajBej=0\etiqueta2 luego, multiplicando (2) a la izquierda por A da n∑j=1ajej=0\etiqueta3 lo que implica que aj=0 desde {ej} es una base. Por lo tanto, {Bej} es también una base para Rn.
Multiplicando (1) a la derecha por ej rendimientos (BA−I)Bej=0\etiqueta4 para cada base de vectores Bej. Por lo tanto, BA=I.
El fracaso en una Dimensión Infinita
Deje A B operadores en secuencias infinitas. B cambios de la secuencia de derecho por uno, llenando el primer elemento con 0. A cambia la secuencia de izquierda, bajando el primer elemento.
AB=I, pero BA establece el primer elemento de a 0.
Los argumentos que asumen A−1 o B−1 existen y no hacen referencia a lo finito de la dimensionalidad del espacio vectorial, por lo general no esta contraejemplo.
Hay un planteamiento general en el álgebra en virtud de que ab=e conduce a ba=e, donde e es la identidad?
La finitud o finito-dimensionalidad o rigideces que se siguen de ellas, tales como:
- un Dedekind-conjunto finito no es infinito
- el doble-doble V∗∗ siendo naturalmente isomorfo a V,
- antípoda^2=identidad, y otros más elaborados análogos (creo que aquí en frases como rígido tensor de categorías con duales).
Existe una dualidad entre inyectiva y surjective, o izquierda y derecha, y necesitas un poco de ajuste en el que la transposición de uno a otro es su propia inversa. El álgebra lineal resultado para finitos matrices descansa en última instancia en el mismo principio para las funciones sobre conjuntos finitos, y en la dimensión de un finito-dimensional espacio vectorial de estar bien definido (que está estrechamente relacionado con la cardinalidad de un conjunto finito de estar bien definido).