7
$\begingroup$

Let $X$ and $Y$ be compact metric spaces. I am trying to prove that if $f \in C(X \times Y)$ and $\varepsilon > 0 $, then there exist functions $g_1, g_2,...,g_n \in C(X)$ and $h_1,...h_n \in C(Y)$ so that |f(x,y) - \sum_{k=1}^n g_k(x)h_k(y) | < \varepsilon for all $(x,y) \in X \times Y$. I need help. Thank you.

  • 0
    Is $T$ a typo for $Y$? If so, can you edit accordingly? Also, can you edit the title into something more informative?2012-04-20

1 Answers 1

6

The space of functions of the form $(x,y)\mapsto \sum_{i=1}^nf_i(x)g_i(y)$ (for some $n\geq 1$ and some $f_1,\ldots,f_n\in C(X)$, $g_1,\ldots,g_n\in C(Y)$) is a Banach algebra which separates the points of $X\times Y$. Your statement is thus a direct application of the Stone-Weierstrass theorem.