$Ain M_2(mathbb C)$ and $A $ is nilpotent then $A^2=0$.How to prove this?
$begingroup$
$Ain M_2(mathbb C)$ and $A $ is nilpotent then $A^2=0$.How to prove this?
I am not getting enough hints to start
linear-algebra matrices
$endgroup$
add a comment |
$begingroup$
$Ain M_2(mathbb C)$ and $A $ is nilpotent then $A^2=0$.How to prove this?
I am not getting enough hints to start
linear-algebra matrices
$endgroup$
$begingroup$
Consider the minimal polynomial of $A$...
$endgroup$
– Sebastian Schoennenbeck
Nov 13 '14 at 12:37
add a comment |
$begingroup$
$Ain M_2(mathbb C)$ and $A $ is nilpotent then $A^2=0$.How to prove this?
I am not getting enough hints to start
linear-algebra matrices
$endgroup$
$Ain M_2(mathbb C)$ and $A $ is nilpotent then $A^2=0$.How to prove this?
I am not getting enough hints to start
linear-algebra matrices
linear-algebra matrices
edited Nov 13 '14 at 14:35
Martin Brandenburg
108k13158328
108k13158328
asked Nov 13 '14 at 12:34
LearnmoreLearnmore
17.7k32496
17.7k32496
$begingroup$
Consider the minimal polynomial of $A$...
$endgroup$
– Sebastian Schoennenbeck
Nov 13 '14 at 12:37
add a comment |
$begingroup$
Consider the minimal polynomial of $A$...
$endgroup$
– Sebastian Schoennenbeck
Nov 13 '14 at 12:37
$begingroup$
Consider the minimal polynomial of $A$...
$endgroup$
– Sebastian Schoennenbeck
Nov 13 '14 at 12:37
$begingroup$
Consider the minimal polynomial of $A$...
$endgroup$
– Sebastian Schoennenbeck
Nov 13 '14 at 12:37
add a comment |
9 Answers
9
active
oldest
votes
$begingroup$
For any vector space endomorphism $A$, we have $$0=ker A^0subseteq ker Asubseteq ker A^2subseteq ldotssubseteq ker A^nsubseteq ker A^{n+1}subseteq ldots,$$ simply because $A^nv=0$ implies $A^{n+1}v=AA^nv=0$.
If at any point $ker A^n=ker A^{n+1}$, then also $ker A^{n+1}=ker A^{n+2}$ etc. because $$vinker A^{n+2}iff Avinker A^{n+1}iff Avinker A^niff vinker A^{n+1}.$$ In other words, the sequence of kernels of powers of $A$ is eventually stationary and before that it is strictly increasing. It follows that the chain becaomes stationary at $A^{dim V}$ or earlier. For nilpotent $A$ this means that $A^{dim V}$ must be $0$.
$endgroup$
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
add a comment |
$begingroup$
If $A$ is nilpotent, then this follows from Cayley-Hamilton: $A^2-mathrm{tr}(A)A+det(A)I_2=0$ , and $mathrm{tr}(A)=det(A)=0$ since $A$ is nilpotent.
$endgroup$
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
1
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
add a comment |
$begingroup$
Nilpotent implies the trace is $0$.
$$ A*A=begin{pmatrix} a & b \ c & -a end{pmatrix} begin{pmatrix} a & b \ c & -a end{pmatrix} = begin{pmatrix} a^2+bc & 0 \ 0 & a^2+bc end{pmatrix}$$
Since that is a multiple of the identity, if that's not $0$ then $A^{2n} neq 0$ for all $n$. But that's absurd, because $A$ is nilpotent.
$endgroup$
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
1
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
add a comment |
$begingroup$
Since $A$ is nilpotent, both of its eigenvalues are zero, and so (via the existence of the Jordan Normal Form), $A = P^{-1} J P$ for some matrix $P$ and either
$$J = begin{pmatrix}0 & 0 \ 0 & 0end{pmatrix} qquad text{or} qquad J = begin{pmatrix}0 & 1 \ 0 & 0end{pmatrix}.$$
In either case, $J^2 = 0$, so
$$A^2 = (P^{-1} J P)(P^{-1} J P) = P^{-1} J^2 P = 0.$$
Remark By essentially the same argument, if $A in M_n(mathbb{C})$ is nilpotent, then $A^n = 0$, and this is sharp in the sense that it need not be true that $A^{n - 1} = 0$.
$endgroup$
add a comment |
$begingroup$
$A$ is nilpotent so it cannot be injective. This means $dim( Ker A ) geq 1$ and $Ker A subset Im A$. We also know that: $dim(Im A) + dim(Ker A) = 2$.
You have two cases:
$dim(Ker A) = 2$ then $A = 0$ and $A^2 = 0$.
$dim(Ker A) = 1$, then $dim(Im A) = 1$. As both subspaces have same dimension and $Ker A subset Im A$ they are equal: $Ker A = Im A$ which leads to $A^2 = 0$.
$endgroup$
add a comment |
$begingroup$
Hint: Assume that $A^2neq 0$ then there exists a smaller integer $ngeq 3$ satisfying $A^n=0$ and $A^{n-1}neq 0$. Let $xin mathbb C^2$ such that $A^{n-1}xneq 0$.
Noticed then that $(x,Ax,A^2x,ldots, A^{n-1}x)$ should be a linearly independent family containing $ngeq 3$ elements of $mathbb C^2$.
$endgroup$
add a comment |
$begingroup$
$A$ can be put into upper triangular form, and since $A$ is nilpotent the its eigenvalues are both zero and the upper triangular form will have zeroes on its diagonal. Squaring this matrix gives zero, and so $A^2 = 0$ also.
Note that this same argument gives that any $n$ by $n$ nilpotent matrix over ${mathbb C}$, when raised to the $n$th power, gives the zero matrix.
$endgroup$
add a comment |
$begingroup$
If $A^{n}=0$ but $A^{n-1}ne 0$, then there exists $x ne 0$ such that $A^{n}x = 0$ but $A^{n-1}x ne 0$. Then ${ x, Ax,cdots, A^{n-1}x }$ is a linearly independent set. To see why, suppose that
$$
alpha_{0}x+alpha_{1}Ax+cdots+alpha_{n-1}A^{n-1}x = 0.
$$
By applying $A^{n-1}$ to the above, we arrive at $alpha_{0}A^{n-1}x=0$, which gives $alpha_{0}=0$. Then apply $A^{n-2}$ to conclude that $alpha_{1}=0$, and so on. Because we're working on a two-dimensional space, then $A^{2} = 0$ must hold in order to avoid a contradiction of dimension.
$endgroup$
add a comment |
$begingroup$
Since $0$ is the only eigenvalue of a nilpotent matrix, its trace (sum of eigenvalues) and determinant (product of eigenvalues) are both $0$. These two relations suggest that $A$ is of the form
begin{bmatrix}
a & frac{-a^2}{c} \
c & -a
end{bmatrix}
Square it to find that it is the zero matrix.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1019966%2fa-in-m-2-mathbb-c-and-a-is-nilpotent-then-a2-0-how-to-prove-this%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
9 Answers
9
active
oldest
votes
9 Answers
9
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
For any vector space endomorphism $A$, we have $$0=ker A^0subseteq ker Asubseteq ker A^2subseteq ldotssubseteq ker A^nsubseteq ker A^{n+1}subseteq ldots,$$ simply because $A^nv=0$ implies $A^{n+1}v=AA^nv=0$.
If at any point $ker A^n=ker A^{n+1}$, then also $ker A^{n+1}=ker A^{n+2}$ etc. because $$vinker A^{n+2}iff Avinker A^{n+1}iff Avinker A^niff vinker A^{n+1}.$$ In other words, the sequence of kernels of powers of $A$ is eventually stationary and before that it is strictly increasing. It follows that the chain becaomes stationary at $A^{dim V}$ or earlier. For nilpotent $A$ this means that $A^{dim V}$ must be $0$.
$endgroup$
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
add a comment |
$begingroup$
For any vector space endomorphism $A$, we have $$0=ker A^0subseteq ker Asubseteq ker A^2subseteq ldotssubseteq ker A^nsubseteq ker A^{n+1}subseteq ldots,$$ simply because $A^nv=0$ implies $A^{n+1}v=AA^nv=0$.
If at any point $ker A^n=ker A^{n+1}$, then also $ker A^{n+1}=ker A^{n+2}$ etc. because $$vinker A^{n+2}iff Avinker A^{n+1}iff Avinker A^niff vinker A^{n+1}.$$ In other words, the sequence of kernels of powers of $A$ is eventually stationary and before that it is strictly increasing. It follows that the chain becaomes stationary at $A^{dim V}$ or earlier. For nilpotent $A$ this means that $A^{dim V}$ must be $0$.
$endgroup$
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
add a comment |
$begingroup$
For any vector space endomorphism $A$, we have $$0=ker A^0subseteq ker Asubseteq ker A^2subseteq ldotssubseteq ker A^nsubseteq ker A^{n+1}subseteq ldots,$$ simply because $A^nv=0$ implies $A^{n+1}v=AA^nv=0$.
If at any point $ker A^n=ker A^{n+1}$, then also $ker A^{n+1}=ker A^{n+2}$ etc. because $$vinker A^{n+2}iff Avinker A^{n+1}iff Avinker A^niff vinker A^{n+1}.$$ In other words, the sequence of kernels of powers of $A$ is eventually stationary and before that it is strictly increasing. It follows that the chain becaomes stationary at $A^{dim V}$ or earlier. For nilpotent $A$ this means that $A^{dim V}$ must be $0$.
$endgroup$
For any vector space endomorphism $A$, we have $$0=ker A^0subseteq ker Asubseteq ker A^2subseteq ldotssubseteq ker A^nsubseteq ker A^{n+1}subseteq ldots,$$ simply because $A^nv=0$ implies $A^{n+1}v=AA^nv=0$.
If at any point $ker A^n=ker A^{n+1}$, then also $ker A^{n+1}=ker A^{n+2}$ etc. because $$vinker A^{n+2}iff Avinker A^{n+1}iff Avinker A^niff vinker A^{n+1}.$$ In other words, the sequence of kernels of powers of $A$ is eventually stationary and before that it is strictly increasing. It follows that the chain becaomes stationary at $A^{dim V}$ or earlier. For nilpotent $A$ this means that $A^{dim V}$ must be $0$.
answered Nov 13 '14 at 12:42
Hagen von EitzenHagen von Eitzen
278k22269501
278k22269501
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
add a comment |
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
$begingroup$
+1 all very neat, wish you just wrote $text{Ker},A^{n+1}= A^{-1}( text{Ker},A^n)$
$endgroup$
– Orest Bucicovschi
Nov 14 '14 at 3:36
add a comment |
$begingroup$
If $A$ is nilpotent, then this follows from Cayley-Hamilton: $A^2-mathrm{tr}(A)A+det(A)I_2=0$ , and $mathrm{tr}(A)=det(A)=0$ since $A$ is nilpotent.
$endgroup$
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
1
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
add a comment |
$begingroup$
If $A$ is nilpotent, then this follows from Cayley-Hamilton: $A^2-mathrm{tr}(A)A+det(A)I_2=0$ , and $mathrm{tr}(A)=det(A)=0$ since $A$ is nilpotent.
$endgroup$
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
1
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
add a comment |
$begingroup$
If $A$ is nilpotent, then this follows from Cayley-Hamilton: $A^2-mathrm{tr}(A)A+det(A)I_2=0$ , and $mathrm{tr}(A)=det(A)=0$ since $A$ is nilpotent.
$endgroup$
If $A$ is nilpotent, then this follows from Cayley-Hamilton: $A^2-mathrm{tr}(A)A+det(A)I_2=0$ , and $mathrm{tr}(A)=det(A)=0$ since $A$ is nilpotent.
edited Nov 13 '14 at 14:46
leo
6,04053582
6,04053582
answered Nov 13 '14 at 12:39
Dietrich BurdeDietrich Burde
78.8k64387
78.8k64387
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
1
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
add a comment |
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
1
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
Why the down vote?
$endgroup$
– Quang Hoang
Nov 13 '14 at 12:46
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
$begingroup$
How you get this equation
$endgroup$
– Learnmore
Nov 13 '14 at 12:58
1
1
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
@I didn't downvote, but your equation should be $A^2-tr(A)A+det(A)I_2=0$.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:00
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Yes I agree @Jean-ClaudeArbaut
$endgroup$
– Learnmore
Nov 13 '14 at 13:01
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
$begingroup$
Thank you, right. @learning maths: Just check this by a computation. This generalizes, see Cayley-Hamilton.
$endgroup$
– Dietrich Burde
Nov 13 '14 at 13:10
add a comment |
$begingroup$
Nilpotent implies the trace is $0$.
$$ A*A=begin{pmatrix} a & b \ c & -a end{pmatrix} begin{pmatrix} a & b \ c & -a end{pmatrix} = begin{pmatrix} a^2+bc & 0 \ 0 & a^2+bc end{pmatrix}$$
Since that is a multiple of the identity, if that's not $0$ then $A^{2n} neq 0$ for all $n$. But that's absurd, because $A$ is nilpotent.
$endgroup$
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
1
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
add a comment |
$begingroup$
Nilpotent implies the trace is $0$.
$$ A*A=begin{pmatrix} a & b \ c & -a end{pmatrix} begin{pmatrix} a & b \ c & -a end{pmatrix} = begin{pmatrix} a^2+bc & 0 \ 0 & a^2+bc end{pmatrix}$$
Since that is a multiple of the identity, if that's not $0$ then $A^{2n} neq 0$ for all $n$. But that's absurd, because $A$ is nilpotent.
$endgroup$
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
1
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
add a comment |
$begingroup$
Nilpotent implies the trace is $0$.
$$ A*A=begin{pmatrix} a & b \ c & -a end{pmatrix} begin{pmatrix} a & b \ c & -a end{pmatrix} = begin{pmatrix} a^2+bc & 0 \ 0 & a^2+bc end{pmatrix}$$
Since that is a multiple of the identity, if that's not $0$ then $A^{2n} neq 0$ for all $n$. But that's absurd, because $A$ is nilpotent.
$endgroup$
Nilpotent implies the trace is $0$.
$$ A*A=begin{pmatrix} a & b \ c & -a end{pmatrix} begin{pmatrix} a & b \ c & -a end{pmatrix} = begin{pmatrix} a^2+bc & 0 \ 0 & a^2+bc end{pmatrix}$$
Since that is a multiple of the identity, if that's not $0$ then $A^{2n} neq 0$ for all $n$. But that's absurd, because $A$ is nilpotent.
answered Nov 13 '14 at 12:43
AnalysisStudent0414AnalysisStudent0414
4,376928
4,376928
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
1
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
add a comment |
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
1
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
Why nilpotent implies trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 12:57
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
$begingroup$
determinant=0 is clear but why trace=0
$endgroup$
– Learnmore
Nov 13 '14 at 13:04
1
1
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
$begingroup$
@learningmaths The trace is also the sum of eivenvalues (notice that the trace is invariant by transformation $Ato P^{-1}AP$, see here). And since a nilpotent matrix $A$ satisfies $A^n=0$ for some $n$, all eigenvalues must be zero.
$endgroup$
– Jean-Claude Arbaut
Nov 13 '14 at 13:07
add a comment |
$begingroup$
Since $A$ is nilpotent, both of its eigenvalues are zero, and so (via the existence of the Jordan Normal Form), $A = P^{-1} J P$ for some matrix $P$ and either
$$J = begin{pmatrix}0 & 0 \ 0 & 0end{pmatrix} qquad text{or} qquad J = begin{pmatrix}0 & 1 \ 0 & 0end{pmatrix}.$$
In either case, $J^2 = 0$, so
$$A^2 = (P^{-1} J P)(P^{-1} J P) = P^{-1} J^2 P = 0.$$
Remark By essentially the same argument, if $A in M_n(mathbb{C})$ is nilpotent, then $A^n = 0$, and this is sharp in the sense that it need not be true that $A^{n - 1} = 0$.
$endgroup$
add a comment |
$begingroup$
Since $A$ is nilpotent, both of its eigenvalues are zero, and so (via the existence of the Jordan Normal Form), $A = P^{-1} J P$ for some matrix $P$ and either
$$J = begin{pmatrix}0 & 0 \ 0 & 0end{pmatrix} qquad text{or} qquad J = begin{pmatrix}0 & 1 \ 0 & 0end{pmatrix}.$$
In either case, $J^2 = 0$, so
$$A^2 = (P^{-1} J P)(P^{-1} J P) = P^{-1} J^2 P = 0.$$
Remark By essentially the same argument, if $A in M_n(mathbb{C})$ is nilpotent, then $A^n = 0$, and this is sharp in the sense that it need not be true that $A^{n - 1} = 0$.
$endgroup$
add a comment |
$begingroup$
Since $A$ is nilpotent, both of its eigenvalues are zero, and so (via the existence of the Jordan Normal Form), $A = P^{-1} J P$ for some matrix $P$ and either
$$J = begin{pmatrix}0 & 0 \ 0 & 0end{pmatrix} qquad text{or} qquad J = begin{pmatrix}0 & 1 \ 0 & 0end{pmatrix}.$$
In either case, $J^2 = 0$, so
$$A^2 = (P^{-1} J P)(P^{-1} J P) = P^{-1} J^2 P = 0.$$
Remark By essentially the same argument, if $A in M_n(mathbb{C})$ is nilpotent, then $A^n = 0$, and this is sharp in the sense that it need not be true that $A^{n - 1} = 0$.
$endgroup$
Since $A$ is nilpotent, both of its eigenvalues are zero, and so (via the existence of the Jordan Normal Form), $A = P^{-1} J P$ for some matrix $P$ and either
$$J = begin{pmatrix}0 & 0 \ 0 & 0end{pmatrix} qquad text{or} qquad J = begin{pmatrix}0 & 1 \ 0 & 0end{pmatrix}.$$
In either case, $J^2 = 0$, so
$$A^2 = (P^{-1} J P)(P^{-1} J P) = P^{-1} J^2 P = 0.$$
Remark By essentially the same argument, if $A in M_n(mathbb{C})$ is nilpotent, then $A^n = 0$, and this is sharp in the sense that it need not be true that $A^{n - 1} = 0$.
answered Nov 13 '14 at 12:56
TravisTravis
60.1k767147
60.1k767147
add a comment |
add a comment |
$begingroup$
$A$ is nilpotent so it cannot be injective. This means $dim( Ker A ) geq 1$ and $Ker A subset Im A$. We also know that: $dim(Im A) + dim(Ker A) = 2$.
You have two cases:
$dim(Ker A) = 2$ then $A = 0$ and $A^2 = 0$.
$dim(Ker A) = 1$, then $dim(Im A) = 1$. As both subspaces have same dimension and $Ker A subset Im A$ they are equal: $Ker A = Im A$ which leads to $A^2 = 0$.
$endgroup$
add a comment |
$begingroup$
$A$ is nilpotent so it cannot be injective. This means $dim( Ker A ) geq 1$ and $Ker A subset Im A$. We also know that: $dim(Im A) + dim(Ker A) = 2$.
You have two cases:
$dim(Ker A) = 2$ then $A = 0$ and $A^2 = 0$.
$dim(Ker A) = 1$, then $dim(Im A) = 1$. As both subspaces have same dimension and $Ker A subset Im A$ they are equal: $Ker A = Im A$ which leads to $A^2 = 0$.
$endgroup$
add a comment |
$begingroup$
$A$ is nilpotent so it cannot be injective. This means $dim( Ker A ) geq 1$ and $Ker A subset Im A$. We also know that: $dim(Im A) + dim(Ker A) = 2$.
You have two cases:
$dim(Ker A) = 2$ then $A = 0$ and $A^2 = 0$.
$dim(Ker A) = 1$, then $dim(Im A) = 1$. As both subspaces have same dimension and $Ker A subset Im A$ they are equal: $Ker A = Im A$ which leads to $A^2 = 0$.
$endgroup$
$A$ is nilpotent so it cannot be injective. This means $dim( Ker A ) geq 1$ and $Ker A subset Im A$. We also know that: $dim(Im A) + dim(Ker A) = 2$.
You have two cases:
$dim(Ker A) = 2$ then $A = 0$ and $A^2 = 0$.
$dim(Ker A) = 1$, then $dim(Im A) = 1$. As both subspaces have same dimension and $Ker A subset Im A$ they are equal: $Ker A = Im A$ which leads to $A^2 = 0$.
edited Nov 13 '14 at 12:50
answered Nov 13 '14 at 12:44
fjardonfjardon
35017
35017
add a comment |
add a comment |
$begingroup$
Hint: Assume that $A^2neq 0$ then there exists a smaller integer $ngeq 3$ satisfying $A^n=0$ and $A^{n-1}neq 0$. Let $xin mathbb C^2$ such that $A^{n-1}xneq 0$.
Noticed then that $(x,Ax,A^2x,ldots, A^{n-1}x)$ should be a linearly independent family containing $ngeq 3$ elements of $mathbb C^2$.
$endgroup$
add a comment |
$begingroup$
Hint: Assume that $A^2neq 0$ then there exists a smaller integer $ngeq 3$ satisfying $A^n=0$ and $A^{n-1}neq 0$. Let $xin mathbb C^2$ such that $A^{n-1}xneq 0$.
Noticed then that $(x,Ax,A^2x,ldots, A^{n-1}x)$ should be a linearly independent family containing $ngeq 3$ elements of $mathbb C^2$.
$endgroup$
add a comment |
$begingroup$
Hint: Assume that $A^2neq 0$ then there exists a smaller integer $ngeq 3$ satisfying $A^n=0$ and $A^{n-1}neq 0$. Let $xin mathbb C^2$ such that $A^{n-1}xneq 0$.
Noticed then that $(x,Ax,A^2x,ldots, A^{n-1}x)$ should be a linearly independent family containing $ngeq 3$ elements of $mathbb C^2$.
$endgroup$
Hint: Assume that $A^2neq 0$ then there exists a smaller integer $ngeq 3$ satisfying $A^n=0$ and $A^{n-1}neq 0$. Let $xin mathbb C^2$ such that $A^{n-1}xneq 0$.
Noticed then that $(x,Ax,A^2x,ldots, A^{n-1}x)$ should be a linearly independent family containing $ngeq 3$ elements of $mathbb C^2$.
edited Nov 13 '14 at 14:29
answered Nov 13 '14 at 12:40
BebopBebop
2,805714
2,805714
add a comment |
add a comment |
$begingroup$
$A$ can be put into upper triangular form, and since $A$ is nilpotent the its eigenvalues are both zero and the upper triangular form will have zeroes on its diagonal. Squaring this matrix gives zero, and so $A^2 = 0$ also.
Note that this same argument gives that any $n$ by $n$ nilpotent matrix over ${mathbb C}$, when raised to the $n$th power, gives the zero matrix.
$endgroup$
add a comment |
$begingroup$
$A$ can be put into upper triangular form, and since $A$ is nilpotent the its eigenvalues are both zero and the upper triangular form will have zeroes on its diagonal. Squaring this matrix gives zero, and so $A^2 = 0$ also.
Note that this same argument gives that any $n$ by $n$ nilpotent matrix over ${mathbb C}$, when raised to the $n$th power, gives the zero matrix.
$endgroup$
add a comment |
$begingroup$
$A$ can be put into upper triangular form, and since $A$ is nilpotent the its eigenvalues are both zero and the upper triangular form will have zeroes on its diagonal. Squaring this matrix gives zero, and so $A^2 = 0$ also.
Note that this same argument gives that any $n$ by $n$ nilpotent matrix over ${mathbb C}$, when raised to the $n$th power, gives the zero matrix.
$endgroup$
$A$ can be put into upper triangular form, and since $A$ is nilpotent the its eigenvalues are both zero and the upper triangular form will have zeroes on its diagonal. Squaring this matrix gives zero, and so $A^2 = 0$ also.
Note that this same argument gives that any $n$ by $n$ nilpotent matrix over ${mathbb C}$, when raised to the $n$th power, gives the zero matrix.
answered Nov 13 '14 at 14:50
ZarraxZarrax
35.4k250103
35.4k250103
add a comment |
add a comment |
$begingroup$
If $A^{n}=0$ but $A^{n-1}ne 0$, then there exists $x ne 0$ such that $A^{n}x = 0$ but $A^{n-1}x ne 0$. Then ${ x, Ax,cdots, A^{n-1}x }$ is a linearly independent set. To see why, suppose that
$$
alpha_{0}x+alpha_{1}Ax+cdots+alpha_{n-1}A^{n-1}x = 0.
$$
By applying $A^{n-1}$ to the above, we arrive at $alpha_{0}A^{n-1}x=0$, which gives $alpha_{0}=0$. Then apply $A^{n-2}$ to conclude that $alpha_{1}=0$, and so on. Because we're working on a two-dimensional space, then $A^{2} = 0$ must hold in order to avoid a contradiction of dimension.
$endgroup$
add a comment |
$begingroup$
If $A^{n}=0$ but $A^{n-1}ne 0$, then there exists $x ne 0$ such that $A^{n}x = 0$ but $A^{n-1}x ne 0$. Then ${ x, Ax,cdots, A^{n-1}x }$ is a linearly independent set. To see why, suppose that
$$
alpha_{0}x+alpha_{1}Ax+cdots+alpha_{n-1}A^{n-1}x = 0.
$$
By applying $A^{n-1}$ to the above, we arrive at $alpha_{0}A^{n-1}x=0$, which gives $alpha_{0}=0$. Then apply $A^{n-2}$ to conclude that $alpha_{1}=0$, and so on. Because we're working on a two-dimensional space, then $A^{2} = 0$ must hold in order to avoid a contradiction of dimension.
$endgroup$
add a comment |
$begingroup$
If $A^{n}=0$ but $A^{n-1}ne 0$, then there exists $x ne 0$ such that $A^{n}x = 0$ but $A^{n-1}x ne 0$. Then ${ x, Ax,cdots, A^{n-1}x }$ is a linearly independent set. To see why, suppose that
$$
alpha_{0}x+alpha_{1}Ax+cdots+alpha_{n-1}A^{n-1}x = 0.
$$
By applying $A^{n-1}$ to the above, we arrive at $alpha_{0}A^{n-1}x=0$, which gives $alpha_{0}=0$. Then apply $A^{n-2}$ to conclude that $alpha_{1}=0$, and so on. Because we're working on a two-dimensional space, then $A^{2} = 0$ must hold in order to avoid a contradiction of dimension.
$endgroup$
If $A^{n}=0$ but $A^{n-1}ne 0$, then there exists $x ne 0$ such that $A^{n}x = 0$ but $A^{n-1}x ne 0$. Then ${ x, Ax,cdots, A^{n-1}x }$ is a linearly independent set. To see why, suppose that
$$
alpha_{0}x+alpha_{1}Ax+cdots+alpha_{n-1}A^{n-1}x = 0.
$$
By applying $A^{n-1}$ to the above, we arrive at $alpha_{0}A^{n-1}x=0$, which gives $alpha_{0}=0$. Then apply $A^{n-2}$ to conclude that $alpha_{1}=0$, and so on. Because we're working on a two-dimensional space, then $A^{2} = 0$ must hold in order to avoid a contradiction of dimension.
answered Nov 14 '14 at 3:30
DisintegratingByPartsDisintegratingByParts
59.1k42580
59.1k42580
add a comment |
add a comment |
$begingroup$
Since $0$ is the only eigenvalue of a nilpotent matrix, its trace (sum of eigenvalues) and determinant (product of eigenvalues) are both $0$. These two relations suggest that $A$ is of the form
begin{bmatrix}
a & frac{-a^2}{c} \
c & -a
end{bmatrix}
Square it to find that it is the zero matrix.
$endgroup$
add a comment |
$begingroup$
Since $0$ is the only eigenvalue of a nilpotent matrix, its trace (sum of eigenvalues) and determinant (product of eigenvalues) are both $0$. These two relations suggest that $A$ is of the form
begin{bmatrix}
a & frac{-a^2}{c} \
c & -a
end{bmatrix}
Square it to find that it is the zero matrix.
$endgroup$
add a comment |
$begingroup$
Since $0$ is the only eigenvalue of a nilpotent matrix, its trace (sum of eigenvalues) and determinant (product of eigenvalues) are both $0$. These two relations suggest that $A$ is of the form
begin{bmatrix}
a & frac{-a^2}{c} \
c & -a
end{bmatrix}
Square it to find that it is the zero matrix.
$endgroup$
Since $0$ is the only eigenvalue of a nilpotent matrix, its trace (sum of eigenvalues) and determinant (product of eigenvalues) are both $0$. These two relations suggest that $A$ is of the form
begin{bmatrix}
a & frac{-a^2}{c} \
c & -a
end{bmatrix}
Square it to find that it is the zero matrix.
answered Dec 5 '18 at 9:25
RhaldrynRhaldryn
319414
319414
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1019966%2fa-in-m-2-mathbb-c-and-a-is-nilpotent-then-a2-0-how-to-prove-this%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Consider the minimal polynomial of $A$...
$endgroup$
– Sebastian Schoennenbeck
Nov 13 '14 at 12:37