Understanding the absolute value of a matrix.
$begingroup$
I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.
To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.
linear-algebra matrices absolute-value
$endgroup$
add a comment |
$begingroup$
I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.
To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.
linear-algebra matrices absolute-value
$endgroup$
$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28
$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34
1
$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36
1
$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47
$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22
add a comment |
$begingroup$
I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.
To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.
linear-algebra matrices absolute-value
$endgroup$
I believe that the absolute value of a matrix is defined as
$$
|A|=sqrt{A^{dagger}A} .
$$
But the square root of a matrix is not unique wikipedia gives a list of examples to illustrate this.
To understand this, how does one work out the absolute value of:
$$
A=begin{pmatrix}1 & 0\0 & -1end{pmatrix}
$$
Clearly $A^{dagger}=A$ so $|A|=sqrt{A^2}$, but this is not necessarily $A$. I want to pick the identity in this case, since then the eigenvalues of $|A|$ are both 1 (and they were $pm1$ for $A$). But mathematics is not about what I want. So what is $|A|$? Is it well-defined? And how do I do this operation in general, since my application for this is of course far more complex.
linear-algebra matrices absolute-value
linear-algebra matrices absolute-value
edited Jun 23 '18 at 13:46
maor
asked Jun 23 '18 at 13:25
maormaor
385
385
$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28
$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34
1
$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36
1
$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47
$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22
add a comment |
$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28
$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34
1
$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36
1
$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47
$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22
$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28
$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28
$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34
$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34
1
1
$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36
$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36
1
1
$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47
$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47
$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22
$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.
If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$
Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.
$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%2f2829437%2funderstanding-the-absolute-value-of-a-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$
If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.
If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$
Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.
$endgroup$
add a comment |
$begingroup$
If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.
If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$
Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.
$endgroup$
add a comment |
$begingroup$
If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.
If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$
Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.
$endgroup$
If $D$ is a diagonal matrix with positive terms, then the positive square root, $sqrt D$ is uniquely determined by the diagonal matrix of positive square roots of diagonal terms.
If a matrix $A$ is diagonalizable with positive eigenvalues then $A= P^{-1}DP$ and we can define its positive square root as $ sqrt A= P^{-1} sqrt D P$
Thus there is no confusion in finding the absolute value if $A$ if we consider only positive square roots.
answered Jun 23 '18 at 13:56
Mohammad Riazi-KermaniMohammad Riazi-Kermani
41.4k42061
41.4k42061
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%2f2829437%2funderstanding-the-absolute-value-of-a-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
$begingroup$
Does this from the wikipedia page you link to help? "However, a positive-semidefinite matrix has precisely one positive-semidefinite square root, which can be called its principal square root."
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:28
$begingroup$
yes if $|A|$ is "the positive definite square root $sqrt{A^{dagger}A}$", but I have not seen that stated in the papers I read. Perhaps it is obvious in the mathematical community?
$endgroup$
– maor
Jun 23 '18 at 13:34
1
$begingroup$
I think it's safe to assume that's what's meant. You can always state clearly in your work that that is how you assume others are using it, and wait for an objection that will never come.
$endgroup$
– Ethan Bolker
Jun 23 '18 at 13:36
1
$begingroup$
For a positive diagonal matrix, the square root is simply the positive diagonal matrix of square roots of diagonal terms.
$endgroup$
– Mohammad Riazi-Kermani
Jun 23 '18 at 13:47
$begingroup$
Thanks you guys, I take it that $|A|$ is the positive square root (makes sense) and that then it is well defined for positive semidefinite matrices. Otherwise possibly not well defined. But that is alright since I was dealing with positive semidefinite matrices in my case.
$endgroup$
– maor
Jun 25 '18 at 14:22