Weyl's Theorem

mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, Weyl's theorem or Weyl's lemma might refer to one of a number of results of

Hermann Weyl Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...

. These include * the

Peter–Weyl theorem In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are Compact group, compact, but are not necessarily Abelian group, abelian. It was initially proved by Hermann Weyl, ...

Weyl's theorem on complete reducibility In algebra, Weyl's theorem on complete reducibility is a fundamental result in the theory of Lie algebra representations (specifically in the representation theory of semisimple Lie algebras). Let \mathfrak be a semisimple Lie algebra over a fiel ...

, results originally derived from the unitarian trick on

representation theory Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...

semisimple group In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation that has a finite kernel and is a ...

s and

semisimple Lie algebra In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of Simple Lie algebra, simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals ...

s * Weyl's theorem on eigenvalues * Weyl's criterion for equidistribution (Weyl's criterion) * Weyl's lemma on the

hypoellipticity In the theory of partial differential equations, a partial differential operator P defined on an open subset :U \subset^n is called hypoelliptic if for every distribution u defined on an open subset V \subset U such that Pu is C^\infty ( smoot ...

of the

Laplace equation In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties in 1786. This is often written as \nabla^2\! f = 0 or \Delta f = 0, where \Delt ...

* results estimating

Weyl sum In mathematics, an exponential sum may be a finite Fourier series (i.e. a trigonometric polynomial), or other finite sum formed using the exponential function, usually expressed by means of the function :e(x) = \exp(2\pi ix).\, Therefore, a typic ...

s in the theory of

exponential sum In mathematics, an exponential sum may be a finite Fourier series (i.e. a trigonometric polynomial), or other finite sum formed using the exponential function, usually expressed by means of the function :e(x) = \exp(2\pi ix).\, Therefore, a typi ...

s * Weyl's inequality *

Weyl's criterion In mathematics, a sequence (''s''1, ''s''2, ''s''3, ...) of real numbers is said to be equidistributed, or uniformly distributed, if the proportion of terms falling in a subinterval is proportional to the length of that subinterval. Such sequences ...

for a number to be in the essential spectrum of an operator *

Weyl's law In mathematics, especially spectral theory, Weyl's law describes the asymptotic behavior of eigenvalues of the Laplace–Beltrami operator. This description was discovered in 1911 (in the d=2,3 case) by Hermann Weyl for eigenvalues for the Laplace� ...

that describes the asymptotic behavior of large eigenvalues of the

Laplace–Beltrami operator In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named aft ...

{{mathdab