Positive-definite matrix





In linear algebra, a symmetric n{displaystyle n}n × n{displaystyle n}n real matrix M{displaystyle M}M is said to be positive definite if the scalar zTMz{displaystyle z^{textsf {T}}Mz}{displaystyle z^{textsf {T}}Mz} is strictly positive for every non-zero column vector z{displaystyle z}z of n{displaystyle n}n real numbers. Here zT{displaystyle z^{textsf {T}}}{displaystyle z^{textsf {T}}} denotes the transpose of z{displaystyle z}z.[1]


More generally, an n{displaystyle n}n × n{displaystyle n}n Hermitian matrix M{displaystyle M}M is said to be positive definite if the scalar z∗Mz{displaystyle z^{*}Mz}{displaystyle z^{*}Mz} is strictly positive for every non-zero column vector z{displaystyle z}z of n{displaystyle n}n complex numbers. Here z∗{displaystyle z^{*}}z^{*} denotes the conjugate transpose of z{displaystyle z}z. Note that z∗Mz{displaystyle z^{*}Mz}{displaystyle z^{*}Mz} is automatically real since M{displaystyle M}M is Hermitian.


Positive semi-definite matrices are defined similarly, except that the above scalars zTMz{displaystyle z^{textsf {T}}Mz}{displaystyle z^{textsf {T}}Mz} or z∗Mz{displaystyle z^{*}Mz}{displaystyle z^{*}Mz} must be positive or zero (i.e. non-negative). Negative definite and negative semi-definite matrices are defined analogously.


The matrix M{displaystyle M}M is positive definite if and only if the bilinear form z,w⟩=zTMw{displaystyle langle z,wrangle =z^{textsf {T}}Mw}{displaystyle langle z,wrangle =z^{textsf {T}}Mw} is positive definite (and similarly for a positive definite sesquilinear form in the complex case). This is a coordinate realization of an inner product on a vector space.[2]


Some authors use more general definitions of "positive definite", including some non-symmetric real matrices, or non-Hermitian complex ones.




Contents






  • 1 Examples


  • 2 Connections


  • 3 Characterizations


  • 4 Quadratic forms, convexity, optimization


  • 5 Simultaneous diagonalization


  • 6 Negative definite, semidefinite and indefinite matrices


    • 6.1 Negative definite


    • 6.2 Positive semidefinite


    • 6.3 Negative semidefinite


    • 6.4 Indefinite




  • 7 Further properties


  • 8 Block matrices


  • 9 On the definition


    • 9.1 Consistency between real and complex definitions


    • 9.2 Extension for non-symmetric matrices




  • 10 See also


  • 11 Notes


  • 12 References


  • 13 External links





Examples


  • The identity matrix I=[1001]{displaystyle I={begin{bmatrix}1&0\0&1end{bmatrix}}}{displaystyle I={begin{bmatrix}1&0\0&1end{bmatrix}}} is positive definite (and as such also positive semi-definite). It is a real symmetric matrix, and, for any non-zero column vector z with real entries a and b, one has



zTIz=[ab][1001][ab]=a2+b2{displaystyle z^{textsf {T}}Iz={begin{bmatrix}a&bend{bmatrix}}{begin{bmatrix}1&0\0&1end{bmatrix}}{begin{bmatrix}a\bend{bmatrix}}=a^{2}+b^{2}}{displaystyle z^{textsf {T}}Iz={begin{bmatrix}a&bend{bmatrix}}{begin{bmatrix}1&0\0&1end{bmatrix}}{begin{bmatrix}a\bend{bmatrix}}=a^{2}+b^{2}}.

Seen as a complex matrix, for any non-zero column vector z with complex entries a and b one has

zHIz=[a∗b∗][1001][ab]=a∗a+b∗b=|a|2+|b|2{displaystyle z^{mathrm {H} }Iz={begin{bmatrix}a^{*}&b^{*}end{bmatrix}}{begin{bmatrix}1&0\0&1end{bmatrix}}{begin{bmatrix}a\bend{bmatrix}}=a^{*}a+b^{*}b=|a|^{2}+|b|^{2}}{displaystyle z^{mathrm {H} }Iz={begin{bmatrix}a^{*}&b^{*}end{bmatrix}}{begin{bmatrix}1&0\0&1end{bmatrix}}{begin{bmatrix}a\bend{bmatrix}}=a^{*}a+b^{*}b=|a|^{2}+|b|^{2}}.


