Weyl's theorem

In mathematics, '''Weyl's theorem''' or '''Weyl's lemma''' might refer to one of a number of results of Hermann Weyl. These include

* the Peter–Weyl theorem * Weyl's theorem on complete reducibility, results originally derived from the unitarian trick on representation theory of semisimple groups and semisimple Lie algebras * Weyl's theorem on eigenvalues * Weyl's criterion for equidistribution (Weyl's criterion) * Weyl's lemma on the hypoellipticity of the Laplace equation * results estimating Weyl sums in the theory of exponential sums * Weyl's inequality * Weyl's criterion for a number to be in the essential spectrum of an operator * Weyl's law that describes the asymptotic behavior of large eigenvalues of the Laplace–Beltrami operator {{mathdab}}