Solution (source code)

= Solution

The <indicator function>[indicator functions] satisfy
$$
\|\varphi_1\|_{L^2}^2=\lambda_1(A)<\infty,
\qquad
\|\varphi_2\|_{L^2}^2=1-\lambda_1(A)<\infty.
$$
Therefore $\varphi_1,\varphi_2\in L^2[0,1]$.