proposition 5.92 The eigenvalues do not control the norm

Rests on

• depends_on corollary 5.91 The operator norm of a real array ¶
  • depends_on proposition 5.88 Rayleigh quotient of a definite pencil ¶
    • depends_on theorem 5.86 Simultaneous diagonalization of a definite pencil ¶
      • depends_on proposition 5.28 Gram–Schmidt ¶
        • depends_on definition 5.14 Linear independence ¶
        • depends_on definition 5.18 Inner product ¶
        • depends_on definition 5.27 Orthonormal basis ¶
        • depends_on equation 5.44 eq:lin-norm-assoc ¶
        • proves proof ch:03-linear-algebra-representations@proof-5 ¶
      • depends_on theorem 5.84 Spectral theorem for a real symmetric operator ¶
        • depends_on proposition 5.28 Gram–Schmidt ¶ ↺
        • depends_on theorem 5.71 The eigenvalues are the roots of the characteristic polynomial ¶
        • depends_on theorem 5.79 Spectral theorem for a self-adjoint operator ¶
        • proves proof ch:03-linear-algebra-representations@proof-34 ¶
      • depends_on theorem 5.116 Sylvester's law of inertia ¶
        • depends_on definition 5.110 Bilinear map ¶
        • depends_on definition 5.111 Symmetric and antisymmetric forms ¶
        • depends_on equation 5.139 eq:lin-bilinear-congruence ¶
        • proves proof ch:03-linear-algebra-representations@proof-53 ¶
      • proves proof ch:03-linear-algebra-representations@proof-35 ¶
    • proves proof ch:03-linear-algebra-representations@proof-36 ¶
  • depends_on theorem 5.84 Spectral theorem for a real symmetric operator ¶ ↺
  • proves proof ch:03-linear-algebra-representations@proof-39 ¶
• depends_on theorem 5.84 Spectral theorem for a real symmetric operator ¶ ↺
• proves proof ch:03-linear-algebra-representations@proof-40 ¶

Supports

Nothing declares a dependency on this node yet.