Waarom mogen we een functie van twee variabelen $f,x,y) $ in de vorm $\sum_n^\infty c_n(y) \psi_n(x) $ ontbinden?
Uitbreiding van de tweevariabele functie $f(x,y) $ over de compleete verzameling $\{ g_{i}(x) \}$ en $\{ h_{j}(y) \}$