Exercise
https://texercises.com/exercise/invertible-matrices/
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. Place A together with I_n in the following way A|I_n. Then A is invertible iff A|I_n can be brought via a sequence of elementary row-operations to the form I_n|B for some matrix Bin M_ntimes nK. In this case we have A^-B.

Solution:
bf Lemma. Let BCDin M_ntimes nK. Then B C|DB C|B D. Proof of Lemma. Follows directly from the definition of matrix multiplication. Proof of the theorem. Ase A is invertible. By the previous theorem exists elementary matrices T_...T_k s.t. T_k T_k- ... T_ AI_n. Longrightarrow T_k T_k- ... T_ A|I_nI_n|T_k T_k- ... T_. We also have: A B T_^-... T_k-^- T_k^- T_k T_k-... T_...I_n B A T_k^- T_k-^- ... T_ T_^-... T_k-^- T_k^-...I_n &Longrightarrow A^-B Conversely ase that A|I_n can be brought to I_n|B by a sequence of elementary row-operations for some matrix Bin M_ntimes nK Longrightarrow A itself is row-equivalent to I_n Longrightarrow A has rank n Longrightarrow A is invertible.
Meta Information
\(\LaTeX\)-Code
Exercise:
Let Ain M_ntimes nK. Place A together with I_n in the following way A|I_n. Then A is invertible iff A|I_n can be brought via a sequence of elementary row-operations to the form I_n|B for some matrix Bin M_ntimes nK. In this case we have A^-B.

Solution:
bf Lemma. Let BCDin M_ntimes nK. Then B C|DB C|B D. Proof of Lemma. Follows directly from the definition of matrix multiplication. Proof of the theorem. Ase A is invertible. By the previous theorem exists elementary matrices T_...T_k s.t. T_k T_k- ... T_ AI_n. Longrightarrow T_k T_k- ... T_ A|I_nI_n|T_k T_k- ... T_. We also have: A B T_^-... T_k-^- T_k^- T_k T_k-... T_...I_n B A T_k^- T_k-^- ... T_ T_^-... T_k-^- T_k^-...I_n &Longrightarrow A^-B Conversely ase that A|I_n can be brought to I_n|B by a sequence of elementary row-operations for some matrix Bin M_ntimes nK Longrightarrow A itself is row-equivalent to I_n Longrightarrow A has rank n Longrightarrow A is invertible.
Contained in these collections:

Attributes & Decorations
Tags
eth, gauss, hs22, lineare algebra, matrices, proof
Content image
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Creator rk
Decoration
File
Link