# Riesz-Fischer theorem

A theorem establishing a relationship between the spaces $l_2$ and $L_2[a,b]$: If a system of functions $\{\phi_n\}_{n=1}^\infty$ is orthonormal on the interval $[a,b]$ (cf. Orthonormal system) and a sequence of numbers $\{c_n\}_{n=1}^\infty$ is such that

$$\sum_{n=1}^\infty c_n^2<\infty$$

(that is, $c_n\in l_2$), then there exists a function $f\in L_2[a,b]$ for which

$$\int\limits_a^b|f(t)|^2dt=\sum_{n=1}^\infty c_n^2,\quad c_n=\int\limits_a^bf(t)\phi_n(t)dt.$$

Moreover, the function $f$ is unique as an element of the space $L_2[a,b]$, i.e. up to its values on a set of Lebesgue measure zero. In particular, if the orthonormal system $\{\phi_n\}$ is closed (complete, cf. Complete system of functions) in $L_2[a,b]$, then, using the Riesz–Fischer theorem, one gets that the spaces $l_2$ and $L_2[a,b]$ are isomorphic and isometric.

The theorem was proved independently by F. Riesz  and E. Fischer .

How to Cite This Entry:
Riesz-Fischer theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riesz-Fischer_theorem&oldid=32781
This article was adapted from an original article by B.I. Golubov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article