Science Fair Project Encyclopedia
Positive-definite matrix
In linear algebra, the positive-definite matrices are (in several ways) analogous to the positive real numbers. An n × n Hermitian matrix M is said to be positive definite if it has one (and therefore all) of the following six equivalent properties. First, define some things:
- aT is the transpose of a matrix or vector a
- a * is the complex conjugate of its transpose a
is the set of all real numbers
is the set of all complex numbers
is the set of all integers
- M is any Hermitian matrix
| 1. | For all non-zero vectors we have
Here we view z as a column vector with n complex entries and z * as the complex conjugate of its transpose. (z * Mz is always real.) |
| 2. | For all non-zero vectors x in
|
| 3. | For all non-zero vectors , we have
|
| 4. | All eigenvalues of M are positive.
|
| 5. | The form
defines an inner product on
|
| 6. | All the following matrices have positive determinant:
|
Further properties
Every positive definite matrix is invertible and its inverse is also positive definite. If M is positive definite and r > 0 is a real number, then rM is positive definite. If M and N are positive definite, then M + N is also positive definite, and if MN = NM, then MN is also positive definite. Every positive definite matrix M, has at least one square root matrix N such that N2 = M. In fact, M may have infinitely many square roots, but exactly one positive definite square root.
Negative-definite, semidefinite and indefinite matrices
The Hermitian matrix M is said to be negative-definite if
- x * Mx < 0
for all non-zero
(or, equivalently, all non-zero
). It is called positive-semidefinite if
for all
(or
) and negative-semidefinite if
for all
(or
).
A Hermitian matrix which is neither positive- nor negative-semidefinite is called indefinite.
Generalizations
Suppose K denotes the field
or
, V is a vector space over K, and
is a bilinear map which is Hermitian in the sense that B(x,y) is always the complex conjugate of B(y,x).
Then B is called positive definite if B(x,x) > 0 for every nonzero x in V.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details



we have
.
we have
, we have
.