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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Додатноозна́чена ма́триця (додатньовизначена матриця) — частковий випадок ермітової матриці, є аналогом додатніх чисел, якщо розглядати ермітові матриці як узагальнення дійсних чисел.

Поняття додатньоозначеної матриці тісно пов'язане з поняттям додатньоозначеної квадратичної форми.

Визначення[ред.ред. код]

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

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

Невід'ємновизначена і від'ємновизначена матриці[ред.ред. код]

  • Ермітова матриця M \! називається невід'ємновизначеною якщо
\forall x \in \mathbb{C}^n, \; x \ne 0: \;\; x^* M x \ge 0
Всі власні значення невід'ємноозначені матриці — невід'ємні числа.
  • Ермітова матриця M \! називається від'ємновизначеною якщо
\forall x \in \mathbb{C}^n, \; x \ne 0: \;\; x^* M x < 0
Всі власні значення від'ємноозначені матриці — від'ємні числа.

Властивості[ред.ред. код]

  • Всі додатноозначені матриці мають повний ранг, їх визначник не рівний нулю і в них існує обернена матриця.
  • Для будь-якої матриці M \!, матриці MM^*, M^*M \! — будуть невід'ємновизначені та матимуть одинакові власні значення.
  • Якщо M, N \! — додатноозначені матриці і r > 0 \! — додатне число, тоді матриці
rM,\; M+N,\; MNM,\; NMN \! — також є додатньоозначеними матрицями.
І якщо \ M N = N Mпереставними), тоді M N\! — теж є додатньоозначеною.
  • Якщо M \! — додатноозначена матриця, тоді і тільки тоді існує єдина матриця B > 0, що B²=M.
M > 0 \iff \exist ! \; B > 0: \; B^2=M \!
Хоча можуть існувати не додатньоозначені матриці B, що виконуватиметься B²=M.

Дивись також[ред.ред. код]

Джерела[ред.ред. код]