Эрмитова форма

Шаблон:Не путать Эрмитова форма — естественный аналог понятия симметричной билинейной формы для комплексных векторных пространств. Для эрмитовых форм верны аналоги многих свойств симметрических форм: приведение к каноническому виду, понятие положительной определенности и критерий Сильвестра.

Определение

Эрмитова форма — это полуторалинейная форма $f(x,y)$ от двух векторов векторного пространства $V$ над полем $ℂ$ со значениями в этом поле, обладающая свойством симметричности :

$f(x,y)=\overline{f(y,x)}\mathrm{\forall }x,y\in V.$

Таким образом, полный набор условий, определяющих эрмитову форму, состоит в следующем:

• $f(x_1+x_2,y)=f(x_1,y)+f(x_2,y)\mathrm{\forall }{x}_i,y\in V,$
• $f(\alpha x,y)=\alpha f(x,y)\mathrm{\forall }x,y\in V,\alpha \in ℂ.$
• $f(x,y_1+y_2)=f(x,y_1)+f(x,y_2)\mathrm{\forall }x,y_i\in V,$
• $f(x,\alpha y)=\bar{\alpha }f(x,y)\mathrm{\forall }x,y\in V,\alpha \in ℂ,$
• $f(x,y)=\overline{f(y,x)}\mathrm{\forall }x,y\in V.$

Свойства

Из условия эрмитовой симметричности немедленно вытекает факт вещественности величины $f(x,x)$. При этом (вещественнозначная) функция $\varphi (x)=f(x,x)$ на комплексном векторном пространстве V называется квадратично-эрмитовой. Имеет место и обратный факт, который может быть сформулирован как критерий того, что полуторалинейная форма является эрмитовой:

Шаблон:Рамка Теорема. Полуторалинейная форма $f(x,y)$ является эрмитовой тогда и только тогда, когда связанная с ней функция $\varphi (x)$ принимает только вещественные значения. Шаблон:Конец рамки

В случае выполнения дополнительного условия

$f(x,x)>0\mathrm{\forall }x\ne 0$

эрмитова форма f(x,y) и квадратично-эрмитова функция $\varphi (x)$ называются положительно определёнными.

Литература

• Гельфанд И. М. Лекции по линейной алгебре М.: Наука, 1971.
• Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, — Физматлит, Москва, 2009.
• А.И. Кострикин Введение в алгебру часть 2 - линейная алгебра, - Физматлит, 2000