Identity function

Real Analysis
Post Reply
User avatar
Grigorios Kostakos
Founder
Founder
Posts: 461
Joined: Mon Nov 09, 2015 1:36 am
Location: Ioannina, Greece

Identity function

#1

Post by Grigorios Kostakos »

Let $h\,:\mathbb{R}\longrightarrow\mathbb{R}$ be a function defined and valued in all real numbers, strictly increasing and continuous. We define the functions $h^{[n]}:\mathbb{R}\longrightarrow\mathbb{R}\,,\; {n}\in\mathbb{Z}$, as $$h^{[n]}(x)=\left\{{\begin{array}{ll}
\mathop{(\underbrace{h\circ{h}\circ\ldots\circ{h}})}\limits_{n\;{\text{times}}}(x)\,,&{n}\in\mathbb{Z}^{+}\\
x\,,&{n}=0\\
\mathop{(\underbrace{{h^{-1}\circ{h^{-1}}\circ\ldots\circ{h^{-1}}}})}\limits_{n\;{\text{times}}}(x)\,,&{n}\in\mathbb{Z}^{-}
\end{array}}\right.\,,$$ where $h^{-1}$ is the inverse function of $h$.
If
  1. for every $x\in\mathbb{R}$, there exists an non-negative number $c_x$, such that, for every ${n}\in\mathbb{Z}$, holds
    $$\left|{h^{[\rm{n+1}]}(x)-h^{[n]}(x)}\right|=c_x$$ and
  2. there exists $x_0\in\mathbb{R}$, such that $h(x_0)=x_0$,
prove that $h(x)=x$, for all $x\in\mathbb{R}$.
Grigorios Kostakos
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 6 guests