Let $A\in\mathbb{R}^{m\times n}$. Is $A$ invertible if and only if $A^\intercal A$ is invertible?
First of all, this statement makes sense only if $m=n$ since only square matrices are invertible.
So let's assume $m=n$. In this case, if $A$ is invertible, its columns are linearly independent. So this means that the rows of $A^\intercal$ are linearly independent, meaning that $A^\intercal$ is invertible.
Thus $(A^\intercal A)^{-1}=A^{-1}(A^\intercal)^{-1}$ exists.
And vice versa, if $A^\intercal A$ is invertible, this means that $A^{-1}$ needs to exist.
Correct?
And for $m\neq n$ the statement is false, right?