Аффинная и проективная геометрия / Аффинные подпространства / 1 2 3 4 5 6 7 8 9 10 11 12
Доказательство. Если B2 = tl(B1) и M2, M1 - направляющие B2 и B1 соответственно, то
так что B1 и B2 параллельны.
Наоборот, пусть M - общее направляющее для B1 и B2. Выберем точки и . Имеем , откуда . Наконец, легко видеть, что тогда и только тогда, когда .
4. Следствие. Аффинные подпространства в L (с аффинной структурой) - это линейные подмногообразия L в смысле определения п. 1, т. е. сдвиги линейных подпространств.
5. Следствие. Параллельные аффинные подпространства одинаковой размерности либо не пересекаются, либо совпадают.
Доказательство. Если , то по предыдущему , где M - общее направляющее B1 и B2.
6. Аффинные подпространства B1 и B2 не обязательно одинаковой размерности называются параллельными, если одно из их направляющих содержится в другом. Слегка изменяя предыдущие доказательства, легко получить следующие факты. Пусть B1 и B2 параллельны и . Тогда существует такой вектор , что , и два вектора с этим свойством отличаются на элемент из M1. Кроме того, либо B1 и B2 не пересекаются, либо B1 содержится в B2.
-1-2-3-4-5-6-7-8-9-10-11-12-
|