# set of all points where $|f(x)|>\epsilon$ is finite

$f:\mathbb{R}\rightarrow \mathbb{R}$ is function such that $\forall\epsilon>0$, the set $\{x:|f(x)|>\epsilon\}$ is finite. We need to show $\{x:f(x)=0\}$ is uncountable. Could any one give me hints?

Thank you

-

HINT: For each $n\in\Bbb Z^+$ let $A_n=\left\{x\in\Bbb R:|f(x)|>\frac1n\right\}$. Show that

$$\{x\in\Bbb R:f(x)\ne 0\}=\bigcup_{n\in\Bbb Z^+}A_n\;,$$

so that $\{x\in\Bbb R:f(x)\ne 0\}$ is a countable set.

-
Even $\bigcup A_n$ is countable, but we don't actually know how $f$ is defined, then how to conclude $\{x\in\mathbb{R}:f(x)=0\}$ is uncountable?it may be countable infinite. – Mathematics Nov 30 '12 at 14:19
I don;t quite get how you arrive the answer would you mind give more details? – Mathematics Nov 30 '12 at 15:34
@Mathematics: No, $\{x\in\Bbb R:f(x)=0\}$ can’t be countably infinite. If it were, $\Bbb R$ would be the union of two countable sets, $\{x\in\Bbb R:f(x)=0\}$ and $\{x\in\Bbb R:f(x)\ne 0\}$, and would therefore be countable, but we know that $\Bbb R$ is uncountable. – Brian M. Scott Nov 30 '12 at 19:13
o i didn't notic the absolute value taken on $f$. – Mathematics Dec 1 '12 at 2:55

$\left\{x:f(x)=0\right\}\\=\cap_{n=1}^\infty\left\{x:|f(x)|\leq\frac{1}{n}\right\}\\=\cap_{n=1}^\infty\left(\mathbb R- \left\{x:|f(x)|>\frac{1}{n}\right\}\right)\\=\mathbb R-\cup_{n=1}^\infty \left\{x:|f(x)|>\frac{1}{n}\right\},\text{an uncountable set.}$

-