Главная » Просмотр файлов » МУ Линейные и афинные пространства и отображения Ершов

МУ Линейные и афинные пространства и отображения Ершов (1188220), страница 16

Файл №1188220 МУ Линейные и афинные пространства и отображения Ершов (МУ Линейные и афинные пространства и отображения Ершов) 16 страницаМУ Линейные и афинные пространства и отображения Ершов (1188220) страница 162020-09-19СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 16)

Заметим, что, в отличие от евклидового случая, квадрат интервала между разными точками может быть как положительным, так и отрицательным илинулевым. Соответственно, геометрическое место точек, равноудаленных от фиксированной точки,в случае ненулевого интервала является равнобочной гиперболой, причем одно семейство гиперболотвечает положительным квадратам (зеленая гипербола на первой картинке Рис. 14), другое — отрицательным (синяя гипербола), а нулевому интервалу отвечает пара асимптот (“световой конус”).Преобразования группы Пуанкаре являются соответствующими движениями, сохраняющими квадрат интервала.

При поворотах евклидовой плоскости вокруг точки o точки плоскости движутсяпо окружностям с центром в o. В случае гиперболических поворотов плоскости Минковского рольокружностей играют равнобочные гиперболы (см. Рис. 14).Заметим, что если H — подгруппа группы G, то фигуры, эквивалентные относительно H, эквивалентны и относительно G, но, вообще говоря, не наоборот.

То есть чем больше группа, тембольше элементов попадает в один класс эквивалентности и тем, соответственно, “грубее” разбиениемножества фигур на классы эквивалентности, см. например Задачу 3.67 и частичный ответ к нейниже.Оказывается, с каждой группой преобразований плоскости связана своя геометрия. Что этотакое, будет объяснено чуть ниже. Мы ограничимся подгруппами G ⊂ GA(S).Чтобы геометрия, связанная с группой G (кратко: G-геометрия), была интересной, необходимопотребовать, чтобы все точки плоскости S были бы эквивалентны относительно группы G. Такаягруппа преобразований G называется транзитивной. Все упомянутые выше группы, а также содержащаяся в них группа параллельных переносов Trans(S), являются транзитивными (хотя геометрия,связанная с последней, не является особенно интересной).Определение 3.58.

Будем говорить, что класс фигур принадлежит геометрии, связанной с группой G, если любая фигура, эквивалентная (относительно группы G) фигуре из данного класса,64также принадлежит данному классу.Заметим, что если H — подгруппа группы G, то класс фигур, принадлежащих G-геометрии,принадлежит также и H-геометрии, но, вообще говоря, не наоборот.Например, квадраты, окружности, равносторонние треугольники принадлежат “геометрии подобий” — геометрии, связанной с группой Sim(S) (и тем более с ее подгруппой Iso(S) — “евклидовойгеометрии”), в то же время они не принадлежат аффинной геометрии, связанной с GA(S), посколькупри аффинном преобразовании квадрат может перейти в произвольный параллелограмм, окружность — в произвольный эллипс, а равносторонний треугольник — в произвольный треугольник.Задача 3.59.

К каким из упоминавшихся выше геометрий принадлежат следующие классы фигур:треугольники, прямоугольники, трапеции, ромбы, параллелограммы, прямые, пары параллельныхпрямых, пары пересекающихся прямых, эллипсы, параболы, гиперболы?Заметим, что эллипсы, параболы и гиперболы принадлежат аффинной геометрии (так как приаффинном преобразовании они переходят в кривые того же класса), но обычное их определениечерез фокусы и расстояния при этом не подходит.

Аффинное определение этих кривых дано, например, в [12].Определение 3.60. Пусть λ — числовая функция, определенная на фигурах некоторого класса,принадлежащего G-геометрии. Тогда λ называется числовым инвариантом группы G, если онапостоянна на классе G-эквивалентных фигур. Другими словами, если F — фигура из данного класса,тоλ(F ) = λ(g(F )) ∀ g ∈ G.Например, числовыми инвариантами группы движений являются расстояния между точками,углы (в частности, имеет смысл понятие перпендикулярности), площади, длины большой и малойполуосей эллипса и т.д., в то время как инвариантами группы подобий также являются углы, нотолько отношение расстояний, отношение площадей, эксцентриситет эллипса (параболы, гиперболы) но не сами длины полуосей; для аффинной группы углы уже́ не являются инвариантами,но инвариантами будут отношения направленных отрезков, лежащих на параллельных прямых, отношения площадей и т.д.

Для геометрии Минковского инвариантом является квадрат интерваламежду точками.Помимо числовых можно определить также геометрические инварианты фигур из данного класса, принадлежащего G-геометрии. А именно, некоторое геометрическое понятие, связанное с фигурами данного класса, является их геометрическим G-инвариантом, если оно сохраняется преобразованиями из группы G.

Например, медианы или центр тяжести треугольника а также центрэллипса (или гиперболы) — аффинные инварианты, в то время как высоты, биссектрисы треугольника а также фокусы и директрисы эллипса (параболы, гиперболы) — инварианты группы подобий,но не аффинные (действительно, как нетрудно убедиться, при аффинных преобразованиях эллипспереходит в эллипс, но его фокусы, вообще говоря, не в фокусы).Заметим, что если H ⊂ G, то любой G-инвариант является также H-инвариантом, но, вообщеговоря, не наоборот.65Задача 3.61. Инвариантами каких групп являются следующие понятия: высоты, медианы, биссектрисы треугольника; чевианы, пересекающиеся в одной точке; центр тяжести треугольника;фокусы, главные диаметры, сопряженные диаметры и центр эллипса; длины полуосей, эксцентриситет эллипсов и гипербол?Задача 3.62. Докажите, что площади четырех секторов, на которые внутренность эллипсаразбивается парой сопряженных диаметров, равны.Задача 3.63.

