By Sikhanyiso


2012-05-05 08:20:47 8 Comments

Let $g$ be a function on $\mathbb R$ to $\mathbb R$ which is not identically zero and which satisfies the equation $g(x+y)=g(x)g(y)$ for $x$,$y$ in $\mathbb R$.

$g(0)=1$. If $a=g(1)$,then $a>0$ and $g(r)>a^r$ for all $r$ in $\mathbb Q$.

Show that the function is strictly increasing if $g(1)$ is greater than $1$, constant if $g(1)$ is equal to $1$ or strictly decreasing if $g(1)$ is between zero and one, when $g$ is continuous.

1 comments

@bgins 2012-05-05 09:29:18

For $x,y\in\mathbb{R}$ and $m,n\in\mathbb{Z}$, $$ \eqalign{ g(x+y)=g(x)\,g(y) &\implies g(x-y)={g(x) \over g(y)} \\&\implies g(nx)=g(x)^n \\&\implies g\left(\frac{m}nx\right)=g(x)^{m/n} } $$ so that $g(0)=g(0)^2$ must be one (since if it were zero, then $g$ would be identically zero on $\mathbb{R}$), and with $a=g(1)$, it follows that $g(r)=a^r$ for all $r\in\mathbb{Q}$. All we need to do now is invoke the continuity of $g$ and the denseness of $\mathbb{Q}$ in $\mathbb{R}$ to finish.

For example, given any $x\in\mathbb{R}\setminus\mathbb{Q}$, there exists a sequence $\{x_n\}$ in $\mathbb{Q}$ with $x_n\to x$ (you could e.g. take $x_n=10^{-n}\lfloor 10^nx\rfloor$ to be the approximation of $x$ to $n$ decimal places -- this is where we're using that $\mathbb{Q}$ is dense in $\mathbb{R}$). Since $g$ is continuous, $y_n=g(x_n)\to y=g(x)$. But $y_n=a^{x_n}\to a^x$ since $a\mapsto a^x$ is also continuous.

Moral: a continuous function is completely determined by its values on any dense subset of the domain.

Related Questions

Sponsored Content

2 Answered Questions

Functional Equation Problems

1 Answered Questions

Show that function is injective and surjective using given condition on $f$

4 Answered Questions

[SOLVED] Are all continuous one one functions differentiable?

2 Answered Questions

[SOLVED] Find the points where the function is continuous

2 Answered Questions

[SOLVED] Real Analysis Continuous Function Problem

1 Answered Questions

1 Answered Questions

Functional equation $g(x+y) = g(x)g(y)$

Sponsored Content