Orthogonal and unitary operatorsWhy aren't all real self-adjoint operators diagonal?Self - adjoint and...
Have I saved too much for retirement so far?
Reply ‘no position’ while the job posting is still there (‘HiWi’ position in Germany)
What is the term when two people sing in harmony, but they aren't singing the same notes?
Can a malicious addon access internet history and such in chrome/firefox?
How will losing mobility of one hand affect my career as a programmer?
Partial sums of primes
What should I use for Mishna study?
Lightning Web Component - do I need to track changes for every single input field in a form
Bob has never been a M before
What was required to accept "troll"?
Science Fiction story where a man invents a machine that can help him watch history unfold
Is infinity mathematically observable?
Can I rely on these GitHub repository files?
How to check participants in at events?
Can somebody explain Brexit in a few child-proof sentences?
Can the electrostatic force be infinite in magnitude?
Resetting two CD4017 counters simultaneously, only one resets
Freedom of speech and where it applies
Can I Retrieve Email Addresses from BCC?
Is it okay / does it make sense for another player to join a running game of Munchkin?
Can I use my Chinese passport to enter China after I acquired another citizenship?
How to prevent YouTube from showing already watched videos?
How do ultrasonic sensors differentiate between transmitted and received signals?
Why isn't KTEX's runway designation 10/28 instead of 9/27?
Orthogonal and unitary operators
Why aren't all real self-adjoint operators diagonal?Self - adjoint and Unitary operatorOrthogonal Projectors and OperatorsProof that Every Positive Operator on V has a Unique Positive Square RootAre self-adjoint / Hermitian operators necessarily orthogonal / unitary?self-adjoint / orthonormal basis of eigenvectors$U,T$ are self-adjoint with $TU=UT$, then there is orthonormal basis of eigenvectors of $T$ and $U$.Unitary and Orthogonal OperatorsFind a “canonical form” for the linear operators that are both self-adjoint and unitary in a finite-dimensional complex inner product space.Proving a linear involution on a finite dimensional inner product space $V$ over $mathbb{C}$ is a self adjoint operator.
$begingroup$
1) Theorem:
Let $T$ be a linear operator on a finite-dimensional real inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors of $T$ with corresponding eigenvalues of absolute value 1 if and only if $T$ is both self adjoint and orthogonal.
2) Theorem:
Let $T$ be a linear operator on a finite-dimensional complex inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors with absolute value 1 if and only if $T$ is unitary.
So my question is why doesnt a unitary operator have to be self-adjoint to have orthonormal basis of eigenvectors with corresponding eigenvalues of absolute value 1 but orthogonal operators have to?
linear-algebra
$endgroup$
add a comment |
$begingroup$
1) Theorem:
Let $T$ be a linear operator on a finite-dimensional real inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors of $T$ with corresponding eigenvalues of absolute value 1 if and only if $T$ is both self adjoint and orthogonal.
2) Theorem:
Let $T$ be a linear operator on a finite-dimensional complex inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors with absolute value 1 if and only if $T$ is unitary.
So my question is why doesnt a unitary operator have to be self-adjoint to have orthonormal basis of eigenvectors with corresponding eigenvalues of absolute value 1 but orthogonal operators have to?
linear-algebra
$endgroup$
$begingroup$
Orthogonal operators could still be missing eigenvectors since they may have complex eigenvalues, for example a 90 degree rotation of a plane.
$endgroup$
– Joppy
Mar 14 at 21:13
add a comment |
$begingroup$
1) Theorem:
Let $T$ be a linear operator on a finite-dimensional real inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors of $T$ with corresponding eigenvalues of absolute value 1 if and only if $T$ is both self adjoint and orthogonal.
2) Theorem:
Let $T$ be a linear operator on a finite-dimensional complex inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors with absolute value 1 if and only if $T$ is unitary.
So my question is why doesnt a unitary operator have to be self-adjoint to have orthonormal basis of eigenvectors with corresponding eigenvalues of absolute value 1 but orthogonal operators have to?
linear-algebra
$endgroup$
1) Theorem:
Let $T$ be a linear operator on a finite-dimensional real inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors of $T$ with corresponding eigenvalues of absolute value 1 if and only if $T$ is both self adjoint and orthogonal.
2) Theorem:
Let $T$ be a linear operator on a finite-dimensional complex inner product space $V$. Then $V$ has an orthonormal basis of eigenvectors with absolute value 1 if and only if $T$ is unitary.
So my question is why doesnt a unitary operator have to be self-adjoint to have orthonormal basis of eigenvectors with corresponding eigenvalues of absolute value 1 but orthogonal operators have to?
linear-algebra
linear-algebra
edited Mar 14 at 20:41
Alan Muniz
2,61311030
2,61311030
asked Mar 14 at 20:30
StudentStudent
1
1
$begingroup$
Orthogonal operators could still be missing eigenvectors since they may have complex eigenvalues, for example a 90 degree rotation of a plane.
$endgroup$
– Joppy
Mar 14 at 21:13
add a comment |
$begingroup$
Orthogonal operators could still be missing eigenvectors since they may have complex eigenvalues, for example a 90 degree rotation of a plane.
$endgroup$
– Joppy
Mar 14 at 21:13
$begingroup$
Orthogonal operators could still be missing eigenvectors since they may have complex eigenvalues, for example a 90 degree rotation of a plane.
$endgroup$
– Joppy
Mar 14 at 21:13
$begingroup$
Orthogonal operators could still be missing eigenvectors since they may have complex eigenvalues, for example a 90 degree rotation of a plane.
$endgroup$
– Joppy
Mar 14 at 21:13
add a comment |
0
active
oldest
votes
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%2f3148467%2forthogonal-and-unitary-operators%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3148467%2forthogonal-and-unitary-operators%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$
Orthogonal operators could still be missing eigenvectors since they may have complex eigenvalues, for example a 90 degree rotation of a plane.
$endgroup$
– Joppy
Mar 14 at 21:13