Bourbaki

Exercise 8, § 4

General Topology, X, p. 56

Let (Xi)1≤i≤n(X_i)_{1 \leq i \leq n} be a finite family of compact spaces, X=∏i=1nXiX = \prod_{i=1}^{n} X_i their product, and for each index i, let A_i be a closed subset of X_i. Prove that every continuous numerical function in X which is zero in the union of the sets A_i × ∏j≠iXj\prod_{j \neq i} X_j (1 ≤ i ≤ n) can be uniformly approximated by sums of a finite number of functions of the form

(x1,...,xn)↦u1(x1)...un(xn),(x_1, ..., x_n) \mapsto u_1(x_1)...u_n(x_n),

where for each index i, u_i is a continuous numerical function in X_i and zero in A_i.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.