# Prove that the logarithmic function is continuous on R.

Portuga

## Homework Statement

Prove that $f\left(x\right)=\log_{a}x$ is continuous for all $\mathbb{R}$.

## Homework Equations

[/B]

I must find a $\delta>0\in\mathbb{R}$ for a given $\varepsilon>0$
such that
$$\left|x-x_{0}\right|<\delta\Rightarrow\left|\log_{a}x-\log_{a}x_{0}\right|<\varepsilon.$$

## The Attempt at a Solution

.[/B]

I tried to use a direct proof solving $\left|\log_{a}x-\log_{a}x_{0}\right|<\varepsilon$ for $x$. But this gives rise to a pair of values: $\delta=x_{0}\left(a^{\varepsilon}-1\right)$ and $\delta=x_{0}\left(a^{-\varepsilon}-1\right)$. When I use them to build $\left|x-x_{0}\right| < \delta$ from the inequality
$$-\delta<x-x_{0}<\delta$$
I see myself in big trouble, as there is no way to generate $\left|\log_{a}x-\log_{a}x_{0}\right| < \varepsilon$.

Can someone give me a hint, or a new strategy? I have searched for help in other forums, but hints are very sophisticated to follow.

Staff Emeritus
Homework Helper
Gold Member
2021 Award
How do you expect a function that is not defined at ##x =0## to be continuous on the entire real line?

Portuga
Portuga
How do you expect a function that is not defined at ##x =0## to be continuous on the entire real line?
Oh, sorry, I forgot it! Continuous for all $x>0$.

Mentor
2021 Award
Why don't you try and see where ##\log x - \log x_0 = \log \frac{x}{x_0}## gets you? Those proofs can often be done by writing it the wrong way and start with ##|f(x)-f(x_0)| < \varepsilon## to obtain a condition for ##\delta## to get an idea and then turn the estimations, resp. conclusions around.

Homework Helper
You have solved $$-\epsilon < \log_a (x/x_0) < \epsilon$$ correctly to get $$x_0(a^{-\epsilon} - 1) < x - x_0 < x_0(a^{\epsilon} - 1),$$ but the interval is not symmetric about zero.

In this situation the closest end point to zero gives you your $\delta$. For suppose $-b < x - x_0 < c$ for strictly positive $b$ and $c$. If $b < c$ then $|x - x_0| < b$ implies $-b < x - x_0 < b < c$ as required; alternatively if $b > c$ then $|x - x_0| < c$ implies $-b < -c < x - x_0 < c$, again as required.

Portuga
Thank you very much, pasmith! I was so close to the answer!! Now I understand. Thank you very much.