Додатноозначена матриця

Ермітова матриця ${\displaystyle M\!}$ є додатно визначеною тоді і тільки тоді, коли вона задовольняє одну з наступних еквівалентних умов:

1. ${\displaystyle \forall x\in \mathbb {C} ^{n},\;x\neq 0:\;\;x^{*}Mx>0}$   (для ермітових матриць ${\displaystyle x^{*}Mx\!}$ — завжди дійсне число).
2. Всі власні значення ${\displaystyle M\!}$ є додатними числами.
3. Задовольняє критерій Сильвестра.
4. Сесквілінійна форма (білінійна форма для випадку дійсних чисел)

${\displaystyle \langle {\textbf {x,y}}\rangle ={\textbf {x}}^{*}M{\textbf {y}}}$

задовольняє всім вимогам ермітового скалярного добутку (простого скалярного добутку для випадку дійсних чисел).

• Ермітова матриця ${\displaystyle M\!}$ називається невід'є́мно ви́значеною (або іноді додатно напіввизначеною), якщо

${\displaystyle \forall x\in \mathbb {C} ^{n}:\;\;x^{*}Mx\geq 0}$

Всі власні значення невід'ємно визначеної матриці — невід'ємні числа.

• Ермітова матриця ${\displaystyle M\!}$ називається від'є́мно ви́значеною, якщо

${\displaystyle \forall x\in \mathbb {C} ^{n},\;x\neq 0:\;\;x^{*}Mx<0}$

Всі власні значення від'ємно визначеної матриці — від'ємні числа.

• Всі додатньо визначені матриці мають повний ранг, їх визначник не рівний нулю і для них існує обернена матриця.
• Для будь-якої матриці ${\displaystyle M\!}$, матриці ${\displaystyle MM^{*},M^{*}M\!}$ — будуть невід'ємно визначені та матимуть однакові власні значення.

• Якщо ${\displaystyle M,N\!}$ — додатньо визначені матриці і ${\displaystyle r>0\!}$ — додатне число, тоді матриці

${\displaystyle rM,\;M+N,\;MNM,\;NMN\!}$ — також є додатньо визначеними матрицями.

І якщо ${\displaystyle \ MN=NM}$ (є переставними), тоді ${\displaystyle MN\!}$ — теж є додатньо визначеною.

• Якщо ${\displaystyle M\!}$ — додатньо визначена матриця, тоді і тільки тоді існує єдина матриця B > 0, що B²=M.

${\displaystyle M>0\iff \exists$ !\;B>0:\;B^{2}=M\!}

Хоча можуть існувати не додатньо визначені матриці B, що виконуватиметься B²=M.

• Теорія матриць
• Нормальна матриця
• Полярний розклад матриці

• Гантмахер Ф. Р. Теория матриц. — 2 изд. — Москва : Наука, 1967. — 576 с. — ISBN 5-9221-0524-8.(рос.)
• Ланкастер П. Теория матриц. — Москва : Наука, 1973. — 280 с.(рос.)