
§1.
Теорія квадратичних форм
213
Зведення квадратичної форми до канонічного вигляду не являється
однозначним, бо його можна виконати різними способами, в яких перехід
до канонічного вигляду пов'язаний з переходами до різних базисів (наприк-
лад,
у методі ортогональних перетворень базис ортонормований). Однак,
отримані канонічні форми мають загальну властивість, яка відома як закон
інерції квадратичних форм.
Закон інерції квадратичних форм полягає у наступному. Всі кано-
нічні форми, до яких зводиться дана квадратична форма, мають: одне й
те ж число нульових коефіцієнтів; одне й те ж число додатних ко-
ефіцієнтів; одне й те ж число від'ємних коефіцієнтів.
Знаковизначені квадратичні форми. Квадратична форма (с4х, х)
називається додатно визначеною, якщо квадра-
тична форма (Ах, х) називається від'ємно визначеною, якщо
{сАх,х)<0 \/х*0.
Додатно та від'ємно визначені квадратичні форми називаються
знаковизначеними.
Теорема 1. Для того, щоб квадратична форма була додатно
(від'ємно) визначена, необхідно та достатньо, щоб усі власні значення
А., матриці цієї квадратичної форми були додатні (від'ємні).
Теорема 2. (Критерій Сильвестра). Для того, щоб квадратична
форма була додатно визначеною, необхідно та достатньо, щоб усі го-
ловні кутові мінори матриці цієї форми були додатними; для того, щоб
квадратична форма була від'ємно визначеною, необхідно та достатньо,
щоб усі головні кутові мінори парного порядку матриці цієї форми були
додатними, а непарного - від'ємними.
//. Контрольні питання та завдання
1.
Що називається квадратичною формою п змінних
х,,
х
2
,...,
х
п
? Яка квадратична форма називається дійсною?
2.
Що називається матрицею квадратичної форми;
рангом квадратичної форми?
3.
Як записати квадратичну форму в матричному
вигляді; в операторному вигляді?
4.
Яка квадратична форма називається канонічною,
який вона має вигляд?
5.
У чому полягає метод ортогональних перетворень зве-
дення квадратичної форми до канонічного вигляду?