Proving there are invertible matrices that fit this criteria

diogomgf

Junior Member
Joined
Oct 19, 2018
Messages
127
\(\displaystyle A \in M_{m \times n}\) , \(\displaystyle S \in M_{m \times m} \) and \(\displaystyle T \in M_{n \times n} \).
\(\displaystyle A\) has rank [MATH] r(A) = r[/MATH].

Prove that if both [MATH]S[/MATH] and [MATH]T[/MATH] are invertible such that [MATH] SAT_{m \times n} =[/MATH]
CodeCogsEqn.gif
then if [MATH]r=m[/MATH] or [MATH]r=n[/MATH] there aren't either null lines (in the previous case) or null columns (in the later case) ?

For starters,
If [MATH]r = m[/MATH], then I don't understand the need for two null matrices in the bottom rows because [MATH]I_{r}[/MATH] occupies all rows. The same goes for [MATH]r = n[/MATH] but for columns...

After this point, I don't really know how to approach this problem and need some guidance.

My first thought was to try and see what happens if [MATH]AT =[/MATH]
CodeCogsEqn (1).gif
. In that case [MATH]SAT =[/MATH]
CodeCogsEqn (2).gif
but it doesn't necessarily mean [MATH]I_r[/MATH] ... And once again, [MATH]SAT[/MATH] requires the bottom rows to be null matrices...
 
@Romsek What exactly?
[MATH]SAT[/MATH] is a compound matrix... was that the part or...?
Is there something that is not appearing in the O.P ?
 
Last edited:
@Romsek
I can't edit the O.P and 3 matrices are missing:

1. [MATH]SAT_{m \times n } =[/MATH]
CodeCogsEqn.gif


2[MATH].AT =[/MATH]
CodeCogsEqn (1).gif


3. [MATH]SAT =[/MATH]
CodeCogsEqn (2).gif
 

Attachments

  • CodeCogsEqn.gif
    CodeCogsEqn.gif
    424 bytes · Views: 1
  • CodeCogsEqn (1).gif
    CodeCogsEqn (1).gif
    307 bytes · Views: 1
  • CodeCogsEqn (2).gif
    CodeCogsEqn (2).gif
    300 bytes · Views: 0
Top