Either way, the result is positive since z is not the zero vector (that is, at least one of a and b is not zero).


  • The real symmetric matrix


M=[2−10−12−10−12]{displaystyle M={begin{bmatrix}2&-1&0\-1&2&-1\0&-1&2end{bmatrix}}}{displaystyle M={begin{bmatrix}2&-1&0\-1&2&-1\0&-1&2end{bmatrix}}}

is positive definite since for any non-zero column vector z with entries a, b and c, we have
zTMz=(zTM)z=[(2a−b)(−a+2b−c)(−b+2c)][abc]=(2a−b)a+(−a+2b−c)b+(−b+2c)c=2a2−ba−ab+2b2−cb−bc+2c2=2a2−2ab+2b2−2bc+2c2=a2+a2−2ab+b2+b2−2bc+c2+c2=a2+(a−b)2+(b−c)2+c2{displaystyle {begin{aligned}z^{textsf {T}}Mz=left(z^{textsf {T}}Mright)z&={begin{bmatrix}(2a-b)&(-a+2b-c)&(-b+2c)end{bmatrix}}{begin{bmatrix}a\b\cend{bmatrix}}\&=(2a-b)a+(-a+2b-c)b+(-b+2c)c\&=2a^{2}-ba-ab+2b^{2}-cb-bc+2c^{2}\&=2a^{2}-2ab+2b^{2}-2bc+2c^{2}\&=a^{2}+a^{2}-2ab+b^{2}+b^{2}-2bc+c^{2}+c^{2}\&=a^{2}+(a-b)^{2}+(b-c)^{2}+c^{2}end{aligned}}}{displaystyle {begin{aligned}z^{textsf {T}}Mz=left(z^{textsf {T}}Mright)z&={begin{bmatrix}(2a-b)&(-a+2b-c)&(-b+2c)end{bmatrix}}{begin{bmatrix}a\b\cend{bmatrix}}\&=(2a-b)a+(-a+2b-c)b+(-b+2c)c\&=2a^{2}-ba-ab+2b^{2}-cb-bc+2c^{2}\&=2a^{2}-2ab+2b^{2}-2bc+2c^{2}\&=a^{2}+a^{2}-2ab+b^{2}+b^{2}-2bc+c^{2}+c^{2}\&=a^{2}+(a-b)^{2}+(b-c)^{2}+c^{2}end{aligned}}}


This result is a sum of squares, and therefore non-negative; and is zero only if a = b = c = 0, that is, when z is zero.



  • For any real invertible matrix A{displaystyle A}A, the product ATA{displaystyle A^{textsf {T}}A}{displaystyle A^{textsf {T}}A} is a positive definite matrix. A simple proof is that for any non-zero vector z{displaystyle z}z, the condition zTATAz=‖Az‖2>0,{displaystyle z^{textsf {T}}A^{textsf {T}}Az=|Az|^{2}>0,}{displaystyle z^{textsf {T}}A^{textsf {T}}Az=|Az|^{2}>0,} since the invertibility of matrix A{displaystyle A}A means that Az≠0.{displaystyle Azneq 0.}Azneq 0.

  • The example M above shows that a matrix in which some elements are negative may still be positive definite. Conversely, a matrix whose entries are all positive is not necessarily positive definite, as for example



N=[1221],{displaystyle N={begin{bmatrix}1&2\2&1end{bmatrix}},}{displaystyle N={begin{bmatrix}1&2\2&1end{bmatrix}},}

for which [−11]N[−11]T=−2<0.{displaystyle {begin{bmatrix}-1&1end{bmatrix}}N{begin{bmatrix}-1&1end{bmatrix}}^{textsf {T}}=-2<0.}{displaystyle {begin{bmatrix}-1&1end{bmatrix}}N{begin{bmatrix}-1&1end{bmatrix}}^{textsf {T}}=-2<0.}



Connections


A general purely quadratic real function f(z) on n real variables z1, …, zn can always be written as zTMz where z is the column vector with those variables, and M is a symmetric real matrix. Therefore, the matrix being positive definite means that f has a unique minimum (zero) when z is zero, and is strictly positive for any other z.


