Suppose every continuous periodic function has a unique continuous periodic with Fourier coefficients . Uniqueness first makes linear. If and uniformly, continuity of each coefficient functional gives for every fixed , hence . Thus has a closed graph and the closed graph theorem makes it bounded. Applying it to normalized exponentials gives .
For , the bounded functional satisfies . The normalization factor follows from .

Articles by others on the same topic (0)

There are currently no matching articles.