Banach spaces $X,Y$ and a mapping $f:Xto Y$
$begingroup$
Let $X,Y$ be Banach spaces and a mapping $fin mathcal{L}(X,Y)$. Suppose that $f$ is also an injective map and an open map from $X$ to $Y$. Show that then $f in mathcal{B}(X,Y).$
Here I denoted the set of all linear mappings from $X$ to $Y$ by $mathcal{L}(X,Y)$, and the set of all bounded mappings from $X$ to $Y$ by $mathcal{B}(X,Y)$.
Does anyone have an idea about this statement? I appreciate any hints.
linear-transformations banach-spaces
$endgroup$
add a comment |
$begingroup$
Let $X,Y$ be Banach spaces and a mapping $fin mathcal{L}(X,Y)$. Suppose that $f$ is also an injective map and an open map from $X$ to $Y$. Show that then $f in mathcal{B}(X,Y).$
Here I denoted the set of all linear mappings from $X$ to $Y$ by $mathcal{L}(X,Y)$, and the set of all bounded mappings from $X$ to $Y$ by $mathcal{B}(X,Y)$.
Does anyone have an idea about this statement? I appreciate any hints.
linear-transformations banach-spaces
$endgroup$
add a comment |
$begingroup$
Let $X,Y$ be Banach spaces and a mapping $fin mathcal{L}(X,Y)$. Suppose that $f$ is also an injective map and an open map from $X$ to $Y$. Show that then $f in mathcal{B}(X,Y).$
Here I denoted the set of all linear mappings from $X$ to $Y$ by $mathcal{L}(X,Y)$, and the set of all bounded mappings from $X$ to $Y$ by $mathcal{B}(X,Y)$.
Does anyone have an idea about this statement? I appreciate any hints.
linear-transformations banach-spaces
$endgroup$
Let $X,Y$ be Banach spaces and a mapping $fin mathcal{L}(X,Y)$. Suppose that $f$ is also an injective map and an open map from $X$ to $Y$. Show that then $f in mathcal{B}(X,Y).$
Here I denoted the set of all linear mappings from $X$ to $Y$ by $mathcal{L}(X,Y)$, and the set of all bounded mappings from $X$ to $Y$ by $mathcal{B}(X,Y)$.
Does anyone have an idea about this statement? I appreciate any hints.
linear-transformations banach-spaces
linear-transformations banach-spaces
edited Dec 17 '18 at 9:31
mandella
asked Dec 17 '18 at 7:40
mandellamandella
787521
787521
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$textbf{Hint:}$ Using given conditions, show that $f$ is also surjective. Then appeal to the inverse mapping theorem.
$endgroup$
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
1
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
1
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
|
show 1 more 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%2f3043647%2fbanach-spaces-x-y-and-a-mapping-fx-to-y%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$
$textbf{Hint:}$ Using given conditions, show that $f$ is also surjective. Then appeal to the inverse mapping theorem.
$endgroup$
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
1
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
1
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
|
show 1 more comment
$begingroup$
$textbf{Hint:}$ Using given conditions, show that $f$ is also surjective. Then appeal to the inverse mapping theorem.
$endgroup$
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
1
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
1
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
|
show 1 more comment
$begingroup$
$textbf{Hint:}$ Using given conditions, show that $f$ is also surjective. Then appeal to the inverse mapping theorem.
$endgroup$
$textbf{Hint:}$ Using given conditions, show that $f$ is also surjective. Then appeal to the inverse mapping theorem.
edited Dec 17 '18 at 8:06
answered Dec 17 '18 at 7:44
SongSong
18.2k21449
18.2k21449
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
1
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
1
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
|
show 1 more comment
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
1
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
1
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
$begingroup$
Can you help me to show that $f$ is surjective? I do not see it right away
$endgroup$
– mandella
Dec 17 '18 at 8:01
1
1
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Well, $f$ being surjective follows from openness. See how an open set looks like in Banach spaces.
$endgroup$
– Song
Dec 17 '18 at 8:10
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
$begingroup$
Ah after spending some time I see this. So with the fact that $f$ is surjective then its inverse $f^{-1}$ is bounded?
$endgroup$
– mandella
Dec 17 '18 at 8:11
1
1
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
Actually, since $f$ is open, $f^{-1}$ is continuous.
$endgroup$
– Song
Dec 17 '18 at 8:53
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
$begingroup$
So then by the inverse mapping theorem, $f^{-1}$ since bijective and continuous linear map it will have a bounded inverse i.e. $f$ will be bounded?
$endgroup$
– mandella
Dec 17 '18 at 9:21
|
show 1 more 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%2f3043647%2fbanach-spaces-x-y-and-a-mapping-fx-to-y%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