Аффинно-квадратичная функция

Пусть далее ${\displaystyle S}$ — аффинное пространство, ассоциированное с векторным пространством ${\displaystyle V}$ над полем ${\displaystyle \mathbb {K} }$, характеристика которого не равна ${\displaystyle 2}$.

Согласно третьему определению, любая функция вида ${\displaystyle D(P,P)}$, где ${\displaystyle D}$ — биаффинная функция, является аффинно-квадратичной, и любая аффинно-квадратичная функция ${\displaystyle Q(P)}$ может быть представлена как ${\displaystyle D(P,P)}$, где ${\displaystyle D}$ — некоторая биаффинная функция. Однако для определённой аффинно-квадратичной функции биаффинная функция, определяющая её, определена неоднозначно. Однозначное соответствие можно получить, если дополнительно потребовать симметричность ${\displaystyle D}$, то есть верно следующее утверждение:

Для любой аффинно-квадратичной функции ${\displaystyle Q(P)}$ существует и единственна симметричная биаффинная функция ${\displaystyle D(P,R)}$ такая, что ${\displaystyle Q(P)=D(P,P)}$. Таким образом между афинно-квадратичными функциями и симметричными биаффинными есть взаимооднозначное соответствие.

Через заданную аффинно-квадратичную функцию ${\displaystyle Q}$ соответствующая симметричная биаффинная функция ${\displaystyle D}$ может быть выражена следующим образом:

${\displaystyle D(P,R)=2Q\left({\frac {1}{2}}P+{\frac {1}{2}}R\right)-{\frac {1}{2}}Q(P)-{\frac {1}{2}}Q(R)}$

Эта формула называется формулой поляризации (аналогично случаю квадратичных и билинейных форм). Суммы точек с коеффициентами здесь представляют собой аффинную комбинацию.

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

Согласно второму определению, для некоторой точки ${\displaystyle O\in S}$ любую аффинно-квадратичную функцию можно представить в виде ${\displaystyle Q(x+O)=q(x)+l(x)+c}$, где ${\displaystyle q}$ — квадратичная форма на ${\displaystyle V}$, ${\displaystyle l}$ — линейная форма на ${\displaystyle V}$, ${\displaystyle c}$ — фиксированная константа ${\displaystyle \mathbb {K} }$. Обратно, функция, задаваемая для определённой точки ${\displaystyle O}$ выражением ${\displaystyle Q(x+O)=q(x)+l(x)+c}$, является аффинно-квадратичной. Точку ${\displaystyle O}$ называют началом отсчёта.

На самом деле аффинно-квадратичная функция для любой точки ${\displaystyle O\in S}$ может быть задана в виде ${\displaystyle Q(x+O)=q(x)+l(x)+c}$. При этом квадратичная форма ${\displaystyle q}$ для заданной аффинно-квадратичной функции определена однозначно и не зависит даже от выбора точки ${\displaystyle O}$. Эта форма называется квадратичной частью ${\displaystyle Q}$. Матрица этой формы называется основной матрицей ${\displaystyle Q}$. Эта же матрица, по совместительству, является основной матрицей соответствующей симметричной биаффинной функции. Ранг основной матрицы называется малым рангом аффинно-квадратичной функции.[3]

Форма ${\displaystyle l}$ и константа ${\displaystyle c}$ для заданной точки ${\displaystyle O}$ определены однозначно, однако для разных точек ${\displaystyle O}$ могут отличаться. Форма ${\displaystyle l}$ называется линейной частью ${\displaystyle Q}$ относительно точки ${\displaystyle O}$, а константа ${\displaystyle c}$ — постоянной частью относительно точки ${\displaystyle O}$.[4]

При смене точки ${\displaystyle O}$ линейная и постоянная часть преобразуются следующим образом. Пусть ${\displaystyle O'=O+a}$ — новая точка, тогда ${\displaystyle Q(O'+x)=q(x)+l'(x)+c'}$ для некоторых ${\displaystyle l'}$ и ${\displaystyle c'}$. Эти ${\displaystyle l'}$ и ${\displaystyle c'}$ выражаются так:

