Suppose that $f: \mathbb{R}^n \to \mathbb{R}$ is continuous at $P$. Can anyone help me prove that there is an open ball $B$ in $\mathbb{R}^n$ with center $P$ such that $f$ is bounded on $B$.
Continuous Function
-
1What's the definition of continuity you are using? – 2012-04-28
-
2Isn't that more-or-less exactly the definition of continuous? Let $\epsilon$ be whatever you like, find $\delta$ and let $B$ have radius $\delta$. Or have I missed something subtle? – 2012-04-28
-
1$f$ is actually bounded on every open ball (because it is bounded on every closed ball). – 2012-04-28
-
5He only stated continuity at a single point, so it is not necessarily bounded on any open ball. @MichaelGreinecker – 2012-04-28
-
0It's also clearly not "exactly the definition of continuity," since it is easy to find functions that satisfy this but are not continuous. It is, however, a direct consequence of the definition of continuity. @DavidWallace – 2012-04-28
-
0Sure. Read my "more-or-less" as "trivially consequent upon". – 2012-04-28
2 Answers
Proof:
Suppose that $f: \mathbb{R}^n \to \mathbb{R}$ is continuous at $P$. Thus, $ \lim_{x\to P}f(x) = f(P)$.
Let $\epsilon = 1 > 0$. Then, there is $\delta > 0$ such that when $x \in \mathbb{R}^n$ and $0 < \| x-P \| < \delta$ then, $|f(x) - f(P)| < 1$.
Then, $B(P, \delta) = $ {$x \in \mathbb{R}^n : \|x - P\| < \delta$ }.
So, if $x \in B(P, \delta)$, then $|f(x) - f(P)| < 1$.
Notice, $|f(x)| - |f(P)| \leq |f(x) - f(P)| < 1$. Hence, $|f(x)| < 1 + |f(P)|$.
Since, $f(P)$ is a constant in $\mathbb{R}$. Let $C = 1 + |f(P)|$. Then, $C \in \mathbb{R}$.
Therefore, we see for all $x \in B(P, \delta)$, we have $|f(x)| < C$.
Thus, there is an open ball $B$ with center $P$ such that $f$ is bounded on $B$.
-
0That was nicely done. – 2012-04-28
Let's suppose that $f(p)=0$ If it's not, you just take the function $g(x)=f(x)-f(p)$. If f is continuous in $0$, then for every $\epsilon >0$ there is a $\delta >0$ such that, if $|x-0|<\delta$ then $|f(x)-f(0)|<\epsilon$.
That is, $|x|<\delta\rightarrow |f(x)|<\epsilon$
Consider the ball $B$ of center $0$ and the previously obtained $\delta$ radius. Therefore, you have an open ball with center $P=0$ such that $f(x)$ is limited (by $\epsilon$) for every $x$ in it.
-
0You need to fix a value of $\epsilon$, here. Also, $f$ is continuous at $p$, not at $0$. – 2012-04-28
-
0Instead of $g(x) = f(x) - f(p)$, you should choose $g(x) = f(x-p)$. Then $g$ is continuous at $0$. You may then assume $g(0) = 0$, and then fix $\epsilon > 0$. There exists $\delta > 0$ so that $|x| < \delta$ $\Rightarrow$ $|g(x)| < \epsilon$. So there is an open ball centered at $0$ such that $|g(x)|< \epsilon$ (i.e. $g$ is bounded) on that ball. Unravel what we did, and you get continuity of $f$ at $p$ implies $f$ must be bounded on an open ball about $p$. – 2012-04-28