Lemma 1
Tag 0CF3, permanent. Cite it as [Bourbaki, Tag 0CF3].
General Topology, chapter X, § 4. Approximation of continuous real-valued functions
For each real number and each compact interval there exists a polynomial with no constant term such that for all .
It is enough to prove the lemma for an interval of the form and hence, replacing by , for the interval . Since , Lemma 1 is a consequence of the following result:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.