Пусть C — некоторый эллипс на плоскости S. Выберем дск o, {e1 , e2 } в S следующим образом: o является центром C, а векторы e1 , e2 имеют представители с началом в o иконцом в вершинах эллипса. Доказать, что в выбранной дск эллипс задается уравнением x2 +y 2 = 1.(Указание: для любого эллипса существует аффинное преобразование, отображающее его в окружность).Теперь мы можем объяснить, что такое геометрия, связанная с группой G. Такая геометрияизучает связь между G-инвариантами фигур из классов, принадлежащих G-геометрии.

Теоремы Gгеометрии — соотношения между G-инвариантами таких фигур. Заметим, что если H — подгруппагруппы G, то всякая теорема G-геометрии является также теоремой H-геометрии (но, вообще говоря,не наоборот).Примером известной теоремы аффинной (а, значит, и любой другой из рассматриваемых нами)геометрии является теорема о медианах треугольника (что они пересекаются в одной точке и точкойпересечения делятся в отношении 2 : 1). Другие примеры аффинных теорем — теоремы Чевы иМенелая.Задача 3.64. Пусть треугольник 4ABC образован тремя касательными к эллипсу.

Доказать,что тогда прямые AP, BQ, CR, соединяющие его вершины A, B, C с точками P, Q, R касанияпротивоположных сторон, пересекаются в одной точке O.Пример теоремы геометрии подобий — теорема о том, что отношение, в котором биссектриса треугольника делит противоположную сторону, равно отношению прилежащих сторон. Понятиебиссектрисы не определено в аффинной геометрии (аффинные преобразования не сохраняют биссектрисы), но остается инвариантным понятие отношения, в котором точка делит отрезок. В частности, произведение отношений, в которых биссектрисы треугольника делят его стороны, равно 1(ср. теорему Чевы).

То есть при расширении группы до аффинной остается свойство биссектристреугольника пересекаться в одной точке. Аналогичный результат имеет место и для высот.Задача 3.65. При аффинном преобразовании треугольник 4ABC переходит в треугольник4A0 B 0 C 0 , причем точка пересечения медиан треугольника 4ABC переходит в точку пересечения высот треугольника 4A0 B 0 C 0 . Что можно сказать про треугольник 4A0 B 0 C 0 ?Задача 3.66. Объяснить, почему теорема Пифагора — теорема геометрии подобий (но не аффинной геометрии), в то время как теоремы из Задач 3.62 и 3.64 — теоремы аффинной геометрии(а, значит, и остальных рассматриваемых геометрий).Аффинные свойства фигур (теоремы аффинной геометрии) можно рассматривать как наиболее фундаментальные, поскольку они выполняются и во всех других рассматриваемых геометриях66(например, в евклидовой, связанной с группой движений Iso(S), или в геометрии Минковского,связанной с группой Пуанкаре Iso(1, 1)).Таким образом, вложения групп преобразований плоскости определяют иерархию свойств геометрических фигур.

Возникает вопрос, нет ли еще более “фундаментальной” геометрии, чем аффинная?26 Ответ на этот вопрос — “да” и это — проективная геометрия. Правда, нужно уточнить, чтопри ее определении к аффинной плоскости S следует добавить некоторые точки, образующие “бесконечно удаленную прямую”, и тогда аффинные преобразования среди проективных характеризуютсятем, что для них эта бесконечно удаленная прямая инвариантна.27 Мы не будем здесь останавливаться на этих вопросах подробнее, отметим лишь, что проективных преобразований достаточно,чтобы все невырожденные кривые второго порядка (то есть эллипсы, параболы и гиперболы) образовывали бы один класс эквивалентности.28 Классическим примером проективной теоремы о кривыхвторого порядка является теорема Паскаля.

Элементарное изложение основ проективной геометрииможно найти в [13], см. также [5], [12], [14], [15].Классифицировать фигуры данного класса в геометрии, связанной с данной группой преобразований G — значит описать их классы G-эквивалентности. Из определения следует, что числовыеG-инварианты принимают одинаковые значения на G-эквивалентных фигурах. Таким образом, еслидля двух фигур данного класса мы нашли G-инвариант, принимающий на них разные значения, тоэти фигуры не являются G-эквивалентными.Для полного решения задачи классификации достаточно найти полную систему G-инвариантов,то есть такой набор инвариантов, равенство которых для двух фигур из данного класса (не только) необходимо (но) и достаточно для эквивалентности этих фигур. Например, в школе проходятсякритерии (“признаки”) равенства (= эквивалентности в евклидовой геометрии) и подобия (= эквивалентности в геометрии подобий) треугольников.Другой пример: для эллипсов в евклидовой геометрии полную систему инвариантов образуютдлины их полуосей (большой и малой).

Характеристики

Тип файла
PDF-файл
Размер
769,37 Kb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6367
Авторов
на СтудИзбе
310
Средний доход
с одного платного файла
Обучение Подробнее