orthogonal functions In mathematics, orthogonal functions belong to a function space that is a vector space equipped with a bilinear form. When the function space has an interval as the domain, the bilinear form may be the integral of the product of functions over the ...
, Lauricella's theorem provides a condition for checking the
closure of a set
In topology, the closure of a subset of points in a topological space consists of all points in together with all limit points of . The closure of may equivalently be defined as the union of and its boundary, and also as the intersection of ...
of
orthogonal function In mathematics, orthogonal functions belong to a function space that is a vector space equipped with a bilinear form. When the function space has an interval as the domain, the bilinear form may be the integral of the product of functions over th ...
s, namely:
''Theorem.'' A necessary and sufficient condition that a normal orthogonal set be closed is that the formal series for each function of a known closed normal orthogonal set in terms of converge in the mean to that function.
The theorem was proved by