# Prove that $F$ is dense in $C(X\times Y,\mathbb{R})$?

Let $X$ and $Y$ be compact metric spaces. Let $$F= \Bigl\{\sum_{i=1}^n A_i f_i(x) g_i(y): f_i\in C(X,\mathbb{R}),g_i\in C(Y,\mathbb{R}), 1\le i\le n \Bigr\}.$$ Prove that $F$ is dense in $C(X\times Y,\mathbb{R})$.

Please, I can't figure it out.

I will be thankful for any help.

• this is difficult to read, I suggest that you edit this post to make it more legible. – Rustyn Apr 18 '14 at 9:41
• what about now ? this is the first question for me and i have so much trouble to make it. – user143991 Apr 18 '14 at 20:18
• You probably meant to say that $A_i\in {\bf Q}$ or $A_i\in{\bf R}$. – tomasz Apr 19 '14 at 13:08
• Also, this question (which is on top of the related questions on the right hand side!) is kind of a generalisation of your question, and contains a possible hint for you. math.stackexchange.com/q/63416/30222 – tomasz Apr 19 '14 at 13:12

• Compact+Hausdorff $\implies$ normal $\implies$ $C(X,\mathbb{R})$ separates points in $X$, $C(Y,\mathbb{R})$ separates points in $Y$. Take $(x_1,y_1),(x_2,y_2)\in X\times Y$ with $(x_1,y_1)\ne(x_2,y_2)$. Suppose wlog that $x_1\ne x_2$. Now, construct a separating function $\in F$. – Martín-Blas Pérez Pinilla Apr 20 '14 at 13:38