Vector, Entry and Comparison Bounds for the Norm of a Symmetric Real Matrix
lemmaLinear Algebralem:symmetric-matrix-norm-bounds-2026aRelates the norm of a symmetric real matrix to its action on vectors and to its entries, and records the identity for the norm of an image together with a comparison bound for quadratic forms.
We work in the setting of Real Matrices, Symmetric Matrices and the Semidefinite Ordering: Standing Notation, whose notation is fixed for every dimension and is used here with a natural number satisfying : the real numbers, the absolute value , the initial segments , and Euclidean space with its sum and difference of points, dot product and Euclidean norm , the real matrices , their sums, differences and scalar multiples, the product, the transpose, the matrix-vector product, the identity matrix , the zero matrix and the square , the set of symmetric real matrices, which contains for every real , the norm of a symmetric real matrix and the standard basis vectors , for which the th coordinate of a point equals , are all as fixed there.
Let , let , let , let and let . Then the following hold.
1. (Entries from the standard basis) ¶ .
2. (Squares of symmetric matrices) ¶ The matrix lies in , and
3. (Bound on the image of a vector) ¶ .
4. (Bound on the entries) ¶ .
5. (Bound by the entries) ¶ .
6. (Multiples of the identity) ¶ The matrix lies in and satisfies ; moreover .
7. (Comparison of quadratic forms) ¶ .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.