In what way is convergence in operator norm 'better' than other forms of convergence?
$begingroup$
If we show a sequence of operators $T_n$ converges uniformly/in operator norm to some operator $T$ this implies the sequence converges strongly/pointwise, which in term means it converges weakly.
I know in some cases we can only show weak convergence so we have to be content with that. So what have we 'lost' when we can only show weak convergence? In contrast, what do we gain by having convergence in operator norm as opposed to the other forms of convergence? Actually what do we gain as we move up the hierarchy of convergences:
- Weakly
- Strongly
- Uniformly
I am interested in what we gain in a mathematical sense, and also how how it relates to applications in physics or numerical analysis.
real-analysis functional-analysis operator-theory uniform-convergence weak-convergence
$endgroup$
add a comment |
$begingroup$
If we show a sequence of operators $T_n$ converges uniformly/in operator norm to some operator $T$ this implies the sequence converges strongly/pointwise, which in term means it converges weakly.
I know in some cases we can only show weak convergence so we have to be content with that. So what have we 'lost' when we can only show weak convergence? In contrast, what do we gain by having convergence in operator norm as opposed to the other forms of convergence? Actually what do we gain as we move up the hierarchy of convergences:
- Weakly
- Strongly
- Uniformly
I am interested in what we gain in a mathematical sense, and also how how it relates to applications in physics or numerical analysis.
real-analysis functional-analysis operator-theory uniform-convergence weak-convergence
$endgroup$
1
$begingroup$
Operator norm convergence preserves compact operators. (That is, a sequence of compact operators converging in norm converges to a compact operator). This is often used to prove compactness. The other modes of convergence do not have that.
$endgroup$
– Giuseppe Negro
Sep 29 '18 at 10:40
$begingroup$
That's definitely a useful property! Are there any others? What does strong convergence gives us that weak convergence doesn't?
$endgroup$
– eurocoder
Sep 30 '18 at 10:07
$begingroup$
You know, "often" weak convergence implies strong convergence. It is the case of semigroup theory, which is more or less the application of these things to PDEs. So I do not have meaningful examples.
$endgroup$
– Giuseppe Negro
Sep 30 '18 at 10:13
add a comment |
$begingroup$
If we show a sequence of operators $T_n$ converges uniformly/in operator norm to some operator $T$ this implies the sequence converges strongly/pointwise, which in term means it converges weakly.
I know in some cases we can only show weak convergence so we have to be content with that. So what have we 'lost' when we can only show weak convergence? In contrast, what do we gain by having convergence in operator norm as opposed to the other forms of convergence? Actually what do we gain as we move up the hierarchy of convergences:
- Weakly
- Strongly
- Uniformly
I am interested in what we gain in a mathematical sense, and also how how it relates to applications in physics or numerical analysis.
real-analysis functional-analysis operator-theory uniform-convergence weak-convergence
$endgroup$
If we show a sequence of operators $T_n$ converges uniformly/in operator norm to some operator $T$ this implies the sequence converges strongly/pointwise, which in term means it converges weakly.
I know in some cases we can only show weak convergence so we have to be content with that. So what have we 'lost' when we can only show weak convergence? In contrast, what do we gain by having convergence in operator norm as opposed to the other forms of convergence? Actually what do we gain as we move up the hierarchy of convergences:
- Weakly
- Strongly
- Uniformly
I am interested in what we gain in a mathematical sense, and also how how it relates to applications in physics or numerical analysis.
real-analysis functional-analysis operator-theory uniform-convergence weak-convergence
real-analysis functional-analysis operator-theory uniform-convergence weak-convergence
asked Sep 29 '18 at 10:38
eurocodereurocoder
1,126415
1,126415
1
$begingroup$
Operator norm convergence preserves compact operators. (That is, a sequence of compact operators converging in norm converges to a compact operator). This is often used to prove compactness. The other modes of convergence do not have that.
$endgroup$
– Giuseppe Negro
Sep 29 '18 at 10:40
$begingroup$
That's definitely a useful property! Are there any others? What does strong convergence gives us that weak convergence doesn't?
$endgroup$
– eurocoder
Sep 30 '18 at 10:07
$begingroup$
You know, "often" weak convergence implies strong convergence. It is the case of semigroup theory, which is more or less the application of these things to PDEs. So I do not have meaningful examples.
$endgroup$
– Giuseppe Negro
Sep 30 '18 at 10:13
add a comment |
1
$begingroup$
Operator norm convergence preserves compact operators. (That is, a sequence of compact operators converging in norm converges to a compact operator). This is often used to prove compactness. The other modes of convergence do not have that.
$endgroup$
– Giuseppe Negro
Sep 29 '18 at 10:40
$begingroup$
That's definitely a useful property! Are there any others? What does strong convergence gives us that weak convergence doesn't?
$endgroup$
– eurocoder
Sep 30 '18 at 10:07
$begingroup$
You know, "often" weak convergence implies strong convergence. It is the case of semigroup theory, which is more or less the application of these things to PDEs. So I do not have meaningful examples.
$endgroup$
– Giuseppe Negro
Sep 30 '18 at 10:13
1
1
$begingroup$
Operator norm convergence preserves compact operators. (That is, a sequence of compact operators converging in norm converges to a compact operator). This is often used to prove compactness. The other modes of convergence do not have that.
$endgroup$
– Giuseppe Negro
Sep 29 '18 at 10:40
$begingroup$
Operator norm convergence preserves compact operators. (That is, a sequence of compact operators converging in norm converges to a compact operator). This is often used to prove compactness. The other modes of convergence do not have that.
$endgroup$
– Giuseppe Negro
Sep 29 '18 at 10:40
$begingroup$
That's definitely a useful property! Are there any others? What does strong convergence gives us that weak convergence doesn't?
$endgroup$
– eurocoder
Sep 30 '18 at 10:07
$begingroup$
That's definitely a useful property! Are there any others? What does strong convergence gives us that weak convergence doesn't?
$endgroup$
– eurocoder
Sep 30 '18 at 10:07
$begingroup$
You know, "often" weak convergence implies strong convergence. It is the case of semigroup theory, which is more or less the application of these things to PDEs. So I do not have meaningful examples.
$endgroup$
– Giuseppe Negro
Sep 30 '18 at 10:13
$begingroup$
You know, "often" weak convergence implies strong convergence. It is the case of semigroup theory, which is more or less the application of these things to PDEs. So I do not have meaningful examples.
$endgroup$
– Giuseppe Negro
Sep 30 '18 at 10:13
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Here is one example. If a sequence of unitary operators converges in norm, the limit is a unitary operator. Same is true if convergence is strong. But if they converge weakly, all you can say about the limit is that it is a contraction; more specifically, the weak closure of the set of unitaries is the whole unit ball. The same is true for the set of projections.
On the other hand, weak and strong closures agree on convex sets, so they produce the same selfadjoint algebras (i.e., von Neumann algebras).
$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%2f2935307%2fin-what-way-is-convergence-in-operator-norm-better-than-other-forms-of-converg%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$
Here is one example. If a sequence of unitary operators converges in norm, the limit is a unitary operator. Same is true if convergence is strong. But if they converge weakly, all you can say about the limit is that it is a contraction; more specifically, the weak closure of the set of unitaries is the whole unit ball. The same is true for the set of projections.
On the other hand, weak and strong closures agree on convex sets, so they produce the same selfadjoint algebras (i.e., von Neumann algebras).
$endgroup$
add a comment |
$begingroup$
Here is one example. If a sequence of unitary operators converges in norm, the limit is a unitary operator. Same is true if convergence is strong. But if they converge weakly, all you can say about the limit is that it is a contraction; more specifically, the weak closure of the set of unitaries is the whole unit ball. The same is true for the set of projections.
On the other hand, weak and strong closures agree on convex sets, so they produce the same selfadjoint algebras (i.e., von Neumann algebras).
$endgroup$
add a comment |
$begingroup$
Here is one example. If a sequence of unitary operators converges in norm, the limit is a unitary operator. Same is true if convergence is strong. But if they converge weakly, all you can say about the limit is that it is a contraction; more specifically, the weak closure of the set of unitaries is the whole unit ball. The same is true for the set of projections.
On the other hand, weak and strong closures agree on convex sets, so they produce the same selfadjoint algebras (i.e., von Neumann algebras).
$endgroup$
Here is one example. If a sequence of unitary operators converges in norm, the limit is a unitary operator. Same is true if convergence is strong. But if they converge weakly, all you can say about the limit is that it is a contraction; more specifically, the weak closure of the set of unitaries is the whole unit ball. The same is true for the set of projections.
On the other hand, weak and strong closures agree on convex sets, so they produce the same selfadjoint algebras (i.e., von Neumann algebras).
edited Jan 11 at 22:16
answered Sep 30 '18 at 16:16
Martin ArgeramiMartin Argerami
128k1184184
128k1184184
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%2f2935307%2fin-what-way-is-convergence-in-operator-norm-better-than-other-forms-of-converg%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
1
$begingroup$
Operator norm convergence preserves compact operators. (That is, a sequence of compact operators converging in norm converges to a compact operator). This is often used to prove compactness. The other modes of convergence do not have that.
$endgroup$
– Giuseppe Negro
Sep 29 '18 at 10:40
$begingroup$
That's definitely a useful property! Are there any others? What does strong convergence gives us that weak convergence doesn't?
$endgroup$
– eurocoder
Sep 30 '18 at 10:07
$begingroup$
You know, "often" weak convergence implies strong convergence. It is the case of semigroup theory, which is more or less the application of these things to PDEs. So I do not have meaningful examples.
$endgroup$
– Giuseppe Negro
Sep 30 '18 at 10:13