Corollary 1
Tag 0CFB, permanent. Cite it as [Bourbaki, Tag 0CFB].
General Topology, chapter X, § 4. Approximation of continuous real-valued functions
If is a compact subset of the space , then every continuous mapping of into a normed space over the field can be uniformly approximated by polynomials in the and with coefficients in .
We shall see later that in general it is not possible to approximate uniformly by polynomials (with coefficients in ) in the variables alone, even if .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.