More generally, a twice-differentiable real function f on n real variables has local minimum at arguments z1, …, zn if its gradient is zero and its Hessian (the matrix of all second derivatives) is positive semi-definite at that point. Similar statements can be made for negative definite and semi-definite matrices.


In statistics, the covariance matrix of a multivariate probability distribution is always positive semi-definite; and it is positive definite unless one variable is an exact linear function of the others. Conversely, every positive semi-definite matrix is the covariance matrix of some multivariate distribution.



Characterizations


Let M be an n × n Hermitian matrix. The following properties are equivalent to M being positive definite:




  1. All its eigenvalues are positive. Let P−1DP be an eigendecomposition of M, where P is a unitary complex matrix whose rows comprise an orthonormal basis of eigenvectors of M, and D is a real diagonal matrix whose main diagonal contains the corresponding eigenvalues. The matrix M may be regarded as a diagonal matrix D that has been re-expressed in coordinates of the basis P. In particular, the one-to-one change of variable y = Pz shows that z*Mz is real and positive for any complex vector z if and only if y*Dy is real and positive for any y; in other words, if D is positive definite. For a diagonal matrix, this is true only if each element of the main diagonal—that is, every eigenvalue of M—is positive. Since the spectral theorem guarantees all eigenvalues of a Hermitian matrix to be real, the positivity of eigenvalues can be checked using Descartes' rule of alternating signs when the characteristic polynomial of a real, symmetric matrix M is available.


  2. The associated sesquilinear form is an inner product. The sesquilinear form defined by M is the function ,⋅{displaystyle langle cdot ,cdot rangle }langle cdot ,cdot rangle from Cn × Cn to C such that x,y⟩:=y∗Mx{displaystyle langle x,yrangle :=y^{*}Mx}langle x,yrangle :=y^{*}Mx for all x and y in Cn, where y* is the conjugate transpose of y. For any complex matrix M, this form is linear in each argument separately. Therefore, the form is an inner product on Cn if and only if z,z⟩{displaystyle langle z,zrangle }langle z,zrangle is real and positive for all nonzero z; that is if and only if M is positive definite. (In fact, every inner product on Cn arises in this fashion from a Hermitian positive definite matrix.)


  3. It is the Gram matrix of linearly independent vectors. Let x1,…,xn{displaystyle x_{1},ldots ,x_{n}}x_{1},ldots ,x_{n} be a list of n linearly independent vectors of some complex vector space with an inner product ,⋅{displaystyle langle cdot ,cdot rangle }langle cdot ,cdot rangle . It can be verified that the Gram matrix M of those vectors, defined by Mij=⟨xi,xj⟩{displaystyle M_{ij}=langle x_{i},x_{j}rangle }M_{ij}=langle x_{i},x_{j}rangle , is always positive definite. Conversely, if M is positive definite, it has an eigendecomposition P−1DP where P is unitary, D diagonal, and all diagonal elements Dii = λi of D are real and positive. Let E be the real diagonal matrix with entries Eii=λi{displaystyle E_{ii}={sqrt {lambda _{i}}}}E_{ii}={sqrt {lambda _{i}}} so E2=D{displaystyle E^{2}=D}E^{2}=D; then P−1DP=P∗DP=P∗EEP=(EP)∗EP.{displaystyle P^{-1}DP=P^{*}DP=P^{*}EEP=(EP)^{*}EP.}P^{-1}DP=P^{*}DP=P^{*}EEP=(EP)^{*}EP. Now we let x1,…,xn{displaystyle x_{1},ldots ,x_{n}}x_{1},ldots ,x_{n} be the columns of EP. These vectors are linearly independent, and by the above M is their Gram matrix, under the standard inner product of Cn, namely xi,xj⟩=xi∗xj{displaystyle langle x_{i},x_{j}rangle =x_{i}^{ast }x_{j}}{displaystyle langle x_{i},x_{j}rangle =x_{i}^{ast }x_{j}}.


  4. Its leading principal minors are all positive. The kth leading principal minor of a matrix M is the determinant of its upper-left k by k sub-matrix. It turns out that a matrix is positive definite if and only if all these determinants are positive. This condition is known as Sylvester's criterion, and provides an efficient test of positive definiteness of a symmetric real matrix. Namely, the matrix is reduced to an upper triangular matrix by using elementary row operations, as in the first part of the Gaussian elimination method, taking care to preserve the sign of its determinant during pivoting process. Since the kth leading principal minor of a triangular matrix is the product of its diagonal elements up to row k, Sylvester's criterion is equivalent to checking whether its diagonal elements are all positive. This condition can be checked each time a new row k of the triangular matrix is obtained.


  5. It has a unique Cholesky decomposition. The matrix M is positive definite if and only if there exists a unique lower triangular matrix L, with real and strictly positive diagonal elements, such that M = LL*. This factorization is called the Cholesky decomposition of M.



