orthonormal basis in $L^2$ space

371 Views Asked by At

Let $\{\phi_i (x)\}_{i=1}^\infty$ be an orthonormal basis for $L^2 (S)$. Prove that $\{\psi_{ij} (x,y) = \phi_i (x) \phi_j (y)\}_{i,j=1}^\infty $ is an orthonormal basis for $L^2 (S \times S)$. Thanks in advance for your help!