2
$\begingroup$

Let $f(x)$ be a continuous real function s.t $f(x_0) > 0$

Prove: There is some interval of the form $(x_0 -\delta, x_0 + \delta)$ where $f$ is positive.

Proof:

Since $f$ is continuous: $\forall \,{\epsilon > 0}\,\, \exists \,{\delta>0}$ s.t. $|x- x_0|<\delta \implies |f(x) - f(x_0)| < \epsilon$

By contradiction suppose there is no interval $(x_0 - \delta, x_0 + \delta)$ where $f(x)$ is positive. This means that $f(x_0) - \epsilon < f(x) < f(x_0) + \epsilon < 0$. Hence we have a contradiction since $\epsilon$ and $f(x_0)$ are both greater than zero.

  1. Is this correct?
  2. Could someone provide a non-contradiction proof?
  • 0
    It is not a proof. For a while you might try to use fewer logical symbols. The idea is simple. We have $f(x_0)=b\gt 0$. If $x$ is close enough to $x_0$, then $f(x)$ is very close to $b$ and therefore positive. More formally, pick $\epsilon=b/2$, say. Then there is a $\delta$ such that if $|x-x_0|\lt \delta$, then $|f(x)-b|\lt b/2$, and therefore by Triangle Inequality $f(x)\gt b-b/2\gt 0$. Note how the formal stuff comes from the geometry.2012-10-27

2 Answers 2

4

Your proof by contradiction is incorrect. Specifically, the following statements are incorrect.

This means that $f(x_0) - \epsilon < f(x) < f(x_0) + \epsilon < 0$. Hence we have a contradiction since $\epsilon$ and $f(x_0)$ are both greater than zero.

You can argue by contradiction but what you have is not the right proof.

A direct proof is simple for this case. Choose $\epsilon = f(x_0)$ in your continuity criterion to get your $\delta$.

Now $f(x) > 0$ for $x \in (x_0 - \delta, x_0 + \delta)$

  • 0
    Ahhh yes, I mixed up my $x$ and $y$ axis' pretty bad...2012-10-27
3

Choose $\epsilon = \frac{f(x_0)}{2}> 0$. Then there exists a $\delta>0$ such that for $|x-x_0| < \delta$, $|f(x)-f(x_0)| < \epsilon = \frac{f(x_0)}{2}$. Then $-\frac{f(x_0}{2} < f(x)-f(x_0)$ from which we get $0 < \frac{f(x_0)}{2} < f(x)$ for all $x$ such that $|x-x_0| < \delta$.

Alternatively, a proof by contradiction is straightforward as well:

Suppose on every interval of the form $I_\delta = (x_0-\delta, x_0+\delta)$, there is some $x \in I_\delta$ such that $f(x) \leq 0$. Then choose $\delta = \frac{1}{n}$ and let $x_n $ be the corresponding $x \in I_{\frac{1}{n}}$. Then clearly $x_n \to x_0$, and since $f$ is continuous, $f(x_n) \to f(x_0) >0$ which contradicts $f(x_n) \leq 0$.