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

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

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-21proofproposition 12.39: Algebra of the adjoint; the C^\ast identity12.39proposition 12.37: B(H) is a Banach algebra12.37theorem 12.38: Existence and uniqueness of the adjoint12.38definition 12.79: Deficiency subspaces and indices12.79proposition A.241: The polynomial calculus is isometricA.241proposition 12.65: Exponential of a bounded self-adjoint operator12.65proposition 12.42: Elementary consequences12.42proposition 12.43: Norm of a self-adjoint operator12.43proposition 12.96: Operators on a tensor product12.96

Edges

typedirectionnode provenancewhere
proves Algebra of the adjoint; the $C^{\ast}$ identity declared parts/02-mathematical-methods/10-hilbert-spaces.tex:1016