
- •Многомерная геометрия: многомерные пространства. Квадратичные формы и квадрики
- •Рецензенты:
- •Многомерная геометрия Введение
- •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. Квадрики в проективном пространстве и их проективная классификация
- •При этом согласно закону инерции квадратичных форм, число положительных коэффициентов, т. Е. Индекс квадратичной формы, в любом нормальном виде её одно и то же.
§ 29. Квадрики в проективном пространстве и их проективная классификация
Опр.1. Квадрикой или гиперповерхностью второго порядка в n-мерном проективном пространстве RPn называется множество точек, координаты которых относительно какой-нибудь проективной системы координат R удовлетворяют уравнению 2-ой степени вида:
(1)
где cij=cji.
Замечание 1. При переходе к другой проективной системе координат R' квадратичная форма из левой части уравнения (1) подвергается однородному линейному преобразованию переменных с невырожденной матрицей и переходит в квадратичную форму от новых переменных . Поэтому степень уравнения (1) остаётся равной двум, т.е. понятие квадрики не зависит от выбора проективной системы координат.
Пусть проективное
пространство RPn
есть результат пополнения несобственными
или бесконечно удалёнными точками
n-мерного аффинного
пространства Аn.
Выберем в пространстве Аn
аффинную систему координат
,
которая порождает фиксированную
однородную систему координат
пространства
Аn+1 где
и
.
Будем также считать, что уравнения
квадрик пространства RPn
=
заданы именно в однородной системе
координат.
Имеет место теорема единственности: Если два уравнения вида (1) определяют одну и ту же квадрику в пространстве RPn= , то коэффициенты в обоих этих уравнениях соответственно пропорциональны.
Известно, что с
помощью линейного преобразования
переменных любая квадратичная форма
,
det(akj)
может быть приведена к
каноническому и даже нормальному виду
(см. § 18):
(2)
где
- ранг квадратичной формы (число ненулевых
коэффициентов при квадратах новых
переменных), а все числа
равны
.
При этом согласно закону инерции квадратичных форм, число положительных коэффициентов, т. Е. Индекс квадратичной формы, в любом нормальном виде её одно и то же.
Для формы ранга k индекс может принимать значения k,k-1,…,1,0. при умножении квадратичной формы на (-1) форма ранга k и индекса r переходит в форму ранга k и индекса k-r. Поэтому квадрика, заданная в однородных координатах уравнением (1), где квадратичная форма имеет ранг k, может быть задана в новой проективной системе координат уравнением вида:
(3)
где у переменных
опущены штрихи, все
,
а число положительных среди них
равно k,k-1,…,
.
Замечание 2. Формулы указанного выше линейного преобразования переменных можно понимать и как формулы перехода от одной координатной системы к другой, и как формулы некоторого проективного преобразования пространства RPn= . Кроме того, без ограничения общности можно считать, что в уравнении (3) квадрики ранга k члены с положительными коэффициентами предшествуют членам с отрицательными коэффициентами.
Имеем основной результат:
Всякая квадрика ранга k может быть с помощью проективного преобразования пространства RPn= переведена в квадрику, уравнение которой в исходной однородной системе координат пространства RPn имеет один из следующих видов:
(4)
Всего имеется
ровно
таких
уравнений.
Общее число
нормальных видов квадрик в пространстве
RPn
выражается формулой:
(5)
При этом, если n чётно, т. е. n=2l, то S=l2+3l+1;
если n
нечётно, т. е. n=2l-1,
то S=l2+2,
где
.
В частности, на проективной плоскости RP2 при n=2 и l =1 имеется пять различных нормальных форм. В трёхмерном проективном пространстве RP3 при n=3 и l =2 имеется восемь различных нормальных форм.
Опр 2. Две квадрики проективного пространства RPn называются проективно-эквивалентными, если с помощью проективного преобразования этого пространства одна из них может быть переведена в другую.
Замечание 3. Выше установлено, что каждая квадрика пространства RPn попадает в один из S(n) классов, каждый из которых определен уравнением вида (4). При этом все квадрики из одного класса проективно эквивалентны. Можно доказать, что две квадрики из различных классов проективно не эквивалентны между собой (проективно различны). Поэтому полученные S(n) классов дают полную проективную классификацию действительных квадрик n-мерного действительного проективного пространства.