Help with full rank factorization

  • Context: Graduate 
  • Thread starter Thread starter learningstill
  • Start date Start date
  • Tags Tags
    Factorization rank
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 4K views
learningstill
Messages
3
Reaction score
0
I've been tasked with proving the existence of a full rank factorization for an arbitrary m x n matrix, namely:

Let [itex]\textit{A}[/itex] [itex]\in[/itex] [itex]\textbf{R}^{m x n}[/itex] with [itex]\textit{rank(A) = r}[/itex] then there exist matrices [itex]\textit{B}[/itex] [itex]\in[/itex] [itex]\textbf{R}^{m x r}[/itex] and [itex]\textit{C}[/itex] [itex]\in[/itex] [itex]\textbf{R}^{r x n}[/itex] such that [itex]\textit{A = BC}[/itex]. Furthermore [itex]\textit{rank(A) = rank(B) = r}[/itex].

I think I can prove the second property if I assume the first using [itex]\it{rank(AB)}[/itex] [itex]\leq[/itex] [itex]\it{rank(A)}[/itex] and [itex]\it{rank(AB)}[/itex] [itex]\leq[/itex] [itex]\it{rank(B)}[/itex].

I'd appreciate a push in the right direction. Thanks.
 
Last edited by a moderator:
Physics news on Phys.org
We have the following situation:
$$
V_n \stackrel{C}{\twoheadrightarrow} V_n/\operatorname{ker}A \cong V_r \cong \operatorname{im}A \stackrel{B}{\rightarrowtail} V_m
$$
which together ##BC## transform as ##A##. We have split the domain of ##A\, : \,V_n \longrightarrow V_m ## into ##V_n \cong \operatorname{ker}A \oplus V_n/\operatorname{ker}A## and the codomain in ##\operatorname{im}A \oplus V_{m-r}\,.##