Spectral theory

Content created by Louis Wasserman.

Created on 2026-02-24.
Last modified on 2026-02-24.

Idea

Spectral theory studies eigenvectors and eigenvalues of linear operators and their generalizations to broader notions of operators on different kinds of spaces.

Modules in the spectral theory namespace

module spectral-theory where

open import spectral-theory.eigenmodules-linear-endomaps-left-modules-commutative-rings public
open import spectral-theory.eigenspaces-linear-endomaps-vector-spaces public
open import spectral-theory.eigenvalues-eigenelements-linear-endomaps-left-modules-commutative-rings public
open import spectral-theory.eigenvalues-eigenvectors-linear-endomaps-vector-spaces public

Recent changes