Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

I am trying to prove that: Given an $f:\mathbb{R} \rightarrow \mathbb{R}$, if $f(f(x))=-x$ then $f$ is not continuous?

any help?

Thank you!

share|cite|improve this question

marked as duplicate by Martin Sleziak, Davide Giraudo, Daryl, TZakrevskiy, some1.new4u Dec 11 '13 at 23:07

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

I have found that $f \circ f = f^{-1} \circ f^{-1}$ and that $f^{-1} \circ f (x) = f^{-1} (-x)$. Also tried to check weather this is something about $f$ being odd or even. also found out that $f \circ f \circ f \circ f = id$. nothing helps – user83081 Nov 29 '13 at 17:33
I suspect that a contradiction is to be found in reasoning about where $f$ is positive, negative, and where it crosses $0$. – Karolis Juodelė Nov 29 '13 at 17:36

First, $f$ is a bijection, since otherwise we would have for $x \neq y$, $f(x)=f(y)$ then $-x=f(f(x))=f(f(y))=-y$, contradiction.

Now, a continuous bijection from $\mathbb{R}$ to $\mathbb{R}$ is monotone.

Let's pretend it's increasing, and $x<y$. Then $f(x)<f(y)$, and $f(f(x))<f(f(y))$ thus $-x<-y$ and $x>y$, contradiction.

Thus it must be decreasing, but then, for $x<y$, $f(x)>f(y)$, then $f(f(x))<f(f(y))$, thus $-x<-y$, and $x>y$. Again a contradiction.

Therefore, your function cannot be continuous.

share|cite|improve this answer
+1, but where did you use continuity? – hhsaffar Nov 29 '13 at 17:42
is there a non-continuous function with this property? – hhsaffar Nov 29 '13 at 17:43
Sorry, a continuous bijection from R to R is monotone. Thanks Mark to have corrected, I typed a bit too fast. ;-) – Jean-Claude Arbaut Nov 29 '13 at 17:44
Got it, Thanks a lot!! – user83081 Nov 29 '13 at 19:02

The general argument goes like this.

[assertion 1] Given any two functions $\varphi : U \to V, \psi : V \to W$, we know:

  • If $\psi \circ \varphi$ is injective, then $\varphi$ is injective.
  • If $\psi \circ \varphi$ is surjective, then $\psi$ is surjective.

    So for any $f : \mathbb{R} \to \mathbb{R}$ such that $f(f(x)) = -x$, $f \circ f$ bijective implies $f$ bijective.

[assertion 2] If $f$ is continuous and bijective, then it will either be a strictly monotonic increasing or a strictly monotonic decreasing function.

[assertion 3] In both cases, $f\circ f$ will be strictly monotonic increasing.

[conclusion] Since the function $x \mapsto -x$ isn't, $f$ cannot be continuous.

The same argument shows that for any $g : \mathbb{R} \to \mathbb{R}$, if $g \circ g$ is strictly montonic decreasing and bijective, then $g$ cannot be continuous.

Can you convince yourselves why assertions 1, 2, 3 are true?

share|cite|improve this answer
The only part that needs some work is [2], but it's rather easy with Intermediate value theorem: suppose $f$ is not monotone nor constant, then there are values $a<b<c$ s.t. $f(a)<f(b)$ and $f(b)>f(c)$ (or the other way around), so with $u=\max(f(a),f(c))$ and $v=f(b)$, any value in $]u,v[$ is the image of (at least) two numbers, $x_1 \in ]a,b[$ and $x_2 \in ]b,c[$, thus it can't be a bijection, contradiction. – Jean-Claude Arbaut Nov 29 '13 at 17:52
Yes, if $\phi$ is not injective, this will contradict $\psi \circ \phi$ injectivness and if if $psi$ is not surjective, this will contradict $\psi \circ \phi$ surjectivness. monotine is indeed from intermidiate theorem, 3 we get from submitting $f$ as $\phi$ or $\psi$. Than you!! – user83081 Nov 29 '13 at 19:09

Not the answer you're looking for? Browse other questions tagged or ask your own question.