Definition of the joint spectrum of Hilbert space operators
$begingroup$
I see in this paper the following definition:
How ${bf A''}$ is defined? Is there a relation between $sigma({bf A})$ and $sigma_H({bf A})$? Note that $sigma_H({bf A})$ is defined as:
Definition: $(lambda_1,lambda_2,cdots,lambda_n)notin sigma_H({bf A})$ if there exist operators $U_1,cdots,U_n,V_1,cdots,V_n in mathcal{B}(mathcal{H})$ such that
$$sum_{1leq k leq n}U_k(A_k-lambda_k I)=I;hbox{and};;sum_{1leq k leq n}(A_k-lambda_k I)V_k =I.$$
functional-analysis operator-theory definition operator-algebras
$endgroup$
add a comment |
$begingroup$
I see in this paper the following definition:
How ${bf A''}$ is defined? Is there a relation between $sigma({bf A})$ and $sigma_H({bf A})$? Note that $sigma_H({bf A})$ is defined as:
Definition: $(lambda_1,lambda_2,cdots,lambda_n)notin sigma_H({bf A})$ if there exist operators $U_1,cdots,U_n,V_1,cdots,V_n in mathcal{B}(mathcal{H})$ such that
$$sum_{1leq k leq n}U_k(A_k-lambda_k I)=I;hbox{and};;sum_{1leq k leq n}(A_k-lambda_k I)V_k =I.$$
functional-analysis operator-theory definition operator-algebras
$endgroup$
add a comment |
$begingroup$
I see in this paper the following definition:
How ${bf A''}$ is defined? Is there a relation between $sigma({bf A})$ and $sigma_H({bf A})$? Note that $sigma_H({bf A})$ is defined as:
Definition: $(lambda_1,lambda_2,cdots,lambda_n)notin sigma_H({bf A})$ if there exist operators $U_1,cdots,U_n,V_1,cdots,V_n in mathcal{B}(mathcal{H})$ such that
$$sum_{1leq k leq n}U_k(A_k-lambda_k I)=I;hbox{and};;sum_{1leq k leq n}(A_k-lambda_k I)V_k =I.$$
functional-analysis operator-theory definition operator-algebras
$endgroup$
I see in this paper the following definition:
How ${bf A''}$ is defined? Is there a relation between $sigma({bf A})$ and $sigma_H({bf A})$? Note that $sigma_H({bf A})$ is defined as:
Definition: $(lambda_1,lambda_2,cdots,lambda_n)notin sigma_H({bf A})$ if there exist operators $U_1,cdots,U_n,V_1,cdots,V_n in mathcal{B}(mathcal{H})$ such that
$$sum_{1leq k leq n}U_k(A_k-lambda_k I)=I;hbox{and};;sum_{1leq k leq n}(A_k-lambda_k I)V_k =I.$$
functional-analysis operator-theory definition operator-algebras
functional-analysis operator-theory definition operator-algebras
edited Dec 25 '18 at 17:50
Student
asked Dec 25 '18 at 8:06
StudentStudent
2,4902524
2,4902524
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The double commutant $A''$ is defined as $(A')'$, where
$$
A'={Tin B(H): TA_j=A_jT, j=1,ldots,n}
$$
and
$$
A''={Sin B(H): ST=TS forall Tin A'}.
$$
The double commutant is mostly interesting when the original set contains adjoints, because the commutant of a set that contains its adjoints is a von Neumann algebra. I find it weird the way it's used in the paper, but maybe that's just me.
The Double Commutant Theorem says that, if $Msubset B(H)$ is a $*$-algebra, then
$$
M''=overline{M}^{rm sot}.
$$
$endgroup$
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
|
show 2 more comments
Your Answer
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%2f3051935%2fdefinition-of-the-joint-spectrum-of-hilbert-space-operators%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 double commutant $A''$ is defined as $(A')'$, where
$$
A'={Tin B(H): TA_j=A_jT, j=1,ldots,n}
$$
and
$$
A''={Sin B(H): ST=TS forall Tin A'}.
$$
The double commutant is mostly interesting when the original set contains adjoints, because the commutant of a set that contains its adjoints is a von Neumann algebra. I find it weird the way it's used in the paper, but maybe that's just me.
The Double Commutant Theorem says that, if $Msubset B(H)$ is a $*$-algebra, then
$$
M''=overline{M}^{rm sot}.
$$
$endgroup$
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
|
show 2 more comments
$begingroup$
The double commutant $A''$ is defined as $(A')'$, where
$$
A'={Tin B(H): TA_j=A_jT, j=1,ldots,n}
$$
and
$$
A''={Sin B(H): ST=TS forall Tin A'}.
$$
The double commutant is mostly interesting when the original set contains adjoints, because the commutant of a set that contains its adjoints is a von Neumann algebra. I find it weird the way it's used in the paper, but maybe that's just me.
The Double Commutant Theorem says that, if $Msubset B(H)$ is a $*$-algebra, then
$$
M''=overline{M}^{rm sot}.
$$
$endgroup$
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
|
show 2 more comments
$begingroup$
The double commutant $A''$ is defined as $(A')'$, where
$$
A'={Tin B(H): TA_j=A_jT, j=1,ldots,n}
$$
and
$$
A''={Sin B(H): ST=TS forall Tin A'}.
$$
The double commutant is mostly interesting when the original set contains adjoints, because the commutant of a set that contains its adjoints is a von Neumann algebra. I find it weird the way it's used in the paper, but maybe that's just me.
The Double Commutant Theorem says that, if $Msubset B(H)$ is a $*$-algebra, then
$$
M''=overline{M}^{rm sot}.
$$
$endgroup$
The double commutant $A''$ is defined as $(A')'$, where
$$
A'={Tin B(H): TA_j=A_jT, j=1,ldots,n}
$$
and
$$
A''={Sin B(H): ST=TS forall Tin A'}.
$$
The double commutant is mostly interesting when the original set contains adjoints, because the commutant of a set that contains its adjoints is a von Neumann algebra. I find it weird the way it's used in the paper, but maybe that's just me.
The Double Commutant Theorem says that, if $Msubset B(H)$ is a $*$-algebra, then
$$
M''=overline{M}^{rm sot}.
$$
edited Dec 29 '18 at 18:15
answered Dec 26 '18 at 6:02
Martin ArgeramiMartin Argerami
130k1184185
130k1184185
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
|
show 2 more comments
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Thank you for your answer. I think it used it in the paper because this joint spectrum is equal to the joint approximate point spectrum of commuting normal operators.
$endgroup$
– Student
Dec 26 '18 at 7:53
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Also I find today that this spectrum is egal to the Harte spectrum in the case of normal operators: cambridge.org/core/journals/…
$endgroup$
– Student
Dec 26 '18 at 7:54
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Yes. If the $A_j $ are normal and commuting, then by Fuglede-Putnam you have that $A'$ is a von Neumann algebra and that $A''$ is an abelian von Neumann algebra. That's why the one-sided condition can be used.
$endgroup$
– Martin Argerami
Dec 26 '18 at 13:10
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
Dear Professor. Please see the following paper page 3 projecteuclid.org/euclid.pjm/1102867217 (because perhaps there is a small problem in the inclusion given in your answer.
$endgroup$
– Student
Dec 29 '18 at 11:11
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
$begingroup$
What I said about the inclusion seems to be wrong. I have deleted that paragraph.
$endgroup$
– Martin Argerami
Dec 29 '18 at 18:15
|
show 2 more comments
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%2f3051935%2fdefinition-of-the-joint-spectrum-of-hilbert-space-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