How can I demonstrate that a continuous decreasing function in $Bbb R$ has a fixed point?
$begingroup$
I am trying to demonstrate that a continuous decreasing function $f: Bbb R → Bbb R$ has a fixed point. I tried to use a function $g(x) = f(x) - x$, which should be a decreasing one, but I don't know how to obtain a point of $g$ that is $0$.
analysis functions continuity
$endgroup$
add a comment |
$begingroup$
I am trying to demonstrate that a continuous decreasing function $f: Bbb R → Bbb R$ has a fixed point. I tried to use a function $g(x) = f(x) - x$, which should be a decreasing one, but I don't know how to obtain a point of $g$ that is $0$.
analysis functions continuity
$endgroup$
1
$begingroup$
Intermediate value theorem.
$endgroup$
– T. Bongers
Dec 2 '18 at 23:29
$begingroup$
Welcome to Maths SX! No other hypothesis on $f$?
$endgroup$
– Bernard
Dec 2 '18 at 23:32
$begingroup$
@Bernard What for?
$endgroup$
– Did
Dec 2 '18 at 23:53
add a comment |
$begingroup$
I am trying to demonstrate that a continuous decreasing function $f: Bbb R → Bbb R$ has a fixed point. I tried to use a function $g(x) = f(x) - x$, which should be a decreasing one, but I don't know how to obtain a point of $g$ that is $0$.
analysis functions continuity
$endgroup$
I am trying to demonstrate that a continuous decreasing function $f: Bbb R → Bbb R$ has a fixed point. I tried to use a function $g(x) = f(x) - x$, which should be a decreasing one, but I don't know how to obtain a point of $g$ that is $0$.
analysis functions continuity
analysis functions continuity
edited Dec 3 '18 at 0:41
Jean-Claude Arbaut
14.7k63464
14.7k63464
asked Dec 2 '18 at 23:28
Marco GutiérrezMarco Gutiérrez
153
153
1
$begingroup$
Intermediate value theorem.
$endgroup$
– T. Bongers
Dec 2 '18 at 23:29
$begingroup$
Welcome to Maths SX! No other hypothesis on $f$?
$endgroup$
– Bernard
Dec 2 '18 at 23:32
$begingroup$
@Bernard What for?
$endgroup$
– Did
Dec 2 '18 at 23:53
add a comment |
1
$begingroup$
Intermediate value theorem.
$endgroup$
– T. Bongers
Dec 2 '18 at 23:29
$begingroup$
Welcome to Maths SX! No other hypothesis on $f$?
$endgroup$
– Bernard
Dec 2 '18 at 23:32
$begingroup$
@Bernard What for?
$endgroup$
– Did
Dec 2 '18 at 23:53
1
1
$begingroup$
Intermediate value theorem.
$endgroup$
– T. Bongers
Dec 2 '18 at 23:29
$begingroup$
Intermediate value theorem.
$endgroup$
– T. Bongers
Dec 2 '18 at 23:29
$begingroup$
Welcome to Maths SX! No other hypothesis on $f$?
$endgroup$
– Bernard
Dec 2 '18 at 23:32
$begingroup$
Welcome to Maths SX! No other hypothesis on $f$?
$endgroup$
– Bernard
Dec 2 '18 at 23:32
$begingroup$
@Bernard What for?
$endgroup$
– Did
Dec 2 '18 at 23:53
$begingroup$
@Bernard What for?
$endgroup$
– Did
Dec 2 '18 at 23:53
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
$g(x) geq f(0)-x$ for $x<0$ so $g(x) to infty$ as $x to -infty$. Similarly, $g(x) leq f(0)-x to -infty$ as $x to infty$. By IVP we get $g(x)=x$ for some $x$.
$endgroup$
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
|
show 1 more comment
$begingroup$
Introducing the fhe function $g:xmapsto f(x)-x$ is not necessary. Instead, consider $a=f(0)$.
- If $a=0$, we are done.
- If $a>0$, note that $f(a)leqslant f(0)=a$ since $a>0$ and $f$ is nonincreasing on $[0,a]$. Thus, $f(0)>0$ and $f(a)leqslant a$. By the intermediate value theorem, there exists some $x$ in $(0,a]$ such that $f(x)=x$.
- If $a<0$, note that $f(a)geqslant f(0)=a$ since $a<0$ and $f$ is nonincreasing on $[a,0]$. Thus, $f(0)<0$ and $f(a)geqslant a$. By the intermediate value theorem, there exists some $x$ in $[a,0)$ such that $f(x)=x$.
$endgroup$
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
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%2f3023371%2fhow-can-i-demonstrate-that-a-continuous-decreasing-function-in-bbb-r-has-a-fi%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$
$g(x) geq f(0)-x$ for $x<0$ so $g(x) to infty$ as $x to -infty$. Similarly, $g(x) leq f(0)-x to -infty$ as $x to infty$. By IVP we get $g(x)=x$ for some $x$.
$endgroup$
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
|
show 1 more comment
$begingroup$
$g(x) geq f(0)-x$ for $x<0$ so $g(x) to infty$ as $x to -infty$. Similarly, $g(x) leq f(0)-x to -infty$ as $x to infty$. By IVP we get $g(x)=x$ for some $x$.
$endgroup$
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
|
show 1 more comment
$begingroup$
$g(x) geq f(0)-x$ for $x<0$ so $g(x) to infty$ as $x to -infty$. Similarly, $g(x) leq f(0)-x to -infty$ as $x to infty$. By IVP we get $g(x)=x$ for some $x$.
$endgroup$
$g(x) geq f(0)-x$ for $x<0$ so $g(x) to infty$ as $x to -infty$. Similarly, $g(x) leq f(0)-x to -infty$ as $x to infty$. By IVP we get $g(x)=x$ for some $x$.
edited Dec 3 '18 at 0:30
answered Dec 2 '18 at 23:33
Kavi Rama MurthyKavi Rama Murthy
53.9k32055
53.9k32055
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
|
show 1 more comment
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
Your example is not sound. For $g(x)=-frac 12 x$ we get $g(x)ge g(0)-ximplies -frac 12 x ge -x implies xge 0$, which is a contradiction with $x<0$.
$endgroup$
– I like Serena
Dec 2 '18 at 23:38
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
@IlikeSerena Did you read the question properly? If $g(x)=-frac 1 2 x$ then $f(x)=frac 1 2 x$ but it is given that $f$ is decreasing.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:40
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
Ah okay. Still, with $g(x)=x$, we don't have $f(x)=x$. Did you intend $g(x)=0$?
$endgroup$
– I like Serena
Dec 2 '18 at 23:44
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
@IlikeSerena I really don't understand what you are saying. I am not defining any function. $f$ and $g$ are both given, We cannot have $g(x)=x$ because of the same reason I gave earlier.
$endgroup$
– Kavi Rama Murthy
Dec 2 '18 at 23:52
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
$begingroup$
I'm saying that you have a typo in your answer, which makes it confusing.
$endgroup$
– I like Serena
Dec 3 '18 at 0:28
|
show 1 more comment
$begingroup$
Introducing the fhe function $g:xmapsto f(x)-x$ is not necessary. Instead, consider $a=f(0)$.
- If $a=0$, we are done.
- If $a>0$, note that $f(a)leqslant f(0)=a$ since $a>0$ and $f$ is nonincreasing on $[0,a]$. Thus, $f(0)>0$ and $f(a)leqslant a$. By the intermediate value theorem, there exists some $x$ in $(0,a]$ such that $f(x)=x$.
- If $a<0$, note that $f(a)geqslant f(0)=a$ since $a<0$ and $f$ is nonincreasing on $[a,0]$. Thus, $f(0)<0$ and $f(a)geqslant a$. By the intermediate value theorem, there exists some $x$ in $[a,0)$ such that $f(x)=x$.
$endgroup$
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
add a comment |
$begingroup$
Introducing the fhe function $g:xmapsto f(x)-x$ is not necessary. Instead, consider $a=f(0)$.
- If $a=0$, we are done.
- If $a>0$, note that $f(a)leqslant f(0)=a$ since $a>0$ and $f$ is nonincreasing on $[0,a]$. Thus, $f(0)>0$ and $f(a)leqslant a$. By the intermediate value theorem, there exists some $x$ in $(0,a]$ such that $f(x)=x$.
- If $a<0$, note that $f(a)geqslant f(0)=a$ since $a<0$ and $f$ is nonincreasing on $[a,0]$. Thus, $f(0)<0$ and $f(a)geqslant a$. By the intermediate value theorem, there exists some $x$ in $[a,0)$ such that $f(x)=x$.
$endgroup$
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
add a comment |
$begingroup$
Introducing the fhe function $g:xmapsto f(x)-x$ is not necessary. Instead, consider $a=f(0)$.
- If $a=0$, we are done.
- If $a>0$, note that $f(a)leqslant f(0)=a$ since $a>0$ and $f$ is nonincreasing on $[0,a]$. Thus, $f(0)>0$ and $f(a)leqslant a$. By the intermediate value theorem, there exists some $x$ in $(0,a]$ such that $f(x)=x$.
- If $a<0$, note that $f(a)geqslant f(0)=a$ since $a<0$ and $f$ is nonincreasing on $[a,0]$. Thus, $f(0)<0$ and $f(a)geqslant a$. By the intermediate value theorem, there exists some $x$ in $[a,0)$ such that $f(x)=x$.
$endgroup$
Introducing the fhe function $g:xmapsto f(x)-x$ is not necessary. Instead, consider $a=f(0)$.
- If $a=0$, we are done.
- If $a>0$, note that $f(a)leqslant f(0)=a$ since $a>0$ and $f$ is nonincreasing on $[0,a]$. Thus, $f(0)>0$ and $f(a)leqslant a$. By the intermediate value theorem, there exists some $x$ in $(0,a]$ such that $f(x)=x$.
- If $a<0$, note that $f(a)geqslant f(0)=a$ since $a<0$ and $f$ is nonincreasing on $[a,0]$. Thus, $f(0)<0$ and $f(a)geqslant a$. By the intermediate value theorem, there exists some $x$ in $[a,0)$ such that $f(x)=x$.
answered Dec 2 '18 at 23:53
DidDid
247k23222457
247k23222457
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
add a comment |
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
$begingroup$
You are implicitly using $g(x)=f(x)-x$. Otherwise, from $a=f(0)>0$ and $f(a)le a$, the IVT would only tell you $f$ takes all values in $[f(a),f(0)]$.
$endgroup$
– Jean-Claude Arbaut
Dec 3 '18 at 0:38
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%2f3023371%2fhow-can-i-demonstrate-that-a-continuous-decreasing-function-in-bbb-r-has-a-fi%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$
Intermediate value theorem.
$endgroup$
– T. Bongers
Dec 2 '18 at 23:29
$begingroup$
Welcome to Maths SX! No other hypothesis on $f$?
$endgroup$
– Bernard
Dec 2 '18 at 23:32
$begingroup$
@Bernard What for?
$endgroup$
– Did
Dec 2 '18 at 23:53