Is a function on a ball of radius 1 around the zero vector bounded if it is continuous?Continuous linear mapping and bounded subsetsHow can we say that closure of an open ball equals to closed ball with the same radius on the Euclidean space?Definition of bounded set in a topological vector spaceWhen is a metrizable topological vector space locally bounded?Can the ball $B(0,r_0)$ be covered with a finite number of balls of radius $<r_0$Proving set of bounded continuous functions is an open setGeometrical representation of the unit ball?Open ball around a setIs the ball compact?open ball definition and bounded
Making a sword in the stone, in a medieval world without magic
What exactly is the purpose of connection links straped between the rocket and the launch pad
Does Linux have system calls to access all the features of the file systems it supports?
Decoding assembly instructions in a Game Boy disassembler
Provisioning profile doesn't include the application-identifier and keychain-access-groups entitlements
Are there situations where a child is permitted to refer to their parent by their first name?
Time travel short story where dinosaur doesn't taste like chicken
What to do when during a meeting client people start to fight (even physically) with each others?
What happens with multiple copies of Humility and Glorious Anthem on the battlefield?
"One can do his homework in the library"
Does splitting a potentially monolithic application into several smaller ones help prevent bugs?
Why must traveling waves have the same amplitude to form a standing wave?
Make a transparent 448*448 image
Should we release the security issues we found in our product as CVE or we can just update those on weekly release notes?
Is it true that real estate prices mainly go up?
Sword in the Stone story where the sword was held in place by electromagnets
Is it illegal in Germany to take sick leave if you caused your own illness with food?
How could a female member of a species produce eggs unto death?
Can someone explain this Mudra being done by Ramakrishna Paramhansa in Samadhi?
The meaning of the "at the of"
This equation is outside the page, how to modify it
Why would a jet engine that runs at temps excess of 2000°C burn when it crashes?
Is all copper pipe pretty much the same?
Prove that the total distance is minimised (when travelling across the longest path)
Is a function on a ball of radius 1 around the zero vector bounded if it is continuous?
Continuous linear mapping and bounded subsetsHow can we say that closure of an open ball equals to closed ball with the same radius on the Euclidean space?Definition of bounded set in a topological vector spaceWhen is a metrizable topological vector space locally bounded?Can the ball $B(0,r_0)$ be covered with a finite number of balls of radius $<r_0$Proving set of bounded continuous functions is an open setGeometrical representation of the unit ball?Open ball around a setIs the ball compact?open ball definition and bounded
$begingroup$
Is a function on a ball of radius 1 around the zero vector bounded if it is continuous?
If yes/no, why is that?
general-topology functional-analysis
$endgroup$
|
show 1 more comment
$begingroup$
Is a function on a ball of radius 1 around the zero vector bounded if it is continuous?
If yes/no, why is that?
general-topology functional-analysis
$endgroup$
1
$begingroup$
Yes, because the ball is compact.
$endgroup$
– Zeekless
Mar 10 at 19:50
$begingroup$
The ball is compact, so you can use this result.
$endgroup$
– angryavian
Mar 10 at 19:50
$begingroup$
The topology-level property is that continuous images of compact sets are compact. Thus in a metric space the continuous image of a compact set is, in particular, bounded.
$endgroup$
– Ian
Mar 10 at 19:51
$begingroup$
But since the set of a ball of radius 1 around the zero vector is an open set, couldn't a function be continuous on it but unbounded?
$endgroup$
– 2000mroliver
Mar 10 at 19:54
$begingroup$
On the open ball, yes. We generally distinguish between the open ball and the closed ball explicitly because of this kind of thing. (Also, in general a closed ball in a metric space is not always compact, but it is in $mathbbR^n$ or $mathbbC^n$.)
$endgroup$
– Ian
Mar 10 at 19:57
|
show 1 more comment
$begingroup$
Is a function on a ball of radius 1 around the zero vector bounded if it is continuous?
If yes/no, why is that?
general-topology functional-analysis
$endgroup$
Is a function on a ball of radius 1 around the zero vector bounded if it is continuous?
If yes/no, why is that?
general-topology functional-analysis
general-topology functional-analysis
asked Mar 10 at 19:48
2000mroliver2000mroliver
644
644
1
$begingroup$
Yes, because the ball is compact.
$endgroup$
– Zeekless
Mar 10 at 19:50
$begingroup$
The ball is compact, so you can use this result.
$endgroup$
– angryavian
Mar 10 at 19:50
$begingroup$
The topology-level property is that continuous images of compact sets are compact. Thus in a metric space the continuous image of a compact set is, in particular, bounded.
$endgroup$
– Ian
Mar 10 at 19:51
$begingroup$
But since the set of a ball of radius 1 around the zero vector is an open set, couldn't a function be continuous on it but unbounded?
$endgroup$
– 2000mroliver
Mar 10 at 19:54
$begingroup$
On the open ball, yes. We generally distinguish between the open ball and the closed ball explicitly because of this kind of thing. (Also, in general a closed ball in a metric space is not always compact, but it is in $mathbbR^n$ or $mathbbC^n$.)
$endgroup$
– Ian
Mar 10 at 19:57
|
show 1 more comment
1
$begingroup$
Yes, because the ball is compact.
$endgroup$
– Zeekless
Mar 10 at 19:50
$begingroup$
The ball is compact, so you can use this result.
$endgroup$
– angryavian
Mar 10 at 19:50
$begingroup$
The topology-level property is that continuous images of compact sets are compact. Thus in a metric space the continuous image of a compact set is, in particular, bounded.
$endgroup$
– Ian
Mar 10 at 19:51
$begingroup$
But since the set of a ball of radius 1 around the zero vector is an open set, couldn't a function be continuous on it but unbounded?
$endgroup$
– 2000mroliver
Mar 10 at 19:54
$begingroup$
On the open ball, yes. We generally distinguish between the open ball and the closed ball explicitly because of this kind of thing. (Also, in general a closed ball in a metric space is not always compact, but it is in $mathbbR^n$ or $mathbbC^n$.)
$endgroup$
– Ian
Mar 10 at 19:57
1
1
$begingroup$
Yes, because the ball is compact.
$endgroup$
– Zeekless
Mar 10 at 19:50
$begingroup$
Yes, because the ball is compact.
$endgroup$
– Zeekless
Mar 10 at 19:50
$begingroup$
The ball is compact, so you can use this result.
$endgroup$
– angryavian
Mar 10 at 19:50
$begingroup$
The ball is compact, so you can use this result.
$endgroup$
– angryavian
Mar 10 at 19:50
$begingroup$
The topology-level property is that continuous images of compact sets are compact. Thus in a metric space the continuous image of a compact set is, in particular, bounded.
$endgroup$
– Ian
Mar 10 at 19:51
$begingroup$
The topology-level property is that continuous images of compact sets are compact. Thus in a metric space the continuous image of a compact set is, in particular, bounded.
$endgroup$
– Ian
Mar 10 at 19:51
$begingroup$
But since the set of a ball of radius 1 around the zero vector is an open set, couldn't a function be continuous on it but unbounded?
$endgroup$
– 2000mroliver
Mar 10 at 19:54
$begingroup$
But since the set of a ball of radius 1 around the zero vector is an open set, couldn't a function be continuous on it but unbounded?
$endgroup$
– 2000mroliver
Mar 10 at 19:54
$begingroup$
On the open ball, yes. We generally distinguish between the open ball and the closed ball explicitly because of this kind of thing. (Also, in general a closed ball in a metric space is not always compact, but it is in $mathbbR^n$ or $mathbbC^n$.)
$endgroup$
– Ian
Mar 10 at 19:57
$begingroup$
On the open ball, yes. We generally distinguish between the open ball and the closed ball explicitly because of this kind of thing. (Also, in general a closed ball in a metric space is not always compact, but it is in $mathbbR^n$ or $mathbbC^n$.)
$endgroup$
– Ian
Mar 10 at 19:57
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
If the ball is open, then you cannot say that the function is bounded. For example, consider the function $f : B rightarrow mathbbR$ defined on the open ball $B$ by
$$textfor all xin B, quad f(x) = frac1$$
This function is not bounded.
If however your function is defined on a whole finite-dimensional space, then it is also defined on the closed ball which is compact. Hence it is continuous on a compact, so it is bounded on it, and a fortiori, it is bounded on the open ball.
$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%2f3142793%2fis-a-function-on-a-ball-of-radius-1-around-the-zero-vector-bounded-if-it-is-cont%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$
If the ball is open, then you cannot say that the function is bounded. For example, consider the function $f : B rightarrow mathbbR$ defined on the open ball $B$ by
$$textfor all xin B, quad f(x) = frac1$$
This function is not bounded.
If however your function is defined on a whole finite-dimensional space, then it is also defined on the closed ball which is compact. Hence it is continuous on a compact, so it is bounded on it, and a fortiori, it is bounded on the open ball.
$endgroup$
add a comment |
$begingroup$
If the ball is open, then you cannot say that the function is bounded. For example, consider the function $f : B rightarrow mathbbR$ defined on the open ball $B$ by
$$textfor all xin B, quad f(x) = frac1$$
This function is not bounded.
If however your function is defined on a whole finite-dimensional space, then it is also defined on the closed ball which is compact. Hence it is continuous on a compact, so it is bounded on it, and a fortiori, it is bounded on the open ball.
$endgroup$
add a comment |
$begingroup$
If the ball is open, then you cannot say that the function is bounded. For example, consider the function $f : B rightarrow mathbbR$ defined on the open ball $B$ by
$$textfor all xin B, quad f(x) = frac1$$
This function is not bounded.
If however your function is defined on a whole finite-dimensional space, then it is also defined on the closed ball which is compact. Hence it is continuous on a compact, so it is bounded on it, and a fortiori, it is bounded on the open ball.
$endgroup$
If the ball is open, then you cannot say that the function is bounded. For example, consider the function $f : B rightarrow mathbbR$ defined on the open ball $B$ by
$$textfor all xin B, quad f(x) = frac1$$
This function is not bounded.
If however your function is defined on a whole finite-dimensional space, then it is also defined on the closed ball which is compact. Hence it is continuous on a compact, so it is bounded on it, and a fortiori, it is bounded on the open ball.
answered Mar 10 at 20:25
TheSilverDoeTheSilverDoe
3,837112
3,837112
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%2f3142793%2fis-a-function-on-a-ball-of-radius-1-around-the-zero-vector-bounded-if-it-is-cont%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$
Yes, because the ball is compact.
$endgroup$
– Zeekless
Mar 10 at 19:50
$begingroup$
The ball is compact, so you can use this result.
$endgroup$
– angryavian
Mar 10 at 19:50
$begingroup$
The topology-level property is that continuous images of compact sets are compact. Thus in a metric space the continuous image of a compact set is, in particular, bounded.
$endgroup$
– Ian
Mar 10 at 19:51
$begingroup$
But since the set of a ball of radius 1 around the zero vector is an open set, couldn't a function be continuous on it but unbounded?
$endgroup$
– 2000mroliver
Mar 10 at 19:54
$begingroup$
On the open ball, yes. We generally distinguish between the open ball and the closed ball explicitly because of this kind of thing. (Also, in general a closed ball in a metric space is not always compact, but it is in $mathbbR^n$ or $mathbbC^n$.)
$endgroup$
– Ian
Mar 10 at 19:57