While I'm studying on Linear Algbera, I was stucked in:
Prove $\operatorname{rank}A^TA=\operatorname{rank}A$ for any $A\in M_{m \times n}$
I understood what above means, and I am now curious about
Yes, I understood : N($A^TA$)=N($A$)
Then, how can I convince that rank($A^TA$)=rank($A$)?
In the above question, they say it is by rank-nullity theorem
But in my book, it seems like there is a no rank-nullity theroem, but dimension theorem:
Let $V,W$ be vector spaces, and let $T:V->W$ be linear. If $V$ is finite-dimensional, then
nullity($T$) +rank($T$) = dim($V$)
I thought like:
nullity($A^TA$) + rank($A^TA$) =dim($A^TA$) and
nullity($A$) +rank($A$) = dim($A$) So both of the rank would be the same.
But I think the dimensions of $A^TA$ and $A$ are different.
$A^TA$ becomes ${n \times n}$ matrix and $A$ is ${m \times n}$ matrix so the dimension is different.
Where I was wrong? Or I am misunderstood?