I'm looking for someone who knows a theorem who proves that this two definitions of rank of Linear Transformations/Matrices are equivalent.
$rk(T) = \dim \operatorname{Span}( \{(a_{i1}, \dots, a_{in}), i = 1, \dots, m \})$ (is the number of nonzero lines on the matrix representation for $T$ in its row echelon form).
$rk(T) = \dim \operatorname{Im}(T)$
I was using this as equivalent, but i found in a book that this equivalence should be proved if not given.
My attempt is:
Let $A: V \longrightarrow W$ a linear transformation that maps $v \mapsto Av = w$. Let's assume that $\dim \operatorname{V} = n$ and $\dim \operatorname{W} = m$. Since we can rethink this as a linear system, we can construct this system and then put it in his row echelon form. Now, we have an equivalent system, and let's say that $r$ rows are nonzeros on this form.That could again be rethinked as a new linear transformation $\bar{A}: V \longrightarrow \bar{W}$; $v \mapsto \bar{A}v = \bar{w}$. Since $\bar{A}_{r \times n}$, and all lines of $\bar{A}$ are linear independent, $\dim \operatorname{Im}(\bar{A})$ = r.
I'm not sure that if this "proof" sounds rigorous, so any hint is helpful.
Thanks!