Ортогональное дополнение

Ортогональное дополнение подпространства $W$ векторного пространства $V$ с билинейной формой $B$ — это множество всех векторов $V$, ортогональных каждому вектору из $W$. Это множество является векторным подпространством $V$, которое обычно обозначается $W^{\mathrm{\perp }}$.

Определение

Пусть $V$ — векторное пространство над полем $F$ с билинейной формой $B$. Вектор $u$ ортогонален слева вектору $v$, а вектор $v$ ортогонален справа вектору $u$ тогда и только тогда, когда $B(u,v)=0.$ Левое ортогональное дополнение подпространства $W^{\mathrm{\perp }}$ — это множество векторов, ортогональных слева каждому вектору $W$, то есть

$W^{\mathrm{\perp }}=\{x\in V:B(x,y)=0\mathrm{\forall }y\in W\}.$

Аналогичным образом определяется правое ортогональное дополнение. Для симметричной или кососимметричной билинейной формы $B(u,v)=0\iff B(v,u)=0,$ поэтому определения левого и правого ортогонального дополнения совпадают.

Определение можно перенести на случай свободного модуля над коммутативным кольцом.

Свойства

• Ортогональное дополнение является подпространством, то есть замкнуто относительно сложения векторов и умножения на элемент поля.
• Если $X\subseteq Y$, то $Y^{\mathrm{\perp }}\subseteq X^{\mathrm{\perp }}.$
• Радикал билинейной формы является подпространством любого ортогонального дополнения.
• $W\subseteq (W^{\mathrm{\perp }}{)}^{\mathrm{\perp }}.$
• Если форма $B$ является невырожденной, а пространство $V$ конечномерно, то $\mathrm{d}\mathrm{i}\mathrm{m}W+\mathrm{d}\mathrm{i}\mathrm{m}{W}^{\mathrm{\perp }}=\mathrm{d}\mathrm{i}\mathrm{m}V.$
• Если же $V$ — конечномерное евклидово пространство и $B$ — скалярное произведение (или же унитарное пространство и эрмитово скалярное произведение соответственно), то для любого подпространства $W\subseteq V$ $V$ разлагается в прямую сумму $W$ и $W^{\mathrm{\perp }}.$

Пример

Пусть $V$ — двумерное пространство с базисом $e_1,e_2$, и матрица билинейной формы в этом базисе имеет вид $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right).$ Тогда ортогональное дополнение подпространства, натянутого на вектор $a{e}_1+b{e}_2$ — это множество таких векторов $x{e}_1+y{e}_2,$ что $ay+bx=0.$ Например, ортогональное дополнение пространства, натянутого на вектор $e_1$, совпадает с ним самим, тогда как ортогональное дополнение $⟨e_1+e_2⟩$ натянуто на вектор $e_1-e_2$.

Литература

• Шаблон:Книга
• Adkins, William A.; Weintraub, Steven H. (1992), Algebra: An Approach via Module Theory, Graduate Texts in Mathematics 136, Springer-Verlag, ISBN 3-540-97839-9, Zbl 0768.00003
• Halmos, Paul R. (1974), Finite-dimensional vector spaces, Undergraduate Texts in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90093-3, Zbl 0288.15002