Eigenvalues of a real orthogonal matrix. The Next CEO of Stack OverflowDo real matrices always have real eigenvalues?Generalized eigenvalue problem; why do real eigenvalues exist?If $A$ is a real symmetric matrix, then $A$ has real eigenvalues.Block diagonal form of elements of SO(n)Eigenvectors and eigenvalues of Hessian matrixproperties of, 3x3 matrix, determinant 1, real eigenvaluesWhy eigenvalues of an orthogonal matrix made with QR decomposition include -1?Determine the matrix of the orthogonal projectionLet $A in mathbbC^n times n$ be hermitian. Prove all eigenvalues of $A$ are real…Existence condition of Real Eigenvalues for Non-Symmetric Real Matrix
Can I hook these wires up to find the connection to a dead outlet?
Was the Stack Exchange "Happy April Fools" page fitting with the 90s code?
Is it okay to majorly distort historical facts while writing a fiction story?
Does the Idaho Potato Commission associate potato skins with healthy eating?
Find a path from s to t using as few red nodes as possible
How to compactly explain secondary and tertiary characters without resorting to stereotypes?
Why was Sir Cadogan fired?
How seriously should I take size and weight limits of hand luggage?
Find the majority element, which appears more than half the time
Shortening a title without changing its meaning
Upgrading From a 9 Speed Sora Derailleur?
Does Germany produce more waste than the US?
pgfplots: How to draw a tangent graph below two others?
That's an odd coin - I wonder why
Is there a rule of thumb for determining the amount one should accept for a settlement offer?
How can I separate the number from the unit in argument?
Advance Calculus Limit question
Strange use of "whether ... than ..." in official text
Is it a bad idea to plug the other end of ESD strap to wall ground?
How does a dynamic QR code work?
Traveling with my 5 year old daughter (as the father) without the mother from Germany to Mexico
Oldie but Goldie
Can you teleport closer to a creature you are Frightened of?
How to find if SQL server backup is encrypted with TDE without restoring the backup
Eigenvalues of a real orthogonal matrix.
The Next CEO of Stack OverflowDo real matrices always have real eigenvalues?Generalized eigenvalue problem; why do real eigenvalues exist?If $A$ is a real symmetric matrix, then $A$ has real eigenvalues.Block diagonal form of elements of SO(n)Eigenvectors and eigenvalues of Hessian matrixproperties of, 3x3 matrix, determinant 1, real eigenvaluesWhy eigenvalues of an orthogonal matrix made with QR decomposition include -1?Determine the matrix of the orthogonal projectionLet $A in mathbbC^n times n$ be hermitian. Prove all eigenvalues of $A$ are real…Existence condition of Real Eigenvalues for Non-Symmetric Real Matrix
$begingroup$
Let $A$ be a real orthogonal matrix. Then $A^text T A = I.$ Let $lambda in Bbb C$ be an eigenvalue of $A$ corresponding to the eigenvector $X in Bbb C^n.$ Then we have
$$beginalign* X^text T A^text T A X = X^text T X. \ implies (AX)^text T AX & = X^text T X. \ implies (lambda X)^text T lambda X & = X^text T X. \ implies lambda^2 X^text T X & = X^text T X. \ implies (lambda^2 - 1) X^text T X & = 0. endalign*$$
Since $X$ is an eigenvector $X neq 0.$ Therefore $^2 = X^text T X neq 0.$ Hence we must have $lambda^2 - 1 = 0$ i.e. $lambda^2 = 1.$ So $lambda = pm 1.$
So according to my argument above it follows that eigenvalues of a real orthogonal matrix are $pm 1.$ But I think that I am wrong as I know that the eigenvalues of an orthogonal matrix are unit modulus i.e. they lie on the unit circle.
What's going wrong in my argument above. Please help me in this regard.
Thank you very much for your valuable time.
linear-algebra eigenvalues-eigenvectors orthogonal-matrices
edited yesterday
Yanko
8,2672830
asked 2 days ago
math maniac.math maniac.
1417
$endgroup$
add a comment |
$begingroup$
Let $A$ be a real orthogonal matrix. Then $A^text T A = I.$ Let $lambda in Bbb C$ be an eigenvalue of $A$ corresponding to the eigenvector $X in Bbb C^n.$ Then we have
$$beginalign* X^text T A^text T A X = X^text T X. \ implies (AX)^text T AX & = X^text T X. \ implies (lambda X)^text T lambda X & = X^text T X. \ implies lambda^2 X^text T X & = X^text T X. \ implies (lambda^2 - 1) X^text T X & = 0. endalign*$$
Since $X$ is an eigenvector $X neq 0.$ Therefore $^2 = X^text T X neq 0.$ Hence we must have $lambda^2 - 1 = 0$ i.e. $lambda^2 = 1.$ So $lambda = pm 1.$
So according to my argument above it follows that eigenvalues of a real orthogonal matrix are $pm 1.$ But I think that I am wrong as I know that the eigenvalues of an orthogonal matrix are unit modulus i.e. they lie on the unit circle.
What's going wrong in my argument above. Please help me in this regard.
Thank you very much for your valuable time.
linear-algebra eigenvalues-eigenvectors orthogonal-matrices
edited yesterday
Yanko
8,2672830
asked 2 days ago
math maniac.math maniac.
1417
$endgroup$
add a comment |
$begingroup$
Let $A$ be a real orthogonal matrix. Then $A^text T A = I.$ Let $lambda in Bbb C$ be an eigenvalue of $A$ corresponding to the eigenvector $X in Bbb C^n.$ Then we have
$$beginalign* X^text T A^text T A X = X^text T X. \ implies (AX)^text T AX & = X^text T X. \ implies (lambda X)^text T lambda X & = X^text T X. \ implies lambda^2 X^text T X & = X^text T X. \ implies (lambda^2 - 1) X^text T X & = 0. endalign*$$
Since $X$ is an eigenvector $X neq 0.$ Therefore $^2 = X^text T X neq 0.$ Hence we must have $lambda^2 - 1 = 0$ i.e. $lambda^2 = 1.$ So $lambda = pm 1.$
So according to my argument above it follows that eigenvalues of a real orthogonal matrix are $pm 1.$ But I think that I am wrong as I know that the eigenvalues of an orthogonal matrix are unit modulus i.e. they lie on the unit circle.
What's going wrong in my argument above. Please help me in this regard.
Thank you very much for your valuable time.
linear-algebra eigenvalues-eigenvectors orthogonal-matrices
edited yesterday
Yanko
8,2672830
asked 2 days ago
math maniac.math maniac.
1417
$endgroup$
Let $A$ be a real orthogonal matrix. Then $A^text T A = I.$ Let $lambda in Bbb C$ be an eigenvalue of $A$ corresponding to the eigenvector $X in Bbb C^n.$ Then we have
$$beginalign* X^text T A^text T A X = X^text T X. \ implies (AX)^text T AX & = X^text T X. \ implies (lambda X)^text T lambda X & = X^text T X. \ implies lambda^2 X^text T X & = X^text T X. \ implies (lambda^2 - 1) X^text T X & = 0. endalign*$$
Since $X$ is an eigenvector $X neq 0.$ Therefore $^2 = X^text T X neq 0.$ Hence we must have $lambda^2 - 1 = 0$ i.e. $lambda^2 = 1.$ So $lambda = pm 1.$
So according to my argument above it follows that eigenvalues of a real orthogonal matrix are $pm 1.$ But I think that I am wrong as I know that the eigenvalues of an orthogonal matrix are unit modulus i.e. they lie on the unit circle.
What's going wrong in my argument above. Please help me in this regard.
Thank you very much for your valuable time.
linear-algebra eigenvalues-eigenvectors orthogonal-matrices
linear-algebra eigenvalues-eigenvectors orthogonal-matrices
edited yesterday
Yanko
8,2672830
asked 2 days ago
math maniac.math maniac.
1417
edited yesterday
Yanko
8,2672830
asked 2 days ago
math maniac.math maniac.
1417
edited yesterday
Yanko
8,2672830
edited yesterday
Yanko
8,2672830
edited yesterday
Yanko
8,2672830
8,2672830
asked 2 days ago
math maniac.math maniac.
1417
asked 2 days ago
math maniac.math maniac.
1417
asked 2 days ago
math maniac.math maniac.
1417
1417
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The mistake is your assumption that $X^TXne0$. Consider a simple example:
$$A=pmatrix0&1\-1&0.$$
It is orthogonal, and its eigenvalues are $pm i$. One eigenvector is
$$X=pmatrix1\i.$$
It satisfies $X^TX=0$.
However, replacing $X^T$ in your argument by $X^H$ (complex conjugate
of transpose) will give you the correct conclusion that $|lambda|^2=1$.
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
$endgroup$
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
2
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
1
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
add a comment |
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%2f3169070%2feigenvalues-of-a-real-orthogonal-matrix%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$
The mistake is your assumption that $X^TXne0$. Consider a simple example:
$$A=pmatrix0&1\-1&0.$$
It is orthogonal, and its eigenvalues are $pm i$. One eigenvector is
$$X=pmatrix1\i.$$
It satisfies $X^TX=0$.
However, replacing $X^T$ in your argument by $X^H$ (complex conjugate
of transpose) will give you the correct conclusion that $|lambda|^2=1$.
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
$endgroup$
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
2
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
1
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
add a comment |
$begingroup$
The mistake is your assumption that $X^TXne0$. Consider a simple example:
$$A=pmatrix0&1\-1&0.$$
It is orthogonal, and its eigenvalues are $pm i$. One eigenvector is
$$X=pmatrix1\i.$$
It satisfies $X^TX=0$.
However, replacing $X^T$ in your argument by $X^H$ (complex conjugate
of transpose) will give you the correct conclusion that $|lambda|^2=1$.
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
$endgroup$
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
2
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
1
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
add a comment |
$begingroup$
The mistake is your assumption that $X^TXne0$. Consider a simple example:
$$A=pmatrix0&1\-1&0.$$
It is orthogonal, and its eigenvalues are $pm i$. One eigenvector is
$$X=pmatrix1\i.$$
It satisfies $X^TX=0$.
However, replacing $X^T$ in your argument by $X^H$ (complex conjugate
of transpose) will give you the correct conclusion that $|lambda|^2=1$.
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
$endgroup$
The mistake is your assumption that $X^TXne0$. Consider a simple example:
$$A=pmatrix0&1\-1&0.$$
It is orthogonal, and its eigenvalues are $pm i$. One eigenvector is
$$X=pmatrix1\i.$$
It satisfies $X^TX=0$.
However, replacing $X^T$ in your argument by $X^H$ (complex conjugate
of transpose) will give you the correct conclusion that $|lambda|^2=1$.
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
answered 2 days ago
Lord Shark the UnknownLord Shark the Unknown
107k1162135
107k1162135
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
2
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
1
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
add a comment |
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
2
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
1
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
$begingroup$
how can Euclidean norm of non zero vector be zero?
$endgroup$
– math maniac.
2 days ago
2
2
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
@mathmaniac. How can $1^2+i^2$ equal zero?
$endgroup$
– Lord Shark the Unknown
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
$begingroup$
I think the Euclidean norm of $X in Bbb C^n$ is $sqrt X^text T overline X text or sqrt overline X^text T X,$ not $sqrt X^text T X.$ Am I right?
$endgroup$
– math maniac.
2 days ago
1
1
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
$begingroup$
Which is same as $sqrt X^text HX,$ as you have rightly pointed out.
$endgroup$
– math maniac.
2 days ago
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%2f3169070%2feigenvalues-of-a-real-orthogonal-matrix%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
