On continuous functions Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)convergence of $alpha$-Hölder-continuous functionsBasic calculus questionCheck my proof of the “Boundedness theorem”Show that $f$ is identically zero if $|f(x)|leqint_0^xf(t)dt$Proving set of bounded continuous functions is an open setFinding an appropriate continuous functionsIs there a bijective continuous function from closed to open intervalls?Difference between sup and inf of $|f(x)|$ less than difference between sup and inf of $f(x)$Giving examples for real functions with specific parametersSupremum metric on closed subset of continuous functions
Effects on objects due to a brief relocation of massive amounts of mass
How come Sam didn't become Lord of Horn Hill?
What is "gratricide"?
How could we fake a moon landing now?
MLE of the unknown radius
Why is Nikon 1.4g better when Nikon 1.8g is sharper?
Would it be easier to apply for a UK visa if there is a host family to sponsor for you in going there?
difference in test statistic and p-value R and Python script
Question about debouncing - delay of state change
What is the meaning of 'breadth' in breadth first search?
I want to complete my figure
What is this clumpy 20-30cm high yellow-flowered plant?
Central Vacuuming: Is it worth it, and how does it compare to normal vacuuming?
Is it possible for SQL statements to execute concurrently within a single session in SQL Server?
Take 2! Is this homebrew Lady of Pain warlock patron balanced?
How do living politicians protect their readily obtainable signatures from misuse?
What order were files/directories outputted in dir?
Why do we bend a book to keep it straight?
Monolithic + MicroServices
Why wasn't DOSKEY integrated with COMMAND.COM?
Project Euler #1 in C++
What's the meaning of "fortified infraction restraint"?
Should there be a hyphen in the construction "IT affin"?
When a candle burns, why does the top of wick glow if bottom of flame is hottest?
On continuous functions
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)convergence of $alpha$-Hölder-continuous functionsBasic calculus questionCheck my proof of the “Boundedness theorem”Show that $f$ is identically zero if $|f(x)|leqint_0^xf(t)dt$Proving set of bounded continuous functions is an open setFinding an appropriate continuous functionsIs there a bijective continuous function from closed to open intervalls?Difference between sup and inf of $|f(x)|$ less than difference between sup and inf of $f(x)$Giving examples for real functions with specific parametersSupremum metric on closed subset of continuous functions
$begingroup$
Let $f:[0,1]to mathbb R$ be continuous and such that $f(0)<0$ and $f(1)=0$. Show that the set $x in (0,1] : f(x)=0 $ has a minimum.
So I though because the function is continuous, it is bounded. Since it is bounded it must have a inf and a sup. Since a inf exists in a bounded set I could achrimedian proof it is the minimum. But my professor told me that since the set he wants a minimum in is unbounded my logic wont work. So what am I doing wrong?
calculus functions
$endgroup$
add a comment |
$begingroup$
Let $f:[0,1]to mathbb R$ be continuous and such that $f(0)<0$ and $f(1)=0$. Show that the set $x in (0,1] : f(x)=0 $ has a minimum.
So I though because the function is continuous, it is bounded. Since it is bounded it must have a inf and a sup. Since a inf exists in a bounded set I could achrimedian proof it is the minimum. But my professor told me that since the set he wants a minimum in is unbounded my logic wont work. So what am I doing wrong?
calculus functions
$endgroup$
$begingroup$
The set is closed in $[0,1].$
$endgroup$
– Dbchatto67
Mar 27 at 19:34
$begingroup$
Not in the set im looking for a minimum in?
$endgroup$
– Doublelift
Mar 27 at 19:38
add a comment |
$begingroup$
Let $f:[0,1]to mathbb R$ be continuous and such that $f(0)<0$ and $f(1)=0$. Show that the set $x in (0,1] : f(x)=0 $ has a minimum.
So I though because the function is continuous, it is bounded. Since it is bounded it must have a inf and a sup. Since a inf exists in a bounded set I could achrimedian proof it is the minimum. But my professor told me that since the set he wants a minimum in is unbounded my logic wont work. So what am I doing wrong?
calculus functions
$endgroup$
Let $f:[0,1]to mathbb R$ be continuous and such that $f(0)<0$ and $f(1)=0$. Show that the set $x in (0,1] : f(x)=0 $ has a minimum.
So I though because the function is continuous, it is bounded. Since it is bounded it must have a inf and a sup. Since a inf exists in a bounded set I could achrimedian proof it is the minimum. But my professor told me that since the set he wants a minimum in is unbounded my logic wont work. So what am I doing wrong?
calculus functions
calculus functions
edited Mar 27 at 19:34
Bernard
124k742117
124k742117
asked Mar 27 at 19:31
DoubleliftDoublelift
305
305
$begingroup$
The set is closed in $[0,1].$
$endgroup$
– Dbchatto67
Mar 27 at 19:34
$begingroup$
Not in the set im looking for a minimum in?
$endgroup$
– Doublelift
Mar 27 at 19:38
add a comment |
$begingroup$
The set is closed in $[0,1].$
$endgroup$
– Dbchatto67
Mar 27 at 19:34
$begingroup$
Not in the set im looking for a minimum in?
$endgroup$
– Doublelift
Mar 27 at 19:38
$begingroup$
The set is closed in $[0,1].$
$endgroup$
– Dbchatto67
Mar 27 at 19:34
$begingroup$
The set is closed in $[0,1].$
$endgroup$
– Dbchatto67
Mar 27 at 19:34
$begingroup$
Not in the set im looking for a minimum in?
$endgroup$
– Doublelift
Mar 27 at 19:38
$begingroup$
Not in the set im looking for a minimum in?
$endgroup$
– Doublelift
Mar 27 at 19:38
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
The point of the exercise is this:
The set $x in (0,1] : f(x)=0 $ obviously has an infimum, because it is non-empty and bounded below. But is this infimum necessarily a minimum? That is, does the infimum itself belong to the set? This is what you have to prove.
It seems to me that you missed this. It also seems that you must have misunderstood your professor -- what he allegedly said makes no sense to me..
(Also, I presume you mean "archimedean proof". But what do you mean by this?)
$endgroup$
add a comment |
$begingroup$
Continuity and $f(0)<0$ implies that there exists a small $epsilon>0$ such that if $0leq x<epsilon$, $f(x) < 0$. Then, the zeros of $f$ are contained in the compact set $[epsilon,1]$. Now let $x_0 = inf_[epsilon,1]left x : f(x) = 0 right$. If this is a finite set, then we are done. If not, consider a sequence from the set converging to $x_0$. Since $f$ is continuous, $f(x_0)=0$ and certainly $x_0in[epsilon,1]$ due to compactness. Hence $x_0$ is the desired minimum.
$endgroup$
add a comment |
$begingroup$
Hint $:$ $x in (0,1] : f(x) = 0 = f^-1 (0).$ Since $f$ is continuous so $f^-1 (0)$ is a closed subspace of $[0,1]$ (Since $0 $ is a closed subset of $Bbb R$). Since $[0,1]$ is a closed subspace of $Bbb R$ with usual topology so $f^-1 (0)$ is a closed subspace of $Bbb R$ with usual topology.
$endgroup$
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
|
show 1 more comment
Your Answer
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%2f3165005%2fon-continuous-functions%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The point of the exercise is this:
The set $x in (0,1] : f(x)=0 $ obviously has an infimum, because it is non-empty and bounded below. But is this infimum necessarily a minimum? That is, does the infimum itself belong to the set? This is what you have to prove.
It seems to me that you missed this. It also seems that you must have misunderstood your professor -- what he allegedly said makes no sense to me..
(Also, I presume you mean "archimedean proof". But what do you mean by this?)
$endgroup$
add a comment |
$begingroup$
The point of the exercise is this:
The set $x in (0,1] : f(x)=0 $ obviously has an infimum, because it is non-empty and bounded below. But is this infimum necessarily a minimum? That is, does the infimum itself belong to the set? This is what you have to prove.
It seems to me that you missed this. It also seems that you must have misunderstood your professor -- what he allegedly said makes no sense to me..
(Also, I presume you mean "archimedean proof". But what do you mean by this?)
$endgroup$
add a comment |
$begingroup$
The point of the exercise is this:
The set $x in (0,1] : f(x)=0 $ obviously has an infimum, because it is non-empty and bounded below. But is this infimum necessarily a minimum? That is, does the infimum itself belong to the set? This is what you have to prove.
It seems to me that you missed this. It also seems that you must have misunderstood your professor -- what he allegedly said makes no sense to me..
(Also, I presume you mean "archimedean proof". But what do you mean by this?)
$endgroup$
The point of the exercise is this:
The set $x in (0,1] : f(x)=0 $ obviously has an infimum, because it is non-empty and bounded below. But is this infimum necessarily a minimum? That is, does the infimum itself belong to the set? This is what you have to prove.
It seems to me that you missed this. It also seems that you must have misunderstood your professor -- what he allegedly said makes no sense to me..
(Also, I presume you mean "archimedean proof". But what do you mean by this?)
answered Mar 27 at 19:55
TonyKTonyK
44.1k358137
44.1k358137
add a comment |
add a comment |
$begingroup$
Continuity and $f(0)<0$ implies that there exists a small $epsilon>0$ such that if $0leq x<epsilon$, $f(x) < 0$. Then, the zeros of $f$ are contained in the compact set $[epsilon,1]$. Now let $x_0 = inf_[epsilon,1]left x : f(x) = 0 right$. If this is a finite set, then we are done. If not, consider a sequence from the set converging to $x_0$. Since $f$ is continuous, $f(x_0)=0$ and certainly $x_0in[epsilon,1]$ due to compactness. Hence $x_0$ is the desired minimum.
$endgroup$
add a comment |
$begingroup$
Continuity and $f(0)<0$ implies that there exists a small $epsilon>0$ such that if $0leq x<epsilon$, $f(x) < 0$. Then, the zeros of $f$ are contained in the compact set $[epsilon,1]$. Now let $x_0 = inf_[epsilon,1]left x : f(x) = 0 right$. If this is a finite set, then we are done. If not, consider a sequence from the set converging to $x_0$. Since $f$ is continuous, $f(x_0)=0$ and certainly $x_0in[epsilon,1]$ due to compactness. Hence $x_0$ is the desired minimum.
$endgroup$
add a comment |
$begingroup$
Continuity and $f(0)<0$ implies that there exists a small $epsilon>0$ such that if $0leq x<epsilon$, $f(x) < 0$. Then, the zeros of $f$ are contained in the compact set $[epsilon,1]$. Now let $x_0 = inf_[epsilon,1]left x : f(x) = 0 right$. If this is a finite set, then we are done. If not, consider a sequence from the set converging to $x_0$. Since $f$ is continuous, $f(x_0)=0$ and certainly $x_0in[epsilon,1]$ due to compactness. Hence $x_0$ is the desired minimum.
$endgroup$
Continuity and $f(0)<0$ implies that there exists a small $epsilon>0$ such that if $0leq x<epsilon$, $f(x) < 0$. Then, the zeros of $f$ are contained in the compact set $[epsilon,1]$. Now let $x_0 = inf_[epsilon,1]left x : f(x) = 0 right$. If this is a finite set, then we are done. If not, consider a sequence from the set converging to $x_0$. Since $f$ is continuous, $f(x_0)=0$ and certainly $x_0in[epsilon,1]$ due to compactness. Hence $x_0$ is the desired minimum.
answered Mar 27 at 20:02
MatthewPeterMatthewPeter
191
191
add a comment |
add a comment |
$begingroup$
Hint $:$ $x in (0,1] : f(x) = 0 = f^-1 (0).$ Since $f$ is continuous so $f^-1 (0)$ is a closed subspace of $[0,1]$ (Since $0 $ is a closed subset of $Bbb R$). Since $[0,1]$ is a closed subspace of $Bbb R$ with usual topology so $f^-1 (0)$ is a closed subspace of $Bbb R$ with usual topology.
$endgroup$
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
|
show 1 more comment
$begingroup$
Hint $:$ $x in (0,1] : f(x) = 0 = f^-1 (0).$ Since $f$ is continuous so $f^-1 (0)$ is a closed subspace of $[0,1]$ (Since $0 $ is a closed subset of $Bbb R$). Since $[0,1]$ is a closed subspace of $Bbb R$ with usual topology so $f^-1 (0)$ is a closed subspace of $Bbb R$ with usual topology.
$endgroup$
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
|
show 1 more comment
$begingroup$
Hint $:$ $x in (0,1] : f(x) = 0 = f^-1 (0).$ Since $f$ is continuous so $f^-1 (0)$ is a closed subspace of $[0,1]$ (Since $0 $ is a closed subset of $Bbb R$). Since $[0,1]$ is a closed subspace of $Bbb R$ with usual topology so $f^-1 (0)$ is a closed subspace of $Bbb R$ with usual topology.
$endgroup$
Hint $:$ $x in (0,1] : f(x) = 0 = f^-1 (0).$ Since $f$ is continuous so $f^-1 (0)$ is a closed subspace of $[0,1]$ (Since $0 $ is a closed subset of $Bbb R$). Since $[0,1]$ is a closed subspace of $Bbb R$ with usual topology so $f^-1 (0)$ is a closed subspace of $Bbb R$ with usual topology.
edited Mar 27 at 19:52
answered Mar 27 at 19:35
Dbchatto67Dbchatto67
3,287626
3,287626
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
|
show 1 more comment
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Inverse image of $0 $ under $f$ is a closed subspace of $[0,1]$ since $0 $ is a closed subspace of $Bbb R$ and $f$ is continuous.
$endgroup$
– Dbchatto67
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Very confused we havnt used much topology in this class so I am not very familiar with it.
$endgroup$
– Doublelift
Mar 27 at 19:41
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Closed subspace of $[0,1]$ is of the form $A cap [0,1]$ where $A$ is a closed subset of $Bbb R.$ Hence the subsets which are closed in $[0,1]$ must also be closed in $Bbb R$ since intersection of two closed subsets of $Bbb R$ is also a closed subset of $Bbb R.$
$endgroup$
– Dbchatto67
Mar 27 at 19:43
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
Do you know @JJ Burt that every closed subset of $Bbb R$ attains it's infimum?
$endgroup$
– Dbchatto67
Mar 27 at 19:55
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
$begingroup$
that does sound familiar so becuase its a subset?
$endgroup$
– Doublelift
Mar 27 at 20:00
|
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%2f3165005%2fon-continuous-functions%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$
The set is closed in $[0,1].$
$endgroup$
– Dbchatto67
Mar 27 at 19:34
$begingroup$
Not in the set im looking for a minimum in?
$endgroup$
– Doublelift
Mar 27 at 19:38