Линейные и аффинные подпространства
Линейное подпространство
Непустое подмножество векторов из называется линейным подпространством пространства , если:
1) (подпространство замкнуто по отношению к операции сложения);
2) и любого действительного числа (подпространство замкнуто по отношению к операции умножения вектора на число).
Для указания линейного подпространства будем использовать обозначение . В частности, множество , состоящее из одного нулевого вектора, и все пространство считаются подпространствами : . В "обычном" пространстве координатная ось и координатная плоскость являются подпространствами: .
Линейное подпространство называется m-мерным, если в нем существует система из линейно независимых векторов, а любая система из большего количества векторов линейно зависима. Число называется размерностью (числом измерений) линейного подпространства и обозначается , в частности, (так как в множестве нет линейно независимых векторов), . Другими словами, размерность подпространства — это максимальное число линейно независимых векторов этого подпространства.
Базисом m-мерного линейного подпространства называется упорядоченная совокупность линейно независимых векторов (базисных векторов). Например, векторы образуют базис на координатной плоскости , являющейся подпространством .
Замечания 2.10
1. Линейное подпространство — это непустое подмножество , которое содержит любую линейную комбинацию своих векторов, т.е.
Это утверждение следует из условий 1, 2 в определении линейного подпространства и может быть взято в качестве эквивалентного определения.
2. Базис линейного подпространства — это полная система векторов этого подпространства в том смысле, что любой вектор подпространства линейно выражается через базисные векторы. Другими словами, m-мерное линейное подпространство есть линейная оболочка своих базисных векторов .
3. Базис линейного подпространства — это максимальная линейно независимая система векторов этого подпространства, так как базис — это линейно независимая система векторов, и ее нельзя дополнить каким-либо вектором из подпространства без потери линейной независимости.
4. Базис линейного подпространства — это полная линейно независимая система векторов линейного подпространства.
Аффинное подпространство
Непустое подмножество точек из называется аффинным подпространством, если вместе с любыми двумя своими точками оно содержит и любую их аффинную комбинацию: для любых точек и (концов радиус-векторов соответственно), принадлежащих , точка также принадлежит , радиус-вектор которой имеет вид
Например, аффинными подпространствами являются точка, прямая, плоскость или все пространство .
Покажем, что аффинное подпространство можно задать при помощи операции откладывания векторов от точки. Действительно, пусть — некоторая точка ( — ее радиус-вектор), а — линейное подпространство. Рассмотрим множество таких точек ( — радиус-вектор точки ) из , которые получаются в результате откладывания от точки векторов из (рис.2.38):
 (2.25)
Пусть точки и принадлежат , т.е. их радиус-векторы имеют вид и . Тогда их аффинная комбинация также принадлежит , так как
где ( — линейная комбинация векторов и из подпространства ).
Таким образом, множество (2.25) является аффинным подпространством и называется плоскостью, проходящей через точку (конец радиус-вектора ) параллельно линейному подпространству . При этом линейное подпространство называется однородной частью аффинного подпространства . Говорят также, что плоскость получена в результате параллельного переноса линейного подпространства на вектор .
Размерностью плоскости называется размерность ее однородной части, т.е. . Например, точка, прямая, плоскость в "обычном" пространстве являются нульмерным, одномерным, двумерным аффинными подпространствами соответственно. Плоскость размерности в пространстве называется гиперплоскостью. Прямая на координатной плоскости или плоскость в "обычном" пространстве являются гиперплоскостями.
Замечания 2.11
1. Аффинное подпространство — это непустое подмножество , которое содержит любую аффинную комбинацию своих точек.
2. Точки называются геометрически независимыми, если векторы образуют линейно независимую систему. В r-мерной плоскости существует не более геометрически независимых точек.
В самом деле, пусть — любая точка плоскости ( — радиус-вектор точки ), а — базис , тогда точки — концы радиус-векторов геометрически независимы, так как векторы линейно независимы. Существование геометрически независимых точек доказано. Предположим, что в r-мерной плоскости имеются геометрически независимых точек . Тогда по определению получим линейно независимую систему векторов
подпространства , что противоречит его r-мерности.
3. Геометрически независимые точки аффинного подпространства аналогичны базису линейного подпространства, а именно: если — геометрически независимые точки r-мерной плоскости , то
4. Выпуклая комбинация геометрически независимых точек (их радиус-векторов) называется г-мерным симплексом (с вершинами ) и обозначается . Например, в "обычном" пространстве : тетраэдр (включая его внутренние точки) является трехмерным симплексом, плоский треугольник — двумерным симплексом, отрезок — одномерным симплексом, а точка — нульмерным симплексом.
Выпуклая комбинация точек из набора называется k-мерной гранью r-мерного симплекса . Например, нульмерные грани тетраэдра — это его вершины, одномерные грани — ребра, двумерные грани — "обычные" грани тетраэдра.
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|