Documentation
LeanPool
.
CompactSpectral
.
Analysis
.
InnerProductSpace
.
CompactSelfAdjoint
Search
return to top
source
Imports
Init
LeanPool.CompactSpectral.Analysis.InnerProductSpace.CompactSelfAdjoint.Approximation
LeanPool.CompactSpectral.Analysis.InnerProductSpace.CompactSelfAdjoint.Basic
LeanPool.CompactSpectral.Analysis.InnerProductSpace.CompactSelfAdjoint.CutoffProjector
LeanPool.CompactSpectral.Analysis.InnerProductSpace.CompactSelfAdjoint.OpNormEigenvalue
LeanPool.CompactSpectral.Analysis.InnerProductSpace.CompactSelfAdjoint.SpectralFiniteness
LeanPool.CompactSpectral.Analysis.InnerProductSpace.CompactSelfAdjoint.SpectralTheorem
Imported by
Compact self-adjoint operators on Hilbert spaces
#
This module bundles the spectral theory of compact self-adjoint operators.