Let $Min M(n,Bbb{R})$ such that $M^3=I$ and $Mvne v$ for any non-zero vector $v$. Prove that $n$ is even.
$begingroup$
I have tried the problem in the following manner but I haven't got any solution.
Let $lambda$ be an eigenvalue of $M$, then $exists vne 0$ such that $Mv=lambda vimplies M^3 v=lambda^3vimplies Iv=lambda^3v$
$implieslambda^3$ is an eigenvalue of the $ntimes n$ identity matrix
$Iimplies |I-lambda^3I|=0implies(1-lambda^3)^n=0$ $implies(lambda^2+lambda+1)^n=0$ since $lambdane 1$, given that $Mvne v$.
Now, from this I can conclude nothing?
Can anybody derive a solution for this problem?
linear-algebra matrices eigenvalues-eigenvectors
$endgroup$
add a comment |
$begingroup$
I have tried the problem in the following manner but I haven't got any solution.
Let $lambda$ be an eigenvalue of $M$, then $exists vne 0$ such that $Mv=lambda vimplies M^3 v=lambda^3vimplies Iv=lambda^3v$
$implieslambda^3$ is an eigenvalue of the $ntimes n$ identity matrix
$Iimplies |I-lambda^3I|=0implies(1-lambda^3)^n=0$ $implies(lambda^2+lambda+1)^n=0$ since $lambdane 1$, given that $Mvne v$.
Now, from this I can conclude nothing?
Can anybody derive a solution for this problem?
linear-algebra matrices eigenvalues-eigenvectors
$endgroup$
$begingroup$
What can you say about the characteristic polynomial of $M$?
$endgroup$
– Lord Shark the Unknown
Nov 25 '18 at 12:29
$begingroup$
@LordSharktheUnknown I just can think if $n$ is odd then it must posses at least one real eigenvalue.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:31
add a comment |
$begingroup$
I have tried the problem in the following manner but I haven't got any solution.
Let $lambda$ be an eigenvalue of $M$, then $exists vne 0$ such that $Mv=lambda vimplies M^3 v=lambda^3vimplies Iv=lambda^3v$
$implieslambda^3$ is an eigenvalue of the $ntimes n$ identity matrix
$Iimplies |I-lambda^3I|=0implies(1-lambda^3)^n=0$ $implies(lambda^2+lambda+1)^n=0$ since $lambdane 1$, given that $Mvne v$.
Now, from this I can conclude nothing?
Can anybody derive a solution for this problem?
linear-algebra matrices eigenvalues-eigenvectors
$endgroup$
I have tried the problem in the following manner but I haven't got any solution.
Let $lambda$ be an eigenvalue of $M$, then $exists vne 0$ such that $Mv=lambda vimplies M^3 v=lambda^3vimplies Iv=lambda^3v$
$implieslambda^3$ is an eigenvalue of the $ntimes n$ identity matrix
$Iimplies |I-lambda^3I|=0implies(1-lambda^3)^n=0$ $implies(lambda^2+lambda+1)^n=0$ since $lambdane 1$, given that $Mvne v$.
Now, from this I can conclude nothing?
Can anybody derive a solution for this problem?
linear-algebra matrices eigenvalues-eigenvectors
linear-algebra matrices eigenvalues-eigenvectors
edited Nov 25 '18 at 18:20
Hanno
2,106425
2,106425
asked Nov 25 '18 at 12:25
Biswarup SahaBiswarup Saha
557110
557110
$begingroup$
What can you say about the characteristic polynomial of $M$?
$endgroup$
– Lord Shark the Unknown
Nov 25 '18 at 12:29
$begingroup$
@LordSharktheUnknown I just can think if $n$ is odd then it must posses at least one real eigenvalue.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:31
add a comment |
$begingroup$
What can you say about the characteristic polynomial of $M$?
$endgroup$
– Lord Shark the Unknown
Nov 25 '18 at 12:29
$begingroup$
@LordSharktheUnknown I just can think if $n$ is odd then it must posses at least one real eigenvalue.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:31
$begingroup$
What can you say about the characteristic polynomial of $M$?
$endgroup$
– Lord Shark the Unknown
Nov 25 '18 at 12:29
$begingroup$
What can you say about the characteristic polynomial of $M$?
$endgroup$
– Lord Shark the Unknown
Nov 25 '18 at 12:29
$begingroup$
@LordSharktheUnknown I just can think if $n$ is odd then it must posses at least one real eigenvalue.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:31
$begingroup$
@LordSharktheUnknown I just can think if $n$ is odd then it must posses at least one real eigenvalue.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:31
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If $n$ is odd, then $M$ has some real eigenvalue $lambda$. Since $M^3=operatorname{Id}_3$, $lambda^3=1$, which is equivalent to the assertion that $lambda=1$. So, if $v$ is an eigenvector of $M$ with eigenvalue $1$, $M.v=lambda v=v$.
$endgroup$
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
add a comment |
$begingroup$
By the hypotheses,
$M$ is invertible with inverse $M^{-1}=M^2$,
$M-I,$ is invertible as $1$ is not an eigenvalue.
This yields
$$0:=:M^3-I :=: (M-I)(M^2+M+I):: implies M^{-1}+M+I = 0$$
thus eigenvalues of $M$ must satisfy
$$frac 1lambda + lambda:=: -1quadLongleftrightarrowquadlambda:=: frac{-1pmsqrt 3i}2 :=: expleft(pm, ifrac{2pi} 3right),.
$$
Hence $M,$ has no real eigenvalues, and because for real matrices non-real eigenvalues necessarily show up as conjugate-complex pairs, the matrix size $n,$ cannot be odd.
$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%2f3012767%2flet-m-in-mn-bbbr-such-that-m3-i-and-mv-ne-v-for-any-non-zero-vector%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If $n$ is odd, then $M$ has some real eigenvalue $lambda$. Since $M^3=operatorname{Id}_3$, $lambda^3=1$, which is equivalent to the assertion that $lambda=1$. So, if $v$ is an eigenvector of $M$ with eigenvalue $1$, $M.v=lambda v=v$.
$endgroup$
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
add a comment |
$begingroup$
If $n$ is odd, then $M$ has some real eigenvalue $lambda$. Since $M^3=operatorname{Id}_3$, $lambda^3=1$, which is equivalent to the assertion that $lambda=1$. So, if $v$ is an eigenvector of $M$ with eigenvalue $1$, $M.v=lambda v=v$.
$endgroup$
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
add a comment |
$begingroup$
If $n$ is odd, then $M$ has some real eigenvalue $lambda$. Since $M^3=operatorname{Id}_3$, $lambda^3=1$, which is equivalent to the assertion that $lambda=1$. So, if $v$ is an eigenvector of $M$ with eigenvalue $1$, $M.v=lambda v=v$.
$endgroup$
If $n$ is odd, then $M$ has some real eigenvalue $lambda$. Since $M^3=operatorname{Id}_3$, $lambda^3=1$, which is equivalent to the assertion that $lambda=1$. So, if $v$ is an eigenvector of $M$ with eigenvalue $1$, $M.v=lambda v=v$.
answered Nov 25 '18 at 12:33
José Carlos SantosJosé Carlos Santos
154k22124227
154k22124227
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
add a comment |
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I think I have got it. $(lambda^2+lambda+1)^n=0implies$ all values of $lambda$ are $omega, omega^2$. But does it give all eigen values? May be YES? Am I right?
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:41
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
I don't know why you felt the need to introduce $lambda^2+lambda+1$ or $omega$ here. Since $lambda^3=1$ and $lambdainmathbb R$, $lambda=1$ (every real number has one and only one cube root).
$endgroup$
– José Carlos Santos
Nov 25 '18 at 12:43
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
$begingroup$
Jose Carlos Santos, Ok I got it.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 13:09
add a comment |
$begingroup$
By the hypotheses,
$M$ is invertible with inverse $M^{-1}=M^2$,
$M-I,$ is invertible as $1$ is not an eigenvalue.
This yields
$$0:=:M^3-I :=: (M-I)(M^2+M+I):: implies M^{-1}+M+I = 0$$
thus eigenvalues of $M$ must satisfy
$$frac 1lambda + lambda:=: -1quadLongleftrightarrowquadlambda:=: frac{-1pmsqrt 3i}2 :=: expleft(pm, ifrac{2pi} 3right),.
$$
Hence $M,$ has no real eigenvalues, and because for real matrices non-real eigenvalues necessarily show up as conjugate-complex pairs, the matrix size $n,$ cannot be odd.
$endgroup$
add a comment |
$begingroup$
By the hypotheses,
$M$ is invertible with inverse $M^{-1}=M^2$,
$M-I,$ is invertible as $1$ is not an eigenvalue.
This yields
$$0:=:M^3-I :=: (M-I)(M^2+M+I):: implies M^{-1}+M+I = 0$$
thus eigenvalues of $M$ must satisfy
$$frac 1lambda + lambda:=: -1quadLongleftrightarrowquadlambda:=: frac{-1pmsqrt 3i}2 :=: expleft(pm, ifrac{2pi} 3right),.
$$
Hence $M,$ has no real eigenvalues, and because for real matrices non-real eigenvalues necessarily show up as conjugate-complex pairs, the matrix size $n,$ cannot be odd.
$endgroup$
add a comment |
$begingroup$
By the hypotheses,
$M$ is invertible with inverse $M^{-1}=M^2$,
$M-I,$ is invertible as $1$ is not an eigenvalue.
This yields
$$0:=:M^3-I :=: (M-I)(M^2+M+I):: implies M^{-1}+M+I = 0$$
thus eigenvalues of $M$ must satisfy
$$frac 1lambda + lambda:=: -1quadLongleftrightarrowquadlambda:=: frac{-1pmsqrt 3i}2 :=: expleft(pm, ifrac{2pi} 3right),.
$$
Hence $M,$ has no real eigenvalues, and because for real matrices non-real eigenvalues necessarily show up as conjugate-complex pairs, the matrix size $n,$ cannot be odd.
$endgroup$
By the hypotheses,
$M$ is invertible with inverse $M^{-1}=M^2$,
$M-I,$ is invertible as $1$ is not an eigenvalue.
This yields
$$0:=:M^3-I :=: (M-I)(M^2+M+I):: implies M^{-1}+M+I = 0$$
thus eigenvalues of $M$ must satisfy
$$frac 1lambda + lambda:=: -1quadLongleftrightarrowquadlambda:=: frac{-1pmsqrt 3i}2 :=: expleft(pm, ifrac{2pi} 3right),.
$$
Hence $M,$ has no real eigenvalues, and because for real matrices non-real eigenvalues necessarily show up as conjugate-complex pairs, the matrix size $n,$ cannot be odd.
answered Nov 25 '18 at 19:25
HannoHanno
2,106425
2,106425
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%2f3012767%2flet-m-in-mn-bbbr-such-that-m3-i-and-mv-ne-v-for-any-non-zero-vector%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$
What can you say about the characteristic polynomial of $M$?
$endgroup$
– Lord Shark the Unknown
Nov 25 '18 at 12:29
$begingroup$
@LordSharktheUnknown I just can think if $n$ is odd then it must posses at least one real eigenvalue.
$endgroup$
– Biswarup Saha
Nov 25 '18 at 12:31