The Walsh–Lebesgue theorem is a famous result from
harmonic analysis
Harmonic analysis is a branch of mathematics concerned with the representation of functions or signals as the superposition of basic waves, and the study of and generalization of the notions of Fourier series and Fourier transforms (i.e. an e ...
proved by the American mathematician
Joseph L. Walsh
__NOTOC__
Joseph Leonard Walsh (September 21, 1895 – December 6, 1973) was an American mathematician who worked mainly in the field of analysis. The Walsh function and the Walsh–Hadamard code are named after him. The Grace–Walsh–Szeg ...
in 1929, using results proved by
Lebesgue
Henri Léon Lebesgue (; June 28, 1875 – July 26, 1941) was a French mathematician known for his theory of integration, which was a generalization of the 17th-century concept of integration—summing the area between an axis and the curve of ...
in 1907. The theorem states the following:
Let ' be a
compact subset
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
of the
Euclidean plane
In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...
such the
relative complement of
with respect to is
connected. Then, every real-valued
continuous function on
(''i.e.'' the
boundary
Boundary or Boundaries may refer to:
* Border, in political geography
Entertainment
* ''Boundaries'' (2016 film), a 2016 Canadian film
* ''Boundaries'' (2018 film), a 2018 American-Canadian road trip film
*Boundary (cricket), the edge of the pla ...
of ') can be
approximated uniformly on
by (real-valued)
harmonic polynomial In mathematics, in abstract algebra, a multivariate polynomial over a field such that the Laplacian of is zero is termed a harmonic polynomial.
The harmonic polynomials form a vector subspace of the vector space of polynomials over the field. In ...
s in the real variables and .
Generalizations
The Walsh–Lebesgue theorem has been generalized to
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed ve ...
s and to .
In 1974 Anthony G. O'Farrell gave a generalization of the Walsh–Lebesgue theorem by means of the 1964 Browder–Wermer theorem with related techniques.
References
{{DEFAULTSORT:Walsh-Lebesgue theorem
Theorems in harmonic analysis
Theorems in approximation theory