$\DeclareMathOperator{\rang}{rang}
\DeclareMathOperator{\char}{char}$

## Билинейные формы

**Определение.** Пусть $V,~U$ – векторные пространства над полем $\mathbb{F}$. Билинейной формой называется отображение $f:V \times V \Rightarrow U$, линейное по каждому из аргументов:

$$f(\alpha u+\beta v, w)=\alpha f(u,w)+\beta f(v,w)$$

$$
\begin{equation}
f(w, \alpha u+\beta v)=\alpha f(w,u)+\beta f(w,v)
\end{equation}
$$

для всех $u,v,w \in V,~\alpha,\beta \in \mathbb{F}$

### Координатная запись билинейной функции

Выберем в $V$ базис $(e_1,...,e_n)$ и выразим $x,~y \in V$ через их координаты:

$$x=x_1e_1+...x_ne_n,~~y=y_1e_1+...+y_ne_n$$

Используем определяющие свойства **(1)** билинейной формы для записи $f(x,y)$ через $n^2$ скаляров $f(e_i,e_j)$:

$$
\begin{equation}
f(x,y)=f(\sum\limits_i x_ie_i,\sum\limits_j y_je_j)=\sum\limits_i x_if(e_i,\sum\limits_j y_je_j)=\sum\limits_i x_i \sum\limits_j f(e_i,e_j)=\sum\limits_{i,j} f_{ij}x_iy_i,
\end{equation}
$$

где $f_{ij}=f(e_i,e_j)$

### Матрица билинейной функции

**Определение.** Матрица $F=(f_{ij})$ называется матрицей билинейной формы $f$ на $V$ в базисе $(e_1,...,e_n)$.

Пусть $X^T=(x_1,...,x_n)$ – транспонированный координатный столбец $x$, $Y=(y_1,...,y_n)^T$ – координатный столбец $y$, тогда 
$$
\begin{equation}
f(x,y)=X^TFY
\end{equation}
$$

Обратно, имея квадратную матрицу $F=(f_{ij})$, при помощи **(2)** или **(3)** определим на $V$ билинейную форму $f$, полагая $f(e_i,e_j)=f_{ij}$. Таким образом, при заданном базисе $(e_1,...,e_n)$ векторного пространства $V$ над $\mathbb{F}$ имеется биекция между квадратными $n \times n$ матрицами над $\mathbb{F}$ и билинейными формами на $V~(dim_\mathbb{F} V=n)$.

### Изменение матрицы при замене базиса

**Теорема.** Матрицы $F$ и $F'$ билинейной формы $f$ на $V$ в базисах $(e_i)$ и $(e'_i)$ связаны соотношением

$$F'=A^TFA,$$

где $A$ – матрица перехода от $(e_i)$ к $(e'_i)$.

$\blacktriangle$ Пусть наряду с $(e_1,...,e_n)$ в $V$ задан еще один базис $(e'_1,...,e'_n)$ вместе с матрицей перехода $A=(a_{ij})$:

$$e'_j=\sum\limits_{i=1}^n a_{ij}e_i,~j=1,...n$$

Если $x=x_1e_1+...+x_ne_n=x=x'_1e'_1+...+x'_ne'_n$, то координатные столбцы $X$ и $X'$ связаны соотношением $X=AX'$. Пусть теперь $F=(f_{ij})$ – матрица билинейной формы $f$ в базисе $(e_i)$, а $F'=(f'_{ij})$ – матрица той же формы $f$ в базисе $(e'_i)$, т.е. $f_{ij}=f(e_i,e_j)$ и $f'_{ij}=f(e'_i,e'_j)$. Так как $(AX')^T=X'^TA^T$ и так как $f(x,y)$ не зависит от выбора базиса, то

$$X'^TF'Y' =f(x,y)=X^TFY=(AX')^TF(AY')=X'^TA^TFAY' ~\blacksquare$$

**Определение.** Рангом билинейной формы $f$ называется ранг ее матрицы.

**Следствие.** Ранг билинейной формы $f$ – инвариант, не зависящий от выбора базиса.

**Определение.** $L_f=\{ x ~|~ f(x,v)=0 ~\forall v \in V \}$ – левое ядро билинейной формы $f,~L_f \subset V$.

$\dim L_f$ не зависит от базиса.

Пусть $(e_1,...,e_n)$ – базис в $V$. Ядро – решения уравнений:

$\left \{ \begin{array}{l} f(x,e_1)=0 \\ ... \\ f'(x,e_n)=0 \end{array} \right . $

Если разложить $x$ по базису, то матрица системы совпадает с матрицей билинейной формы, то $\dim L_f+\rang F=n=\dim V$

### Симметричные и кососимметричные билинейные формы

**Определение.** $f$ – симметричная, если $f(x,y)=f(y,x)~\forall x,y \in V$.

**Определение.** $f$ – кососимметричная, если $f(x,y)=-f(y,x)~\forall x,y \in V$.

**Определение.** Матрица симметричной формы – симметричная: $F^T=F$.

**Определение.** Матрица кососимметричной формы – кососимметричная: $F^T=-F$.

При замене базиса ($A$ – матрица перехода):

$$(A^TFA)^T=A^TF^TA=A^TFA$$

**Теорема.** Если $\char \mathbb{F} \neq 2$, то пространство $L_2(V,\mathbb{F})$ всех билинейных форм является прямой суммой

$$L_2(V,\mathbb{F})=L_2^+(V,\mathbb{F}) \oplus L_2^-(V,\mathbb{F}),$$

где $L_2^+(V,\mathbb{F})$ – пространство симметричных форм, $L_2^-(V,\mathbb{F})$ – пространство кососимметричных форм.

$\blacktriangle$ Пусть $f \in L_2^+(V,\mathbb{F}) \cap  L_2^-(V,\mathbb{F})$, тогда $\forall x,y \in V$

$$f(x,y)=f(y,x)=-f(x,y) \Rightarrow 2f(x,y)=0 \Rightarrow f(x,y)=0 ~(\char \mathbb{F} \neq 2) \Rightarrow f \equiv 0 \Rightarrow$$

$\Rightarrow$ сумма $L_2^+$ и $L_2^-$ – прямая.

С другой стороны, соотношение

$$f(x,y)=\frac{1}{2}(f(x,y)+f(y,x))+\frac{1}{2}(f(x,y)-f(y,x))$$

показывает, что всякая билинейная форма $f$ представляется в виде суммы симметричной и кососимметричной форм. $\blacksquare$