Quadratic forms, convexity, optimization


The (purely) quadratic form associated with a real matrix M is the function Q : RnR such that Q(x) = xTMx for all x. M can be assumed symmetric by replacing it with ½(M + MT).


A symmetric matrix M is positive definite if and only if its quadratic form is a strictly convex function.


More generally, any quadratic function from Rn to R can be written as xTMx + xTb + c where M is a symmetric n × n matrix, b is a real n-vector, and c a real constant. This quadratic function is strictly convex, and hence has a unique finite global minimum, if and only if M is positive definite. For this reason, positive definite matrices play an important role in optimization problems.



Simultaneous diagonalization


A symmetric matrix and another symmetric and positive definite matrix can be simultaneously diagonalized, although not necessarily via a similarity transformation. This result does not extend to the case of three or more matrices. In this section we write for the real case. Extension to the complex case is immediate.


Let M be a symmetric and N a symmetric and positive definite matrix. Write the generalized eigenvalue equation as (M − λN)x = 0 where we impose that x be normalized, i.e. xTNx = 1. Now we use Cholesky decomposition to write the inverse of N as QTQ. Multiplying by Q and letting xQTy, we get Q(M − λN)QTy = 0, which can be rewritten as (QMQT)y = λy where yTy = 1. Manipulation now yields MX = NXΛ where X is a matrix having as columns the generalized eigenvectors and Λ is a diagonal matrix of the generalized eigenvalues. Now premultiplication with XT gives the final result: XTMX = Λ and XTNX = I, but note that this is no longer an orthogonal diagonalization with respect to the inner product where yTy = 1. In fact, we diagonalized M with respect to the inner product induced by N.


Note that this result does not contradict what is said on simultaneous diagonalization in the article Diagonalizable matrix, which refers to simultaneous diagonalization by a similarity transformation. Our result here is more akin to a simultaneous diagonalization of two quadratic forms, and is useful for optimization of one form under conditions on the other.[3]



Negative definite, semidefinite and indefinite matrices


A Hermitian matrix is negative definite, negative semidefinite, or positive semidefinite if and only if all of its eigenvalues are negative, non-positive, or non-negative, respectively.



Negative definite


The n × n Hermitian matrix M is said to be negative definite if


x∗Mx<0{displaystyle x^{*}Mx<0,}{displaystyle x^{*}Mx<0,}

for all non-zero x in Cn (or, all non-zero x in Rn for the real matrix), where x* is the conjugate transpose of x.


A matrix is negative definite if its k-th order leading principal minor is negative when k is odd, and positive when k is even.



Positive semidefinite


M is called positive semidefinite (or sometimes nonnegative definite) if


x∗Mx≥0{displaystyle x^{*}Mxgeq 0}{displaystyle x^{*}Mxgeq 0}

for all x in Cn (or, all x in Rn for the real matrix).


A matrix M is positive semidefinite if and only if it arises as the Gram matrix of some set of vectors. In contrast to the positive definite case, these vectors need not be linearly independent.


For any matrix A, the matrix A*A is positive semidefinite, and rank(A) = rank(A*A). Conversely, any Hermitian positive semi-definite matrix M can be written as M = LL*, where L is lower triangular; this is the Cholesky decomposition. If M is not positive definite, then some of the diagonal elements of L may be zero.


A Hermitian matrix is positive semidefinite if and only if all of its principal minors are nonnegative. It is however not enough to consider the leading principal minors only, as is checked on the diagonal matrix with entries 0 and -1.



Negative semidefinite


It is called negative semidefinite if


x∗Mx≤0{displaystyle x^{*}Mxleq 0}{displaystyle x^{*}Mxleq 0}

