TheoremBase

The Quadratic Form of a Real Square Matrix is Bounded on the Closed Unit Ball

Statement

Let nn be a natural number with 1≤n1\le n, let [n][n] be the initial segment determined by nn, and let R\mathbb{R} be the real numbers with the order ≤\le of its ordered field structure and the absolute value ∣⋅∣|\cdot|. Let AA be a real n×nn\times n matrix, with entries AijA_{ij}.

On Euclidean space Rn\mathbb{R}^n, a real vector space by Euclidean Space Rn\mathbb{R}^n is a Real Vector Space, write ξ⋅ζ\xi\cdot\zeta for the dot product, ∥ξ∥\lVert\xi\rVert for the Euclidean norm, and AξA\xi for the matrix-vector product. All sums below are the finite sums of the field R\mathbb{R}.

Then the set

QA={ ∣ξ⋅(Aξ)∣ : ξ∈Rn, ∥ξ∥≤1 }Q_A=\bigl\{\,|\xi\cdot(A\xi)|\ :\ \xi\in\mathbb{R}^n,\ \lVert\xi\rVert\le1\,\bigr\}

is a nonempty subset of R\mathbb{R} admitting ∑i=1n∑j=1n∣Aij∣\sum_{i=1}^{n}\sum_{j=1}^{n}|A_{ij}| as an upper bound, and therefore has a least upper bound in R\mathbb{R}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…