Intereting Posts

Arrangement of $100$ points inside $13\times18$ rectangle
Infinite Degree Algebraic Field Extensions
Open Problems in Convex Analysis and Convex Optimization
Who first discovered that some R.E. sets are not recursive?
How do you determine if a point sits inside a polygon?
Geodesics on the torus
Dealing with integrals of the form $\int{e^x(f(x)+f'(x))}dx$
Divisor in $\mathbb{C}$ $\implies$ divisor in $\mathbb{R}$?
Prove the inequality $n! \geq 2^n$ by induction
How to prove that this series is a metric: $d(x,y):=\sum_{i=0}^\infty \frac{|x_i -y_i|}{2^i (1+|x_i-y_i|)}$
How prove this inequality
Steiner symmetrization preserves area?
Complex part of a contour integration not using contour integration
Some pecular fractional integrals/derivatives of the natural logarithm
Defining the Product of Ideals

Let $f$ belong to $ C^{\infty}[0,1]$ and for each $x \in [0,1]$ there exists $n \in \mathbb{N}$ so that

$f^{(n)}(x)=0$. Prove that $f$ is a polynomial in $[0,1]$.

I am trying to use Baire Category Theorem , but cannot perfectly complete the proof .

Thanks for any help.

- A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem
- Prove: $f: \mathbb{R} \rightarrow \mathbb{R}$ st for every $x \in \mathbb{R}$ there exists $n$ st $f^{(n)}(x) = 0$, f is a polynomial.
- Baire: Show that $f\colon \mathbb{R}\to\mathbb{R}$ is a polynomial in an open bounded set
- Infinite intersection between a arbitrary set of integers and a set of floor powers
- About Baire's Category Theorem(BCT)
- Diophantine number has full measure but is meager

- History of $f \circ g$
- Relation between differentiable,continuous and integrable functions.
- Why do I get an imaginary result for the cube root of a negative number?
- Difference between functional and function.
- Is this function injective and surjective?
- Characterizing bell-shaped curves
- A problem on functional equation $f(x+y)=f(x)f(y)$
- Continuous $f$ such that the set of translates of multiples of $f$ is a vector space of dimension two
- Proof of linear independence of $e^{at}$
- Simple way to understand what derivative is

Look at Andrea Ferretti’s solution or Andrey Gogolev’s one at MathOverflow.

In the latest, we argue by contradiction. The set $X$ is the points $x$ such that for all $a<b$, the restriction of $f$ to $(a,b)$ is not an polynomial if $x\in (a,b)$. It doesn’t contain an isolated point (if $x_0$ were such a point, there would be $r>0$ such that if $|x-x_0|<r$, and $x\neq x_0$, then $x\notin X$). Let $x$ such a point, and $f$ restricted to $(a,b)$ is not a polynomial, $x\in (a,b)$. But there is an open interval $I$ containing $x_0$ and $(a,b)$, and since $x_0\in X$, $f$ restricted to this interval is a polynomial, a contradiction.

$X$ is closed, as if $x_n\to x$, $x_n\in X$ for all $n$, take $(a,b)$ containing $x$. Then it contains a $x_n$ for some $n$. So $x_n\in (a,b)$ and $f$ restricted to this interval is a polynomial.

- Analytical Expression to find the Shortest Distance between Two Ellipses?
- Doubt in Scheffe's Lemma
- Can we characterize the Möbius transformations that maps the unit circle into itself?
- Improper integral $sin(x)/x $ converges absolutely, conditionaly or diverges?
- Proof of equivalence of algebraic and geometric dot product?
- Determine if the following series are convergent or divergent?
- Showing that the intersection of all subgroups of order $n$ is normal
- Proof of uniform convergence and continuity
- Show that $C_1= [\frac{k}{2^n},\frac{k+1}{2^n})$ generates the Borel σ-algebra on R.
- Inequality with Complex Numbers
- Modular interpretation of modular curves
- Angle between 2 points
- Bounding the integral $\int_{2}^{x} \frac{\mathrm dt}{\log^{n}{t}}$
- Understanding positive definite kernel
- Is my proof correct? ($A_n$ is generated by the set of all 3-cycles for $n \geq 3$)