I have to prove this lemma without using the concept of rank neither the concept of determinant:
$A$ is a singular matrix iff $A^T$ is singular
Unfortunately i've only found proofs that contains rank and determinant. Can you help me ?
Asked
Active
Viewed 5,784 times
9
-
6What's your definition of singular matrix? – Intelligenti pauca Jul 24 '18 at 16:05
-
A singular matrix is one that is invertible? – Sorfosh Jul 24 '18 at 16:06
-
3To me, singular matrix = Columns are linear dipendent. I want to prove that that if columns are linear dipendent also rows are. – Koinos Jul 24 '18 at 16:10
-
Possible duplicate of If $X$ is a singular matrix, then is $X'X$ singular? – Jul 24 '18 at 16:45
-
3$\det A=\det A^T$. – AccidentalFourierTransform Jul 24 '18 at 17:13
-
1@Sorfosh Singular matrices are not invertible. – koverman47 Jul 24 '18 at 19:56
-
1For a proof using the definition you mentioned above, have a look here. – B. Mehta Jul 25 '18 at 02:36
3 Answers
25
Assume for contradiction that $A^T$ was invertible, then there would be a matrix $B$ with $BA^T=I$. But that means $I=I^T=(BA^T)^T=AB^T$, so $B^T$ would be an inverse for $A$, which is impossible.
Jesko Hüttenhain
- 14,792
5
Formally, a singular matrix $A$ is one for which there does not exist another matrix $B$ with $AB=BA=I$.
The statement here can be proven through the contrapositive: if $A$ is not singular, there exists some $B$ with $AB=I$. Transposing this gives $B^TA^T=I$, so $A^T$ is not singular. Thus if $A^T$ is singular, $A$ is singular. Replacing $A$ with $A^T$ in the last sentence gives the other direction, so the original statement is established.
Parcly Taxel
- 103,344
0
If $A$ were singular, then the kernel (null space) of $A$ has nonzero vectors in it. That is, $Ax = 0$ admits nontrivial (nonzero) solutions. Now take the transpose on each side. Then if $x$ is nonzero, so is $x^T$ (clearly), and so $x^T A^T = 0^T$ also admits nonzero solutions, so $A^T$ is singular.
Sean Roberson
- 9,110
-
4How do you know that $x^TA^T=0$, $x\ne0$ implies that there exists $y\ne0$ with $A^Ty=0$? – David C. Ullrich Jul 24 '18 at 16:46
-
1@DavidC.Ullrich Sean Roberson did not directly claim that. If $x^TA^T=0^T$ has a nontrivial solution, then clearly its rows are not linearly independent, so it is singular. – Acccumulation Jul 24 '18 at 21:48
-
@Acccumulation We need a definition. His definition of singular seems to be non-zero kernel. Which says exactly that the columns are dependent. Now saying rows dependent implies singular is just assuming what we 're supposedly proving, that the transpose of a singular matrix is singular. – David C. Ullrich Jul 25 '18 at 12:30