$f(f(f(x)))=x,$ but $f(x)neq x$
$begingroup$
Let $f: mathbb{R}to mathbb{R}$ be strictly increasing function such that $f(f(f(x)))=x$ then by this $f(x)=x.$ Does the result fail if we drop the hypothesis that f is strictly increasing?
I find such an example if I change the domain and codomain to $mathbb{R}^2$ and $f=rotation by 120^o,$ but could not think of a map from $mathbb{R}to mathbb{R}.$
Any help is appreciated.
real-analysis functions
$endgroup$
add a comment |
$begingroup$
Let $f: mathbb{R}to mathbb{R}$ be strictly increasing function such that $f(f(f(x)))=x$ then by this $f(x)=x.$ Does the result fail if we drop the hypothesis that f is strictly increasing?
I find such an example if I change the domain and codomain to $mathbb{R}^2$ and $f=rotation by 120^o,$ but could not think of a map from $mathbb{R}to mathbb{R}.$
Any help is appreciated.
real-analysis functions
$endgroup$
add a comment |
$begingroup$
Let $f: mathbb{R}to mathbb{R}$ be strictly increasing function such that $f(f(f(x)))=x$ then by this $f(x)=x.$ Does the result fail if we drop the hypothesis that f is strictly increasing?
I find such an example if I change the domain and codomain to $mathbb{R}^2$ and $f=rotation by 120^o,$ but could not think of a map from $mathbb{R}to mathbb{R}.$
Any help is appreciated.
real-analysis functions
$endgroup$
Let $f: mathbb{R}to mathbb{R}$ be strictly increasing function such that $f(f(f(x)))=x$ then by this $f(x)=x.$ Does the result fail if we drop the hypothesis that f is strictly increasing?
I find such an example if I change the domain and codomain to $mathbb{R}^2$ and $f=rotation by 120^o,$ but could not think of a map from $mathbb{R}to mathbb{R}.$
Any help is appreciated.
real-analysis functions
real-analysis functions
asked Jan 30 at 20:10
user345777user345777
432312
432312
add a comment |
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
Let $g:mathbb{R^1}tomathbb{R^2}$ be a one-to-one mapping (which exists, because both sets have the same cardinality). Now set $f=g^{-1}circ Fcirc g:mathbb{R}^1tomathbb{R}^1$, where $F$ is the rotation by $120^circ$. So the result is not true: this is the desired counterexample.
$endgroup$
2
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
add a comment |
$begingroup$
Define $f(0)=1, f(1)=2, f(2)=0$ and $f(x)=x$ for $x notin {0,1,2}$.
$endgroup$
add a comment |
$begingroup$
You can make $f$ act as a 3-cyclic permutation
$ f(x) = begin{cases}
0 & text{if $x = -1$ } \
1 &text{if $x = 0$} \
-1 &text{if $x = 1$} \
x &text{otherwise}
end{cases}$
I suppose it's also possible to make a continuous version of this.
$endgroup$
2
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
1
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
add a comment |
$begingroup$
If you allow yourself to consider the projective line (i.e., the reals with a point at infinity), then the function
$$
f(x) = frac{1}{1-x}
$$
is a nice continuous solution to the problem (although you have to make sense of "continuous" for this extended line). Pierre Samuel's book on Projective Geometry has a nice exposition of this around page 58.
(By the way, this answer was inspired by @DonaldSplutterwit's deleted answer, although I might have stumbled on it myself, since I've been thinking about projective geometry and looking at Samuel's book today anyhow. Thanks, Donald!)
$endgroup$
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
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%2f3094042%2ffffx-x-but-fx-neq-x%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $g:mathbb{R^1}tomathbb{R^2}$ be a one-to-one mapping (which exists, because both sets have the same cardinality). Now set $f=g^{-1}circ Fcirc g:mathbb{R}^1tomathbb{R}^1$, where $F$ is the rotation by $120^circ$. So the result is not true: this is the desired counterexample.
$endgroup$
2
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
add a comment |
$begingroup$
Let $g:mathbb{R^1}tomathbb{R^2}$ be a one-to-one mapping (which exists, because both sets have the same cardinality). Now set $f=g^{-1}circ Fcirc g:mathbb{R}^1tomathbb{R}^1$, where $F$ is the rotation by $120^circ$. So the result is not true: this is the desired counterexample.
$endgroup$
2
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
add a comment |
$begingroup$
Let $g:mathbb{R^1}tomathbb{R^2}$ be a one-to-one mapping (which exists, because both sets have the same cardinality). Now set $f=g^{-1}circ Fcirc g:mathbb{R}^1tomathbb{R}^1$, where $F$ is the rotation by $120^circ$. So the result is not true: this is the desired counterexample.
$endgroup$
Let $g:mathbb{R^1}tomathbb{R^2}$ be a one-to-one mapping (which exists, because both sets have the same cardinality). Now set $f=g^{-1}circ Fcirc g:mathbb{R}^1tomathbb{R}^1$, where $F$ is the rotation by $120^circ$. So the result is not true: this is the desired counterexample.
answered Jan 30 at 20:19
VladimirVladimir
5,413618
5,413618
2
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
add a comment |
2
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
2
2
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
Do you mean one-to-one and onto? Otherwise $g^{-1}$ doesn't make sense
$endgroup$
– leibnewtz
Jan 30 at 20:27
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
$begingroup$
@leibnewtz Yes, sure.
$endgroup$
– Vladimir
Jan 30 at 20:30
add a comment |
$begingroup$
Define $f(0)=1, f(1)=2, f(2)=0$ and $f(x)=x$ for $x notin {0,1,2}$.
$endgroup$
add a comment |
$begingroup$
Define $f(0)=1, f(1)=2, f(2)=0$ and $f(x)=x$ for $x notin {0,1,2}$.
$endgroup$
add a comment |
$begingroup$
Define $f(0)=1, f(1)=2, f(2)=0$ and $f(x)=x$ for $x notin {0,1,2}$.
$endgroup$
Define $f(0)=1, f(1)=2, f(2)=0$ and $f(x)=x$ for $x notin {0,1,2}$.
answered Jan 30 at 20:23
VincentVincent
1,067614
1,067614
add a comment |
add a comment |
$begingroup$
You can make $f$ act as a 3-cyclic permutation
$ f(x) = begin{cases}
0 & text{if $x = -1$ } \
1 &text{if $x = 0$} \
-1 &text{if $x = 1$} \
x &text{otherwise}
end{cases}$
I suppose it's also possible to make a continuous version of this.
$endgroup$
2
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
1
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
add a comment |
$begingroup$
You can make $f$ act as a 3-cyclic permutation
$ f(x) = begin{cases}
0 & text{if $x = -1$ } \
1 &text{if $x = 0$} \
-1 &text{if $x = 1$} \
x &text{otherwise}
end{cases}$
I suppose it's also possible to make a continuous version of this.
$endgroup$
2
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
1
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
add a comment |
$begingroup$
You can make $f$ act as a 3-cyclic permutation
$ f(x) = begin{cases}
0 & text{if $x = -1$ } \
1 &text{if $x = 0$} \
-1 &text{if $x = 1$} \
x &text{otherwise}
end{cases}$
I suppose it's also possible to make a continuous version of this.
$endgroup$
You can make $f$ act as a 3-cyclic permutation
$ f(x) = begin{cases}
0 & text{if $x = -1$ } \
1 &text{if $x = 0$} \
-1 &text{if $x = 1$} \
x &text{otherwise}
end{cases}$
I suppose it's also possible to make a continuous version of this.
answered Jan 30 at 20:27
Marco All-in NervoMarco All-in Nervo
254210
254210
2
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
1
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
add a comment |
2
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
1
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
2
2
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Continuous is not possible, because then f would be increasing.
$endgroup$
– user345777
Jan 30 at 20:29
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
$begingroup$
Sorry, it was a stupid guess. Can I ask you why it would be increasing?
$endgroup$
– Marco All-in Nervo
Jan 30 at 20:33
1
1
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
$begingroup$
Agree with @user345777 $f$ is obviously a bijection. A continuous bijection from $Bbb{R}$ to itself is either increasing or decreasing. The 3-fold iteration of a decreasing function is itself decreasing which is absurd. So it must increasing and that case has been handled.
$endgroup$
– Jyrki Lahtonen
Jan 30 at 20:34
add a comment |
$begingroup$
If you allow yourself to consider the projective line (i.e., the reals with a point at infinity), then the function
$$
f(x) = frac{1}{1-x}
$$
is a nice continuous solution to the problem (although you have to make sense of "continuous" for this extended line). Pierre Samuel's book on Projective Geometry has a nice exposition of this around page 58.
(By the way, this answer was inspired by @DonaldSplutterwit's deleted answer, although I might have stumbled on it myself, since I've been thinking about projective geometry and looking at Samuel's book today anyhow. Thanks, Donald!)
$endgroup$
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
add a comment |
$begingroup$
If you allow yourself to consider the projective line (i.e., the reals with a point at infinity), then the function
$$
f(x) = frac{1}{1-x}
$$
is a nice continuous solution to the problem (although you have to make sense of "continuous" for this extended line). Pierre Samuel's book on Projective Geometry has a nice exposition of this around page 58.
(By the way, this answer was inspired by @DonaldSplutterwit's deleted answer, although I might have stumbled on it myself, since I've been thinking about projective geometry and looking at Samuel's book today anyhow. Thanks, Donald!)
$endgroup$
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
add a comment |
$begingroup$
If you allow yourself to consider the projective line (i.e., the reals with a point at infinity), then the function
$$
f(x) = frac{1}{1-x}
$$
is a nice continuous solution to the problem (although you have to make sense of "continuous" for this extended line). Pierre Samuel's book on Projective Geometry has a nice exposition of this around page 58.
(By the way, this answer was inspired by @DonaldSplutterwit's deleted answer, although I might have stumbled on it myself, since I've been thinking about projective geometry and looking at Samuel's book today anyhow. Thanks, Donald!)
$endgroup$
If you allow yourself to consider the projective line (i.e., the reals with a point at infinity), then the function
$$
f(x) = frac{1}{1-x}
$$
is a nice continuous solution to the problem (although you have to make sense of "continuous" for this extended line). Pierre Samuel's book on Projective Geometry has a nice exposition of this around page 58.
(By the way, this answer was inspired by @DonaldSplutterwit's deleted answer, although I might have stumbled on it myself, since I've been thinking about projective geometry and looking at Samuel's book today anyhow. Thanks, Donald!)
edited Jan 30 at 22:30
answered Jan 30 at 20:34
John HughesJohn Hughes
65.2k24293
65.2k24293
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
add a comment |
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
$begingroup$
Then you could "cram $infty$ into $mathbb{R}$" using a variant of the infinite hotel paradox if you really wanted to, and then apply the same sort of construction as in Vladimir's solution. Of course, that won't result in a continuous function $mathbb{R} to mathbb{R}$.
$endgroup$
– Daniel Schepler
Jan 30 at 20:41
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%2f3094042%2ffffx-x-but-fx-neq-x%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