A function defined on a closed set such that $f geq M$ reach a minimumIf $x$ is not in $A$, a closed set in a Metric space then $d(x,A)>0$Let $X$ be a compact metric space. If $f:Xrightarrow mathbbR$ is lower semi-continuous, then $f$ is bounded from below and attains its infimum.A metric space such that all closed balls are compact is complete.Prove that $f$ reach an absolute minimumExistence of minimum on unbounded set and functionCoercive continuous function on a closed subset has a global minimum proofdoes a convex polynomial always reach its minimum value?Existence of minimum distance from a point to a sequentially compact set?If X is compact and Y is closed. Show that there exists $x_0 in X$, and $y_0 in Y$ such that $|x_0-y_0| leq |x-y|$ for all $x in X$, $y in Y$Show that $F = lambda x$ is closed where $K$ is a compact set.
When is a batch class instantiated when you schedule it?
Can the druid cantrip Thorn Whip really defeat a water weird this easily?
How do anti-virus programs start at Windows boot?
Best mythical creature to use as livestock?
Why does Deadpool say "You're welcome, Canada," after shooting Ryan Reynolds in the end credits?
Is it true that real estate prices mainly go up?
Life insurance that covers only simultaneous/dual deaths
Is it illegal in Germany to take sick leave if you caused your own illness with food?
What has been your most complicated TikZ drawing?
Making a sword in the stone, in a medieval world without magic
Plywood subfloor won't screw down in a trailer home
Counter-example to the existence of left Bousfield localization of combinatorial model category
Can infringement of a trademark be pursued for using a company's name in a sentence?
Do f-stop and exposure time perfectly cancel?
Is it ok to include an epilogue dedicated to colleagues who passed away in the end of the manuscript?
What is the difference between "shut" and "close"?
Good allowance savings plan?
Is going from continuous data to categorical always wrong?
Time travel short story where dinosaur doesn't taste like chicken
Do Bugbears' arms literally get longer when it's their turn?
Should QA ask requirements to developers?
How could a female member of a species produce eggs unto death?
Sword in the Stone story where the sword was held in place by electromagnets
Humans have energy, but not water. What happens?
A function defined on a closed set such that $f geq M$ reach a minimum
If $x$ is not in $A$, a closed set in a Metric space then $d(x,A)>0$Let $X$ be a compact metric space. If $f:Xrightarrow mathbbR$ is lower semi-continuous, then $f$ is bounded from below and attains its infimum.A metric space such that all closed balls are compact is complete.Prove that $f$ reach an absolute minimumExistence of minimum on unbounded set and functionCoercive continuous function on a closed subset has a global minimum proofdoes a convex polynomial always reach its minimum value?Existence of minimum distance from a point to a sequentially compact set?If X is compact and Y is closed. Show that there exists $x_0 in X$, and $y_0 in Y$ such that $|x_0-y_0| leq |x-y|$ for all $x in X$, $y in Y$Show that $F = lambda x$ is closed where $K$ is a compact set.
$begingroup$
I am wondering if the following is true :
Let $f : C to mathbbR^p$ be a continuous function where $C$ is a closed set of $mathbbR^n$. Moreover there is $M$ such that for all $x in C, |f(x)| geq M$. Then does $f$ reach a minimum ?
I know that this with the assumption $C$ is a compact set. Yet here $C$ is only closed. So if we denote $ mu = inf $ then I need to find $alpha in C$ such that : $|f(alpha) | = mu$.
So there is a sequence $(|f(x_n)|)_n$ which converges to $mu$. So there is a sequence $(x_n)$ such that $| f(x_n) |$ converges to $mu$. Yet the problem here is that the sequence $(x_n)$ might not converges...
Thank you !
real-analysis sequences-and-series general-topology
New contributor
$endgroup$
add a comment |
$begingroup$
I am wondering if the following is true :
Let $f : C to mathbbR^p$ be a continuous function where $C$ is a closed set of $mathbbR^n$. Moreover there is $M$ such that for all $x in C, |f(x)| geq M$. Then does $f$ reach a minimum ?
I know that this with the assumption $C$ is a compact set. Yet here $C$ is only closed. So if we denote $ mu = inf $ then I need to find $alpha in C$ such that : $|f(alpha) | = mu$.
So there is a sequence $(|f(x_n)|)_n$ which converges to $mu$. So there is a sequence $(x_n)$ such that $| f(x_n) |$ converges to $mu$. Yet the problem here is that the sequence $(x_n)$ might not converges...
Thank you !
real-analysis sequences-and-series general-topology
New contributor
$endgroup$
$begingroup$
$f$ can't reach a minimum nor maximum (at least for $p>1$), I think you mean if $||f||$ reaches it's minimum
$endgroup$
– Jakobian
Mar 10 at 20:00
add a comment |
$begingroup$
I am wondering if the following is true :
Let $f : C to mathbbR^p$ be a continuous function where $C$ is a closed set of $mathbbR^n$. Moreover there is $M$ such that for all $x in C, |f(x)| geq M$. Then does $f$ reach a minimum ?
I know that this with the assumption $C$ is a compact set. Yet here $C$ is only closed. So if we denote $ mu = inf $ then I need to find $alpha in C$ such that : $|f(alpha) | = mu$.
So there is a sequence $(|f(x_n)|)_n$ which converges to $mu$. So there is a sequence $(x_n)$ such that $| f(x_n) |$ converges to $mu$. Yet the problem here is that the sequence $(x_n)$ might not converges...
Thank you !
real-analysis sequences-and-series general-topology
New contributor
$endgroup$
I am wondering if the following is true :
Let $f : C to mathbbR^p$ be a continuous function where $C$ is a closed set of $mathbbR^n$. Moreover there is $M$ such that for all $x in C, |f(x)| geq M$. Then does $f$ reach a minimum ?
I know that this with the assumption $C$ is a compact set. Yet here $C$ is only closed. So if we denote $ mu = inf $ then I need to find $alpha in C$ such that : $|f(alpha) | = mu$.
So there is a sequence $(|f(x_n)|)_n$ which converges to $mu$. So there is a sequence $(x_n)$ such that $| f(x_n) |$ converges to $mu$. Yet the problem here is that the sequence $(x_n)$ might not converges...
Thank you !
real-analysis sequences-and-series general-topology
real-analysis sequences-and-series general-topology
New contributor
New contributor
New contributor
asked Mar 10 at 19:57
bonjoufhajlbonjoufhajl
324
324
New contributor
New contributor
$begingroup$
$f$ can't reach a minimum nor maximum (at least for $p>1$), I think you mean if $||f||$ reaches it's minimum
$endgroup$
– Jakobian
Mar 10 at 20:00
add a comment |
$begingroup$
$f$ can't reach a minimum nor maximum (at least for $p>1$), I think you mean if $||f||$ reaches it's minimum
$endgroup$
– Jakobian
Mar 10 at 20:00
$begingroup$
$f$ can't reach a minimum nor maximum (at least for $p>1$), I think you mean if $||f||$ reaches it's minimum
$endgroup$
– Jakobian
Mar 10 at 20:00
$begingroup$
$f$ can't reach a minimum nor maximum (at least for $p>1$), I think you mean if $||f||$ reaches it's minimum
$endgroup$
– Jakobian
Mar 10 at 20:00
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The answer is no.
For example, the function $f : mathbbR rightarrow mathbbR$ defined by $f(x) = exp(x)$ is defined on a closed subset of $mathbbR$ ($mathbbR$ itself), is continuous, is always greater than $0$, but it does not reach a minimum.
Moreover, notice that the asumption $||f(x)|| geq M$ is useless because it is always true with $M=0$.
$endgroup$
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
add a comment |
$begingroup$
No. Choose $mathbbR to mathbbR, x mapsto e^x$. It's bounded by $0$ but does not reach a minimum.
$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
);
);
bonjoufhajl is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3142814%2fa-function-defined-on-a-closed-set-such-that-f-geq-m-reach-a-minimum%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The answer is no.
For example, the function $f : mathbbR rightarrow mathbbR$ defined by $f(x) = exp(x)$ is defined on a closed subset of $mathbbR$ ($mathbbR$ itself), is continuous, is always greater than $0$, but it does not reach a minimum.
Moreover, notice that the asumption $||f(x)|| geq M$ is useless because it is always true with $M=0$.
$endgroup$
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
add a comment |
$begingroup$
The answer is no.
For example, the function $f : mathbbR rightarrow mathbbR$ defined by $f(x) = exp(x)$ is defined on a closed subset of $mathbbR$ ($mathbbR$ itself), is continuous, is always greater than $0$, but it does not reach a minimum.
Moreover, notice that the asumption $||f(x)|| geq M$ is useless because it is always true with $M=0$.
$endgroup$
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
add a comment |
$begingroup$
The answer is no.
For example, the function $f : mathbbR rightarrow mathbbR$ defined by $f(x) = exp(x)$ is defined on a closed subset of $mathbbR$ ($mathbbR$ itself), is continuous, is always greater than $0$, but it does not reach a minimum.
Moreover, notice that the asumption $||f(x)|| geq M$ is useless because it is always true with $M=0$.
$endgroup$
The answer is no.
For example, the function $f : mathbbR rightarrow mathbbR$ defined by $f(x) = exp(x)$ is defined on a closed subset of $mathbbR$ ($mathbbR$ itself), is continuous, is always greater than $0$, but it does not reach a minimum.
Moreover, notice that the asumption $||f(x)|| geq M$ is useless because it is always true with $M=0$.
answered Mar 10 at 20:00
TheSilverDoeTheSilverDoe
3,837112
3,837112
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
add a comment |
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
$begingroup$
Nice catch about $|f(x) | geq M$ being redundant! I suppose a better question would be to set $f:C to mathbbR$ and to let $f$ be bounded (for which of course our answers work the same).
$endgroup$
– Kezer
Mar 10 at 20:05
add a comment |
$begingroup$
No. Choose $mathbbR to mathbbR, x mapsto e^x$. It's bounded by $0$ but does not reach a minimum.
$endgroup$
add a comment |
$begingroup$
No. Choose $mathbbR to mathbbR, x mapsto e^x$. It's bounded by $0$ but does not reach a minimum.
$endgroup$
add a comment |
$begingroup$
No. Choose $mathbbR to mathbbR, x mapsto e^x$. It's bounded by $0$ but does not reach a minimum.
$endgroup$
No. Choose $mathbbR to mathbbR, x mapsto e^x$. It's bounded by $0$ but does not reach a minimum.
answered Mar 10 at 19:59
KezerKezer
1,458621
1,458621
add a comment |
add a comment |
bonjoufhajl is a new contributor. Be nice, and check out our Code of Conduct.
bonjoufhajl is a new contributor. Be nice, and check out our Code of Conduct.
bonjoufhajl is a new contributor. Be nice, and check out our Code of Conduct.
bonjoufhajl is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3142814%2fa-function-defined-on-a-closed-set-such-that-f-geq-m-reach-a-minimum%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
$begingroup$
$f$ can't reach a minimum nor maximum (at least for $p>1$), I think you mean if $||f||$ reaches it's minimum
$endgroup$
– Jakobian
Mar 10 at 20:00