Treatise of Physics

Knowledge graph › Hilbert Spaces

proof ch:10-hilbert-spaces@prooflink-2

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

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@prooflink-2prooftheorem 12.59: Spectral theorem for a bounded self-adjoint operator12.59definition 12.58: Projection-valued measure12.58proposition 12.43: Norm of a self-adjoint operator12.43theorem 12.55: The spectrum of a self-adjoint operator is real12.55definition 12.60: Functional calculus12.60theorem 12.107: Nuclear spectral theorem12.107theorem 12.91: Schur's lemma, commutant form12.91theorem 12.66: Stone12.66

Edges

typedirectionnode provenancewhere
proves → Spectral theorem for a bounded self-adjoint operator declared parts/02-mathematical-methods/10-hilbert-spaces.tex:1642