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
We prove this by contradiction. Assume $S$ is not finite. Since $S \subset [0,1]$, $S$ is bounded and hence it must have a converging subsequence. So there exists $x_n \in S$ such that
\[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](https://matchmaticians.com/storage/user/100028/thumb/matchmaticians-3empnt-file-5-avatar-512.jpg)
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
- 879 views
- $10.00
Related Questions
- Prove that $\int_0^1 \left| \frac{f''(x)}{f(x)} \right| dx \geq 4$, under the given conditions on $f(x)$
- Sigma-Algebra Generated by Unitary Subsets and Its Measurable Functions
- Prove Holder-continuity for $\mu_\lambda (x) = \sum\limits_{n=1}^\infty \frac{ \cos(2^n x)}{2^{n \lambda} }$
- Banach fixed-point theorem and the map $Tf(x)=\int_0^x f(s)ds $ on $C[0,1]$
- Convergence and Integrability of Function Series in Measure Spaces and Applications to Series Expansion Integrals
- Probability/Analysis Question
- Let $(X, ||\cdot||)$ be a normed space. Let $\{x_n\}$ and $\{y_n\}$ be two Cauchy sequences in X. Show that the seqience Show that the sequence $λ_n = ||x_n − y_n|| $ converges.
- real analysis