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.

### Related Questions

#### Sponsored Content

#### 2 Answered Questions

### Functional Equation Problems

**2017-06-22 11:33:41****hoento****75**View**1**Score**2**Answer- Tags: functional-equations

#### 1 Answered Questions

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

**2018-09-29 01:25:34****StammeringMathematician****48**View**1**Score**1**Answer- Tags: real-analysis continuity

#### 4 Answered Questions

### [SOLVED] Are all continuous one one functions differentiable?

**2015-04-14 08:42:20****A Googler****2851**View**14**Score**4**Answer- Tags: calculus functions derivatives

#### 1 Answered Questions

### [SOLVED] What are all continuous functions $f:[a,b] \to \mathbb{R}$ such that $\int_a^b f = sup_{[a,b]} f$

**2017-01-29 00:27:29****oliverjones****50**View**2**Score**1**Answer- Tags: real-analysis integration continuity

#### 1 Answered Questions

### [SOLVED] Showing the existence of a continuous, strictly increasing function $f$ on $\mathbb{R}$ such that $f'(x) = 0$ almost everywhere

**2014-04-26 19:52:22****user1770201****1315**View**7**Score**1**Answer- Tags: real-analysis analysis

#### 2 Answered Questions

### [SOLVED] Find the points where the function is continuous

**2015-01-28 00:57:56****Lucy****327**View**0**Score**2**Answer- Tags: real-analysis continuity

#### 2 Answered Questions

### [SOLVED] Real Analysis Continuous Function Problem

**2014-05-02 12:11:47****user10024395****94**View**2**Score**2**Answer- Tags: real-analysis continuity

#### 1 Answered Questions

### [SOLVED] Existence of a Strictly Increasing, Continuous Function whose Derivative is 0 a.e. on $\mathbb{R}$

**2012-12-19 22:15:04****user1770201****1798**View**9**Score**1**Answer- Tags: real-analysis measure-theory

#### 1 Answered Questions

### [SOLVED] Suppose a function $f : \mathbb{R}\rightarrow \mathbb{R}$ satisfies $f(f(f(x)))=x$ for all $x$ belonging to $\mathbb{R}$.

**2014-04-18 09:12:22****A.Chakraborty****398**View**4**Score**1**Answer- Tags: functions functional-equations

#### 1 Answered Questions

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

**2012-05-07 14:49:21****Patrova****474**View**0**Score**1**Answer- Tags: real-analysis functional-equations

## 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.