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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Определение[править | править вики-текст]

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

Комментарий[править | править вики-текст]

Данное определение означает[1], что определена операция сложения элементов пространства 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} или \overrightarrow{N-M}) со свойством N = M + v.

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

Связанные определения[править | править вики-текст]

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

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

По аналогии с понятием линейной независимости векторов вводят понятие аффинной независимости точек аффинного пространства. Именно: точки P_0, P_1, \ldots, P_n называют[3] аффинно зависимыми, если какую-либо из них, скажем, P_0, можно представить в виде барицентрической комбинации остальных точек. В противном случае эти точки называются аффинно независимыми.

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

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

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

Аффинное подпространство ― подмножество M векторного пространства E, являющееся сдвигом какого-либо его линейного подпространства L, то есть множество M вида x+L при некотором x\in M.

Множество M определяет L однозначно, тогда как x определяется только с точностью до сдвига на вектор из L. Размерность M определяется как размерность подпространства L.

Аффинное подпространство, которому соответствует подпространство коразмерности 1, называется гиперплоскостью.

Вариации и обобщения[править | править вики-текст]

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

Примечания[править | править вики-текст]

  1. Кострикин, Манин, 1986, с. 193
  2. Кострикин, Манин, 1986, с. 198
  3. Болтянский, 1973, с. 138
  4. Александров П. С., Пасынков В. А. Введение в теорию размерности. — М.: Наука, 1973. — 576 с. — C. 193.
  5. Болтянский, 1973, с. 135
  6. Кострикин, Манин, 1986, с. 199

Литература[править | править вики-текст]

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