for all x in Cn (or, all x in Rn for the real matrix).



Indefinite


A Hermitian matrix which is neither positive semidefinite nor negative semidefinite is called indefinite. Indefinite matrices are also characterized by having both positive and negative eigenvalues.



Further properties


If M is a Hermitian positive semidefinite matrix, one sometimes writes M ≥ 0 and if M is positive definite one writes M > 0.[4] The notion comes from functional analysis where positive semidefinite matrices define positive operators.


For arbitrary square matrices M, N we write M ≥ N if M − N ≥ 0; i.e., M − N is positive semi-definite. This defines a partial ordering on the set of all square matrices. One can similarly define a strict partial ordering M > N.



  1. Every positive definite matrix is invertible and its inverse is also positive definite.[5] If M ≥ N > 0 then N−1 ≥ M−1 > 0.[6] Moreover, by the min-max theorem, the kth largest eigenvalue of M is greater than the kth largest eigenvalue of N

  2. If M is positive definite and r > 0 is a real number, then rM is positive definite.[7] If M and N are positive definite, then the sum M + N[7] and the products MNM and NMN are also positive definite. If MN = NM, then MN is also positive definite.

  3. Every principal submatrix of a positive definite matrix is positive definite.

  4. If M is positive semidefinite, then QTMQ is positive semidefinite. If M is positive definite and Q has full rank, then QTMQ is positive definite.[8]

  5. The diagonal entries mii are real and non-negative. As a consequence the trace, tr(M) ≥ 0. Furthermore,[9] since every principal sub-matrix (in particular, 2-by-2) is positive definite,

    |mij|≤miimjj≤mii+mjj2{displaystyle |m_{ij}|leq {sqrt {m_{ii}m_{jj}}}leq {frac {m_{ii}+m_{jj}}{2}}}|m_{ij}|leq {sqrt {m_{ii}m_{jj}}}leq {frac {m_{ii}+m_{jj}}{2}}

    and thus
    max|mij|≤max|mii|{displaystyle max |m_{ij}|leq max |m_{ii}|}max |m_{ij}|leq max |m_{ii}|




  6. A matrix M is positive semi-definite if and only if there is a positive semi-definite matrix B with B2 = M. This matrix B is unique,[10] is called the square root of M, and is denoted with B = M1/2 (the square root B is not to be confused with the matrix L in the Cholesky factorization M = LL*, which is also sometimes called the square root of M). If M > N > 0 then M1/2 > N1/2 > 0.

  7. If M is a symmetric matrix of the form mij = m(ij), and the strict inequality holds

    j≠0|m(j)|<m(0){displaystyle sum nolimits _{jneq 0}|m(j)|<m(0)}sum nolimits _{jneq 0}|m(j)|<m(0)

    then M is strictly positive definite.



  8. Let M > 0 and N Hermitian. If MN + NM ≥ 0 (resp., MN + NM > 0) then N ≥ 0 (resp., N > 0).[11]

  9. If M > 0 is real, then there is a δ > 0 such that M > δI, where I is the identity matrix.

  10. If Mk denotes the leading k by k minor, det(Mk)/det(Mk−1){displaystyle det left(M_{k}right)/det left(M_{k-1}right)}{displaystyle det left(M_{k}right)/det left(M_{k-1}right)} is the kth pivot during LU decomposition.

  11. The set of positive semidefinite symmetric matrices is convex. That is, if M and N are positive semidefinite, then for any α between 0 and 1, αM + (1−α)N is also positive semidefinite. For any vector x:

    xT(αM+(1−α)N)x=αxTMx+(1−α)xTNx≥0.{displaystyle x^{textsf {T}}(alpha M+(1-alpha )N)x=alpha x^{textsf {T}}Mx+(1-alpha )x^{textsf {T}}Nxgeq 0.}{displaystyle x^{textsf {T}}(alpha M+(1-alpha )N)x=alpha x^{textsf {T}}Mx+(1-alpha )x^{textsf {T}}Nxgeq 0.}

    This property guarantees that semidefinite programming problems converge to a globally optimal solution.



  12. If M,N ≥ 0, although MN is not necessary positive semidefinite, the Kronecker product M ⊗ N ≥ 0, the Hadamard product M ○ N ≥ 0 (this result is often called the Schur product theorem).,[12] and the Frobenius product M : N ≥ 0 (Lancaster-Tismenetsky, The Theory of Matrices, p. 218).

  13. Regarding the Hadamard product of two positive semidefinite matrices M = (mij) ≥ 0, N ≥ 0, there are two notable inequalities:

    • Oppenheim's inequality: det(M∘N)≥det(N)∏imii.{displaystyle det(Mcirc N)geq det(N)prod nolimits _{i}m_{ii}.}{displaystyle det(Mcirc N)geq det(N)prod nolimits _{i}m_{ii}.}[13]

    • det(M ○ N) ≥ det(M) det(N).[14]





