Симметрические и кососимметрические, эрмитовы и косоэрмитовы функции

Доказать, что для симметрической или кососимметрической билинейной функции $\varphi$ левое и правое ядра совпадают. Это подпространство называют ядром функции $\varphi$ и обозначают $\operatorname {Ker} \varphi$. Сформулировать и доказать аналогичное утверждение для эрмитовых функций.

Доказать, что любую билинейную функцию можно представить в виде суммы симметрической и кососимметрической функций, а любую полуторалинейную функцию можно представить в виде суммы эрмитовой и косоэрмитовой функций. Верно ли аналогичное утверждение в случае пространства над произвольным полем?

Пусть $\varphi$ — билинейная или полуторалинейная функция на пространстве $V$ с одним из условий симметрии, а $W \subset V$ — подпространство. Доказать, что $W \cap W^{\perp }$ совпадает с ядром ограничения $\varphi$ на $W$.

Пусть $\varphi$ — билинейная или полуторалинейная функция на линейном пространстве $V$ с одним из условий симметрии, а $W \subset V$ — подпространство. Доказать, что $V = W+W^{\perp }$ тогда и только тогда, когда функция $\varphi$ невырожденна на $W$.

Доказать, что условие $\varphi (b, a) = \overline{\varphi (a, b)}$ не может быть выполнено тождественно ни для какой ненулевой билинейной функции на комплексном линейном пространстве. Доказать, что ненулевая полуторалинейная функция $\varphi$ не может быть ни симметрической, $\varphi (b, a) = \varphi (a, b)$, ни кососимметрической, $\varphi (b, a) = -\varphi (a, b)$.

Пусть $\varphi : L \times L \rightarrow \mathbb {k}$ — билинейная функция со свойством: если $\varphi (x, y) = 0$, то $\varphi (y, x) = 0$. Доказать, что тогда $\varphi$ либо симметрична, либо кососимметрична.

Пусть $\varphi$ — симметрическая или кососимметрическая билинейная функция (а в случае комплексного пространства — эрмитова функция). Пусть $W$ — подпространство линейного пространства $V$, а $W^{\perp }$ — его ортогональное дополнение относительно $\varphi$. Доказать, что $\operatorname {dim} W^{\perp } \geqslant \operatorname {dim} V-\operatorname {dim} W$ и равенство имеет место при условии $\operatorname {Ker} \varphi \cap W = 0$.

Пусть $\varphi$ — невырожденная билинейная или полуторалинейная функция с одним из условий симметрии, а $W_{0}$ — ядро ограничения $\varphi$ на подпространство $W$. Доказать, что $\left(W^{\perp }\right)_{0} = W_{0} = W \cap W^{\perp }$.

Доказать, что если неотрицательная вещественная квадратичная функция обращается в нуль хотя бы на одном ненулевом наборе вещественных значений переменных, то эта функция вырожденна.

Доказать, что $\psi$ косоэрмитова тогда и только тогда, когда функция $i \psi$ эрмитова. Доказать, что любая косоэрмитова функция диагонализируема с числами $\pm i$ и нулями на диагонали.

Доказать, что определитель любой эрмитовой матрицы действительное число, а определитель любой косоэрмитовой матрицы — действительное или чисто мнимое (в зависимости от размерности).

Доказать, что для симметрической (или эрмитовой) функции $\varphi$ над полем $\mathbb {R}$ (или $\mathbb {C}$) множество всех векторов $a$, для которых $\varphi (a, a) = 0$, тогда и только тогда есть подпространство линейного пространства, когда один из индексов инерции формы $\varphi$ равен нулю.

Пусть $Q(x, y)$ — эрмитова форма на комплексном линейном пространстве $V,{ }^{R} Q(x, y) = \operatorname {Re} Q(x, y)$. Доказать, что:

Пусть $\varphi$ — вещественная билинейная симметрическая или комплексная эрмитова функция. Доказать, что неравенство

имеет место для всех пар векторов $a, b$ в том и только в том случае, когда один из индексов инерции $\varphi$ равен нулю. Неравенство является строгим для любых линейно независимых пар векторов тогда и только тогда, когда один из индексов инерции совпадает с размерностью пространства.

Пусть существуют линейная замена координат (возможно вырожденная), переводящая квадратичную функцию $\varphi$ в функцию $\psi$, и замена — переводящая функцию $\psi$ в функцию $\varphi$. Доказать, что эти две функции эквивалентны, т. е. существует невырожденное преобразование, переводящее одну из этих функций в другую.

Доказать, что квадратичная функция в вещественном линейном пространстве распадается в произведение двух линейных функций тогда и только тогда, когда ее ранг не превосходит 2, а в случае ранга 2 сигнатура равна нулю. Доказать, что для распадения квадратичной функции в комплексном пространстве в произведение двух линейных функций необходимо и достаточно, чтобы ее ранг не превосходил 2.

Доказать, что вещественная квадратичная функция является неотрицательно определенной тогда и только тогда, когда ее матрица $A$ представляется в виде $A = C^{\top } C$ для некоторой вещественной матрицы $C$. При этом форма положительно определена, если матрица $C$ невырожденна.

(Критерий Сильвестра). Доказать, что квадратичная функция положительно определена тогда и только тогда, когда все ее угловые главные миноры (т.е. миноры, образованные первыми $k$ строками и первыми $k$ столбцами матрицы) положительны.

Доказать, что в положительно определенной квадратичной функции все коэффициенты при квадратах положительны и что это условие не является достаточным для положительной определенности функции.

Доказать следующие утверждения.

Доказать, что если квадратичная функция с матрицей $A$ положительно определена, то и квадратичная функция с матрицей $A^{-1}$ также положительно определена.

Доказать, что квадратичная функция $f$ тогда и только тогда отрицательно определена (т. е. функция $-f$ положительно определена), когда знаки угловых миноров $D_{1}, D_{2}, \ldots , D_{n}$ чередуются, и $D_{1} < 0$.

Пусть $e_{1}, \ldots , e_{n}$ — базис для билинейной или полуторалинейной функции $\varphi$ ранга $r$, в котором ее матрица является блочнодиагональной, с единственным ненулевым блоком размера $r \times r$ в левом верхнем углу. Показать, что такой же вид будет иметь матрица этой функции в любом базисе вида $a_{1}, \ldots , a_{r}, e_{r+1}, \ldots , e_{n}$.

Доказать, что ранг симметричной, кососимметричной или эрмитовой матрицы равен максимальному размеру ненулевых главных миноров.

Пусть $B$ — отличный от нуля главный минор порядка $r$ матрицы симметрической билинейной или комплексной эрмитовой функции $\varphi$ ранга $r$. Доказать, что если главные угловые миноры $B_{1}, B_{2}, \ldots , B_{r} = B$ минора $B$ отличны от нуля, то существует базис, в котором матрица функции $\varphi$ имеет диагональный вид с числами

на диагонали.

Пусть $\varphi$ - (косо)симметрическая билинейная или комплексная эрмитова функция с ядром $\operatorname {Ker} \varphi$. Доказать, что $\operatorname {Ker} \varphi = W^{\perp }$ для любого дополнительного к $\operatorname {Ker} \varphi$ подпространства $W$ и что ограничение $\varphi$ на такое $W$ невырожденно.

Пусть $\varphi$ — невырожденная (косо)симметрическая билинейная или комплексная эрмитова функция, ограничение которой на подпространство $W$ размерности $k$ невырожденно, а ограничение на подпространство $W_{1} \supset W$ размерности $k+1$ вырожденно. Доказать, что найдется подпространство $W_{2} \supset W_{1}$ размерности $k+2$, ограничение на которое функции $\varphi$ снова невырожденно. Проверить, что в симметричном вещественном и эрмитовом случаях знаки определителей ограничений $\varphi$ на $W$ и на $W_{2}$ различны, а в кососимметричном случае эти знаки совпадают.

Пусть $\varphi$ - (косо)симметрическая билинейная или комплексная эрмитова функция ранга $r$, невырожденная на некотором подпространстве $W$ размерности $k < r$, а $e_{k+1}, \ldots , e_{n}$-линейно независимые векторы, порождающие вместе с $W$ все пространство. Доказать, что среди этих векторов найдутся $r-k$ таких, что вместе с $W$ они порождают содержащее $W$ подпространство размерности $r$, ограничение $\varphi$ на которое невырожденно. Используя предыдущую задачу, показать, что если ограничения $\varphi$ на все линейные оболочки $\left\langle W, e_{j}\right\rangle$ вырожденны, то существует пара векторов $e_{j}, e_{l}$, для которых ограничение $\varphi$ на их линейную оболочку невырожденно.

Пусть $B$ - (косо)симметричная или комплексная эрмитова матрица. Показать, что любой отличный от нуля главный минор матрицы $B$ содержится в максимальном главном миноре, размер которого равен рангу матрицы $B$. Показать, что если некоторый главный минор порядка $r$ отличен от нуля, а все его окаймляющие главные миноры порядков $r+1$ и $r+2$ равны нулю, то $r$-ранг матрицы $B$.

Пусть $f$ — квадратичная функция на вещественном линейном пространстве, $a$ и $b$-такие векторы, что $f(a) < 0$ и $f(b) > 0$. Доказать, что векторы $a$ и $b$ линейно независимы.