Equivalence of injectivity of a lineal operator $T$ between two Banach spaces and and existence of another...
Given $X$ and $Y$ two Banach spaces and $T in L(X,Y)$, where $L(X,Y)$ is the set of all the linear operators of $X$ in $Y$, show that the following sentences are equivalent:
a) There exists $S in L(X,Y)$ such that $S(T(x))=x , , forall x in X$.
b) $T$ is injective and $T(X)$ is a complemented space of $Y$.
functional-analysis linear-transformations banach-spaces
add a comment |
Given $X$ and $Y$ two Banach spaces and $T in L(X,Y)$, where $L(X,Y)$ is the set of all the linear operators of $X$ in $Y$, show that the following sentences are equivalent:
a) There exists $S in L(X,Y)$ such that $S(T(x))=x , , forall x in X$.
b) $T$ is injective and $T(X)$ is a complemented space of $Y$.
functional-analysis linear-transformations banach-spaces
1
What where your attempts in proving this?
– James
yesterday
add a comment |
Given $X$ and $Y$ two Banach spaces and $T in L(X,Y)$, where $L(X,Y)$ is the set of all the linear operators of $X$ in $Y$, show that the following sentences are equivalent:
a) There exists $S in L(X,Y)$ such that $S(T(x))=x , , forall x in X$.
b) $T$ is injective and $T(X)$ is a complemented space of $Y$.
functional-analysis linear-transformations banach-spaces
Given $X$ and $Y$ two Banach spaces and $T in L(X,Y)$, where $L(X,Y)$ is the set of all the linear operators of $X$ in $Y$, show that the following sentences are equivalent:
a) There exists $S in L(X,Y)$ such that $S(T(x))=x , , forall x in X$.
b) $T$ is injective and $T(X)$ is a complemented space of $Y$.
functional-analysis linear-transformations banach-spaces
functional-analysis linear-transformations banach-spaces
asked yesterday
Maggie94
854
854
1
What where your attempts in proving this?
– James
yesterday
add a comment |
1
What where your attempts in proving this?
– James
yesterday
1
1
What where your attempts in proving this?
– James
yesterday
What where your attempts in proving this?
– James
yesterday
add a comment |
1 Answer
1
active
oldest
votes
Your $S$ should be a linear operator on $Y$, otherwise the composition makes no sense. The direction a) to b) is simple, just work with the definition of an injective map -- you don't need anything else. If you can't manage, I will add a proof here but at least try to solve it yourself.
For b) implies a), let ${x_imid iin I}$ be a basis for $X$. By infectivity of $T$, ${T(x_i)mid iin I}$ forms a basis of the image of $T$ -- convince yourself that this is true and let me know if you can't. Now define $$S:Yto X, smapstobegin{cases}T^{-1}(s),& if;sinmathrm{img}(T),\ 0,&else.end{cases}$$ You can then check by writing $s=sum alpha_ix_i$ that $S$ is as you want it to. Can you fill the missing details yourself?
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%2f3060417%2fequivalence-of-injectivity-of-a-lineal-operator-t-between-two-banach-spaces-an%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
Your $S$ should be a linear operator on $Y$, otherwise the composition makes no sense. The direction a) to b) is simple, just work with the definition of an injective map -- you don't need anything else. If you can't manage, I will add a proof here but at least try to solve it yourself.
For b) implies a), let ${x_imid iin I}$ be a basis for $X$. By infectivity of $T$, ${T(x_i)mid iin I}$ forms a basis of the image of $T$ -- convince yourself that this is true and let me know if you can't. Now define $$S:Yto X, smapstobegin{cases}T^{-1}(s),& if;sinmathrm{img}(T),\ 0,&else.end{cases}$$ You can then check by writing $s=sum alpha_ix_i$ that $S$ is as you want it to. Can you fill the missing details yourself?
add a comment |
Your $S$ should be a linear operator on $Y$, otherwise the composition makes no sense. The direction a) to b) is simple, just work with the definition of an injective map -- you don't need anything else. If you can't manage, I will add a proof here but at least try to solve it yourself.
For b) implies a), let ${x_imid iin I}$ be a basis for $X$. By infectivity of $T$, ${T(x_i)mid iin I}$ forms a basis of the image of $T$ -- convince yourself that this is true and let me know if you can't. Now define $$S:Yto X, smapstobegin{cases}T^{-1}(s),& if;sinmathrm{img}(T),\ 0,&else.end{cases}$$ You can then check by writing $s=sum alpha_ix_i$ that $S$ is as you want it to. Can you fill the missing details yourself?
add a comment |
Your $S$ should be a linear operator on $Y$, otherwise the composition makes no sense. The direction a) to b) is simple, just work with the definition of an injective map -- you don't need anything else. If you can't manage, I will add a proof here but at least try to solve it yourself.
For b) implies a), let ${x_imid iin I}$ be a basis for $X$. By infectivity of $T$, ${T(x_i)mid iin I}$ forms a basis of the image of $T$ -- convince yourself that this is true and let me know if you can't. Now define $$S:Yto X, smapstobegin{cases}T^{-1}(s),& if;sinmathrm{img}(T),\ 0,&else.end{cases}$$ You can then check by writing $s=sum alpha_ix_i$ that $S$ is as you want it to. Can you fill the missing details yourself?
Your $S$ should be a linear operator on $Y$, otherwise the composition makes no sense. The direction a) to b) is simple, just work with the definition of an injective map -- you don't need anything else. If you can't manage, I will add a proof here but at least try to solve it yourself.
For b) implies a), let ${x_imid iin I}$ be a basis for $X$. By infectivity of $T$, ${T(x_i)mid iin I}$ forms a basis of the image of $T$ -- convince yourself that this is true and let me know if you can't. Now define $$S:Yto X, smapstobegin{cases}T^{-1}(s),& if;sinmathrm{img}(T),\ 0,&else.end{cases}$$ You can then check by writing $s=sum alpha_ix_i$ that $S$ is as you want it to. Can you fill the missing details yourself?
answered yesterday
James
703115
703115
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%2f3060417%2fequivalence-of-injectivity-of-a-lineal-operator-t-between-two-banach-spaces-an%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
What where your attempts in proving this?
– James
yesterday