
- •Многомерная геометрия: многомерные пространства. Квадратичные формы и квадрики
- •Рецензенты:
- •Многомерная геометрия Введение
- •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. Квадрики в проективном пространстве и их проективная классификация
- •При этом согласно закону инерции квадратичных форм, число положительных коэффициентов, т. Е. Индекс квадратичной формы, в любом нормальном виде её одно и то же.
§4. Способы задания многомерной плоскости
1º Векторные уравнения.
Пусть в пространстве плоскость натянута на точку и линейно независимые векторы . Тогда по определению она состоит из таких точек , что:
, (1)
где
,
.
Для трех точек
из
по аксиоме треугольника II
имеем:
или
.
(2)
Уравнения (1) и (2) называются векторными уравнениями плоскости .
2º Параметрические уравнения
Пусть в некоторой
АСК
точка
имеет координаты
,
точка
имеет координаты
,
векторы
имеют
в базисе
следующие координаты:
Тогда, подставляя
соответствующие разложения векторов:
,
,
,
,
…,
в уравнение (2) и приравнивая в левой и
правой частях коэффициенты при
одинаковых координатных векторах,
получаем систему линейных уравнений:
(3)
Уравнения (3)
выражают текущие координаты
точек
плоскости
с помощью линейных функций от
параметров
и называются параметрическими
уравнениями этой плоскости. В случае
для прямой
имеем:
(4)
Исключив параметр
,
получаем:
(5)
При имеем уже знакомые канонические уравнения прямой .
3º Общие уравнения
Исключить параметры
из уравнения (3) можно и в случае плоскости
любой размерности
,
.
Опишем этот прием.
Какие - либо уравнений из системы (3) разрешим относительно параметров , то есть выразим их через переменные
. Это возможно, так как векторы
линейно независимы, значит
.
Тогда хотя бы один минор этой матрицы порядка отличен от нуля.
2) Подставим
полученные выражения для
в оставшиеся
уравнений, при
этом получим систему из уравнений с переменными (не обязательно всеми!), не содержащую параметров :
(6)
Так как точка
принадлежит плоскости
тогда и только тогда, когда ее координаты
удовлетворяют полученным уравнениям,
то уравнения (6) называются общими
уравнениями этой плоскости.
Итак, любая плоскость
,
,
в аффинном пространстве
может быть задана системой
линейных уравнений. В частности, для
гиперплоскости
:
,
,
то есть она может быть задана одним
линейным уравнением.
Замечание 1: так как параметры можно исключить из системы (3) по-разному, то, то одна и та же плоскость , может задаваться различными системами линейных уравнений.
Замечание 2:
перейти от системы вида (6) к уравнениям
вида (3) и далее к уравнениям (2) и (1) можно
в обратном порядке, например, положив:
.
Пример:
составить различные уравнения плоскости
,
натянутой в аффинном пространстве
на точку
и векторы
,
.
Решение: Так
как соответствующие координаты векторов
и
не пропорциональны, то эти векторы не
коллинеарны, следовательно, линейно
независимы и являются направляющими
векторами пространства
,
связанного с
.
1)
,
- векторное уравнение.
2)
- параметрические уравнения.
3) Из 2-го и 3-го
уравнения выразим
и
:
,
.
.
Подставим эти выражения в оставшиеся три уравнения:
- общие уравнения.
Другой способ исключения параметров и дает другой результат:
,
: