Weyl's theorem states that for a bounded linear operator on a Hilbert space, the essential spectrum of the operator is equal to the closure of the set of eigenvalues that are not isolated points. This concept connects various aspects of spectral theory, including the spectrum of an operator, the spectral radius, and polar decomposition, emphasizing the relationship between discrete eigenvalues and essential spectrum.
congrats on reading the definition of Weyl's theorem. now let's actually learn it.