Proposition 8
Tag 0CFD, permanent. Cite it as [Bourbaki, Tag 0CFD].
General Topology, chapter X, § 4. Approximation of continuous real-valued functions
Let P be the set of all periodic continuous mappings of into whose group of periods contains . Then every function belonging to P can be uniformly approximated in by linear combinations, with complex coefficients, of functions of the form
where the are rational integers (such linear combinations are called trigonometric polynomials in m variables).
We have only to observe that P (endowed with the topology of uniform convergence) is canonically isomorphic to the space of all continuous mappings of the compact space into (Chapter VII, § 1, no. 6), and apply Proposition 7 to the set of mappings of into which correspond to the m mappings of into .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.