Math 2.0

definition

Positive definite quadratic form

Definition

Let VV be a finite-dimensional real vector space, and let QQ be a quadratic form on VV. The form QQ is positive definite when Q(v)>0for all v∈V with v≠0.Q(v) > 0 \qquad \text{for all } v \in V \text{ with } v \ne 0.

Remarks

Q(x)=xTAxQ(x) = x^T A x with AA symmetric is positive definite if and only if AA is a positive definite matrix. Equivalently, the signature of QQ is (n,0,0)(n, 0, 0), with n=dim⁡Vn = \dim V. The form x2+y2x^2 + y^2 is positive definite on R2\R^2; the forms x2−y2x^2 - y^2 and x2x^2 are not. QQ is positive definite if and only if its associated symmetric bilinear form is an inner product.

Explanations

L1 human

A positive definite quadratic form is positive everywhere except at the origin. Its graph is a bowl with the lowest point at the origin. Such forms describe squared lengths for different inner products.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 4 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Vector space definition
  2. Bilinear form definition
  3. Quadratic form definition
  4. Positive definite quadratic form definition

Sources

  1. Web https://en.wikipedia.org/wiki/Definite_quadratic_form, lead section