Аффинное пространство

Аффи́нное простра́нство — пространство, обобщающее аффинные свойства евклидова пространства. Во многом схоже с векторным пространством; однако для аффинного пространства, в отличие от векторного, характерно то, что все точки являются равноправными (в частности, в нём не определено понятие нулевой точки, или начала отсчёта).

Определение

Аффинное пространство над полем $\mathbb {K}$ — множество $A$ со свободным транзитивным действием аддитивной группы векторного пространства $V$ над полем $\mathbb {K}$ (если поле $\mathbb {K}$ явно не указано, то подразумевается, что это — поле вещественных чисел).

Комментарий

Данное определение означает, что определена операция сложения элементов пространства $A$ (называемых точками аффинного пространства) с векторами из пространства $V$ (которое называют пространством свободных векторов для аффинного пространства $A$), удовлетворяющая следующим аксиомам:

1. $(M+v)+w=M+(v+w)$ для всех   $M\in A$ и всех $v,w\in V$;
2. $M+0=M$ для всех $M\in A$;
3. для любых двух точек $M,N\in A$ существует единственный вектор $v\in V$ (обозначаемый ${\overrightarrow {MN}}$ или $M-N$) со свойством $N=M+v$.

Таким образом, образ действия $v\in V$ на $M\in A$ обозначается $M+v$.

Связанные определения

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

• комбинация — барицентрическая (то есть сумма её коэффициентов равна 1), и тогда она будет точкой из $A$;
• комбинация — сбалансированная (то есть сумма её коэффициентов равна 0), и тогда она будет вектором из $V$.

По аналогии с понятием линейной независимости векторов вводят понятие аффинной независимости точек аффинного пространства. Именно: точки $P_{0},P_{1},\ldots ,P_{n}$ называют аффинно зависимыми, если какую-либо из них, скажем, $P_{0}$, можно представить в виде барицентрической комбинации остальных точек. В противном случае эти точки называются аффинно независимыми.

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

Размерность аффинного пространства равна по определению размерности соответствующего пространства свободных векторов. При этом число точек в максимальном аффинно независимом множестве точек аффинного пространства оказывается на единицу больше размерности пространства.

Любое из максимальных аффинно независимых множеств точек аффинного пространства можно трактовать как точечный базис (перенумеровав данные точки тем или иным способом). Всякую точку пространства можно представить в виде барицентрической комбинации точек, входящих в точечный базис; коэффициенты этой комбинации называют барицентрическими координатами рассматриваемой точки.

Вариации и обобщения

• Аналогичным образом определяется аффинное пространство над телом.

Литература

• Беклемишев Д. В.  Аналитическая геометрия и линейная алгебра. — М.: Высшая школа, 1998. — 320 с.
• Болтянский В. Г.  Оптимальное управление дискретными системами. — М.: Наука, 1973. — 446 с.
• Кострикин А. И., Манин Ю. И.  Линейная алгебра и геометрия. — М.: Наука, 1986. — 304 с.
• Шафаревич И. Р., Ремизов А. О.  Линейная алгебра и геометрия. — М.: Физматлит, 2009. — 511 с.