Balls in finite dimensional normed spaces











up vote
0
down vote

favorite












Let $X$, $Y$ be normed linear spaces and $Y$ be finite dimensional. Suppose $T in B(X,Y)$ such that $T$ is surjective. Prove that there is some $delta > 0$ so that $B_delta(0_Y ) subseteq T(B_1(0_X))$.



Any help/hints on this problem would be greatly appreciated. If you are not familiar with $ B(X,Y) $, it is the set of all bounded linear operators from $ X $ to $ Y $.










share|cite|improve this question






















  • open mapping theorem
    – mathworker21
    Nov 13 at 21:59















up vote
0
down vote

favorite












Let $X$, $Y$ be normed linear spaces and $Y$ be finite dimensional. Suppose $T in B(X,Y)$ such that $T$ is surjective. Prove that there is some $delta > 0$ so that $B_delta(0_Y ) subseteq T(B_1(0_X))$.



Any help/hints on this problem would be greatly appreciated. If you are not familiar with $ B(X,Y) $, it is the set of all bounded linear operators from $ X $ to $ Y $.










share|cite|improve this question






















  • open mapping theorem
    – mathworker21
    Nov 13 at 21:59













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $X$, $Y$ be normed linear spaces and $Y$ be finite dimensional. Suppose $T in B(X,Y)$ such that $T$ is surjective. Prove that there is some $delta > 0$ so that $B_delta(0_Y ) subseteq T(B_1(0_X))$.



Any help/hints on this problem would be greatly appreciated. If you are not familiar with $ B(X,Y) $, it is the set of all bounded linear operators from $ X $ to $ Y $.










share|cite|improve this question













Let $X$, $Y$ be normed linear spaces and $Y$ be finite dimensional. Suppose $T in B(X,Y)$ such that $T$ is surjective. Prove that there is some $delta > 0$ so that $B_delta(0_Y ) subseteq T(B_1(0_X))$.



Any help/hints on this problem would be greatly appreciated. If you are not familiar with $ B(X,Y) $, it is the set of all bounded linear operators from $ X $ to $ Y $.







functional-analysis normed-spaces






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 13 at 21:56









Chase Sariaslani

565




565












  • open mapping theorem
    – mathworker21
    Nov 13 at 21:59


















  • open mapping theorem
    – mathworker21
    Nov 13 at 21:59
















open mapping theorem
– mathworker21
Nov 13 at 21:59




open mapping theorem
– mathworker21
Nov 13 at 21:59










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










Since it is surjective, there exists a finite dimensional subspace $U$ of $X$ such that the restriction of $T$ to $U$ is an isomorphism, This implies that $T_{mid U}(B_U(0,1))$ is open and contains $B_Y(0,delta)$. The result follows from the fact that $T_{mid U}(B_U(0,1))subset T(B_X(0,1)$.






share|cite|improve this answer



















  • 1




    isn't the statement equivalent to the open mapping theorem, up to translations?
    – mathworker21
    Nov 13 at 22:00










  • Yes you are correct. I omitted that piece of info.
    – Chase Sariaslani
    Nov 13 at 22:04











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',
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
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2997397%2fballs-in-finite-dimensional-normed-spaces%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








up vote
0
down vote



accepted










Since it is surjective, there exists a finite dimensional subspace $U$ of $X$ such that the restriction of $T$ to $U$ is an isomorphism, This implies that $T_{mid U}(B_U(0,1))$ is open and contains $B_Y(0,delta)$. The result follows from the fact that $T_{mid U}(B_U(0,1))subset T(B_X(0,1)$.






share|cite|improve this answer



















  • 1




    isn't the statement equivalent to the open mapping theorem, up to translations?
    – mathworker21
    Nov 13 at 22:00










  • Yes you are correct. I omitted that piece of info.
    – Chase Sariaslani
    Nov 13 at 22:04















up vote
0
down vote



accepted










Since it is surjective, there exists a finite dimensional subspace $U$ of $X$ such that the restriction of $T$ to $U$ is an isomorphism, This implies that $T_{mid U}(B_U(0,1))$ is open and contains $B_Y(0,delta)$. The result follows from the fact that $T_{mid U}(B_U(0,1))subset T(B_X(0,1)$.






share|cite|improve this answer



















  • 1




    isn't the statement equivalent to the open mapping theorem, up to translations?
    – mathworker21
    Nov 13 at 22:00










  • Yes you are correct. I omitted that piece of info.
    – Chase Sariaslani
    Nov 13 at 22:04













up vote
0
down vote



accepted







up vote
0
down vote



accepted






Since it is surjective, there exists a finite dimensional subspace $U$ of $X$ such that the restriction of $T$ to $U$ is an isomorphism, This implies that $T_{mid U}(B_U(0,1))$ is open and contains $B_Y(0,delta)$. The result follows from the fact that $T_{mid U}(B_U(0,1))subset T(B_X(0,1)$.






share|cite|improve this answer














Since it is surjective, there exists a finite dimensional subspace $U$ of $X$ such that the restriction of $T$ to $U$ is an isomorphism, This implies that $T_{mid U}(B_U(0,1))$ is open and contains $B_Y(0,delta)$. The result follows from the fact that $T_{mid U}(B_U(0,1))subset T(B_X(0,1)$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 13 at 22:05

























answered Nov 13 at 22:00









Tsemo Aristide

54.3k11344




54.3k11344








  • 1




    isn't the statement equivalent to the open mapping theorem, up to translations?
    – mathworker21
    Nov 13 at 22:00










  • Yes you are correct. I omitted that piece of info.
    – Chase Sariaslani
    Nov 13 at 22:04














  • 1




    isn't the statement equivalent to the open mapping theorem, up to translations?
    – mathworker21
    Nov 13 at 22:00










  • Yes you are correct. I omitted that piece of info.
    – Chase Sariaslani
    Nov 13 at 22:04








1




1




isn't the statement equivalent to the open mapping theorem, up to translations?
– mathworker21
Nov 13 at 22:00




isn't the statement equivalent to the open mapping theorem, up to translations?
– mathworker21
Nov 13 at 22:00












Yes you are correct. I omitted that piece of info.
– Chase Sariaslani
Nov 13 at 22:04




Yes you are correct. I omitted that piece of info.
– Chase Sariaslani
Nov 13 at 22:04


















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2997397%2fballs-in-finite-dimensional-normed-spaces%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Probability when a professor distributes a quiz and homework assignment to a class of n students.

Aardman Animations

Are they similar matrix