113
правок
Изменения
Аффинная независимость
# Непустое <math>B \subset A</math> является аффинным подпространством тогда и только тогда, когда для любой точки <math>a \in B</math> множество <math>W_a = \{\overrightarrow{ab} : b \in B\}</math> является подпространством <math>V</math>. Как следствие, <math>B=\{a + w : w \in W_a \}</math>. Более того, <math>W = \{\overrightarrow{ab} : a, b \in B\}</math> является подпространством <math>V</math>, и для любой точки <math>a \in B</math> справедливо <math>W_a = W</math>.
# Для любого <math>W</math>, являющегося подпространством <math>V</math>, множество <math>\{a + v : v \in W\}</math> является аффинным подпространством для любого <math>a \in A</math>.
}}
Аналогично с линейной независимостью в векторных пространствах можно ввести аффинную независимость.
{{Лемма
|statement=Пусть <math>\langle A, V, (+)\rangle</math> – это аффинное пространство. Пусть <math>\{a_i\}_{i \in I}</math> – множество точек из <math>A</math>. Если для какого-то <math>i \in I</math> множество векторов <math>\{\overrightarrow{a_i a_j}\}_{j \in I \setminus \{i\}}</math> линейно независимо, то для любого <math>i \in I</math> множество <math>\{\overrightarrow{a_i a_j}\}_{j \in I \setminus \{i\}}</math> будет линейно независимо.
}}
Эта лемма даёт возможность говорить о независимости множества точек без выделения одной из них.
{{Определение
|definition=Пусть <math>\langle A, V, (+)\rangle</math> – это аффинное пространство. Множество точек <math>\{a_i\}_{i \in I}</math> '''аффинно независимо''', если для какого-то <math>i \in I</math> множество <math>\{\overrightarrow{a_i a_j}\}_{j \in I \setminus \{i\}}</math> линейно независимо.
}}
