Treatise of Physics

Knowledge graph › Linear Algebra and Representation Theory

proof ch:03-linear-algebra-representations@proof-34

open in the book · parts/02-mathematical-methods/03-linear-algebra-representations.tex:3701

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:03-linear-algebra-representations@proof-34prooftheorem 5.84: Spectral theorem for a real symmetric operator5.84proposition 5.28: Gram–Schmidt5.28theorem 5.71: The eigenvalues are the roots of the characteristic polynomial5.71theorem 5.79: Spectral theorem for a self-adjoint operator5.79corollary 5.91: The operator norm of a real array5.91lemma A.610: Block positivityA.610lemma A.601: Several variables, complex symmetric matrixA.601lemma A.600: The real part of an inverseA.600proposition 5.90: Polar decomposition5.90proposition 5.94: Principal axes of a real quadratic form5.94proposition 5.92: The eigenvalues do not control the norm5.92theorem 5.86: Simultaneous diagonalization of a definite pencil5.86

Edges

typedirectionnode provenancewhere
proves → Spectral theorem for a real symmetric operator declared parts/02-mathematical-methods/03-linear-algebra-representations.tex:3701