Positiivisesti definiitti matriisi

Positiivisesti definiitti matriisi on hermiittinen matriisi, jolla on monia samoja ominaisuuksia kuin positiivisilla reaaliluvuilla. Termin kanssa samantapainen termi on positiivisesti definiitti symmetrinen bilineaarinen muoto (eli seskvilineaarinen muoto, kompleksimatriisien tapauksessa).

Yhtäpitäviä määritelmiä

Olkoon $M$ kokoa $n\times n$ oleva hermiittinen matriisi. Seuraavassa merkitään matriisin tai vektorin $A$ transpoosia $A^T$:llä ja konjugaattista transpoosia $A^{\ast }$:llä. Matriisin $M$ sanotaan olevan positiivisesti definiitti, jos sillä on yksikin (ja siten kaikki) seuraavista yhtäpitävistä ominaisuuksista:

1.	Kaikilla nollasta poikkeavilla vektoreilla $z\in {ℂ}^n$ on voimassa ${\mathbf{\text{𝐳}}}^{\ast }M\mathbf{\text{𝐳}}>0$. Huomaa, että $z^{\ast }Mz$ on aina reaalinen.
2.	Kaikki $M$:n ominaisarvot ovat positiivisia. (Hermiittisen matriisin ominaisarvot ovat reaalisia.)
3.	Muoto $⟨\mathbf{\text{𝐱}},\mathbf{\text{𝐲}}⟩={\mathbf{\text{𝐱}}}^{\ast }M\mathbf{\text{𝐲}}$ määrittää sisätulon ${ℂ}^n$:ssä. (Itse asiassa jokainen ${ℂ}^n$:n sisätulo muodostaa hermiittisen positiivisesti semidefiniitin matriisin.)
4.	Sylvesterin kriteerio: Kaikilla $0<m\le n$ matriisin $M$ vasemmasta yläkulmasta alkaen muodostettujen $m\times m$-matriisien determinantti on positiivinen.

Analogiset väitteet ovat voimassa, jos $M$ on reaalinen symmetrinen matriisi korvaamalla ${ℂ}^n$ ${ℝ}^n$:llä ja konjugaattinen transpoosi transpoosilla.