Block matrices


A positive 2n × 2n matrix may also be defined by blocks:


M=[ABCD]{displaystyle M={begin{bmatrix}A&B\C&Dend{bmatrix}}}{displaystyle M={begin{bmatrix}A&B\C&Dend{bmatrix}}}

where each block is n × n. By applying the positivity condition, it immediately follows that A and D are hermitian, and C = B*.


We have that z*Mz ≥ 0 for all complex z, and in particular for z = (v, 0)T. Then


[v∗0][ABB∗D][v0]=v∗Av≥0.{displaystyle {begin{bmatrix}v^{*}&0end{bmatrix}}{begin{bmatrix}A&B\B^{*}&Dend{bmatrix}}{begin{bmatrix}v\0end{bmatrix}}=v^{*}Avgeq 0.}{displaystyle {begin{bmatrix}v^{*}&0end{bmatrix}}{begin{bmatrix}A&B\B^{*}&Dend{bmatrix}}{begin{bmatrix}v\0end{bmatrix}}=v^{*}Avgeq 0.}

A similar argument can be applied to D, and thus we conclude that both A and D must be positive definite matrices, as well.


Converse results can be proved with stronger conditions on the blocks, for instance using the Schur complement.



On the definition



Consistency between real and complex definitions


Since every real matrix is also a complex matrix, the definitions of "positive definite" for the two classes must agree.


For complex matrices, the most common definition says that "M is positive definite if and only if z*Mz is real and positive for all non-zero complex column vectors z". This condition implies that M is Hermitian, that is, its transpose is equal to its conjugate. To see this, consider the matrices A = (M + M*)/2 and B = (MM*)/(2i), so that M = A + iB and z*Mz = z*Az + iz*Bz. The matrices A and B are Hermitian, therefore z*Az and z*Bz are individually real. If z*Mz is real, then z*Bz must be zero for all z. Then B is the zero matrix and M = A, proving that M is Hermitian.


By this definition, a positive definite real matrix M is Hermitian, hence symmetric; and zTMz is positive for all non-zero real column vectors z. However the last condition alone is not sufficient for M to be positive definite. For example, if


M=[11−11],{displaystyle M={begin{bmatrix}1&1\-1&1end{bmatrix}},}M={begin{bmatrix}1&1\-1&1end{bmatrix}},

then for any real vector z with entries a and b we have zTMz = (ab)a + (a + b)b = a2 + b2, which is always positive if z is not zero. However, if z is the complex vector with entries 1 and i, one gets



z*Mz = [1, −i]M[1, i]T = [1 + i, 1 − i][1, i]T = 2 + 2i,

which is not real. Therefore, M is not positive definite.


On the other hand, for a symmetric real matrix M, the condition "zTMz > 0 for all nonzero real vectors z" does imply that M is positive definite in the complex sense.



Extension for non-symmetric matrices


Some authors choose to say that a complex matrix M is positive definite if Re(z*Mz) > 0 for all non-zero complex vectors z, where Re(c) denotes the real part of a complex number c.[15] This weaker definition encompasses some non-Hermitian complex matrices, including some non-symmetric real ones, such as [11−11]{displaystyle {bigl [}{begin{smallmatrix}1&1\-1&1end{smallmatrix}}{bigr ]}}{bigl [}{begin{smallmatrix}1&1\-1&1end{smallmatrix}}{bigr ]}.


Indeed, with this definition, a real matrix is positive definite if and only if zTMz > 0 for all nonzero real vectors z, even if M is not symmetric.


