Let be a natural number with and let be a symmetric real matrix. On Euclidean space write for the dot product, for the Euclidean norm of a point , and for the matrix-vector product; let be the absolute value on the real numbers, ordered by as an ordered field.
The norm of , written , is the least upper bound, which exists by The Quadratic Form of a Real Square Matrix is Bounded on the Closed Unit Ball, of the set
The symbol is used both for the Euclidean norm of a point of and for the norm of a symmetric real matrix; the argument determines which is meant.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.