๐ Definition of a Quadratic Form
In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. More formally, given a vector space $V$ over a field $F$ (usually the real numbers $\mathbb{R}$), a quadratic form is a function $Q: V \rightarrow F$ such that:
- ๐ข Homogeneity: For any scalar $c \in F$ and vector $v \in V$, $Q(cv) = c^2Q(v)$.
- โ Associated Symmetric Bilinear Form: There exists a symmetric bilinear form $B: V \times V \rightarrow F$ such that $Q(v) = B(v, v)$. In other words, $B(u,v) = B(v,u)$ for all $u, v \in V$, and $B$ is linear in each argument.
If $V = \mathbb{R}^n$, then any quadratic form $Q$ can be expressed as:
$Q(x) = \sum_{i=1}^{n} \sum_{j=1}^{n} a_{ij}x_ix_j$
where $x = (x_1, x_2, ..., x_n)$ and $a_{ij}$ are coefficients. We can also write this in matrix notation as:
$Q(x) = x^T A x$
where $x$ is a column vector and $A$ is a symmetric matrix (i.e., $A = A^T$). The matrix $A$ is uniquely determined by the quadratic form $Q$, and its entries are related to the coefficients $a_{ij}$ by $a_{ij} = a_{ji} = \frac{1}{2}(b_{ij} + b_{ji})$ where $b_{ij}$ are the coefficients of a related bilinear form.
๐ History and Background
The study of quadratic forms dates back to the 18th century, with contributions from mathematicians like Lagrange and Gauss. They arose naturally in various areas, including number theory (representation of integers by sums of squares), geometry (conic sections and quadric surfaces), and mechanics (kinetic energy). The systematic study of quadratic forms, particularly over the real and complex numbers, gained prominence in the 19th and 20th centuries.
- ๐ฐ๏ธ Lagrange: Studied representation of numbers as sums of squares.
- ๐จโ๐ซ Gauss: Made fundamental contributions to the theory of binary quadratic forms.
- ๐ Modern Developments: The theory has expanded to include quadratic forms over various fields and rings.
๐ Key Principles and Properties
- ๐ Symmetry: The matrix representing a quadratic form is always symmetric. This means that $A = A^T$, where $A^T$ is the transpose of $A$.
- โ๏ธ Rank: The rank of a quadratic form is the rank of its associated symmetric matrix.
- โ Signature: For a real quadratic form, the signature is the number of positive eigenvalues minus the number of negative eigenvalues of the associated matrix.
- ๐ญ Congruence: Two quadratic forms are congruent if their matrices $A$ and $B$ are congruent, i.e., there exists an invertible matrix $P$ such that $B = P^T A P$. Congruent quadratic forms have the same rank and signature.
- ๐ Definiteness: A real quadratic form $Q(x)$ is:
- ๐ฑ Positive definite if $Q(x) > 0$ for all $x \neq 0$.
- ๐ณ Positive semi-definite if $Q(x) \geq 0$ for all $x$.
- ๐ Negative definite if $Q(x) < 0$ for all $x \neq 0$.
- ๐ต Negative semi-definite if $Q(x) \leq 0$ for all $x$.
- ๐ Indefinite if $Q(x)$ takes both positive and negative values.
๐ Real-world Examples
- โ๏ธ Mechanics: Kinetic energy can be expressed as a quadratic form in terms of velocities.
- ๐ก Optimization: Quadratic forms appear in optimization problems, such as finding the minimum of a quadratic function.
- ๐ Statistics: Covariance matrices in statistics define quadratic forms that characterize the spread of data.
- ๐ Geometry: Equations of conic sections (ellipses, hyperbolas, parabolas) and quadric surfaces (ellipsoids, hyperboloids, paraboloids) are given by quadratic forms.
๐ Conclusion
Quadratic forms are fundamental mathematical objects with wide-ranging applications. Understanding their formal definition and properties is crucial for advanced studies in linear algebra, optimization, and various fields of physics and engineering. By grasping the concepts of symmetry, rank, signature, and definiteness, one can effectively analyze and utilize quadratic forms in diverse contexts.