§ 9. Эрмитовы формыВсе результаты §§ 1-7 этой главы, установленные для вещественных квадратичных форм, могут быть перенесены на эрмитовы формы. Напомним, что эрмитовой формой называется выражение:
Эрмитовой форме (111) соответствует следующая билинейная эрмитова форма:
при этом
и, в частности,
т. е. форма Матрица коэффициентов эрмитовой формы Пользуясь матрицей
Если
где
Подвергнем переменные
или в матричной записи
После преобразования эрмитова форма
где матрица новых коэффициентов
В этом непосредственно убеждаемся после замены во второй формуле (114) Если положить
Из формулы (118) следует, что ранги матриц Определитель
Эрмитова форма называется сингулярной, если ее дискриминант равен нулю. Очевидно, сингулярная форма остается сингулярной при любом преобразовании переменных (117). Эрмитову форму
где
- независимые комплексные линейные формы от переменных Правую часть в (120) будем называть суммой независимых квадратов, а каждое слагаемое в этой сумме — положительным или отрицательным квадратом в зависимости от того, соответствующее Теорема 18 (закон инерции эрмитовых форм). При представлении эрмитовой формы чисел положительных и число отрицательных квадратов не зависят от способа представления. Доказательство совершенно аналогично доказательству теоремы 1 (стр. 270). Разность Метод Лагранжа приведения квадратичных форм к сумме квадратов может быть использован и для эрмитовых форм, только при этом основные формулы (15) и (16) должны быть заменены формулами
Пусть теперь для эрмитовой формы
Тогда совершенно так же, как и для квадратичной формы, получаем формулу Якоби в двух видах:
где
а
В соответствии с формулой Якоби (124) число отрицательных квадратов в представлении формы
и, следовательно, сигнатура
Все замечания относительно особых случаев, которые могут здесь представиться, сделанные для квадратичных форм (§ 3), автоматически переносятся на эрмитовы формы. Определение 5. Эрмитова форма
Определение 6. Эрмитова форма
Теорема 19. Для того чтобы эрмитова форма
Теорема 20. Для того чтобы эрмитова форма была
Доказательство теорем 19 и 20 совершенно аналогично доказательству теорем 3 и 4 для квадратичных форм. Условия отрицательной определенности и неположительности эрмитовой формы Из теоремы 5' главы IX следует теорема о приведении эрмитовой формы к главным осям: Теорема 21. Эрмитова форма
к канонической форме
при этом Справедливость теоремы 21 вытекает из формулы
Пусть даны две эрмитовы формы
Это уравнение называется характеристическим уравнением пучка эрмитовых форм. Корни этого уравнения называются характеристическими числами пучка. Если
Столбец Имеет место Теорема 22. Характеристическое уравнение регулярного пучка эрмитовых форм
Доказательство совершенно аналогично доказательству теоремы 8. Все экстремальные свойства характеристических чисел регулярного пучка квадратичных форм сохраняют свою силу и для эрмитовых форм. Теоремы 10—17 сохраняют свою силу, если в этих теоремах термин «квадратичные формы» заменить везде термином «эрмитовы формы». Доказательства теорем остаются при этом неизменными.
|