Критерий Сильвестра определяет, является ли симметричная квадратная матрица положительно (отрицательно, неотрицательно) определённой. Пусть квадратичная форма имеет в каком-то базисе матрицу 
Тогда эта форма положительно определена, если и только если все её главные (угловые) миноры положительны. Форма отрицательно определена, если и только если знаки чередуются, причём . Здесь главными минорами матрицы называются определители вида 


Для неотрицательно определённых матриц критерий действует только в одну сторону: если форма неотрицательно определена, то главные миноры неотрицательны. Обратное неверно. Например, матрица 
не является неотрицательно определённой — так как, например, для . В то же время все её главные миноры равны 0, то есть неотрицательны.
Критерий отрицательной определённости квадратичной формыДля отрицательной определённости квадратичной формы необходимо и достаточно, чтобы главные миноры чётного порядка её матрицы были положительны, а нечётного порядка — отрицательны. |
Доказательство сводится к предыдущему случаю, так как матрица является отрицательно определённой тогда и только тогда, когда матрица является положительно определённой. При замене матрицы на противоположную главные миноры нечётного порядка меняют знак, а главные миноры чётного порядка остаются такими же.
|