- •§2. -Мерное аффинное пространство
- •§3. Аффинная система координат
- •§4. -Мерные плоскости
- •§5. Уравнения -мерных плоскостей
- •§6. Определение некоторых фигур аффинного пространства
- •Лекция 2.-мерное евклидово (точечное) пространство §7. Евклидово векторное пространство
- •§8. Евклидово -мерное точечное пространство
- •Раздел VI. Проективная геометрия Лекция 1.Проективное n-мерное пространство. Модели проективной прямой и плоскости
- •§1. Центральное проектирование. Предмет проективной геометрии
- •§2. Аксиоматическое определение проективного пространства. Модели проективной прямой и проективной плоскости
- •Лекция 2. Проективные реперы на прямой и плоскости. Уравнение прямой на проективной плоскости §3. Проективные координаты
- •§4. Однородные аффинные координаты
- •§5. Уравнение прямой на проективной плоскости
- •Лекция 3. Принцип двойственности. Теорема Дезарга §6. Принцип двойственности. Теорема Дезарга
- •Лекция 4. Сложные отношения точек и прямых. Гармонические четверки точек и прямых в полном четырехвершиннике §7. Сложное отношение четырех точек прямой
- •§8. Сложное отношение четырех прямых пучка
- •§9. Гармонические четверки
- •Лекция 5. Проективные отображения. Проективные преобразования. Предмет проективной геометрии §10. Проективные преобразования плоскости
- •§11. Проективные отображения прямых и пучков
- •Лекция 6. Квадрики на проективной плоскости. Полюсы и поляры §12. Линии второго порядка на проективной плоскости
- •§13. Полюсы и поляры. Поляритет
- •§14. Классификация линий второго порядка на проективной плоскости
- •§15. Овальные линии второго порядка
- •Лекция 7. Аффинная и евклидова геометрии с проективной точки зрения §16. Проективная модель аффинной плоскости
- •§17. Проективная модель евклидовой плоскости
- •Раздел VII. Топология Лекция 1. Топологическое пространство. Индуцированная топология. Топологические подпространства §1. Метрические пространства
- •§2. Определение и примеры топологических пространств
- •§3. Индуцированная топология. Топологическое подпространство
- •§4. Замкнутые множества
- •§5. Окрестности. Типы точек. Замыкание
- •Лекция 2. Непрерывные отображения и гомеоморфизмы. Предмет топологии. Связность и компактность как основные инварианты топологического пространства §6. Непрерывность и гомеоморфизм
- •§7. Примеры топологических инвариантов
- •Лекция 3. Замкнутые поверхности в трехмерном пространстве и их классификация §8. Понятие поверхности. Замкнутые поверхности
- •§9. Ориентируемость поверхности. Эйлерова характеристика
- •§10. Топологические свойства проективной плоскости
- •Литература
Лекция 2. Проективные реперы на прямой и плоскости. Уравнение прямой на проективной плоскости §3. Проективные координаты
Пусть – (n+1)-мерное векторное пространство. Два базиса иназываютсягомотетичными, если существует число, отличное от нуля, такое, что,.
Проективным репером проективного пространстваP называется множество всех гомотетичных между собой базисов векторного пространства.
Если проективный репер представляет собой множество всех базисов, гомотетичных базису , то будем это записывать так.
Проективными координатами точки относительно проективного репера называются координаты вектора , порождающего эту точку, в одном из гомотетичных базисов репера:
, ).
Пусть и . Тогдаиотносительно одного и того же проективного репера. Учитывая, что, получаеми, то есть проективные координаты точки относительно проективного репера определяются с точностью до общего множителя, отличного от нуля.
Отметим, что не существует точки с нулевыми проективными координатами, так как точки проективного пространства порождаются только ненулевыми векторами.
Пусть задан проективный репер . Тогда имеем упорядоченную систему точек. Но эта система точек не определяет репер, так как эти точки могут порождаться векторами, образующими базис, не гомотетичный базису , то есть определяющими другой проективный репер.
Рассмотрим единичную точку, порождаемую вектором – суммой всех векторов базиса. Ясно, что для всех гомотетичных базисов точкаодна и та же.
Таким образом, имеем упорядоченную систему точек. Можно доказать, что это будутточки общего положения, то есть никакие из них не лежат в пространстве размерности меньше. Так в случае проективной прямойимеем три точки общего положения, то есть никакие две из них не совпадают. В случае проективной плоскостиимеем четыре точки общего положения, то есть никакие три из них не лежат на одной прямой.
Т е о р е м а 1. (О задании проективного репера упорядоченной системой точек общего положения). Если – упорядоченная систематочек общего положения, то существует единственный проективный репер такой, что,.
Итак, на проективной прямой репер определяется упорядоченной тройкой точек , на проективной плоскости – упорядоченной четверкой точек, никакие три из которых не лежат на одной прямой.
З а д а ч а 1. Построить точку по ее координатам в заданном реперена расширенной прямой.
З а д а ч а 2. На расширенной прямой даны точки. Построить единичную точкупроективного репера, относительно которого несобственная точкапрямойимеет координаты (-1,2).
§4. Однородные аффинные координаты
Рассмотрим на расширенной прямой частный случай проективного репера.
Возьмем точку и пучок прямых Пна евклидовой плоскости. Разложим векторпо направлениям прямойи прямой пучка, параллельной. Получим векторыи, порождающие точки. Векторысогласованы (по построению). Следовательно, данный проективный реперможно задать базисом.
Каждая точка расширенной прямой будет иметь относительно репера координаты, которые являются координатами направляющего векторапрямой.
Несобственная точка порождается вектороми, следовательно, имеет координаты (0,1).
Для всех остальных точек прямойкоординатабудет отлична от нуля. Имеем, то естьимеет в реперекоординаты, где– абсцисса точкив аффинной системе координатна прямой. Так как проективные координаты точки определяются с точностью до общего множителя, то имеем или.
Итак, относительно репера :
Несобственная точка имеет координаты , где– любое действительное число, не равное нулю.
Для каждой собственной точки координатаотлична от нуля и– аффинная координата точки в репере на прямой.
Проективные координаты точек прямой относительно репераназываютоднородными аффинными координатами.