Exercise
https://texercises.com/exercise/inverses-and-isomorphisms/
Question
Solution
Short
Video
\(\LaTeX\)
No explanation / solution video to this exercise has yet been created.

Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Exercise:
Let Ain M_ntimes nK. Then Ain textGL_nK i.e. A is invertible iff T_A:K^nlongrightarrow K^n is an isomorphism. Moreover T_A^-T_A^-.

Solution:
Proof. Ase A is invertible. We claim that T_A^-circ T_Aid_K^n and T_Acirc T_A^-id_K^n which will show that T_A is an isomorphism. Indeed forall vin K^n:T_A^-circ T_AvA^- T_AvA^- A v I_n v v. Similarly one shows that forall vin K^n:T_Acirc T_A^-vI_n v v. This proves that T_A is an isomorphism. Conversely ase T_A:K^nlongrightarrow K^n is an isomorphism. Let S: T_A^-. By a previous result ST_B for some Bin M_ntimes nK. Now forall vin K^n: vScirc T_AvT_BA vB A v B A v We apply this equality for ve_ ve_...v_e_n and obtain that B AI_n. Similarly one shows that A BI_N too Longrightarrow A is invertible.
Report An Error
You are on texercises.com.
reCaptcha will only work on our main-domain \(\TeX\)ercises.com!
Meta Information
\(\LaTeX\)-Code
Exercise:
Let Ain M_ntimes nK. Then Ain textGL_nK i.e. A is invertible iff T_A:K^nlongrightarrow K^n is an isomorphism. Moreover T_A^-T_A^-.

Solution:
Proof. Ase A is invertible. We claim that T_A^-circ T_Aid_K^n and T_Acirc T_A^-id_K^n which will show that T_A is an isomorphism. Indeed forall vin K^n:T_A^-circ T_AvA^- T_AvA^- A v I_n v v. Similarly one shows that forall vin K^n:T_Acirc T_A^-vI_n v v. This proves that T_A is an isomorphism. Conversely ase T_A:K^nlongrightarrow K^n is an isomorphism. Let S: T_A^-. By a previous result ST_B for some Bin M_ntimes nK. Now forall vin K^n: vScirc T_AvT_BA vB A v B A v We apply this equality for ve_ ve_...v_e_n and obtain that B AI_n. Similarly one shows that A BI_N too Longrightarrow A is invertible.
Contained in these collections

Similar exercises (48)
Title Creator Matched on
Uniqueness of inverse rk tags
Direct sums and isomorphisms rk tags
Elementary matrices and inverses rk tags
Representation and invertible matrix rk tags
Linear system of equation and matrices rk tags
more (43 more)
Attributes & Decorations
Tags
eth, hs22, inverse, isomorphism, lineare algebra, matrices, proof, vector space
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Decoration
Content image