Квадратична форма

Еквівалентно , нехай ${\displaystyle V}$ є скінченновимірним векторним простором ${\displaystyle K}$. Тоді квадратичною формою називається відображення ${\displaystyle q:V\to K}$ для якого ${\displaystyle q(av)=a^{2}q(v)}$ для всіх ${\displaystyle a\in K,v\in V}$ і відображення ${\displaystyle q(u+v)-q(u)-q(v)}$ є білінійним, тобто лінійним по аргументах ${\displaystyle u}$ і ${\displaystyle v}$.

Простір ${\displaystyle V}$ із введеною квадратичною формою називається квадратичним простором.

Для полів характеристика яких не є рівною 2 квадратична форма породжує симетричну білінійну форму:

${\displaystyle b_{q}(u,v)={\tfrac {1}{2}}(q(u+v)-q(u)-q(v)).}$

Ця білінійна форма називається асоційованою білінійною формою. Навпаки симетрична білінійна форма ${\displaystyle b(u,v)}$ породжує квадратичну форму:

${\displaystyle q(u)=b(u,u).}$

Для полів характеристики 2 можна ввести білінійну форму ${\displaystyle q(u+v)-q(u)-q(v)}$ пов'язану із квадратичною але у цьому випадку навпаки ця форма не визначає початкову квадратичну форму оскільки ${\displaystyle q(u+u)-q(u)-q(u)=0.}$

Асоційовані білінійні форми дозволяють записати квадратичну форму як однорідний многочлен другого степеня від координат вектора у деякому базисі ${\displaystyle e_{1},e_{2},\dots ,e_{n}}$. А саме:

${\displaystyle q(x)=\sum _{i,j=1}^{n}a_{ij}x_{i}x_{j},}$

де ${\displaystyle x=x_{1}e_{1}+x_{2}e_{2}+\cdots +x_{n}e_{n}}$ — розклад вектора через елементи базису, а ${\displaystyle a_{ij}=a_{ji}=b_{q}(e_{i},e_{j})=b_{q}(e_{j},e_{i}).}$

Для двох квадратичних просторів ${\displaystyle (V,q_{1})}$ і ${\displaystyle (W,q_{2})}$ лінійне відображення називається ізометрією якщо воно є ін'єктивним і ${\displaystyle q_{1}(v)=q_{2}(T(v)).}$ Якщо це лінійне відображення є ізоморфізмом, то простори називаються ізометричними. Ізометричні простори є ізоморфними як квадратичні простори.

Нехай ${\displaystyle q(x_{1},\ldots ,x_{n})=\sum _{i=1}^{n}\sum _{j=1}^{n}a_{ij}{x_{i}}{x_{j}}}$ є квадратичною формою.

Матрицю ${\displaystyle A=(a_{ij})}$ називають матрицею квадратичної форми ${\displaystyle q(x)}$. У разі, якщо характеристика поля ${\displaystyle K}$ не дорівнює 2, можна вважати, що матриця квадратичної форми симетрична, тобто ${\displaystyle a_{ij}=a_{ji}}$.

Позначивши ${\displaystyle x}$ вектор-стовпець змінних ${\displaystyle x_{1},\ldots ,x_{n}}$ квадратичну форму можна записати у матричному виді:

${\displaystyle q(x)=x^{\mathrm {T} }Ax.}$

Навпаки кожна симетрична матриця таким чином задає квадратичну форму.

Якщо квадратична форма визначена як квадратичне відображення на квадратичному просторі над полем характеристика якого не є рівною 2, то елементи матриці задаються значеннями асоційованої білінійної форми для деякого базису ${\displaystyle e_{1},e_{2},\dots ,e_{n}}$:

${\displaystyle a_{ij}=b_{q}(e_{i},e_{j}).}$

Якщо ${\displaystyle \ (e_{1},\ldots ,e_{n})}$ — деякий базис лінійного простору ${\displaystyle \ V,}$ то квадратична форма буде представлена як:

${\displaystyle q({\textbf {x}})={\textbf {x}}^{\mathrm {T} }A{\textbf {x}}=\sum _{i,j=1}^{n}a_{ij}x_{i}x_{j}}$

Якщо ${\displaystyle \ (e'_{1}\ldots e'_{n})=(e_{1}\ldots e_{n})S}$ деякий інший базис e ${\displaystyle \ V,}$ де ${\displaystyle \ S}$ — невироджена матриця.

Тоді при переході до нового базису матриця квадратичної форми зміниться на конгруентну матрицю:

${\displaystyle \ A'=S^{T}AS.}$

Квадратичні форми називаються еквівалентними, якщо їх матриці пов'язані рівністю ${\displaystyle A'=C^{T}A\,C}$ для деякої невиродженої матриці ${\displaystyle C}$.

З формули ${\displaystyle A'=C^{T}A\,C}$ випливає, що визначник матриці квадратичної форми не є її інваріантом (тобто не зберігається при заміні базису, на відміну, наприклад, від матриці лінійного відображення), але її ранг є інваріантом. Таким чином, визначено поняття рангу квадратичної форми.

Якщо матриця квадратичної форми має повний ранг ${\displaystyle n}$, то квадратичну форму називають невиродженою, в іншому випадку - виродженою.