# Assume there is no $x ∈ R$ such that $f(x) = f'(x) = 0$. Show that $$S =\{x: 0≤x≤1,f(x)=0\}$$ is finite.

## Answer

\[f(x_n)=0,\]

and $\lim_{n\rightarrow \infty} x_n=x_0 \in [0,1]$ with $x_n \neq x_0$. Since $f$ is continuous,

\[f(x_0)=\lim_{n\rightarrow \infty} f(x_n)= \lim_{n\rightarrow \infty} 0=0.\]

Thus

\[f'(x_0)=\lim_{x \rightarrow x_0}\frac{f(x)-f(x_0)}{x-x_0}=\lim_{n \rightarrow \infty}\frac{f(x_n)-f(x_0)}{x_n-x_0}\]

\[=\lim_{n \rightarrow \infty}\frac{0-0}{x_n-x_0}=0.\]

Hence $f(x_0)=f'(x_0)=0$, $x_0 \in [0,1]$ which is a contradiction. So $S$ must be finite.

Erdos

4.7K

The answer is accepted.

Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.

- answered
- 809 views
- $10.00

### Related Questions

- Subsets and Sigma Algebras: Proving the Equality of Generated Sigma Algebras
- A lower bound
- Prove that $\int_0^1 \left| \frac{f''(x)}{f(x)} \right| dx \geq 4$, under the given conditions on $f(x)$
- What is the Lebesgue density of $A$ and $B$ which answers a previous question?
- Math and graph representing a competitive struggle between competitors with a fixed number of supporters.
- Is it true almost all Lebesgue measurable functions are non-integrable?
- Let $f\in C (\mathbb{R})$ and $f_n=\frac{1}{n}\sum\limits_{k=0}^{n-1} f(x+\frac{k}{n})$. Prove that $f_n$ converges uniformly on every finite interval.
- Sigma-Algebra Generated by Unitary Subsets and Its Measurable Functions