How can I prove the following statement?
Every $m \times n$ matrix of rank $r$ reduces to $(m \times r)$ times $(r \times n)$:
$A = $ (pivot columns of $A$) (first $r$ rows of $R$) = (COL)(ROW).
[ Source: Gilbert Strang, Introduction to Linear Algebra, question $56$, section $3.2$. ]
I think that the $R$ is reduced row echelon form. I believe there is a brief elegant proof.
Let $\{v_1,\dotsc, v_r\}$ be a basis of $\operatorname{Col}(A)$ where $A$ is $m\times n$. Put these basis vectors into the columns of a matrix $V$, so that $$ V=\left[\begin{array}{ccc}v_1 & \cdots & v_r\end{array}\right] $$ Then, for every $b\in\operatorname{Col}(A)$ there exists a $x_b\in\Bbb R^r$ such that $Vx_b=b$.
Now, let $\{a_1,\dotsc, a_n\}$ be the columns of $A$ so that $$ A=\left[\begin{array}{ccc}a_1 & \cdots & a_r\end{array}\right] $$ Each column $a_k$ of $A$ is in $\operatorname{Col}(A)$. So, let $$ W=\left[\begin{array}{ccc}x_{a_1} & \cdots & x_{a_r}\end{array}\right] $$ What happens when we compute $VW$?