If both $A-B$ and $B-A$ are positive semidefinite, then $A = B$$x^TAx=0$ for all $x$ when $A$ is a skew...
Where does the Z80 processor start executing from?
Would this custom Sorcerer variant that can only learn any verbal-component-only spell be unbalanced?
How do I go from 300 unfinished/half written blog posts, to published posts?
Is HostGator storing my password in plaintext?
Lay out the Carpet
Is `x >> pure y` equivalent to `liftM (const y) x`
Opposite of a diet
Sequence of Tenses: Translating the subjunctive
What is the intuitive meaning of having a linear relationship between the logs of two variables?
What is the best translation for "slot" in the context of multiplayer video games?
How can I kill an app using Terminal?
How to run a prison with the smallest amount of guards?
Term for the "extreme-extension" version of a straw man fallacy?
Is the destination of a commercial flight important for the pilot?
Pole-zeros of a real-valued causal FIR system
How can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?
Is expanding the research of a group into machine learning as a PhD student risky?
You cannot touch me, but I can touch you, who am I?
Inappropriate reference requests from Journal reviewers
Increase performance creating Mandelbrot set in python
Unreliable Magic - Is it worth it?
How does Loki do this?
Tiptoe or tiphoof? Adjusting words to better fit fantasy races
Is a stroke of luck acceptable after a series of unfavorable events?
If both $A-B$ and $B-A$ are positive semidefinite, then $A = B$
$x^TAx=0$ for all $x$ when $A$ is a skew symmetric matrixIs the product of symmetric positive semidefinite matrices positive definite?Linear system with positive semidefinite matrixIf $A$ and $B$ are positive definite, then is $B^{-1} - A^{-1}$ positive semidefinite?Is a sinc-distance matrix positive semidefinite?On one property of positive semidefinite matricesA symmetric real matrix with all diagonal entries unspecified can be completed to be positive semidefiniteSimultaneous Diagonalization of Symmetric Positive Semidefinite matricesAre these positive semidefinite matrices invertible?Showing a matrix positive semidefiniteIs this matrix product positive semidefinite?
$begingroup$
Let $A, B$ be two positive semidefinite matrices. Prove that if both $A-B$ and $B-A$ are positive semidefinite, then $A = B$.
I can show that their diagonal elements are the same but for others I have no idea. Any help will be appreciated.
linear-algebra matrices symmetric-matrices positive-semidefinite
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
asked Mar 15 at 17:26
honzaikhonzaik
286
$endgroup$
add a comment |
$begingroup$
Let $A, B$ be two positive semidefinite matrices. Prove that if both $A-B$ and $B-A$ are positive semidefinite, then $A = B$.
I can show that their diagonal elements are the same but for others I have no idea. Any help will be appreciated.
linear-algebra matrices symmetric-matrices positive-semidefinite
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
asked Mar 15 at 17:26
honzaikhonzaik
286
$endgroup$
add a comment |
$begingroup$
Let $A, B$ be two positive semidefinite matrices. Prove that if both $A-B$ and $B-A$ are positive semidefinite, then $A = B$.
I can show that their diagonal elements are the same but for others I have no idea. Any help will be appreciated.
linear-algebra matrices symmetric-matrices positive-semidefinite
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
asked Mar 15 at 17:26
honzaikhonzaik
286
$endgroup$
Let $A, B$ be two positive semidefinite matrices. Prove that if both $A-B$ and $B-A$ are positive semidefinite, then $A = B$.
I can show that their diagonal elements are the same but for others I have no idea. Any help will be appreciated.
linear-algebra matrices symmetric-matrices positive-semidefinite
linear-algebra matrices symmetric-matrices positive-semidefinite
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
asked Mar 15 at 17:26
honzaikhonzaik
286
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
asked Mar 15 at 17:26
honzaikhonzaik
286
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
edited Mar 15 at 17:34
Rodrigo de Azevedo
13.2k41960
13.2k41960
asked Mar 15 at 17:26
honzaikhonzaik
286
asked Mar 15 at 17:26
honzaikhonzaik
286
asked Mar 15 at 17:26
honzaikhonzaik
286
286
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
One route is to observe that if $lambda,v$ is an eigenvalue/eigenvector pair of $M$ with , then $(-M)v=-lambda v$, meaning that $-lambda$ is an eigenvalue of $(-M)$. Since $M:=A-B$ is positive semidefinite, conclude that any eigenvalue of $M$ satisfies $0leq lambdaleq 0$, so $lambda=0$, so that $M=0$.
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
$endgroup$
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
add a comment |
$begingroup$
By assumption $A-B=-(B-A)$ is both positive semidefinite and negative semidefinite. This can only happen if $A-B=0$.
answered Mar 15 at 17:32
chhrochhro
1,444311
$endgroup$
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
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%2f3149576%2fif-both-a-b-and-b-a-are-positive-semidefinite-then-a-b%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$
One route is to observe that if $lambda,v$ is an eigenvalue/eigenvector pair of $M$ with , then $(-M)v=-lambda v$, meaning that $-lambda$ is an eigenvalue of $(-M)$. Since $M:=A-B$ is positive semidefinite, conclude that any eigenvalue of $M$ satisfies $0leq lambdaleq 0$, so $lambda=0$, so that $M=0$.
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
$endgroup$
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
add a comment |
$begingroup$
One route is to observe that if $lambda,v$ is an eigenvalue/eigenvector pair of $M$ with , then $(-M)v=-lambda v$, meaning that $-lambda$ is an eigenvalue of $(-M)$. Since $M:=A-B$ is positive semidefinite, conclude that any eigenvalue of $M$ satisfies $0leq lambdaleq 0$, so $lambda=0$, so that $M=0$.
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
$endgroup$
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
add a comment |
$begingroup$
One route is to observe that if $lambda,v$ is an eigenvalue/eigenvector pair of $M$ with , then $(-M)v=-lambda v$, meaning that $-lambda$ is an eigenvalue of $(-M)$. Since $M:=A-B$ is positive semidefinite, conclude that any eigenvalue of $M$ satisfies $0leq lambdaleq 0$, so $lambda=0$, so that $M=0$.
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
$endgroup$
One route is to observe that if $lambda,v$ is an eigenvalue/eigenvector pair of $M$ with , then $(-M)v=-lambda v$, meaning that $-lambda$ is an eigenvalue of $(-M)$. Since $M:=A-B$ is positive semidefinite, conclude that any eigenvalue of $M$ satisfies $0leq lambdaleq 0$, so $lambda=0$, so that $M=0$.
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
answered Mar 15 at 17:45
Alex R.Alex R.
25.1k12452
25.1k12452
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
add a comment |
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
$begingroup$
Thank you very much! Thats a neat proof
$endgroup$
– honzaik
Mar 15 at 18:15
add a comment |
$begingroup$
By assumption $A-B=-(B-A)$ is both positive semidefinite and negative semidefinite. This can only happen if $A-B=0$.
answered Mar 15 at 17:32
chhrochhro
1,444311
$endgroup$
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
add a comment |
$begingroup$
By assumption $A-B=-(B-A)$ is both positive semidefinite and negative semidefinite. This can only happen if $A-B=0$.
answered Mar 15 at 17:32
chhrochhro
1,444311
$endgroup$
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
add a comment |
$begingroup$
By assumption $A-B=-(B-A)$ is both positive semidefinite and negative semidefinite. This can only happen if $A-B=0$.
answered Mar 15 at 17:32
chhrochhro
1,444311
$endgroup$
By assumption $A-B=-(B-A)$ is both positive semidefinite and negative semidefinite. This can only happen if $A-B=0$.
answered Mar 15 at 17:32
chhrochhro
1,444311
answered Mar 15 at 17:32
chhrochhro
1,444311
answered Mar 15 at 17:32
chhrochhro
1,444311
answered Mar 15 at 17:32
chhrochhro
1,444311
1,444311
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
add a comment |
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
its this equivalent to saying that $x^TAx=0 forall x implies A = 0$ which is wrong (math.stackexchange.com/questions/358281/…) ?
$endgroup$
– honzaik
Mar 15 at 17:57
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
I assumed we are working over $mathbb C$ and so we are using $x^*Ax$. So the link is not relevant.
$endgroup$
– chhro
Mar 15 at 18:01
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
actually, the argument still works since the real positive semidefinite matrices=real symmetric matrices with nonnegative eigenvalues. I don't see the point of mentioning the link. I didn't use that in the argument.
$endgroup$
– chhro
Mar 15 at 18:05
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
$begingroup$
well i assumed you meant $0 geq -x^T (B-A) x = x^T (A-B) x geq 0$. I guess when I hear positive semidef etc I assume this definition with vectors.
$endgroup$
– honzaik
Mar 15 at 18:10
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%2f3149576%2fif-both-a-b-and-b-a-are-positive-semidefinite-then-a-b%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
