Matrices of bounded linear operators
Let $X,Y$ be Banach spaces and let $A=(A_{n,k})$ be an infinite matrix of bounded linear operators $A_{n,k}:X to Y$. Suppose $sup_n sum_k |A_{n,k}|<infty$.
Property: For each sequence $x=(x_1,x_2,ldots)$ contained in compact of $X$, the image
$$
Ax:=left(sum_k A_{n,k}x_k:nge 1right)
$$
is a well-defined sequence contained in a compact of $Y$. Does such kind of matrices have a name? Or the property is always verified?
(Their property is reminescent of compact operators, i.e., the images of bounded sets are relatively compact.)
banach-spaces compactness compact-operators
add a comment |
Let $X,Y$ be Banach spaces and let $A=(A_{n,k})$ be an infinite matrix of bounded linear operators $A_{n,k}:X to Y$. Suppose $sup_n sum_k |A_{n,k}|<infty$.
Property: For each sequence $x=(x_1,x_2,ldots)$ contained in compact of $X$, the image
$$
Ax:=left(sum_k A_{n,k}x_k:nge 1right)
$$
is a well-defined sequence contained in a compact of $Y$. Does such kind of matrices have a name? Or the property is always verified?
(Their property is reminescent of compact operators, i.e., the images of bounded sets are relatively compact.)
banach-spaces compactness compact-operators
1
As a side note, such type of matrices appear when checking if a linear map $A:mathcal Atomathcal B$ between $C^*$-algebras $mathcal A,mathcal B$ is completely positive although I feel like this is not what you were looking for.
– Frederik vom Ende
Jan 4 at 9:55
This is not a homework task, yes I am interested. How is it related to "complete regularity" of such matrices? By the name I guess this is stronger than the classical Toeplitz conditions of mapping convergent sequences into convergent sequences.
– Nduccio
Jan 4 at 10:31
add a comment |
Let $X,Y$ be Banach spaces and let $A=(A_{n,k})$ be an infinite matrix of bounded linear operators $A_{n,k}:X to Y$. Suppose $sup_n sum_k |A_{n,k}|<infty$.
Property: For each sequence $x=(x_1,x_2,ldots)$ contained in compact of $X$, the image
$$
Ax:=left(sum_k A_{n,k}x_k:nge 1right)
$$
is a well-defined sequence contained in a compact of $Y$. Does such kind of matrices have a name? Or the property is always verified?
(Their property is reminescent of compact operators, i.e., the images of bounded sets are relatively compact.)
banach-spaces compactness compact-operators
Let $X,Y$ be Banach spaces and let $A=(A_{n,k})$ be an infinite matrix of bounded linear operators $A_{n,k}:X to Y$. Suppose $sup_n sum_k |A_{n,k}|<infty$.
Property: For each sequence $x=(x_1,x_2,ldots)$ contained in compact of $X$, the image
$$
Ax:=left(sum_k A_{n,k}x_k:nge 1right)
$$
is a well-defined sequence contained in a compact of $Y$. Does such kind of matrices have a name? Or the property is always verified?
(Their property is reminescent of compact operators, i.e., the images of bounded sets are relatively compact.)
banach-spaces compactness compact-operators
banach-spaces compactness compact-operators
asked Jan 4 at 2:37
NduccioNduccio
513313
513313
1
As a side note, such type of matrices appear when checking if a linear map $A:mathcal Atomathcal B$ between $C^*$-algebras $mathcal A,mathcal B$ is completely positive although I feel like this is not what you were looking for.
– Frederik vom Ende
Jan 4 at 9:55
This is not a homework task, yes I am interested. How is it related to "complete regularity" of such matrices? By the name I guess this is stronger than the classical Toeplitz conditions of mapping convergent sequences into convergent sequences.
– Nduccio
Jan 4 at 10:31
add a comment |
1
As a side note, such type of matrices appear when checking if a linear map $A:mathcal Atomathcal B$ between $C^*$-algebras $mathcal A,mathcal B$ is completely positive although I feel like this is not what you were looking for.
– Frederik vom Ende
Jan 4 at 9:55
This is not a homework task, yes I am interested. How is it related to "complete regularity" of such matrices? By the name I guess this is stronger than the classical Toeplitz conditions of mapping convergent sequences into convergent sequences.
– Nduccio
Jan 4 at 10:31
1
1
As a side note, such type of matrices appear when checking if a linear map $A:mathcal Atomathcal B$ between $C^*$-algebras $mathcal A,mathcal B$ is completely positive although I feel like this is not what you were looking for.
– Frederik vom Ende
Jan 4 at 9:55
As a side note, such type of matrices appear when checking if a linear map $A:mathcal Atomathcal B$ between $C^*$-algebras $mathcal A,mathcal B$ is completely positive although I feel like this is not what you were looking for.
– Frederik vom Ende
Jan 4 at 9:55
This is not a homework task, yes I am interested. How is it related to "complete regularity" of such matrices? By the name I guess this is stronger than the classical Toeplitz conditions of mapping convergent sequences into convergent sequences.
– Nduccio
Jan 4 at 10:31
This is not a homework task, yes I am interested. How is it related to "complete regularity" of such matrices? By the name I guess this is stronger than the classical Toeplitz conditions of mapping convergent sequences into convergent sequences.
– Nduccio
Jan 4 at 10:31
add a comment |
1 Answer
1
active
oldest
votes
The condition $M:=sup_n sum_k |A_{n,k}|<infty$ is sufficient for $Ax$ well-defined for all $x in ell_infty(X)$. Then the linear map $xmapsto Ax$ on $ell_infty(X)$ is continuous because
$$
|Ax-Ay|=sup_n |sum_k A_{n,k}(x_k-y_k)| le M|x-y|.
$$
To conclude, the continuous image of relatively compact sets is relatively compact, see here.
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%2f3061255%2fmatrices-of-bounded-linear-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
The condition $M:=sup_n sum_k |A_{n,k}|<infty$ is sufficient for $Ax$ well-defined for all $x in ell_infty(X)$. Then the linear map $xmapsto Ax$ on $ell_infty(X)$ is continuous because
$$
|Ax-Ay|=sup_n |sum_k A_{n,k}(x_k-y_k)| le M|x-y|.
$$
To conclude, the continuous image of relatively compact sets is relatively compact, see here.
add a comment |
The condition $M:=sup_n sum_k |A_{n,k}|<infty$ is sufficient for $Ax$ well-defined for all $x in ell_infty(X)$. Then the linear map $xmapsto Ax$ on $ell_infty(X)$ is continuous because
$$
|Ax-Ay|=sup_n |sum_k A_{n,k}(x_k-y_k)| le M|x-y|.
$$
To conclude, the continuous image of relatively compact sets is relatively compact, see here.
add a comment |
The condition $M:=sup_n sum_k |A_{n,k}|<infty$ is sufficient for $Ax$ well-defined for all $x in ell_infty(X)$. Then the linear map $xmapsto Ax$ on $ell_infty(X)$ is continuous because
$$
|Ax-Ay|=sup_n |sum_k A_{n,k}(x_k-y_k)| le M|x-y|.
$$
To conclude, the continuous image of relatively compact sets is relatively compact, see here.
The condition $M:=sup_n sum_k |A_{n,k}|<infty$ is sufficient for $Ax$ well-defined for all $x in ell_infty(X)$. Then the linear map $xmapsto Ax$ on $ell_infty(X)$ is continuous because
$$
|Ax-Ay|=sup_n |sum_k A_{n,k}(x_k-y_k)| le M|x-y|.
$$
To conclude, the continuous image of relatively compact sets is relatively compact, see here.
answered Jan 4 at 2:51
Paolo LeonettiPaolo Leonetti
11.4k21550
11.4k21550
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3061255%2fmatrices-of-bounded-linear-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
1
As a side note, such type of matrices appear when checking if a linear map $A:mathcal Atomathcal B$ between $C^*$-algebras $mathcal A,mathcal B$ is completely positive although I feel like this is not what you were looking for.
– Frederik vom Ende
Jan 4 at 9:55
This is not a homework task, yes I am interested. How is it related to "complete regularity" of such matrices? By the name I guess this is stronger than the classical Toeplitz conditions of mapping convergent sequences into convergent sequences.
– Nduccio
Jan 4 at 10:31