|
|
|
|
|
Positive-definite MatrixIn linear algebra, the positive-definite matrices are (in several ways) analogous to the positive real numbers. An n × n Hermitian matrix is said to be positive definite if it has one (and therefore all) of the following six equivalent properties. First, define some things: | align="top"| 1. | For all non-zero vectors we have - .
Here we view as a column vector with complex entries and as the complex conjugate of its transpose. ( is always real.) | | align="top"| 2. | For all non-zero vectors in we have -
| | align="top"| 3. | For all non-zero vectors , we have - .
| | align="top"| 4. | All eigenvalues of are positive. -
| | align="top"| 5. | The form -
defines an inner product on . (In fact, every inner product on arises in this fashion from a Hermitian positive definite matrix.) | | align="top"| 6. | All the following matrices have positive determinant: - the upper left 1-by-1 corner of
- the upper left 2-by-2 corner of
- the upper left 3-by-3 corner of
- ...
- itself
| Further properties Every positive definite matrix is invertible and its inverse is also positive definite. If is positive definite and is a real number, then is positive definite. If and are positive definite, then is also positive definite, and if , then is also positive definite. Every positive definite matrix , has at least one square root matrix such that . In fact, may have infinitely many square roots, but exactly one positive definite square root. Negative-definite, semidefinite and indefinite matrices The Hermitian matrix is said to be negative-definite if -
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 denotes the field or , is a vector space over , and is a bilinear map which is Hermitian in the sense that is always the complex conjugate of . Then is called positive definite if for every nonzero in .
|
 |
|
| Copyright 2005-2009 OnPedia.com. All Rights Reserved |
|
|