Treatise of Physics

Knowledge graph › Hilbert Spaces

proof ch:10-hilbert-spaces@proof-30

open in the book · parts/02-mathematical-methods/10-hilbert-spaces.tex:1455

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

proof : ch:10-hilbert-spaces@proof-30prooftheorem 12.55: The spectrum of a self-adjoint operator is real12.55corollary 12.19: Double complement; the density criterion12.19definition 12.41: The operator classes12.41theorem 12.54: The spectrum is compact and non-empty12.54example 12.56: Multiplication by the coordinate: spectrum without eigenvectors12.56theorem A.238: Spectral theorem, both formsA.238theorem 12.59: Spectral theorem for a bounded self-adjoint operator12.59

Edges

typedirectionnode provenancewhere
proves → The spectrum of a self-adjoint operator is real declared parts/02-mathematical-methods/10-hilbert-spaces.tex:1455