Hjdcti

How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?

Why are weather verbs 曇る and 晴れる treated differently in this sentence?

"You are your self first supporter", a more proper way to say it

same font throughout bibliography

Can a German sentence have two subjects?

Suffixes -unt and -ut-

What typically incentivizes a professor to change jobs to a lower ranking university?

Is it possible to do 50 km distance without any previous training?

A newer friend of my brother's gave him a load of baseball cards that are supposedly extremely valuable. Is this a scam?

Why does Kotter return in Welcome Back Kotter?

What is the offset in a seaplane's hull?

The iconography of Laddu Gopal's soles

Accidentally leaked the solution to an assignment, what to do now? (I'm the prof)

XeLaTeX and pdfLaTeX ignore hyphenation

Prevent a directory in /tmp from being deleted

Can a Warlock become Neutral Good?

How to feed LSTM with different input array sizes?

Is there really no realistic way for a skeleton monster to move around without magic?

How old can references or sources in a thesis be?

Can a country ban oversea biotechnology research out of an endemic plant that is only found in its territory?

Magento 2: Admin panel 3 level menu structure not working

How is it possible to have an ability score that is less than 3?

Shell script not opening as desktop application

What are these boxed doors outside store fronts in New York?

Show a continuous function with $f(x)=y$ and $f(y)=x$ has a fixed point.

For a continuous function $f$ satisfying $f(f(x))=x$ has exactly one fixed pointShow that any continuous $f:[0,1] rightarrow [0,1]$ has a fixed point $zeta$Fixed point and period of continuous functionContinuous decreasing function has a fixed pointIVT and fixed point theorem$f$ is continuous, $f : X to X$, $X$ compact, and $f$ has an $epsilon$-fixed point for each $epsilon > 0$. Show $f$ has a fixed point.Showing that $f$ has a fixed point.Prove that a continuous function has a fixed pointContinuous function and fixed pointProve that $f:[0,1] to [0,1]$ has a fixed pointFor a continuous function $f$ satisfying $f(f(x))=x$ has exactly one fixed point

4

$begingroup$

Suppose $a<b$ and $f:[a,b] to [a,b]$ be continous. Suppose that $x neq y$ in $[a,b]$ with $f(x)=y$ and $f(y)=x$. Prove that $f$ has a fixed point in $(x,y)$.

So I was thinking of considering the function $g(x)=f(x)-x$, which we know is continuous. Then we also know that because $f(a) geq a$ that $g(a)=f(a)-a geq 0$. Similarly, because $f(b) leq b$ then $g(b)=f(b)-b leq 0$.

Can we just use the fact that because $g(x)$ is continuous, $0 in [g(b),g(a)]$, the IVT says there exists $c in [a,b]$ such that $g(c)=f(c)-c=0$ so $f(c)=c$? Then we know $c$ is a fixed point.

How do we show that $c$ is in $(x,y)$??

We know that $g(x)=f(x)-x=y-x neq 0$
and $g(y)=f(y)-y=x-y neq 0$ but we don't know that those are in $(a,b)$?

real-analysis

share|cite|improve this question

edited 45 mins ago

YuiTo Cheng

2,3084937

asked 2 hours ago

big_math_boybig_math_boy

353

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  $f(f(x)) = f(y) = x$ and apply math.stackexchange.com/questions/2887779/….
  $endgroup$
  – Martín-Blas Pérez Pinilla
  1 hour ago
  

  
  
  
  

add a comment | 

4

$begingroup$

Suppose $a<b$ and $f:[a,b] to [a,b]$ be continous. Suppose that $x neq y$ in $[a,b]$ with $f(x)=y$ and $f(y)=x$. Prove that $f$ has a fixed point in $(x,y)$.

So I was thinking of considering the function $g(x)=f(x)-x$, which we know is continuous. Then we also know that because $f(a) geq a$ that $g(a)=f(a)-a geq 0$. Similarly, because $f(b) leq b$ then $g(b)=f(b)-b leq 0$.

Can we just use the fact that because $g(x)$ is continuous, $0 in [g(b),g(a)]$, the IVT says there exists $c in [a,b]$ such that $g(c)=f(c)-c=0$ so $f(c)=c$? Then we know $c$ is a fixed point.

How do we show that $c$ is in $(x,y)$??

We know that $g(x)=f(x)-x=y-x neq 0$
and $g(y)=f(y)-y=x-y neq 0$ but we don't know that those are in $(a,b)$?

real-analysis

share|cite|improve this question

edited 45 mins ago

YuiTo Cheng

2,3084937

asked 2 hours ago

big_math_boybig_math_boy

353

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  $f(f(x)) = f(y) = x$ and apply math.stackexchange.com/questions/2887779/….
  $endgroup$
  – Martín-Blas Pérez Pinilla
  1 hour ago
  

  
  
  
  

add a comment | 

$begingroup$

Suppose $a<b$ and $f:[a,b] to [a,b]$ be continous. Suppose that $x neq y$ in $[a,b]$ with $f(x)=y$ and $f(y)=x$. Prove that $f$ has a fixed point in $(x,y)$.

So I was thinking of considering the function $g(x)=f(x)-x$, which we know is continuous. Then we also know that because $f(a) geq a$ that $g(a)=f(a)-a geq 0$. Similarly, because $f(b) leq b$ then $g(b)=f(b)-b leq 0$.

Can we just use the fact that because $g(x)$ is continuous, $0 in [g(b),g(a)]$, the IVT says there exists $c in [a,b]$ such that $g(c)=f(c)-c=0$ so $f(c)=c$? Then we know $c$ is a fixed point.

How do we show that $c$ is in $(x,y)$??

We know that $g(x)=f(x)-x=y-x neq 0$
and $g(y)=f(y)-y=x-y neq 0$ but we don't know that those are in $(a,b)$?

real-analysis

share|cite|improve this question

edited 45 mins ago

YuiTo Cheng

2,3084937

asked 2 hours ago

big_math_boybig_math_boy

353

$endgroup$

share|cite|improve this question

edited 45 mins ago

YuiTo Cheng

2,3084937

asked 2 hours ago

big_math_boybig_math_boy

353

share|cite|improve this question

edited 45 mins ago

YuiTo Cheng

2,3084937

asked 2 hours ago

big_math_boybig_math_boy

353

edited 45 mins ago

YuiTo Cheng

2,3084937

edited 45 mins ago

YuiTo Cheng

2,3084937

asked 2 hours ago

big_math_boybig_math_boy

353

asked 2 hours ago

big_math_boybig_math_boy

353

2 Answers
2

active

oldest

votes

2

$begingroup$

You've essentially stated the argument. But, rather restrict $f$ to $[x,y]$ (where w.l.o.g $x<y$). Then, define $g:[x,y]tomathbb R$ by

$$g(t)=f(t)-t$$

for any $tin [x,y]$. As $f$ is continuous on $[a,b]$ and $[x,y]subseteq [a,b]$, $g$ is continuous on $[x,y]$. Also, you have $g(x)=f(x)-x=y-x>0$ and $g(y)=f(y)-y=x-y<0$ as $x<y$.

Thus, by the intermediate value theorem, there is a $sin (x,y)$ such that $g(s)=0$, i.e. $f(s)=s$.

share|cite|improve this answer

answered 1 hour ago

blubblub

3,231829

$endgroup$

add a comment | 

7

$begingroup$

Without loss of generality you can assume that $x < y$. Now consider $g(t) = f(t) - t$ not on the entire interval $[a, b]$ but only on $[x, y]$.

Then $ g(x) = y- x$ and $g(y) = x-y$ have opposite sign, so that you can apply the intermediate value theorem.

Note also that I have chosen a different variable name ($t$ instead of $x$) for defining $g$, in order to avoid confusion between that variable and the given (fixed) value $x$.

share|cite|improve this answer

edited 1 hour ago

answered 1 hour ago

Martin RMartin R

30.8k33560

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



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178253%2fshow-a-continuous-function-with-fx-y-and-fy-x-has-a-fixed-point%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

2

$begingroup$

You've essentially stated the argument. But, rather restrict $f$ to $[x,y]$ (where w.l.o.g $x<y$). Then, define $g:[x,y]tomathbb R$ by

$$g(t)=f(t)-t$$

for any $tin [x,y]$. As $f$ is continuous on $[a,b]$ and $[x,y]subseteq [a,b]$, $g$ is continuous on $[x,y]$. Also, you have $g(x)=f(x)-x=y-x>0$ and $g(y)=f(y)-y=x-y<0$ as $x<y$.

Thus, by the intermediate value theorem, there is a $sin (x,y)$ such that $g(s)=0$, i.e. $f(s)=s$.

share|cite|improve this answer

answered 1 hour ago

blubblub

3,231829

$endgroup$

add a comment | 

2

$begingroup$

You've essentially stated the argument. But, rather restrict $f$ to $[x,y]$ (where w.l.o.g $x<y$). Then, define $g:[x,y]tomathbb R$ by

$$g(t)=f(t)-t$$

for any $tin [x,y]$. As $f$ is continuous on $[a,b]$ and $[x,y]subseteq [a,b]$, $g$ is continuous on $[x,y]$. Also, you have $g(x)=f(x)-x=y-x>0$ and $g(y)=f(y)-y=x-y<0$ as $x<y$.

Thus, by the intermediate value theorem, there is a $sin (x,y)$ such that $g(s)=0$, i.e. $f(s)=s$.

share|cite|improve this answer

answered 1 hour ago

blubblub

3,231829

$endgroup$

add a comment | 

$begingroup$

You've essentially stated the argument. But, rather restrict $f$ to $[x,y]$ (where w.l.o.g $x<y$). Then, define $g:[x,y]tomathbb R$ by

$$g(t)=f(t)-t$$

for any $tin [x,y]$. As $f$ is continuous on $[a,b]$ and $[x,y]subseteq [a,b]$, $g$ is continuous on $[x,y]$. Also, you have $g(x)=f(x)-x=y-x>0$ and $g(y)=f(y)-y=x-y<0$ as $x<y$.

Thus, by the intermediate value theorem, there is a $sin (x,y)$ such that $g(s)=0$, i.e. $f(s)=s$.

share|cite|improve this answer

answered 1 hour ago

blubblub

3,231829

$endgroup$

share|cite|improve this answer

answered 1 hour ago

blubblub

3,231829

answered 1 hour ago

blubblub

3,231829

answered 1 hour ago

blubblub

3,231829

7

$begingroup$

Without loss of generality you can assume that $x < y$. Now consider $g(t) = f(t) - t$ not on the entire interval $[a, b]$ but only on $[x, y]$.

Then $ g(x) = y- x$ and $g(y) = x-y$ have opposite sign, so that you can apply the intermediate value theorem.

Note also that I have chosen a different variable name ($t$ instead of $x$) for defining $g$, in order to avoid confusion between that variable and the given (fixed) value $x$.

share|cite|improve this answer

edited 1 hour ago

answered 1 hour ago

Martin RMartin R

30.8k33560

$endgroup$

add a comment | 

7

$begingroup$

Without loss of generality you can assume that $x < y$. Now consider $g(t) = f(t) - t$ not on the entire interval $[a, b]$ but only on $[x, y]$.

Then $ g(x) = y- x$ and $g(y) = x-y$ have opposite sign, so that you can apply the intermediate value theorem.

Note also that I have chosen a different variable name ($t$ instead of $x$) for defining $g$, in order to avoid confusion between that variable and the given (fixed) value $x$.

share|cite|improve this answer

edited 1 hour ago

answered 1 hour ago

Martin RMartin R

30.8k33560

$endgroup$

add a comment | 

$begingroup$

Without loss of generality you can assume that $x < y$. Now consider $g(t) = f(t) - t$ not on the entire interval $[a, b]$ but only on $[x, y]$.

Then $ g(x) = y- x$ and $g(y) = x-y$ have opposite sign, so that you can apply the intermediate value theorem.

Note also that I have chosen a different variable name ($t$ instead of $x$) for defining $g$, in order to avoid confusion between that variable and the given (fixed) value $x$.

share|cite|improve this answer

edited 1 hour ago

answered 1 hour ago

Martin RMartin R

30.8k33560

$endgroup$

share|cite|improve this answer

edited 1 hour ago

answered 1 hour ago

Martin RMartin R

30.8k33560

answered 1 hour ago

Martin RMartin R

30.8k33560

answered 1 hour ago

Martin RMartin R

30.8k33560