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

#### 3 Answered Questions

### [SOLVED] What can we conclude from $f(x+y)+f(x-y)=f(xy)$?

**2019-05-28 15:02:20****tatan****73**View**3**Score**3**Answer- Tags: real-analysis calculus

#### 2 Answered Questions

### Functional Equation Problems

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

#### 4 Answered Questions

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

**2015-04-14 08:42:20****A Googler****2900**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****1373**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****343**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****102**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****1848**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****422**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****478**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.