${\displaystyle l'(x)=2b(a,x)+l(x)}$

${\displaystyle c'=q(a)+l(a)+c}$,

где ${\displaystyle b}$ — симметричная билинейная форма, соответствующая квадратичной форме ${\displaystyle q}$.[5]

Согласно первому определению, любую аффинно-квадратичную функцию в некотором репере можно представить в виде квадратичного многочлена (или многочлена меньшей степени) от координат. Верно большее: для любой аффинно-квадратичной функции это можно сделать в любом репере. Обратно, если функция задаётся квадратичным многочленом от координат, то она является аффинно-квадратичной.

Формулу в координатах можно получить из формулы через квадратичную форму. Пусть ${\displaystyle (O,e)}$ — репер, ${\displaystyle A}$ — матрица квадратичной части в базисе ${\displaystyle e}$, ${\displaystyle B}$ — вектор-строка координат линейной части относительно ${\displaystyle O}$ в базисе ${\displaystyle e}$, ${\displaystyle c}$ — постоянная часть относительно ${\displaystyle O}$. Тогда:

${\displaystyle Q(P)=x^{T}Ax+Bx+c}$

С использованием понятия расширенной матрицы это выражение может быть записано ещё проще. Расширенной матрицей аффинно-квадратичной функции называется матрица

${\displaystyle A'={\begin{pmatrix}A&{\dfrac {B^{T}}{2}}\\{\dfrac {B}{2}}&c\end{pmatrix}}}$

Тогда

${\displaystyle Q(P)={\begin{pmatrix}x^{T}&1\end{pmatrix}}{\begin{pmatrix}A&{\dfrac {B^{T}}{2}}\\{\dfrac {B}{2}}&c\end{pmatrix}}{\begin{pmatrix}x\\1\end{pmatrix}}=x'^{T}A'x'}$

Правило преобразования коеффициентов при переходе к другому реперу также довольно просто записывается через расширенные матрицы. Пусть ${\displaystyle T}$ — матрица перехода от старого базиса к новому, ${\displaystyle t}$ — вектор-столбец координат нового начала отсчёта в старом репере. Тогда

${\displaystyle A'_{2}={\begin{pmatrix}A_{2}&{\dfrac {B'^{T}}{2}}\\{\dfrac {B'}{2}}&c'\end{pmatrix}}={\begin{pmatrix}T^{T}&0\\t^{T}&1\end{pmatrix}}{\begin{pmatrix}A_{1}&{\dfrac {B^{T}}{2}}\\{\dfrac {B}{2}}&c\end{pmatrix}}{\begin{pmatrix}T&t\\0&1\end{pmatrix}}=T'^{T}A'_{1}T'}$

Ранг расширенной матрицы называется большим рангом аффинно-квадратичной функции.

• Аффинная квадрика — множество ${\displaystyle X(Q)=\{P\in S:Q(P)=0\}}$.
• Аффинно-квадратичные функции ${\displaystyle Q_{1}}$ и ${\displaystyle Q_{2}}$ называются аффинно эквивалентными, если существует такое аффинное преобразование ${\displaystyle F}$, что ${\displaystyle Q_{1}(F(P))\equiv Q_{2}(P)}$.
• Аффинно-квадратичные функции ${\displaystyle Q_{1}}$ и ${\displaystyle Q_{2}}$ на метрическом аффинном пространстве называются метрически эквивалентными, если существует такое движение ${\displaystyle F}$, что ${\displaystyle Q_{1}(F(P))\equiv Q_{2}(P)}$.

Центральной точкой аффинно-квадратичной функции ${\displaystyle Q}$ называется такая точка ${\displaystyle O}$ из ${\displaystyle S}$, что для любого ${\displaystyle x}$ из ${\displaystyle V}$ выполняется ${\displaystyle Q(O+x)=Q(O-x)}$. Множесво всех центральных точек называется центром аффинно-квадратичной функцияя[6] (некоторые авторы придерживаются иной терминологии: центрами они называют сами точки, а не их множество.[7] Далее данная статья будет придерживаться первой терминологии).

Если центр ${\displaystyle Q}$ непуст, то такая аффинно-квадратичная функция называется центральной, а в противном случае нецентральной.

Точка ${\displaystyle O}$ является центром аффинно-квадратичной функции тогда и только тогда когда линейная часть относительно этой точки тождественно равна ${\displaystyle 0}$[8].

Множество центров аффинно-квадратичной функции в координатах есть решение СЛАУ ${\displaystyle Ax=-{\frac {B^{T}}{2}}}$

Квадратичная часть нецентральной аффинно-квадратичной функции вырождена (следует из предыдущего свойства и теоремы Кронекера — Капелли). Множество центров центральной аффинно-квадратичной функции является аффинным подпространством пространства ${\displaystyle S}$ размерности ${\displaystyle \operatorname {dim} {S}-\operatorname {rk} {q}}$, а его направляющее подпространство есть ${\displaystyle \operatorname {ker} {q}}$. Если квадратичная часть невырождена, то множество центров состоит из одной точки.[6]

Нецентральная аффинно-квадратичная функция имеет хотя бы один нуль (следует из её канонического вида, который будет выведен далее).

Канонический вид для центральной и нецентральной аффинно-квадратичной функции существенно отличаются друг от друга.

Нормальный вид аффинно-квадратичной функции отличается от канонического тем, что квадратичная часть в нём имеет нормальный вид. Пусть ${\displaystyle q(x)=\lambda _{1}x_{1}^{2}+...+\lambda _{k}x_{k}^{2}}$, где все ${\displaystyle \lambda _{i}\neq 0}$ — нормальный вид ${\displaystyle q}$. Тогда нормальный вид ${\displaystyle Q}$:

${\displaystyle Q(P)=\lambda _{1}x_{1}^{2}+...+\lambda _{k}x_{k}^{2}+c_{0}}$, где ${\displaystyle 1\leq k\leq n}$ в центральном случае,

${\displaystyle Q(P)=\lambda _{1}x_{1}^{2}+...+\lambda _{k}x_{k}^{2}+x_{k+1}}$, где ${\displaystyle 1\leq k<n}$ в нецентральном случае

Конкретный произвол в выборе коэффициэнтов ${\displaystyle \lambda _{i}}$ зависит от поля ${\displaystyle \mathbb {K} }$ и должен быть рассмотрен в каждом отдельном случае.

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

Аффинно-квадратичные функции используются для классификации квадрик. К примеру: с помощью них можно получить стандартную аффинную или метрическую классификацию кривых и поверхностей второго порядка в евклидовом пространстве[12].

Аффинно-линейная функция

• Винберг Э. Б.  Курс алгебры. — М.: Факториал Пресс, 2001. — 544 с.
• Кострикин А. И., Манин Ю. И.  Линейная алгебра и геометрия. — СПб.: Лань, 1980. — 303 с.
• Кострикин А. И.  Введение в алгебру. Часть 2. Линейная алгебра. — М.: ФИЗМАТЛИТ, 2000. — 368 с.