Invertible linear operator with diagonalizable power is diagonalizable
$begingroup$
This question is a follow-up to my other question here:
If $A$ is invertible and $A^n$ is diagonalizable, then $A$ is diagonalizable.
My problem is as follows:
Given a vector space $V$ over $mathbb{C}$, and a linear operator $T$ on $V$, show that if $T$ is invertible and $T^k$ is diagonalizable for some $kgeq2$, then $T$ is diagonalizable.
My attempt at a solution:
Because the vector space is over $mathbb{C}$, $T$ has an eigenvalue (by the fundamental theorem of algebra). Let the eigenvalues of $T$ be denoted by $lambda_1,lambda_2,cdots,lambda_n$, for some $ngeq1$. Then, observe that for some eigenvector $v$,
$$Tv=lambda_i vRightarrowlambda_i (Tv)=lambda_i(lambda_i v)Rightarrow T(lambda_i v)=lambda_i^2 vRightarrow T(Tv)=lambda_i^2 vRightarrow T^2v=lambda_i^2 v.$$
This argument can be inductively continued to show that the eigenvalues of $T^k$ are $lambda_1^k,lambda_2^k,cdots,lambda_n^k$. Because $T^k$ is diagonalizable, these eigenvalues are distinct (a proof that I'm omitting for brevity here). Because the $lambda_i^k$'s are distinct, it follows that the $lambda_i$'s are distinct. Therefore, $T$ is diagonalizable (again based on the proof that I'm omitting).
Here are my questions:
(a) First and foremost, is this a valid proof? I'm skeptical because it is so much simpler than the proof I've linked (which is in terms of matrices, not linear operators, but that shouldn't make a significant difference). I also haven't (explicitly) used the fact that $T$ is invertible, so I feel something is missing.
(b) It seems like this problem can be approached using Jordan canonical form, but I'm struggling to do so. Any suggestions would be appreciated.
linear-algebra proof-verification alternative-proof diagonalization
$endgroup$
|
show 4 more comments
$begingroup$
This question is a follow-up to my other question here:
If $A$ is invertible and $A^n$ is diagonalizable, then $A$ is diagonalizable.
My problem is as follows:
Given a vector space $V$ over $mathbb{C}$, and a linear operator $T$ on $V$, show that if $T$ is invertible and $T^k$ is diagonalizable for some $kgeq2$, then $T$ is diagonalizable.
My attempt at a solution:
Because the vector space is over $mathbb{C}$, $T$ has an eigenvalue (by the fundamental theorem of algebra). Let the eigenvalues of $T$ be denoted by $lambda_1,lambda_2,cdots,lambda_n$, for some $ngeq1$. Then, observe that for some eigenvector $v$,
$$Tv=lambda_i vRightarrowlambda_i (Tv)=lambda_i(lambda_i v)Rightarrow T(lambda_i v)=lambda_i^2 vRightarrow T(Tv)=lambda_i^2 vRightarrow T^2v=lambda_i^2 v.$$
This argument can be inductively continued to show that the eigenvalues of $T^k$ are $lambda_1^k,lambda_2^k,cdots,lambda_n^k$. Because $T^k$ is diagonalizable, these eigenvalues are distinct (a proof that I'm omitting for brevity here). Because the $lambda_i^k$'s are distinct, it follows that the $lambda_i$'s are distinct. Therefore, $T$ is diagonalizable (again based on the proof that I'm omitting).
Here are my questions:
(a) First and foremost, is this a valid proof? I'm skeptical because it is so much simpler than the proof I've linked (which is in terms of matrices, not linear operators, but that shouldn't make a significant difference). I also haven't (explicitly) used the fact that $T$ is invertible, so I feel something is missing.
(b) It seems like this problem can be approached using Jordan canonical form, but I'm struggling to do so. Any suggestions would be appreciated.
linear-algebra proof-verification alternative-proof diagonalization
$endgroup$
$begingroup$
Could cite precisely what result are you omitting? You should be using invertibility somewhere. For example, nilpotent matrices such as Jordan blocks of eigenvalue zero are nilpotent (and so for a sufficiently high power, diagonalizable) and not diagonzalizable.
$endgroup$
– Guido A.
Dec 6 '18 at 0:53
$begingroup$
@GuidoA. mathworld.wolfram.com/DiagonalizableMatrix.html The diagonalization theorem gives that an $ntimes n$ matrix is diagonalizable iff it has $n$ linearly independent eigenvectors. These must correspond to $n$ distinct eigenvalues. And since an operator can be represented as a matrix...
$endgroup$
– Atsina
Dec 6 '18 at 0:56
1
$begingroup$
Could you clarify your statement? The identity matrix $I_n in M_n(mathbb{k})$ seems pretty diagonalizable to me and has a unique eigenvalue.
$endgroup$
– Guido A.
Dec 6 '18 at 0:59
$begingroup$
@GuidoA. Hmmm. It's probably my mistake...but this seems to me that MathWorld has an error. Certainly $mbox{dim }V$ eigenvalues implies diagonalizability, but the converse doesn't appear to be true, as suggested by MathWorld
$endgroup$
– Atsina
Dec 6 '18 at 1:03
1
$begingroup$
Are you aware of the following fact: A linear operator $T$ on a finite-dimensional $mathbb{C}$-vector space $V$ is diagonalizable if and only if there exists a polynomial $P$ satisfying $Pleft(Tright) = 0$ and $P^prime neq 0$ (this means that the derivative of $P$ is not identically $0$ as a polynomial)? If you know this, I suggest you think about how to get such a polynomial for $T$ from such a polynomial for $T^k$.
$endgroup$
– darij grinberg
Dec 6 '18 at 4:37
|
show 4 more comments
$begingroup$
This question is a follow-up to my other question here:
If $A$ is invertible and $A^n$ is diagonalizable, then $A$ is diagonalizable.
My problem is as follows:
Given a vector space $V$ over $mathbb{C}$, and a linear operator $T$ on $V$, show that if $T$ is invertible and $T^k$ is diagonalizable for some $kgeq2$, then $T$ is diagonalizable.
My attempt at a solution:
Because the vector space is over $mathbb{C}$, $T$ has an eigenvalue (by the fundamental theorem of algebra). Let the eigenvalues of $T$ be denoted by $lambda_1,lambda_2,cdots,lambda_n$, for some $ngeq1$. Then, observe that for some eigenvector $v$,
$$Tv=lambda_i vRightarrowlambda_i (Tv)=lambda_i(lambda_i v)Rightarrow T(lambda_i v)=lambda_i^2 vRightarrow T(Tv)=lambda_i^2 vRightarrow T^2v=lambda_i^2 v.$$
This argument can be inductively continued to show that the eigenvalues of $T^k$ are $lambda_1^k,lambda_2^k,cdots,lambda_n^k$. Because $T^k$ is diagonalizable, these eigenvalues are distinct (a proof that I'm omitting for brevity here). Because the $lambda_i^k$'s are distinct, it follows that the $lambda_i$'s are distinct. Therefore, $T$ is diagonalizable (again based on the proof that I'm omitting).
Here are my questions:
(a) First and foremost, is this a valid proof? I'm skeptical because it is so much simpler than the proof I've linked (which is in terms of matrices, not linear operators, but that shouldn't make a significant difference). I also haven't (explicitly) used the fact that $T$ is invertible, so I feel something is missing.
(b) It seems like this problem can be approached using Jordan canonical form, but I'm struggling to do so. Any suggestions would be appreciated.
linear-algebra proof-verification alternative-proof diagonalization
$endgroup$
This question is a follow-up to my other question here:
If $A$ is invertible and $A^n$ is diagonalizable, then $A$ is diagonalizable.
My problem is as follows:
Given a vector space $V$ over $mathbb{C}$, and a linear operator $T$ on $V$, show that if $T$ is invertible and $T^k$ is diagonalizable for some $kgeq2$, then $T$ is diagonalizable.
My attempt at a solution:
Because the vector space is over $mathbb{C}$, $T$ has an eigenvalue (by the fundamental theorem of algebra). Let the eigenvalues of $T$ be denoted by $lambda_1,lambda_2,cdots,lambda_n$, for some $ngeq1$. Then, observe that for some eigenvector $v$,
$$Tv=lambda_i vRightarrowlambda_i (Tv)=lambda_i(lambda_i v)Rightarrow T(lambda_i v)=lambda_i^2 vRightarrow T(Tv)=lambda_i^2 vRightarrow T^2v=lambda_i^2 v.$$
This argument can be inductively continued to show that the eigenvalues of $T^k$ are $lambda_1^k,lambda_2^k,cdots,lambda_n^k$. Because $T^k$ is diagonalizable, these eigenvalues are distinct (a proof that I'm omitting for brevity here). Because the $lambda_i^k$'s are distinct, it follows that the $lambda_i$'s are distinct. Therefore, $T$ is diagonalizable (again based on the proof that I'm omitting).
Here are my questions:
(a) First and foremost, is this a valid proof? I'm skeptical because it is so much simpler than the proof I've linked (which is in terms of matrices, not linear operators, but that shouldn't make a significant difference). I also haven't (explicitly) used the fact that $T$ is invertible, so I feel something is missing.
(b) It seems like this problem can be approached using Jordan canonical form, but I'm struggling to do so. Any suggestions would be appreciated.
linear-algebra proof-verification alternative-proof diagonalization
linear-algebra proof-verification alternative-proof diagonalization
edited Dec 6 '18 at 1:41
Gerry Myerson
146k8147299
146k8147299
asked Dec 6 '18 at 0:44
AtsinaAtsina
791116
791116
$begingroup$
Could cite precisely what result are you omitting? You should be using invertibility somewhere. For example, nilpotent matrices such as Jordan blocks of eigenvalue zero are nilpotent (and so for a sufficiently high power, diagonalizable) and not diagonzalizable.
$endgroup$
– Guido A.
Dec 6 '18 at 0:53
$begingroup$
@GuidoA. mathworld.wolfram.com/DiagonalizableMatrix.html The diagonalization theorem gives that an $ntimes n$ matrix is diagonalizable iff it has $n$ linearly independent eigenvectors. These must correspond to $n$ distinct eigenvalues. And since an operator can be represented as a matrix...
$endgroup$
– Atsina
Dec 6 '18 at 0:56
1
$begingroup$
Could you clarify your statement? The identity matrix $I_n in M_n(mathbb{k})$ seems pretty diagonalizable to me and has a unique eigenvalue.
$endgroup$
– Guido A.
Dec 6 '18 at 0:59
$begingroup$
@GuidoA. Hmmm. It's probably my mistake...but this seems to me that MathWorld has an error. Certainly $mbox{dim }V$ eigenvalues implies diagonalizability, but the converse doesn't appear to be true, as suggested by MathWorld
$endgroup$
– Atsina
Dec 6 '18 at 1:03
1
$begingroup$
Are you aware of the following fact: A linear operator $T$ on a finite-dimensional $mathbb{C}$-vector space $V$ is diagonalizable if and only if there exists a polynomial $P$ satisfying $Pleft(Tright) = 0$ and $P^prime neq 0$ (this means that the derivative of $P$ is not identically $0$ as a polynomial)? If you know this, I suggest you think about how to get such a polynomial for $T$ from such a polynomial for $T^k$.
$endgroup$
– darij grinberg
Dec 6 '18 at 4:37
|
show 4 more comments
$begingroup$
Could cite precisely what result are you omitting? You should be using invertibility somewhere. For example, nilpotent matrices such as Jordan blocks of eigenvalue zero are nilpotent (and so for a sufficiently high power, diagonalizable) and not diagonzalizable.
$endgroup$
– Guido A.
Dec 6 '18 at 0:53
$begingroup$
@GuidoA. mathworld.wolfram.com/DiagonalizableMatrix.html The diagonalization theorem gives that an $ntimes n$ matrix is diagonalizable iff it has $n$ linearly independent eigenvectors. These must correspond to $n$ distinct eigenvalues. And since an operator can be represented as a matrix...
$endgroup$
– Atsina
Dec 6 '18 at 0:56
1
$begingroup$
Could you clarify your statement? The identity matrix $I_n in M_n(mathbb{k})$ seems pretty diagonalizable to me and has a unique eigenvalue.
$endgroup$
– Guido A.
Dec 6 '18 at 0:59
$begingroup$
@GuidoA. Hmmm. It's probably my mistake...but this seems to me that MathWorld has an error. Certainly $mbox{dim }V$ eigenvalues implies diagonalizability, but the converse doesn't appear to be true, as suggested by MathWorld
$endgroup$
– Atsina
Dec 6 '18 at 1:03
1
$begingroup$
Are you aware of the following fact: A linear operator $T$ on a finite-dimensional $mathbb{C}$-vector space $V$ is diagonalizable if and only if there exists a polynomial $P$ satisfying $Pleft(Tright) = 0$ and $P^prime neq 0$ (this means that the derivative of $P$ is not identically $0$ as a polynomial)? If you know this, I suggest you think about how to get such a polynomial for $T$ from such a polynomial for $T^k$.
$endgroup$
– darij grinberg
Dec 6 '18 at 4:37
$begingroup$
Could cite precisely what result are you omitting? You should be using invertibility somewhere. For example, nilpotent matrices such as Jordan blocks of eigenvalue zero are nilpotent (and so for a sufficiently high power, diagonalizable) and not diagonzalizable.
$endgroup$
– Guido A.
Dec 6 '18 at 0:53
$begingroup$
Could cite precisely what result are you omitting? You should be using invertibility somewhere. For example, nilpotent matrices such as Jordan blocks of eigenvalue zero are nilpotent (and so for a sufficiently high power, diagonalizable) and not diagonzalizable.
$endgroup$
– Guido A.
Dec 6 '18 at 0:53
$begingroup$
@GuidoA. mathworld.wolfram.com/DiagonalizableMatrix.html The diagonalization theorem gives that an $ntimes n$ matrix is diagonalizable iff it has $n$ linearly independent eigenvectors. These must correspond to $n$ distinct eigenvalues. And since an operator can be represented as a matrix...
$endgroup$
– Atsina
Dec 6 '18 at 0:56
$begingroup$
@GuidoA. mathworld.wolfram.com/DiagonalizableMatrix.html The diagonalization theorem gives that an $ntimes n$ matrix is diagonalizable iff it has $n$ linearly independent eigenvectors. These must correspond to $n$ distinct eigenvalues. And since an operator can be represented as a matrix...
$endgroup$
– Atsina
Dec 6 '18 at 0:56
1
1
$begingroup$
Could you clarify your statement? The identity matrix $I_n in M_n(mathbb{k})$ seems pretty diagonalizable to me and has a unique eigenvalue.
$endgroup$
– Guido A.
Dec 6 '18 at 0:59
$begingroup$
Could you clarify your statement? The identity matrix $I_n in M_n(mathbb{k})$ seems pretty diagonalizable to me and has a unique eigenvalue.
$endgroup$
– Guido A.
Dec 6 '18 at 0:59
$begingroup$
@GuidoA. Hmmm. It's probably my mistake...but this seems to me that MathWorld has an error. Certainly $mbox{dim }V$ eigenvalues implies diagonalizability, but the converse doesn't appear to be true, as suggested by MathWorld
$endgroup$
– Atsina
Dec 6 '18 at 1:03
$begingroup$
@GuidoA. Hmmm. It's probably my mistake...but this seems to me that MathWorld has an error. Certainly $mbox{dim }V$ eigenvalues implies diagonalizability, but the converse doesn't appear to be true, as suggested by MathWorld
$endgroup$
– Atsina
Dec 6 '18 at 1:03
1
1
$begingroup$
Are you aware of the following fact: A linear operator $T$ on a finite-dimensional $mathbb{C}$-vector space $V$ is diagonalizable if and only if there exists a polynomial $P$ satisfying $Pleft(Tright) = 0$ and $P^prime neq 0$ (this means that the derivative of $P$ is not identically $0$ as a polynomial)? If you know this, I suggest you think about how to get such a polynomial for $T$ from such a polynomial for $T^k$.
$endgroup$
– darij grinberg
Dec 6 '18 at 4:37
$begingroup$
Are you aware of the following fact: A linear operator $T$ on a finite-dimensional $mathbb{C}$-vector space $V$ is diagonalizable if and only if there exists a polynomial $P$ satisfying $Pleft(Tright) = 0$ and $P^prime neq 0$ (this means that the derivative of $P$ is not identically $0$ as a polynomial)? If you know this, I suggest you think about how to get such a polynomial for $T$ from such a polynomial for $T^k$.
$endgroup$
– darij grinberg
Dec 6 '18 at 4:37
|
show 4 more comments
1 Answer
1
active
oldest
votes
$begingroup$
Since (a) is sorted out by the comments, let me only comment on (b). The point here is that $T$ is invertible if and only if all Jordan blocks have a non-zero eigenvalue and it is diagonalizable if and only if all Jordan blocks have size one. If you bring $T$ to Jordan canonical form, then a matrix representation of $T^k$ is obtained from just taking the $k$-th powers of the Jordan blocks of $T$.
Hence you can prove your claim by showing that if $J$ is a Jordan-block of size at least two with non-zero eigenvalue, then for each $kinmathbb N$, the matrix $J^k$ is not diagonalizable. But this is easily verified directly, since $J^k$ is always upper triangular with (equal) non-zero entries on the main diagonal and also the entries in the diagonal right above the main one are non-zero.
$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%2f3027880%2finvertible-linear-operator-with-diagonalizable-power-is-diagonalizable%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Since (a) is sorted out by the comments, let me only comment on (b). The point here is that $T$ is invertible if and only if all Jordan blocks have a non-zero eigenvalue and it is diagonalizable if and only if all Jordan blocks have size one. If you bring $T$ to Jordan canonical form, then a matrix representation of $T^k$ is obtained from just taking the $k$-th powers of the Jordan blocks of $T$.
Hence you can prove your claim by showing that if $J$ is a Jordan-block of size at least two with non-zero eigenvalue, then for each $kinmathbb N$, the matrix $J^k$ is not diagonalizable. But this is easily verified directly, since $J^k$ is always upper triangular with (equal) non-zero entries on the main diagonal and also the entries in the diagonal right above the main one are non-zero.
$endgroup$
add a comment |
$begingroup$
Since (a) is sorted out by the comments, let me only comment on (b). The point here is that $T$ is invertible if and only if all Jordan blocks have a non-zero eigenvalue and it is diagonalizable if and only if all Jordan blocks have size one. If you bring $T$ to Jordan canonical form, then a matrix representation of $T^k$ is obtained from just taking the $k$-th powers of the Jordan blocks of $T$.
Hence you can prove your claim by showing that if $J$ is a Jordan-block of size at least two with non-zero eigenvalue, then for each $kinmathbb N$, the matrix $J^k$ is not diagonalizable. But this is easily verified directly, since $J^k$ is always upper triangular with (equal) non-zero entries on the main diagonal and also the entries in the diagonal right above the main one are non-zero.
$endgroup$
add a comment |
$begingroup$
Since (a) is sorted out by the comments, let me only comment on (b). The point here is that $T$ is invertible if and only if all Jordan blocks have a non-zero eigenvalue and it is diagonalizable if and only if all Jordan blocks have size one. If you bring $T$ to Jordan canonical form, then a matrix representation of $T^k$ is obtained from just taking the $k$-th powers of the Jordan blocks of $T$.
Hence you can prove your claim by showing that if $J$ is a Jordan-block of size at least two with non-zero eigenvalue, then for each $kinmathbb N$, the matrix $J^k$ is not diagonalizable. But this is easily verified directly, since $J^k$ is always upper triangular with (equal) non-zero entries on the main diagonal and also the entries in the diagonal right above the main one are non-zero.
$endgroup$
Since (a) is sorted out by the comments, let me only comment on (b). The point here is that $T$ is invertible if and only if all Jordan blocks have a non-zero eigenvalue and it is diagonalizable if and only if all Jordan blocks have size one. If you bring $T$ to Jordan canonical form, then a matrix representation of $T^k$ is obtained from just taking the $k$-th powers of the Jordan blocks of $T$.
Hence you can prove your claim by showing that if $J$ is a Jordan-block of size at least two with non-zero eigenvalue, then for each $kinmathbb N$, the matrix $J^k$ is not diagonalizable. But this is easily verified directly, since $J^k$ is always upper triangular with (equal) non-zero entries on the main diagonal and also the entries in the diagonal right above the main one are non-zero.
answered Dec 6 '18 at 12:01
Andreas CapAndreas Cap
11.1k923
11.1k923
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%2f3027880%2finvertible-linear-operator-with-diagonalizable-power-is-diagonalizable%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$
Could cite precisely what result are you omitting? You should be using invertibility somewhere. For example, nilpotent matrices such as Jordan blocks of eigenvalue zero are nilpotent (and so for a sufficiently high power, diagonalizable) and not diagonzalizable.
$endgroup$
– Guido A.
Dec 6 '18 at 0:53
$begingroup$
@GuidoA. mathworld.wolfram.com/DiagonalizableMatrix.html The diagonalization theorem gives that an $ntimes n$ matrix is diagonalizable iff it has $n$ linearly independent eigenvectors. These must correspond to $n$ distinct eigenvalues. And since an operator can be represented as a matrix...
$endgroup$
– Atsina
Dec 6 '18 at 0:56
1
$begingroup$
Could you clarify your statement? The identity matrix $I_n in M_n(mathbb{k})$ seems pretty diagonalizable to me and has a unique eigenvalue.
$endgroup$
– Guido A.
Dec 6 '18 at 0:59
$begingroup$
@GuidoA. Hmmm. It's probably my mistake...but this seems to me that MathWorld has an error. Certainly $mbox{dim }V$ eigenvalues implies diagonalizability, but the converse doesn't appear to be true, as suggested by MathWorld
$endgroup$
– Atsina
Dec 6 '18 at 1:03
1
$begingroup$
Are you aware of the following fact: A linear operator $T$ on a finite-dimensional $mathbb{C}$-vector space $V$ is diagonalizable if and only if there exists a polynomial $P$ satisfying $Pleft(Tright) = 0$ and $P^prime neq 0$ (this means that the derivative of $P$ is not identically $0$ as a polynomial)? If you know this, I suggest you think about how to get such a polynomial for $T$ from such a polynomial for $T^k$.
$endgroup$
– darij grinberg
Dec 6 '18 at 4:37