In general, we have Re(z*Mz) > 0 for all complex nonzero vectors z if and only if the Hermitian part (M + M*)/2 of M is positive definite in the narrower sense. Similarly, we have xTMx > 0 for all real nonzero vectors x if and only if the symmetric part (M + MT)/2 of M is positive definite in the narrower sense.


In summary, the distinguishing feature between the real and complex case is that, a bounded positive operator on a complex Hilbert space is necessarily Hermitian, or self adjoint. The general claim can be argued using the polarization identity. That is no longer true in the real case.



See also



  • Cholesky decomposition

  • Covariance matrix

  • M-matrix

  • Positive-definite function

  • Positive-definite kernel

  • Schur complement

  • Square root of a matrix

  • Sylvester's criterion

  • Symmetric matrix

  • Numerical range



Notes





  1. ^ "Appendix C: Positive Semidefinite and Positive Definite Matrices". Parameter Estimation for Scientists and Engineers: 259–263. doi:10.1002/9780470173862.app3..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}


  2. ^ Stewart, J. (1976). Positive definite functions and generalizations, an historical survey. Rocky Mountain J. Math, 6(3). Archived 2014-02-02 at the Wayback Machine.


  3. ^ Horn & Johnson (1985), p. 218 ff.


  4. ^ This may be confusing, as sometimes nonnegative matrices are also denoted in this way. A common alternative notation is M⪰0{displaystyle Msucceq 0}Msucceq 0 and M≻0{displaystyle Msucc 0}Msucc 0 for positive semidefinite and positive definite matrices, respectively.


  5. ^ Horn & Johnson (1985), p. 397


  6. ^ Horn & Johnson (1985), Corollary 7.7.4(a)


  7. ^ ab Horn & Johnson (1985), Observation 7.1.3


  8. ^ Horn, Roger A.; Johnson, Charles R. (2013). "7.1 Definitions and Properties". Matrix Analysis (Second Edition). Cambridge University Press. p. 431. ISBN 978-0-521-83940-2.
    Observation 7.1.8 Let A∈Mn{displaystyle Ain M_{n}}{displaystyle Ain M_{n}} be Hermitian and let C∈Mn,m{displaystyle Cin M_{n,m}}{displaystyle Cin M_{n,m}}:
    * Suppose that A is positive semidefinite. Then C∗AC{displaystyle C^{*}AC}{displaystyle C^{*}AC} is positive semidefinite, nullspace(C∗AC{displaystyle C^{*}AC}{displaystyle C^{*}AC}) = nullspace(AC), and rank(C∗AC{displaystyle C^{*}AC}{displaystyle C^{*}AC}) = rank(AC{displaystyle AC}AC)
    * Suppose that A is positive definite. Then rank(C∗AC{displaystyle C^{*}AC}{displaystyle C^{*}AC}) = rank(C), and C∗AC{displaystyle C^{*}AC}{displaystyle C^{*}AC} is positive definite if and only if rank(C) = m



  9. ^ Horn & Johnson (1985), p. 398


  10. ^ Horn & Johnson (1985), Theorem 7.2.6 with k = 2


  11. ^ Bhatia, Rajendra (2007). Positive Definite Matrices. Princeton, New Jersey: Princeton University Press. p. 8. ISBN 978-0-691-12918-1.


  12. ^ Horn & Johnson (1985), Theorem 7.5.3


  13. ^ Horn & Johnson (1985), Theorem 7.8.6


  14. ^ (Styan 1973)


  15. ^ Weisstein, Eric W. Positive Definite Matrix. From MathWorld--A Wolfram Web Resource. Accessed on 2012-07-26




References




  • Horn, Roger A.; Johnson, Charles R. (1990). Matrix Analysis. Cambridge University Press. ISBN 978-0-521-38632-6.


  • Bhatia, Rajendra (2007). Positive definite matrices. Princeton Series in Applied Mathematics. ISBN 978-0-691-12918-1.

  • Bernstein, B.; Toupin, R.A. (1962). Some Properties of the Hessian Matrix of a Strictly Convex Function, J. fűr die Reine und Angew. Math.210, 67-72.



External links




  • Hazewinkel, Michiel, ed. (2001) [1994], "Positive-definite form", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

  • Wolfram MathWorld: Positive Definite Matrix









Popular posts from this blog

Y

Mount Tamalpais

Indian Forest Service