Is a bounded continuous function always have a supremum?











up vote
-1
down vote

favorite












My problem is related to Proving that a bounded, continuous function has a supremum




  • A continous function $f(R)$ defined on $Rin[0,1]$ with $f(0)=0$ and $f(1)=1$.

  • Assuming that we have $f(R)<R$ on the open interval $(0,R_1)$ and $f(R_1)=R_1$. $R_1in(0,1)$ is fixed.

  • How can I prove there will always be a supremum $lambda$ so that $sup{f(R)/R}=lambda<1$$Rin(0,R_1)$










share|cite|improve this question









New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • Is $R_1$ fixed?
    – Offlaw
    Nov 21 at 3:53










  • With the given assumptions you can construct a function $f$ such that $f(R)=1$ for $R = R_1 + epsilon < 1$ for some small $epsilon$, yielding $f(R)/R = frac{1}{R_1 + epsilon} > 1$, a contradiction. So something in your post is stated incorrectly (or I have misunderstood something).
    – angryavian
    Nov 21 at 3:58










  • Looks like the supremum will be $1$.
    – Lord Shark the Unknown
    Nov 21 at 4:07















up vote
-1
down vote

favorite












My problem is related to Proving that a bounded, continuous function has a supremum




  • A continous function $f(R)$ defined on $Rin[0,1]$ with $f(0)=0$ and $f(1)=1$.

  • Assuming that we have $f(R)<R$ on the open interval $(0,R_1)$ and $f(R_1)=R_1$. $R_1in(0,1)$ is fixed.

  • How can I prove there will always be a supremum $lambda$ so that $sup{f(R)/R}=lambda<1$$Rin(0,R_1)$










share|cite|improve this question









New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • Is $R_1$ fixed?
    – Offlaw
    Nov 21 at 3:53










  • With the given assumptions you can construct a function $f$ such that $f(R)=1$ for $R = R_1 + epsilon < 1$ for some small $epsilon$, yielding $f(R)/R = frac{1}{R_1 + epsilon} > 1$, a contradiction. So something in your post is stated incorrectly (or I have misunderstood something).
    – angryavian
    Nov 21 at 3:58










  • Looks like the supremum will be $1$.
    – Lord Shark the Unknown
    Nov 21 at 4:07













up vote
-1
down vote

favorite









up vote
-1
down vote

favorite











My problem is related to Proving that a bounded, continuous function has a supremum




  • A continous function $f(R)$ defined on $Rin[0,1]$ with $f(0)=0$ and $f(1)=1$.

  • Assuming that we have $f(R)<R$ on the open interval $(0,R_1)$ and $f(R_1)=R_1$. $R_1in(0,1)$ is fixed.

  • How can I prove there will always be a supremum $lambda$ so that $sup{f(R)/R}=lambda<1$$Rin(0,R_1)$










share|cite|improve this question









New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











My problem is related to Proving that a bounded, continuous function has a supremum




  • A continous function $f(R)$ defined on $Rin[0,1]$ with $f(0)=0$ and $f(1)=1$.

  • Assuming that we have $f(R)<R$ on the open interval $(0,R_1)$ and $f(R_1)=R_1$. $R_1in(0,1)$ is fixed.

  • How can I prove there will always be a supremum $lambda$ so that $sup{f(R)/R}=lambda<1$$Rin(0,R_1)$







real-analysis sequences-and-series






share|cite|improve this question









New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited Nov 22 at 5:17





















New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Nov 21 at 3:44









QZHua

11




11




New contributor




QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






QZHua is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • Is $R_1$ fixed?
    – Offlaw
    Nov 21 at 3:53










  • With the given assumptions you can construct a function $f$ such that $f(R)=1$ for $R = R_1 + epsilon < 1$ for some small $epsilon$, yielding $f(R)/R = frac{1}{R_1 + epsilon} > 1$, a contradiction. So something in your post is stated incorrectly (or I have misunderstood something).
    – angryavian
    Nov 21 at 3:58










  • Looks like the supremum will be $1$.
    – Lord Shark the Unknown
    Nov 21 at 4:07


















  • Is $R_1$ fixed?
    – Offlaw
    Nov 21 at 3:53










  • With the given assumptions you can construct a function $f$ such that $f(R)=1$ for $R = R_1 + epsilon < 1$ for some small $epsilon$, yielding $f(R)/R = frac{1}{R_1 + epsilon} > 1$, a contradiction. So something in your post is stated incorrectly (or I have misunderstood something).
    – angryavian
    Nov 21 at 3:58










  • Looks like the supremum will be $1$.
    – Lord Shark the Unknown
    Nov 21 at 4:07
















Is $R_1$ fixed?
– Offlaw
Nov 21 at 3:53




Is $R_1$ fixed?
– Offlaw
Nov 21 at 3:53












With the given assumptions you can construct a function $f$ such that $f(R)=1$ for $R = R_1 + epsilon < 1$ for some small $epsilon$, yielding $f(R)/R = frac{1}{R_1 + epsilon} > 1$, a contradiction. So something in your post is stated incorrectly (or I have misunderstood something).
– angryavian
Nov 21 at 3:58




With the given assumptions you can construct a function $f$ such that $f(R)=1$ for $R = R_1 + epsilon < 1$ for some small $epsilon$, yielding $f(R)/R = frac{1}{R_1 + epsilon} > 1$, a contradiction. So something in your post is stated incorrectly (or I have misunderstood something).
– angryavian
Nov 21 at 3:58












Looks like the supremum will be $1$.
– Lord Shark the Unknown
Nov 21 at 4:07




Looks like the supremum will be $1$.
– Lord Shark the Unknown
Nov 21 at 4:07















active

oldest

votes











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


}
});






QZHua is a new contributor. Be nice, and check out our Code of Conduct.










 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007231%2fis-a-bounded-continuous-function-always-have-a-supremum%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes








QZHua is a new contributor. Be nice, and check out our Code of Conduct.










 

draft saved


draft discarded


















QZHua is a new contributor. Be nice, and check out our Code of Conduct.













QZHua is a new contributor. Be nice, and check out our Code of Conduct.












QZHua is a new contributor. Be nice, and check out our Code of Conduct.















 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007231%2fis-a-bounded-continuous-function-always-have-a-supremum%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

Wiesbaden

Marschland

Dieringhausen