
- •Многомерная геометрия: многомерные пространства. Квадратичные формы и квадрики
- •Рецензенты:
- •Многомерная геометрия Введение
- •I. Аффинные и евклидовы n-мерные пространства
- •§1. Аксиомы аффинного и n-мерного действительного пространства
- •I. Аксиомы сложения векторов
- •II. Аксиомы умножения вектора на число
- •III. Аксиомы размерности
- •§2. Аффинная система координат
- •2º. Переход к новой системе координат
- •§3. Многомерные плоскости
- •2º Плоскость как аффинное пространство
- •§4. Способы задания многомерной плоскости
- •1º Векторные уравнения.
- •2º Параметрические уравнения
- •3º Общие уравнения
- •§5. Взаимное расположение многомерных плоскостей
- •§6. Изоморфизм аффинных пространств
- •§7. Аффинные преобразования
- •§8. Аффинное преобразование в координатах
- •§9. Группа аффинных преобразований и её подгруппы. Предмет аффинной геометрии
- •2°. Подгруппа параллельных переносов
- •3°. Подгруппа гомотетий
- •4°. Подгруппа центроаффинных преобразований
- •5°. Предмет аффинной геометрии
- •§ 10. Евклидово векторное пространство
- •IV. Аксиомы скалярного умножения векторов
- •2º. Ортогональные преобразования
- •§11. Евклидово точечное и n – мерное пространства
- •§12. Плоскости в евклидовом пространстве
- •§13. Определитель Грама. Объем в евклидовом пространстве
- •2º.Объём n-мерного параллелепипеда в n-мерном евклидовом пространстве
- •§14. Группа движений евклидова пространства
- •§15. Группа подобий евклидова пространства
- •§16. Групповой подход к геометрии
- •II. Квадратичные формы и квадрики
- •§17. Понятие квадратичной формы
- •§18. Приведение квадратичной формы к каноническому виду
- •§19. Понятие квадрики
- •§20. Привидение уравнения квадрики к нормальному виду
- •§21.Классификация квадрик в пространстве An
- •Эллипсоиды и гиперболоиды
- •Конические квадрики (конусы)
- •III. Параболоиды.
- •IV. Цилиндрические квадрики (цилиндры)
- •§22. Симметрический оператор, его матрица, собственные значения и собственные векторы
- •§23. Приведение квадратичной формы к каноническому виду с помощью ортогонального преобразования
- •1º. Теорема о возможности приведения квадратичной формы к каноническому виду
- •2º. Способ приведения квадратичной формы к каноническому виду:
- •3º. Ортогональные инварианты
- •§24. Квадрики в евклидовом пространстве
- •1º. Упрощение уравнения квадрики
- •2º. Классификация квадрик в трёхмерном евклидовом пространстве
- •§ 25. Проективное пространство, его плоскости и прямые
- •§ 26. Проективные координаты
- •§ 27. Проективно-аффинное пространство
- •§28. Проективные преобразования
- •§ 29. Квадрики в проективном пространстве и их проективная классификация
- •При этом согласно закону инерции квадратичных форм, число положительных коэффициентов, т. Е. Индекс квадратичной формы, в любом нормальном виде её одно и то же.
§12. Плоскости в евклидовом пространстве
Определение
r-мерной плоскости и её
аффинные свойства, рассмотренные
ранее, сохраняются и в пространстве
Е
.
(однако, в E
имеются ряд задач специфического,
метрического содержания. Обобщим
некоторые метрические понятия трехмерного
пространства на евклидово пространство
измерений.
Определение
1: пусть V
-
векторное евклидово пространство,
связанное с пространством E
и W
-
его подпространство. Множество W
всех векторов из V
,
ортогональных любому вектору
W
,
называется ортогональным дополнением
пространства W
.
Пример:
если V
=
{
},то
{
}
=
V
.
Определение
2: пусть V
и V
- подпространства векторного пространства
V
,
где 0
r
n и 0
s
n. Их объединение V
,
состоящее из векторов вида
+
,
где
V
,
а
V
,
является векторным пространством
и называется алгебраической суммой
пространств V
и V
и обозначается V
=
V
+ V
.
Определение
3: если V
V
={
},то
алгебраическая сумма называется прямой
суммой и обозначается V
V
.
В курсе линейной алгебры доказано следующее:
Теорема 1: для
любого подпространства V
V
его
ортогональное дополнение
также является подпространством
пространства V
,
причем, если V
V
и V
{
},
то V
=
V
и
.
Определение
4: пусть P
- многомерная плоскость пространства
E
,
натянутая на точку М и векторное
евклидово подпространство V
.
Плоскость, направляющим подпространством
которой служит V
,
называется ортогональным дополнением
к плоскости P
и обозначается P
.
Теорема 2: плоскости P и P пространства E пересекаются в единственной точке.
□ Пусть P
натянута на точку М и векторное евклидово
подпространство V
,
а плоскость P
-
на точку N и V
.
Тогда
V
V
=
V
.Значит,
выполнено необходимое и достаточное
условие пересечения плоскостей: для
объединенной системы линейных уравнений,
задающих эти плоскости, равны ранги
основной и расширенной матрицы. Так
как размерность их пересечения t
= m + (n – m)
=n, то V
V
=
{
},
значит, P
и P
пересекаются, причем в единственной
точке. ■
Теорема 3: через любую точку N пространства E проходит единственное ортогональное дополнение P к плоскости P , натянутой на точку M и подпространство V .
□ По условию плоскость P натянута на точку N и подпространство V , а так как многомерная плоскость вполне задается своей любой точкой и направляющим подпространством, то P - единственна. ■
Теоремы 1-3 позволяют ввести понятие расстояния от точки до плоскости P
1 m n-1.
Пусть плоскость P натянута в пространстве E на точку М и подпространство V плоскость P проходит через некоторую точку N, точка K = P P , точка B – произвольная точка плоскости P .
По аксиоме
треугольника имеем:
+
=
(1)
Так как по условию
K, B
P
, то
V
; K,
N
P
,
то
V
,
значит
и
=0.
Из равенства (1) по теореме Пифагора получаем:
(2)
если B
K, то
и из (2)
,
то есть
- длина перпендикуляра
к плоскости P
меньше длины любой наклонной
.
Поэтому расстоянием от точки N
до плоскости P
будем считать длину вектора
.
Если же N
P
,
то считаем
.
(3)
Задача: вычислить
расстояние от точки N
(x
,
x
,…,x
)
до гиперплоскости P
c уравнением a
(решить на практическом занятии).
Решение:
обозначим через
ортогональную проекцию точки N
на гиперплоскость P
и выберем на ней две произвольные точки
и
.
Тогда имеем
и
,
то есть
.
Значит, вектор
ортогонален любому вектору
,
то есть
и
.
Вычислим двумя способами произведение
.
1)
=
,
так как,
или
и
.
2)
=
.
Окончательно
имеем:
(4)