Аффинные пространства: переход от векторов к геометрическим точкам

Аксиоматика Вейля: точки и трансляции

Аффинное пространство определяется как множество точек $A$ (аффинное многообразие), которое связано с некоторым линейным (векторным) пространством $V$ (пространством трансляций) с помощью строгой алгебраической операции. Эта операция сопоставляет любой точке $P$ из множества $A$ и любому вектору $v$ из пространства $V$ единственную новую точку $Q$, которая получается параллельным переносом (сдвигом) точки $P$ на вектор $v$. Записывается это как $Q = P + v$. Главная аксиома (аксиома транзитивности) требует, чтобы последовательный сдвиг точки сначала на вектор $u$, а затем на вектор $v$, был строго эквивалентен однократному сдвигу на вектор-сумму $(u + v)$. Вторая аксиома гарантирует, что для любых двух произвольных точек $P$ и $Q$ всегда существует один, и только один, вектор трансляции $v$, который переводит $P$ в $Q$ (обозначаемый как вектор $PQ$).

Барицентрические комбинации точек

Несмотря на то что точки нельзя просто складывать, аффинная алгебра вводит уникальную операцию — барицентрическую комбинацию точек. Мы можем алгебраически суммировать точки с весовыми коэффициентами, но только при одном жесточайшем условии: сумма всех весовых коэффициентов должна быть строго равна единице! Выражение $M = \alpha_1 P_1 + \alpha_2 P_2 + \dots + \alpha_n P_n$ (где $\sum \alpha_i = 1$) имеет глубокий физический смысл: точка $M$ является центром масс системы, в которой в точки $P_i$ помещены массы $\alpha_i$. Если мы попытаемся сложить точки с коэффициентами, сумма которых равна нулю, мы получим не новую точку, а вектор в ассоциированном пространстве $V$. Этот изящный алгебраический механизм позволяет полностью переписать всю геометрию отрезков, плоскостей и многогранников без привязки к началу координат.

Аффинная независимость и размерность

В линейной алгебре базис строится из линейно независимых векторов. В аффинном пространстве базис (называемый аффинным репером) строится из точек. Набор из $(n+1)$ точек называется аффинно независимым, если никакая из них не может быть выражена как барицентрическая комбинация остальных. Геометрически на плоскости это означает, что три точки не лежат на одной прямой, а в пространстве — что четыре точки не лежат в одной плоскости. Аффинный репер n-мерного пространства состоит из одной фиксированной точки отсчета $O$ (начала координат) и $n$ линейно независимых векторов $e_1, \dots, e_n$. Положение любой точки $M$ однозначно задается вектором $OM$, разложенным по этому базису, что возвращает нас к классическим координатным методам Декарта, но с пониманием их внутренней аксиоматической природы.

Различие между аффинной и евклидовой геометрией

Важнейшее философское отличие аффинного пространства от евклидова заключается в полном отсутствии метрики. В чистом аффинном пространстве не определено понятие скалярного произведения, а значит, невозможно измерить абсолютную длину вектора, вычислить угол между прямыми линиями или определить понятие перпендикулярности. Единственные инварианты, которые сохраняются в такой «мягкой» геометрии — это коллинеарность (прямые остаются прямыми), параллельность и простое отношение, в котором точка делит отрезок. Аффинная геометрия изучает свойства теней, отбрасываемых параллельными пучками света. Только после искусственного введения положительно определенного метрического тензора аффинное пространство «затвердевает», превращаясь в жесткое евклидово пространство со знакомыми теоремами Пифагора.