Реферат: Различные подходы к определению проективной плоскости - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

Различные подходы к определению проективной плоскости

Банк рефератов / Математика

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 1541 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

22 Различные подходы к определению проективной плоскости Содержание Введение Исторический обзор аксиоматического построения проективной геометрии Глава 1. Определение проективной плоскости на базе трехмерного векторного пространства. 1.1. Понятие проективной плоскости. 1.2. Свойства проективной плоскости. 1.3. Модели прое ктивной плоскости. 1.4. Теорема Дезарга. 1.5. Теорема Паппа. Глава 2. Аналитическое построение проективной плоскости. 2.1. Понятие проективной плоскости. 2.2. Свойства проективной плоскости. 2.3. Теорема Дезарга. Глава 3. Аксиоматическое построение проекти вной плоскости. 3.1. Аксиоматика аффинной плоскости. 3.2. Аксиоматика проективной плоскости. 3.3. Модели проективной плоскости. 3.4. Теорема Дезарга. 3.5. Принцип двойственности. 3.6. Гармоническая четверка точек. 3.7. Перспективные и проективные отображен ия. 3.8. Аксиома Паппа и основная теорема о проективных преобразованиях прямой. Глава 4. Применение основных теорем к решению задач на евклидовой плоскости. 4.1. Использование теоремы Дезарга на евклидовой плоскости. 4.2. Использование предложения Паппа на евклидовой плоскости. Приложения Список литературы Введение Понятие проективной плоскости можно ввести многими способами . Проективную плоскость можно построить на базе трехмерного векторного пространства , аналитически и аксиоматически. В данной работе , в ее первой главе , проективная плоскость Р 2 строится на базе трехмерного векторного пространства , рассматриваются свойства проективной плоскости и ее модели . В конце главы доказываются теоремы : Дезарга и Паппа. Во второй главе проективная плоскость рассматр ивается как множество проективных точек , каждая из которых представляет собой класс пропорциональных троек действительных чисел , не содержащей нулевой тройки . При данном подходе к построению проективной плоскости рассматриваются свойства , доказывается тео р ема Дезарга. В третьей главе уделяется внимание построению проективной плоскости аксиоматически . Прежде чем определить проективную плоскость , вводится аксиоматика аффинной плоскости . После определения проективной плоскости рассматриваются 4 ее модели . Особ ое внимание уделяется теореме Дезарга . На основе изложенного в третьей главе материала делается вывод о двойственности на проективной плоскости . В этой главе также определяются понятия : гармоническая четверка точек , перспективные и проективные отображения. Завершает главу аксиома Паппа и основная теорема о проективных преобразованиях прямой. Глава четвертая изучает использование теорем Дезарга и Паппа на евклидовой плоскости . После чего приводятся решения задач , при решении которых использовались доказанные выше теоремы. Вся история геометрии дает поучительный пример того , как эта наука материальные корни которой берут свое начало из жизненных потребностей человеческого общества (землемерие , постройка жилищ , живопись ), достигла высокого теоретического уровня , выработала свои специфические и вместе с тем весьма общие методы , которые в свою очередь сделали возможным новые плодотворные применения геометрии к практическим вопросам. Исторический обзор аксиоматического построения проективной геометрии. Имеются раз личные аксиоматические способы построения проективного пространства . Наиболее распространенным является видоизменение системы аксиом , предложенной в 1899 году Гильбертом для обоснования элементарной геометрии. Проективное пространство рассматривается как с овокупность элементов трех родов : точек , прямых и плоскостей , между которыми установлено основное для проективной геометрии отношение инцидентности , характеризующееся надлежащими аксиомами . Они отличаются от соответствующих групп аксиом элементарной геоме т рии , тем , что требуют , чтобы каждые две прямые , лежащие в одной плоскости , имели общую точку и на каждой прямой имелось , по крайней мере , три различные точки . В конкретных случаях для получения более “богатой” проективной геометрии эта совокупность аксиом дополняется аксиомами порядка и непрерывности (для действительного проективного пространства ), аксиома Паппа (для проективной геометрии над коммутативными телами ), Фано постулатом (для проективной геометрии над телами , характеристика которого порядка 2) и т.д. Замечательным положением проективной геометрии является принцип двойственности . Говорят , что точка и прямая (точка и плоскость , прямая и плоскость ) инцидентны , если точка лежит на прямой (или прямая проходит через точку и т.д .). Тогда если верно некоторое предположение А о точках , прямых и плоскостях проективного пространства , сформулированные только в терминах инцидентности между ними , то будет верно и двойственное предложение В , которое получается из А заменой слова “т о чка” на слово “плоскость” , слово “плоскость” на слово “точка” и с сохранением слова прямая. Важную роль в проективной геометрии играет Дезарга предложение , выполнение которого необходимо и достаточно для введения проективными средствами системы проективных координат , составленных их элементов некоторого тела К , естественным образом связанного с точкой проективной прямой. Основы проективной геометрии заложены в 17в Ж . Дезаргом и Б . Паскалем . Большое значение для последующего развития проективной геометрии им ели работы П . Монтена (2-я полов . 18в – нач . 19в ). Как самостоятельная дисциплина проективная геометрия была изложена Понселе (нач . 19в ). Заслуга Ж . Понселе заключается в выделении проективных свойств фигур в отдельный класс , и установлении соответствий ме жду метрическими и проективными свойствами этих фигур. К этому же периоду относятся работы Ж . Брионшона . Дальнейшее развитие проективная геометрия получила в трудах Я . Штейнера и М . Шаля . Большую роль в развитии проективной геометрии сыграли работы К . Штау дта , в которых были намечены также контуры аксиоматического построения проективной геометрии. Все эти геометрии , стремились доказать теоремы проективной геометрии синтетическим методом , положив в основу изложенные проективные свойства фигур. Аналитическое направление в проективной геометрии было намечено работами А . Мебиуса . Влияние на развитие проективной геометрии оказали работы Н.И . Лобачевского по созданию неевклидовой геометрии , позволившие в дальнейшем А . Кэли и Ф . Клейну рассмотреть различные геоме т рии , систематизировать с точки зрения проективной геометрии. Развитие аналитических методов обычной проективной геометрии и построение на этой базе комплексной проективной геометрии поставили задачу о зависимости тех или иных проективных свойств от того те ла , над которым построена геометрия . В решении этого вопроса больших успехов добились А.Н . Колмогоров и Л.С . Понтрягин. Глава 1. Определение проективной плоскости на базе трехмерного векторного пространства. 1.1. Понятие проективной плоскости. Рассмотрим определение проективной плоскости Р 2. Понятие проективной плоскости строится на базе трехмерного векторного пространства V 3. Определение : Не пустое множество Р 2 называется проективным плоскостью , если существует отображение множества ненулевых векторов V 3 в Р 2 удовлетворяющее двум условиям : 1) Отображение сюрьективно. 2) Образы 2-х векторов совпадают , эти векторы линейно зависимы. (х )= (у ) х,у – линейно зависимы. 1.2. Свойства проективной плоскости. Рассмотрим свойства проективной плоскости Р 2. 1) Через две () проективной плоскости проходит единственная прямая. Доказат ельство : Рассмотрим проективную плоскость Р 2 построенную на базе V 3. Пусть точка А порождена вектором а V 3 ( т.е . (а )=А ). () В порождена b V 3(т.е . ( b ) =В ); a b т.к . порождают различные точки . Тогда на вектора a , b можно натянуть двумерное векторное пространство L ( a , b ), которое на проективной плоскости порождает прямую l . О чевидно прямая l проходит через () А и В. V1( а )=A V1 V2 A l V1( b )= B V1' V2 B l Единственность : Действительно , пусть l ' - произвольная прямая проходящая через () А и В , а L '- двумерное подпространство , которое порождает прямую l ' так как А l ' и В l ', то а L ' и b L ' L ' - подпространство натянутое на векторы а и b . Таким образом L и L '- одно и тоже векторное подпространство прямые l и l ' совпадают. 2) На проективной плоскости две прямые пересекаются. Доказательство : Р 2 построено на базе V 3 прямая l - V 2 V 3 прямая m - V 2' V 3 1) V 2 V 2', так как l m 2) V 2 V 2'= V 1 - порождает ()А ; l m = A так как V 1 V 2 A l V 1 V 2' A m ; ()А - единственная. l и m пересекаются в единственной ()А. 3) Точки проективного пространства Р 3 называются линейно зависимыми (линейно независимыми ), если векторы порождающие их из пространства V 4 линейно зависимы (линейно независимы ). На проективной плоскости три линейно независимые точки и они не лежат на одной прямой . Так как в V 3 тройка л инейно независимых векторов e 1, e 2, e 3 , то эта тройка на проективной плоскости порождает тройку линейно независимых точек Е 1, Е 2, Е 3. Покажем , что эти точки не лежат на одной прямой . Если бы эти т очки принадлежали одной прямой , то вектора порождающие их должны были принадлежать V 2, чего быть не может , так как эти вектора линейно независимы. Вывод : точки Е 1, Е 2, Е 3 не лежат на одной прямой и эти точки Е 1, Е 2, Е 3 - линейно независимы. 4) На каждой п рямой лежит не менее трех точек. Доказательство : Прямой l P 2 соответствует в векторном пространстве V 3 двумерное подпространство V 2. Пусть V 2 натянуто на векторы a и b . Вектор с = a + b , с V 2. Соо тветствующие точки А,В,С l и различны. Вывод : На каждой прямой лежит не менее трех точек. Замечание : Любая четверка точек проективной плоскости линейно зависима. 1.3. Модели проективной плоскости. 1) Связка прямых в трехмерн ом евклидовом пространстве Е 3. Связкой прямых в Е 3 называется множество прямых пространства проходящих через некоторую фиксированную () . Эта () - называется центром связки. Пространство Е 3 построено на базе V 3. Зададим отображение множества ненулевых векторов на связку по закону каждому вектору A поставим в соответствии прямую ОА связки , чтобы ОА a . Проверим выполняемость аксиом проективной плоск ости. 1) - сюрьективно , так как у прямой ОМ всегда будет хотя бы один прообраз вектор m ОМ 2)если 2 вектора коллинеарны a a 1, то образы совпадают - это будет прямая ОА , ( a )= ( a 1)= OA . Если образы 2-х векторов совпадают , то векторы коллинеарны. Построенная конструкци я является моделью проективной плоскости . Роль проективных точек в этой модели выполняют прямые связки , с роль проективных прямых выполняют плоскости связки. Проанализируем , как выполняются свойства проективной плоскости. Свойства проективной плоскости Реа лизация на модели 1)Через две любые точки проходит единственная прямая 2) две прямые на проективной плоскости пересекаются 3) три () не лежащие на одной прямой 4) на каждой прямой лежит не менее трех точек 1)Через две прямые связки проходит единственная плоскость связки 2) две плоскости связки пересекаются по прямой связки 3) три прямые связки не лежащие в одной плоскости связки 4)Каждо й плоскости связки принадлежит не менее трех прямых этой связки 2)Рассмотрим вторую модель - расширенная евклидова плоскость. Рассмотрим в пространстве связку с центром в ()О и плоскость не проходящую через ()О и зад адим отображение плоскости в связку с центром в ()О по закону : ()А плоскости ставится в соответствии прямая ОА. - биективно ? т.е . любой ли прямой связки будет соответствовать прообраз ? Ответ : нет . Прямые связки параллельные не имеют прообразов и такие прямые называют особыми . Таких прямых будет бесчисленное множество и все они лежат в плоскости связки , которая параллельна . Такую плоскость назовем особой плоскостью . Для того , чтобы отображение сделать биективным и получить новую модель проективно й плоскости дополним евклидову плоскость "несобственными элементами ". Рассмотрим особую прямую связки m , m , и проведем через эту пр ямую не особую плоскость , ( m ) = a , a m . прямая (не особая прямая ) связки имеет свой прообраз на прямой a . Поставим в соответствие прямой m не собственную ()М , которая a . Проведем через особую прямую m другую не особую плоскость ( m ) = b , a b m , так как каждая не особая прямая имеет прообраз на прямую b , то прообраз особой прямой m не собственная ()М b . Если рассмотрим другую особую прямую n , то должны поставить в соответствие свою несобственную () N . Каждая не особая плоскость связки имеет на плоскости своим п рообразом прямую пересечения этой плоскости с плоскостью . - a , - b . Поставим в соответствие особой плоскости несобственную прямую l , тогд а так как все особые прямые лежат в единственной особой плоскости , то все несобственные точки лежат на единственной несобственной прямой. Определение : Расширенной евклидовой плоскостью называется евклидова плоскость дополнен ная несобственными элементами : несобственными точками и единственной несобственной прямой , причем все прямые параллельные между собой дополняются одной и той же несобственной точкой и все несобственные точки лежат на единственной несобственной прямой. Отоб ражение : связку стало биективным , так как связка прямых является моделью проективной плоскости , то и расширенная плоскость являе тся моделью проективной плоскости . Роль проективных точек в этой модели выполняют собственные и несобственные точки . Роль проективных прямых выполняют собственные прямые плоскости и несобственная прямая. Рассмотрим выполняем ость свойств проективной плоскости на построенной модели. Свойства проективной плоскости Выполнение свойств на модели 1)через две любые точки проходит единственная прямая 2) две прямые пересекаются 1) а )()А,В собствен ные и через них проходит единственная прямая АВ б ) А,В через А проводим прямую a b прямая АВ в )А , В - лежат на единственной несобственной прямой l . 2) а ) a , b - собственные a b =А б ) a , b собственные но с евклидовой точки зрения , а как прямые расширенной плоскости a b =А в ) a , b A A, A b A b =A 3)Третья модель проективной плоскости. В т рехмерном евклидовом пространстве дана сфера . Под ()М будем понимать две диаметрально противоположные точки сферы , под прямой множество пар диаметрально противоположных точек лежащих на окружности большого радиуса . Докажем , что построенное множество являе т ся проективной плоскостью . ()N= N',N'' , ()K= K',K'' . Рассмотрим связку с центром в ()О и зададим отображение : A A ', A '' (прямой связки соответствует пара диаметрально противоположных точек пересечения этой прямой со сферой ). - биективно построенная конструкция является моделью проективной плоскости. Проверим выполняемость свойств проективной плоскости. Свойства : 1)Через две точки проходит единственн ая прямая - через две пары диаметрально противоположных точек сферы М ',М '' и N ', N '' проходит единственная окружность большого радиу са. 2) две прямые проективной плоскости пересекаются - две окружности большого радиуса пересекаются в диаметрально противоположных точках. 3) три точки не лежащие н а одной прямой - три пары диаметрально противоположных точек одной окружности большого радиуса . Например : точки N = N ', N '' , K = K ', K '' , P = P ', P '' . 4)На каждой прямой лежит не менее трех точек - рассмотрим окружность большого радиуса через ()О можно провести три различны х диаметра , каждый диаметр пересекает данную окружность в диаметрально противоположных точках . Это означает , что на каждой прямой лежит не менее трех точек. 1.4. Теорема Дезарга. При данном способе построения проективной плоскости имеет место теорема Деза рга , которая гласит : Теорема : Если прямые проходящие через соответствующие вершины двух трехвершинников пересекаются в одной точке , то точки пересечения соответствующих сторон этих трехвершинников лежат на одной прямой. A B A ' B '= P , AC A ' C '= Q , B C B ' C '= R , AA ' BB ' CC '= O , P , Q , R - лежат в одной прямой ? Доказательство : Рассмотрим векторы O , A , A ', B , B ', C , C ', P , Q , R порождающие соответствующие (), так как А,А ',О лежат на одной прямой , то векторы порождающие их линейно зависимы , т.е . O = a A + a ' A '. Из того , что В ', В , О - лежат на одной прямой В , В ', О - линейно зависим ы O = bB + b ' B ' ()С , С ', О - лежат на одной прямой O = c C + c ' C ' a A + a ' A ' = bB + b ' B ' = c C + c ' C ' a A - bB = b ' B ' - a 'A' = P (1) А,В,Р - линейно зависимы () А,В,Р одной прямой , А ',В ',Р '- линейно зависимы ()А ',В ',Р ' одной прямой. P = A B A ' B ' a A - c C = c ' C ' - a ' A ' (2) А,С, Q - линейно зависимы ()А,С, Q одной прямой. А ',С ', Q '- линейно зависимы ()А ',С ', Q ' одной прямой. Следовательно , Q =АС А 'С ' b B - c C = c' C' - b ' B ' = R (3) В,С, R – линейно зависимы ()В,С, R одной прямой. В ',С ', R ' – линейно зависимы ()В ',С ', R ' одной прямой След овательно , R =ВС В 'С '. Составим выражение : - векто ры линейно зависимы () P , Q , R лежат на одной прямой. Теорема доказана. Принято называть трехвершинники , удовлетворяющие теореме Дезарга , д езарговыми . ()О =АА ' ВВ ' СС '- дезарговой , прямую , которой принадлежат точки P , Q , R - дезарговой . Для теоремы Дезарга имеет место обратная теорема : Если точки пересечения соответственных сторон двух трехвершинников лежат на одной прямой , то прямые , проходящие через соответственные вершины этих трехвершинников , проходят через одну точку. Замечание : Трехвершинник - это фигура , которая состоит из трех точек не лежащих на одной прямой и прямых прох одящих через каждую пару этих точек. А,В,С - вершины прямые АВ,ВС,АС - стороны 1.5. Теорема Паппа. Следующей составляющей данной теории является теорема Паппа - Паскаля , которая является частным случаем теоремы Паскаля . Сформулируем теорем у Паскаля. рис . 1 Теорема Паскаля : Для того , чтобы шесть точек , из которых никакие три не лежат на одной прямой принадлежали овальной кривой , необходимо и достаточно , чтобы точки пересечения соответствующих сторон шестивершинника * ле жали на одной прямой . AB ’ A ’ B = P , AC ’ A ' C = Q , BC ’ B ’ C = R .(рис . 1) P , Q , R принадлежат прямой (прямая Паскаля ) Рассмотрим теорему Паскаля в том частном случае , когда кривая второго порядка распадается на пару прямых . Пусть А,В,С,А ',В ',С '- шесть вершин шестиугольника Паскаля , расположенных по три на данных прямых l и l ' , которые мы рассматриваем как распавшуюся кривую второго порядка (рис 2). Тогда имеем следующие три точки п ересечения пар соответствующих сторон шестиугольника : Р =АВ ' А 'В , Q =А 'С АС ', R =ВС ' В 'С . По теореме Паскаля эти три точки лежат на одной прямой . Рассмотренный частный с лучай теоремы Паскаля был известен древним греческим геометрам и носил название теоремы Паппа . Теперь эта теорема носит название Паппа - Паскаля. Рис . 2 *шестивершинником называется фигура состоящая из последовательности шест и ()А 1, А 2, А 3, А 4, А 5, А 6 называемых вершинами и шести прямых А 1А 2, А 2А 3, А 3А 4, А 4А 5, А 5А 6, А 6А 1 называемых сторонами. Мы рассмотрели один из подходов к определению проективной плоскости , а именно определения п роективной плоскости на базе трехмерного векторного пространства. Теперь рассмотрим аналитическое определение проективной плоскости. Глава 2. Аналитическое построение проективной плоскости. 2.1. Понятие проективной плоскости. Определение 1: Проективной то чкой называется класс пропорциональных троек действительных чисел , не содержащих нулевой тройки. Будем обозначать его Х = (Х 1,Х 2,Х 3) Множество всех проективных точек называется действительной проективной плоскостью. Определение 2: Проективной прямой называ ется множество всех точек удовлетворяющих линейному однородному уравнению вида : С 1Х 1+ С 2Х 2+ С 3Х 3=0 (1) где хотя бы одно из чисел Ci отлично от нуля. Определение 2 корректно , так как если тройка (Х 1,Х 2,Х 3) удовлетворяет уравнению (1), то в силу его одно родности при любом действительном тройка ( Х 1, Х 2, Х 3) удовлетворяет уравнению (1). Точки , удовлетворяющие уравнению (1) удовлетворя ют также линейному однородному уравнению. ( С 1)Х 1+ ( С 2)Х 2+ ( С 3)Х 3=0 (2) при R : 0. Поэтому каждой прямой , заданной уравнением (2) можно поставить во взаимно однозначное соответствие класс пропорциональных троек С = (С 1,С 2,С 3) . Так , что тройками из одного класса с оответствует одна прямая , причем этот класс не содержит нулевой тройки . Ввиду этого прямую , заданную уравнением (2) будем обозначать той же буквой С , что и соответствующий класс (С 1,С 2,С 3) . Равенство (2) можно записать также в виде СХ =0 (3) Скалярное пр оизведение троек С и Х . СХ = C 1Х 1 + С 2Х 2 + С 3Х 3 =0 Замечание : Рассмотрим 3-мерное линейное пространство L 3. Исключим из него нулевой вектор 0. Множество L 3\ 0 разобьем по классам эквивалентности так , что векторы одного класса коллинеарны между собой . Кажды й такой класс назовем проективной точкой , а множество всех классов 2-мерным проективным пространством (плоскостью ). Множество всех классов , векторы которых принадлежат \ 0 назовем одномерной п роективной плоскостью (прямой ). В L 3 введем координаты . Тогда каждому вектору соответствует строка (Х 1,Х 2,Х 3), а каждому классу эквивалентности из L 3\ 0 (т.е . проективной ())- класс (Х 1,Х 2,Х 3) пропорциональных строк , не содержащий нулевой строки. Мы пришли к определению проективной плоскости. 2.2. Свойства проективной плоскости. Докажем несколько простых теорем о взаимном расположении () и прямых на проективной плоскости. Теорема 1: Через две р азличные () проходит единственная прямая. Доказательство : 1) Существование . Пусть Х = (Х 1,Х 2,Х 3) и У = ( Y 1, Y 2, Y 3) две различные (). Определим прямую следующим образом : C = Х * Y то есть С = так как C Х = (Х * Y )Х = |Х, Y ,Х | = 0 CY = (Х * Y ) Y = |Х, Y , Y | = 0 и по свойству определителей , то () Х и Y принадлежат прямой С. 2) Единственность . Если прямая С = ( C 1, C 2, C 3) содержит () Х и Y , то любой представитель ( C 1, C 2, C 3) класса С удовлетворяет системе уравнений. C 1Х 1 + C 2Х 2 + C 3Х 3 =0 C1Y1 + C2Y2 + C3Y3 =0 (5) бесконечное множество ненулевых решений этой системы (нулевое решение не определяет прямую ). При этом для решения (С 1,С 2,С 3) справедливо равенст во : (C1,C2,C3 ) = Х 2,Х 3 Х 3,Х 1 Х 1,Х 2 Y2,Y3 , Y3,Y1 , Y1,Y2 Т.е . решения системы (5) образуют единственный класс ненулевых троек . Этот класс определяет единственную прямую С. ч.т.д. Теорема 2: Две различные прямые имеют единственную общ ую точку. Доказательство : Пусть , С = (С 1,С 2,С 3) , m = ( m 1, m 2, m 3) две различные прямые . Найдем () Х = (Х 1,Х 2,Х 3) , лежащую на этих прямых . Достаточно повторить доказательство предыдущей теоремы , заменив Х на С , Y на m , С на Х . Получим , что единственная общая точка Х определяется равенством Х =С * m (6). ч.т.д. Теорема 3: Для того , чтобы три () Х, Y , Z лежали на одной прямой , необходимо и достаточно , чтобы Х 1 Х 2 Х 3 | X , Y , Z |=0 (7), то есть Y 1 Y 2 Y 3 =0 Z 1 Z 2 Z 3 Доказательство : 1)Необходимость . Пусть () X , Y , Z лежат на одной прямой С . если хотя бы две из них совпадают , то равенство (7) следует из определения смешенного произведения и свойств определителя . Пусть эти () различны . Пользуясь теоремой 1, можно записать C = X * Y . Так как () Z лежит на прямой C , то CZ =0 ( X * Y ) Z =| X , Y , Z |=0 2)Достаточность . Пусть выполняется равенство (7). Рассмотрим произведение C = X * Y . Равенство (7) можно записать в виде ( X * Y ) Z =0, то есть CZ =0 () z лежит на прямой C проход ящей через () X и Y . Равенство (7) не зависит от выбора представителей точек. Теорема доказана. Теорема 4: Для того , чтобы три прямые c , m , n проходили через одну () необходимо и достаточно , чтобы |c,m,n|=0 (8) Для троек действительных чисел понятие линей ной зависимости и линейной независимости определяется так же , как и для векторов . Пусть тройки x ,… , x линейно зависимы . Легко проверить , что другие тройки x ,… , x , принадлежащие тем же классам , тоже линейно зависимы . Поэтому к лассы троек (точки ) линейно зависимы , если линейно зависимы какие-нибудь представители этих классов. Из теорем 3 и 4 следуют две теоремы. Теорема 5: Для того , чтобы три () лежали на одной прямой , необходимо и достаточно , чтобы они были линейно зависимы. Те орема 6: Для того , чтобы три прямые проходили через одну (), необходимо и достаточно , чтобы они были линейно зависимы. 2.3. Теорема Дезарга. На проективной действительной плоскости имеет место теорема Дезарга. Теорема Дезарга : Если прямые проходящие через соответствующие вершины двух трехвершинников пересекаются в одной точке , то точки пересечения соответствующих сторон этих трехвершинников лежат на одной прямой. P = AB A ' B ', Q = AC A ' C ', R = BC B ' C ', AA ' BB ' CC '= Q P , Q , R лежат на одной прямой. Доказательство : Введем проективную систему координат , примем () А,В,С,О за фундаментальные : А (1,0,0), В (0,1,0), С (0,0,1), О (1,1,1) Координаты ()А '- есть линейная комбинация координат ()А и ()О , так как А А ', то а '= А + Можно положить =1. Тогда получаем А '= А + . Тоже самое относится и к другим вершинам трехвершинника A ' B ' C '. Поэтому А '( +1,1,1), В '(1, +1,1), С '(1,1, +1) уравнение прямой АВ : так как R = BC B ’ C ’ С помощью условия коллинеарности трех () убедимся , что () P , Q , R лежат на одной прямой. Имеем - 0 - 0 0 = - 0 =0 0 - - 0 - - Условие коллинеарности выполнено , следовательно , P , Q , R одной прямой. Теорема доказана. Глава 3. Аксиоматическое построение проективной плоскости. 3.1. Аксиоматика аффинной плоскости. Начнем с некоторых наибо лее простых фактов обычной плоской геометрии , которые мы применим в качестве аксиом при синтетическом построении теории. Определение : Аффинной плоскостью называют множество элементов , именуемых точками и систему его подмножеств , именуемых прямыми , причем д олжны выполнятся три формулируемые ниже аксиомы А 1-А 3. А 1: Для двух различных точек Р и Q единственная прямая , проходящая через них. Две прямые называются параллельными , если они совпадают или н е имеют общих точек. А 2: Для заданной прямой l и точки Р одна и только одна проходящая через Р прямая m : m || l А 3: три неколлинеарные точки (Точки Р 1,Р 2,…Р n назыв аются коллинеарными , если прямая l , что все эти точки ей принадлежат ). Пример : Евклидова плоскость Е 2 удовлетворяет аксиомам А 1-А 3, то есть является аффинной плоскостью. Пример : Аффинная плоскость имеет , по крайней мере , четы ре различных точки ; плоскость состоящая ровно из четырех () существует. Действительно в силу А 3 на плоскости есть три неколлинеарные точки ; обозначим их через P , Q , R . Согласно А 2, прямая l , проходящая через Р и параллельной п рямой QR , соединяющей Q и R (эта прямая по А 1). Точно так же доказывается прямой m || P Q , проходящей через R . Покажем теперь , что l || m . же S R . Таким образом , че твертая () S необходимо должна существовать и наше первое утверждение доказано. Теперь рассмотрим прямые P R и QS . Они могут пересекаться , но они могут и не пересекаться - это не противоречит аксиомам. В этом случае мы получаем аффинную плоскос ть , содержащую ровно четыре () P , Q , R , S и шесть прямых P Q ,Р R , P S , QR , QS , RS . Аксиомы А 1-А 3 здесь выполняются , таким образом , мы получим аффинную плоскость , содержащую наиме ньшее возможное число (), а именно , четыре. 3.2. Аксиоматика проективной плоскости. Определение : Проективной плоскостью S называют множество , элементами которого именуются точками , и набор его подмножеств , именуемых прямыми , если при этом выполняются след ующие четыре аксиомы. П 1.Через две различные точки P и Q плоскости S можно провести единственную прямую. П 2. две прямые пересекаются по меньшей мере в одной точки. П 3. три неколлинеарные точки. П 4. Прямая содержит , по меньшей мере , три точки. 3.3. Модели проективной плоскости. 1)Рассмотренная ранее расширенная евклидовая плоскость есть модель проективной плоскости. Доказательство : Проверим выполнение четырех аксиом П 1-П 4. П 1. Пусть P и Q 1. Если Р и Q - собственные (), то через них можно провести только одну прямую. 2. Если Р - собственная точка , а Q - несобственная точка , то по аксиоме А 2 прямая m , такая , что Р m и m || l , так , что Q пополнению прямой m до прямой из . Прямая m -единственная прямая , проходящая через Р и Q . 3. Если Р и Q несобственные (), то через них проходит единственная несобственная прямая. П 2. Пусть заданы прямые l и m . 1.Если l и m - несобственные прямые и l || m , т о они пересекаются в некоторой точке . Если l || m , то они пересекаются в несобственной точке Р . 2.Если l - собственная прямая , а m - несобственная прямая , то они пересекаются в несобственной точке Р . П 3. Непосредственно следует из А 3. Необходимо только проверить , что если Р и Q и R неколлинеарны в А , то они не будут коллинеарны в . Действительно , в то лько одна (несобсвтенная ) прямая , не принадлежащая А , но () Р, Q , R ей не принадлежат. П 4. Каждая прямая плоскости А содержит хотя бы две (). Но в каждая прямая содержит еще и несобственную точку , поэтому она содержит не менее трех точек. 2) Пополняя аффинную плоскость А из четырех (), мы получим проективную плоскость S 1 из семи точек. Докажем это : Проверим выполнение четырех аксиом П 1-П 4. Определим () пересечения прямых АВ CD = N , BC AD = M , А C BC = P N , P , M одной несобственной прямой. П 1. Через две различные () плоскости можно провести единственную прямую. Если А,В - собственные (), то через них можно провести только одну прямую из А . () А,В несобственной прямой , поэтому и в S 1 через них можно провести единственную прямую. Рассмотрим А - собственная () и N - несобственная (). Через эти точки проходит единственная прямая , так как () N определена как пересечение прямых АВ и CD N АВ. Пусть имеем не собственные точки , через них проходит несобственная прямая S 1 и она единственная. П 2. две прямые пересекаются по меньшей мере в одной точке. Справедливость аксиомы П 2 следует из определения S 1. П 3. три неколлинеарные точки. Непосредственно следует из построения аффинной плоско сти А . А мы дополнили точками N , P , M (несобственными , которые принадлежат одной несобственной прямой ). И поэтому точки не коллинеарные в А будут неколлинеарные в S 1. П 4. Каждая прямая плоскости А содержит хотя бы две точки . В S 1 каждая прямая содержит несобственную точку . Следовательно прямая в S 1 содержит не менее трех точек. Все аксиомы проективной плоскости выполняются , следовательно , S 1 - проективная плоскость. 3) Связка прямых евклидова трехмерного пространства - модель проективной плоскости , построенной на аксиомах П 1-П 4. 3) Действительная проективная плоскость (множество упорядоченных троек действительных чисел , одновременно не равных нулю ), рассмотренная ра нее , удовлетворяет аксиомам П 1-П 4. 3.4. Теорема Дезарга. Одним из важных результатов проективной геометрии является теорема Дезарга , которая утверждает следующее : П 5 (теорема Дезарга ) Если прямые проходящие через соответственные вершины двух трехвершинни ков пересекаются в одной (), то () пересечения соответственных сторон этих трехвершинников лежат на одной прямой. P = AB A ’ B ’ AA ’ BB ’ CC ’ =0 Q = AC A ’ C ’ R = BC B ’ C ’ P , Q , R лежат на одной прямой. В рамках теории , которую мы строим , не совсем правильно называть это утверждение “теоремой” , потому что нельзя доказать , исходя только из аксиом П 1-П 4. Примем это утверждение за аксиому П 5. Хотя при первом и втором способе построения проективной плоскости это утверждение выступает как теорема. Покажем , что П 5 не есть следствие П 1-П 4, а именно , построим геометрию , удовлетворяющую аксиомам П 1-П 4, но не у довлетворяющую П 5. Определение : Конфигурацией называют множество элементов , именуемых точками , и набор его подмножеств , именуемых прямыми , если при этом выполняется аксиома. К 1. Две различные () принадлежат не более чем одной прямой. Отсюда следует , что дв е различные прямые имеют не более одной общей точки Примеры : Любая аффинная и проективная плоскость являются конфигурациями . Набор 10 точек и 10 прямых теоремы Дезарга - тоже конфигурация. Пусть 0- некоторая конфигурация . Мы определим свободную проективную плоскость П , порожденную 0. Пусть 1- новая конфигурация , определенная следующим образом . Точками 1 я вляются точки 0. Прямыми 1 являются все прямые 0; кроме того , каждая пара точек Р 1, Р 2 0 не принадлеж ащая прямой из 0, задает новую прямую Р 1, Р 2 из 1. Тогда 1 обладает следующим свойством ; а ) две различные () 1 принадлежат одной прямой . Построим 2, исходя из 1, следующим образом . Точками 2 служат все точки 1; кроме того , каждая пара непересекающихся прямых l 1, l 2 задает новую точку l 1 l 2. Прямыми 2 служат прямые 1, пополненные новы ми точками ; например , () l 1 l 2 дополненным прямым l 1 и l 2. Тогда 2 обладает следующим свойством. б ) две различные прямые имеют общую точку ; продолжим это построение . Для четных n мы построим n +1 из n , добавляя к прямым n новые прямые ; для нечетных n мы построим n + 1 из n , добавляя к () n новые точки. Пусть теперь П = n Элементы конфигураций n мы назовем точками П ; далее , прямой П мы назовем подмножество L П , такое , что L n есть прямая из n для всех достаточно больших n . Предложение 1 : Если 0 содержит по меньшей мере четыре точки , никакие три из которых не принадлежат одной прямой , то П - проективная плоскость. Доказательство : n удовлетворяет б ) для четных n и удовлетворяет а ) для нечетн ых n на П выполняются оба свойства а ) и б ), то есть П удовлетворяет П 1 и П 2. Если P , Q , R неколлинеарны на 0, значит , П 3, тоже выполняется. Покажем , что в П каждая прямая содержит хотя бы три точ ки. Каждая прямая из П определяется двумя точками. По П 2: две прямые имеют общую () Пусть l : P 1, P 2 , m : P 3,Р 4 ; по П 2: l m = P 5 P 5 l , P 5 m Получим , каждая прямая содержит хотя бы три точки. Все аксиомы проективной плоскости выполняются П - проективная плоскость. Определение : Ограниченной конфигурацией называется конфигурация , у которой каждая () принадлежит не менее чем трем прямым , а каждая прямая содержит не менее трех различных точек. Пример : Конфигурация т еоремы Дезарга ограничена. Предложение 2 : конечная ограниченная конфигурация из П содержится в 0. Доказательство : Уровнем () Р П мы назовем наименьшее n 0,такое , что Р n . Уровнем прямой L П мы назовем наименьшее n 0, такое , что L n - прямая. Пусть - ограниченная конечная конфигурация из П , и пусть n - максимальный из уровней всех точек и всех прямых из . Предположим , что n - уровень какой-то прямой L (Если максимальный уровень достигается для точки , то доказательство аналогично ). Тогда l n - прямая , а l n -1 не является прямой . Если n =0, то все доказано , 0. Предположим , что n >0. Тогда l возникла как прямая , соединяющая две () из n -1, не принадлежащие в n -1 одной прямой . Но в уровень всех точек n , а значит , они принадлежат n , то есть l содержит не более двух таких точек . Полученное противоречие и доказывает наше предложение. Пример : Недезаргова проективная плоскость . Пусть 0 состоит из четырех точек и не содержит ни одной прямой , П - свободная проективная плоскость порожденная 0. В качестве следствия из предыдущего предложения получаем , что П бесконечно ; следовательно, прямая содержит бесконечно много точек . Значит можно выбрать четыре () О,А,В,С , три из которых неколлинеарны , и затем А’ на ОА , B' на ОВ , С’ на ОС так , что они образуют семь различных точек , причем A ’ , B ’ , C ’ неколлинеарны . Тогда построим Р =АВ А’ В’ , Q = AC A ’ C ’ , R = BC B ’ C ’ . Все 10 точек различны . Если теорема Дезарга была бы не верна на П , то P , Q , R принадлежали бы одной прямой , 10 () и 10 прямых образовали бы ограниченную конфигурацию ; но тогда она должна была бы содержаться в 0, а 0 содержит всего лишь четыре точки. Построили геометрию , удовлетворяющую аксиомам П 1-П 4 и не удовлетворяющую П 5, тем самым показали , что П 5 не являетс я следствием П 1-П 4. 3.5. Принцип двойственности Займемся изучением свойств проективной плоскости , вытекающих из аксиом П 1-П 4. Предложение : Пусть П - проективная плоскость , П *- множество прямых плоскости П ; назовем еще пучок прямых плоскости П прямой из П * .(здесь П *- это множество элементов из П , называемых прямыми ; пучком прямых называется совокупность всех прямых , проходящих через некоторую фиксированную точку - центр пучка ). Тогда П * тоже является проективной плоскостью (назовем ее двойственной к П проек т ивной плоскостью ); при этом , если П удовлетворяет аксиоме П 5, то и П * ей удовлетворяет. Следствие (принцип двойственности ). Пусть S - некоторое утверждение , касающееся проективной плоскости П , которое может быть выведено из аксиом П 1-П 4 (соответственно П 1-П 5). Тогда "двойственное " утверждение S *, полученное из S заменой слов. точка прямая лежит на проходит через коллинеарные сходящиеся точка пересече ния двух прямых прямая , соединяющая две точки и т.д ., тоже может быть выведено из аксиом П 1-П 4 (соответственно П 1-П 5). Определение : Полным четырехугольником называется конфигурация , состоящая из семи точек и шести прямых , по лученных следующим образом : рассмотрим четыре точки А,В,С, D (такие , что любые три из них неколлинеарны ), шесть соединяющих их прямых и три новые точки пересечения этих прямых. ("противоположных сторон " полного четырехугольника ) Р =АВ С D , Q =АС В D , R =А D ВС. Точки Р , Q и R называются диагональными точками полного четырехугольника . Диагональные точки P , Q и R могут оказаться коллинеарными . Однако на действ ительной проективной плоскости этого быть не может . Мы убедимся в этом позже , пока будем рассматривать случай коллинеарности диагональных точек как исключительное явление и поэтому введем следующую аксиому П 7 (аксиома Фано ). П 7: Диагональные точки полного четырехугольника неколлинеарны. Предложение : Действительная проективная плоскость удовлетворяет аксиоме П 7. Определение : Полным четырехсторонником называется конфигурация , состоящая из семи прямых и шести точек , полученных следующим образом : рассмотрим чет ыре прямые a , b , c , d (такие , что никакие три из них не являются сходящимися ), шесть точек их пересечения и три новые прямые p , q , r . Соединяющие пары противоположных вершин полного четырехсторонника прямые p , q , r называются диагоналями полного четырехсторонника. Предложение : Из того , что П 7 выполняется на П , что П 7* выполняется на П *; поэтому принцип двойственности применим также и к следствиям из П 7. Докажем П 7*: П 7* в терминах П означает : диагонали полно го четырехсторонника не являются сходящимися (не принадлежат одному пучку ). Пусть a , b , c , d - "стороны " полного четырехсторонника ; предположим , что диагонали p , g , r - сходящиеся . Но в этом случае диагональные точки полного четырехугольника АВС D , где А = b d , B = c d , C = a b , D = a c коллинеарны , что противоречит П 7. Значит утверждение П 7* справедливо. Заметим , что определение четырехсторонника дв ойственно определению полного четырехугольника. 3.6. Гармонические четверки точек. Определение : Упорядоченная четверка различных коллинеарных точек А,В,С, D называется гармонической четверкой , если полный четырехугольник XYZW , такой , что А и В являются его диагональными точками (например А = XY ZW , B = XZ YW ), а С и D принадлежат двум другим сторонам четырехугольника (например, C XW , D YZ ). Для гармонических точек А,В,С, D мы введем обозначение H (АВ , С D ). Из того , что точки А,В,С, D образующие гармоническую четверку , различны , следует неколлинеарность диагональных точек определяющего эту чет верку четырехугольника XYZW . Вообще понятие гармонической четверки точек в значительной мере теряет смысл , если аксиома Фано не выполняется ; поэтому , говоря о гармонической четверке точек , мы всегда будем предполагать выполняемость П 7. Предложение 1 : Н (АВ, С D ) Н ( BA , CD ) H ( AB , DC ) H ( BA , DC ) Доказательство : Это утверждение немедленно следует из определения гармонической четверки , так как А и В , С и D играют одинаков ую роль в построении полного четырехугольника . Действительно , можно переставить буквы X , Y , Z , W ,так , чтобы привести обозначение в соответствие с определением Н (ВА,С D ) ч.т.д. Предложение 2 : Пусть А,В,С - три различные точки прямой . Тогда (если выполняется П 7) точка D , такая , что Н (АВ,С D ). Более того (если выполняется П 5), можно утверждать , что подобная точка D единственная ( D называется четвертой гармонической точкой для А,В,С или точкой , гармонически сопряженной к точке С по отно шению к точкам А и В ). Предложение 3 : Пусть А,В,С, D - гармоническая четверка точек . Тогда (если выполняется П 5) C , D , A , B - тоже гармоническая четверка . Объединяя это предложение с предложением 1, получаем : H(AB,CD) H(BA,CD) H(AB,DC) H(BA,DC) H(CD,AB) H(DC,AB) H(CD,BA) H(DC,BA) Доказательство : Пусть Н ( АВ ,CD) и пусть XYZW - полный четырехугольник , с которым связано определение этой гармонической четверки. Проведем DX и CZ и обозначим точку пересечения через U . Пусть , далее XW YZ = T . Тогда XTUZ - полный четырехугольник , а С и D - две его диагональные точки . Точка В XZ , поэтому достаточно доказать , что TU проходит через А , так как в этом случае будем иметь H ( CD , AB ). Рассмотрим 2 треугольника XUZ и YTW . Пары их соответственных сторон пересекаются в точк ах D , B и С , но эти точки коллинеарны по П 5*, XY , TU , WZ соединяющие соответственные вершины принадлежат одному пучку. Пример : На действительной евклидовой плоскости четыре точки А,В,С, D образуют гармоническую четверку тогда и только тогда , когда ( АС / ВС )*( В D/AD)=-1 3.7. Перспективные и проективные отображения. Определение : Проективное отображение - это отображение прямой l на l ' (быть может , совпадающую с l ), которое , может быть представлено как композиция перспективных отображ ений. Обозначение : l – l ’ или АВС…-А’ В’ С’ … Последняя запись означает , что проективное отображение переводит точки А,В,С,….соответственно в A ', B ', C ',…. Проективное отображение устанавливает взаимно однозначное соответствие между точками прямых l и l ' и явл яется отображением на l '. Определение : Перспективным отображением прямой l на прямую l ' (обе прямые рассматриваются как множество точек ) с центром О (точка О не принадлежит ни l , ни l ') называется отображение А A ', где для про извольной точки А l точка А ' находится как ОА l '. Обозначение l = l ’ (" l переводится в l ' перспективным отображением с центром в ()О ". Отметим , что перспективное отображение устанавливает взаи мно однозначное соответствие между точками l и l ' и является отображением l на l ' и что отображение , обратное перспективному отображению, также является перспективным отображением . Если ()Х = l l ', то Х (как точка l ) переходит в Х (как точку l '). Композиция двух или более перспективных отображений уже не обязательно будет перспективным отображением : так мы имеем l = l ’ = l ’ ’ и ABCY = A ’ B ’ C ’ Y ’ = A ’ ’ B ’ ’ C ’ ’ Y ’ ’ если бы полученное в результате композиции отображений l = l и l = l отображение l на l ' ’ было перспективным , то в точку l l ’ '= Y оно должно было бы переводить в себя . Однако у переходит в точку Y '', которая не совпадает с Y . Поэтому мы ввели проективное отображение. Предложение 1 : Пусть , задана прямая l . Тогда множество проективных преобразований (взаимно однозначное отображение множества М на себя называется преобразованием множества М ). l образует группу . Это означает , что 1)композиция двух проективных отображени й снова есть проективное отображение . 2)отображение , обратное проективному отображению , снова есть проективное отображение. Предложение 2 : Пусть задана прямая l и пусть А,В,С и A ', B ', C '- две тройки ее различных точек . Тогда п роективное преобразование l , переводящее А,В,С в A ', B ', C '. Доказательство : Пусть l '- прямая отличная от l и не проходящая через А и А’ , а О произвольная точка не принадлежащая ни l , ни l '. Спроектируем из О точки A ', B ', C ' прямой l в точки A ’ ’ , B ’ ’ , C ’ ’ , прям ой l ’ : A' B ' C ' = A '' B '' C '', где А l ’ и А’ ’ l . Ясно , что нам достаточно построить проективное отображение l на l ’ , переводящее A , B , C , в A ’ ’ , B ’ ’ , C ’ ’ . Заменим в обозначениях двойные ш трихи одинарными и забудем про исходные A ’ , B ’ , C ’ . Таким образом , наша задача свелась к следующей . Заданы две различные прямые l и l ’ . Пусть А,В,С - три различные точки l , а A ’ , B ’ , C ’ -три различные точки l ’ , предположим что A l ’ и A ’ l . Требуется построить проективное отображение l на l ’ , переводящее А,В,С соответственно в A ’ , B ’ , C ’ . Проведем прямые AA ’ , AB ’ , AC ’ , A ’ B , A ’ C и положим AB ’ A ’ B = B ’ ’ , AC ’ A ’ C = C ’ ’ . Обозначим прямую B ’ ’ C ’ ’ через l ’ ’ ; пусть она пересекает AA ’ в A ’ ’ . Тогда l = l ’ ’ = l ’ переводит ABC = A ’ ’ B ’ ’ C ’ ’ = A ’ B ’ C ’ . Таким образом , мы построили искомое проективное отображение l на l ’ как композиция двух перспектив ных отображений. Предложение 3 : Проективное отображение переводит гармоническую четверку точек в гармоническую четверку. 3.8. Аксиома Паппа и основная теорема о проективных преобразованиях прямой. Докажем “основную теорему” , которая утверждает , что сущест вует единственное проективное преобразование прямой , переводящее три заданные точки в любые другие три заданные точки . Эта теорема не следует из аксиом П 1-П 5 и П 7; поэтому нам предстоит дополнительно ввести аксиому Паппа П 6. Основная теорема (теорема о про ективных преобразованиях прямой ). Пусть задана прямая l и А,В,С ; A ’ , B ’ , C ’ - две тройки различных точек этой прямой . Тогда существует одно и только одно проективное преобразование l , такое , что АВС - A ’ B ’ C ’ . П 6 (аксиома Паппа ). Пусть l и l ’ -две различные прям ые , А,В,С - три различные точки прямой l , отличные от Х = l l ’ и А’ ,В’ ,С’ - три различные точки прямой l ’ , отличные от Х . Тогда точки P = AB ’ A ’ B , Q = AC ’ A ’ C , R = BC ’ B ’ C коллинеарны. Предложение 1 : Аксиома П 6 влечет за собой двойственную аксиому Паппа П 6*, то есть принцип двойственности применим и ко всем выводам из П 6. Предложение 2 : На действительной проективной плос кости справедлива аксиома П 6. Лемма 1 : Пусть l = m = n , где l n , предположим еще , что или : а )прямые l , m , n принадлежат одному пучку , или б )точки O , P и l n коллинеарны. Тогда полученное проективно е отображение l - n является перспективным (то есть такая точка Q , что перспективное отображение l = n совпадает с нашими проективными отображениями l - n ). Лемма 2 : Пусть l = m = n , Где l n ; пре дположим теперь , что не имеет места ни а ) ни б ) из условий леммы 1. Тогда прямая m ’ и точки O ’ n и P ’ l , такие , что l = m = n есть рассматриваемое проективное отобра жение l на n . Доказательство : Пусть l , m , n , O , P заданы ; пусть далее A , A ’ - две точки на l и AA ’ = BB ’ = CC ’ . Точку пересечения ОР и n обозначим через O ’ . Так как мы предположили , что точки О,Р , l n = X не коллинеарны , то O ’ X , то есть O ’ l . Проведем O ’ A и O ’ A ’ ; пусть они пересекаются РС и РС’ соответственно в D и D ’ . Соответствующие стороны треугольников А BD и A ’ B ’ D ’ пересекаются в коллинеарных точ ках O , P , O ’ ; значит , по П 5*, прямые , соединяющие соответственные вершины этих треугольников принадлежат одному пучку . Таким образом , прямая m 1, содержащая D и D ’ , проходит через точку Y = l m . Следовательно , прямая m 1 определена точками D и Y , и если точка A ’ меняется , то D ’ меняется , оставаясь на прямой m 1. Поэтому исходное проективное отображение совпадает с отображением l = m 1 = n . Повторяя то же самое рассуждение еще раз , мы можем переместить Р в положение P ’ = O P l и найти новую прямую m ’ , такую , что l = m ’ = n дает исходное проективное отображение. Лемма 3 : Пусть l и l ’ - две различные прямые . Тогда любое проективное отображение l - l ’ может быть получено как композиция двух перспективных отображений. Теорема 1 : Основная теорема вытекает из аксиом П 1-П 6. Доказательство : Для заданной прямой l и двух троек различных точек А,В,С и A ’ , B ’ , C ’ этой прямой мы должны найти проективное преобразование , переводящее одну тройку в другую , и доказать , что оно единст венно . Выбираем прямую l ’ , не проходящую через заданные точки , и спроектируем A ’ , B ’ , C ’ на l ’ . Обозначим образы этих точек теми же буквами A ’ , B ’ , C ’ . Таким образом мы свели теорему к следующей : имеем А,В,С на l A ’ , B ’ , C ’ на l ’ (все точки отличны от l l ’ ) требуется показать , что единственное проективное отображение , такое , что ABC - A ’ B ’ C ’ . Одно такое проективное отображение мы уже получили в предложении 2 (п .3.7); следовательно , достаточно п оказать , что любое другое проективное отображение совпадает с этим. Случай 1 : Предположим , что второе проективное отображение есть просто перспективное отображение . Пусть l - l ’ переводит ABC = A ’ B ’ C ’ . Рассмотрим P = AB ’ A ’ B ; п усть прямая l ’ ’ соединяет Р с Q . Мы утверждаем , что l ’ ’ проходит через точку Х = l l ’ . Действительно , применим П 5 к треугольникам AB ’ C ’ и A ’ BC , которые перспективны с центром О . Их стороны пересекаются в точках Р, Q ,Х соответстве нно . Следовательно , l ’ ’ определяется точками Р и Х . Но так как С может меняться , перспективное отображение l = l ’ совпадает с проективным отображением l = l ’ ’ = l ’ Случай 2 : предположим , что второе проективное отображение не является перспективным . Тогда в силу леммы 3 оно может быть представлено в виде композиции двух перспективных отображений , а в силу леммы 2 можно предположить , что центры этих отображений принадлежат соответственно l ’ и l . Таким образом , мы приходим к конфигурации : l = l ’ ’ = l ’ и ABC = A ’ ’ B ’ ’ C ’ ’ = A ’ B ’ C ’ Применяя П 6 к треугольникам А BR и A ’ B ’ R ’ , мы получаем , что Р =А B ’ A ’ B l ’ ’ . Аналогично , применяя П 6 к ACR и A ’ C ’ R ’ , мы получаем , ч то Q = AC ’ A ’ C l ’ ’ . Таким образом , l ’ ’ есть прямая , которая была использована в предложении 2 (п .3.7) для построения второго проективного отображения l = l ’ ’ = l ’ Пусть теперь D l – произвольная точка ; определим D ’ ’ = R ’ D l ’ ’ и D ’ = RD ’ ’ l ’ . Из П 6, применимой к треугольникам ADR и A ’ D ’ R ’ , следует , что AD ’ A ' D , A ’ ’ , D ’ ’ коллинеарны , то е сть AD ’ A ’ D l ’ ’ . Но это означает , что также и проективное отображение предложения 2 переводит D в D ’ . Следовательно , эти проективные отображений совпадают . ч.т.д. Теорема 2: П 5 следует из П 6. Д оказательство : Пусть , О ,A,B,C,A',B',C' удовлетворяют предложениям теоремы Дезарга (П 5), построим P , Q , R . Для доказательства их коллинеарности нам придется трижды применить П 6. Шаг 1: Пусть A ’ C ’ пересекает АВ в точке S . Затем применим П 6 к прямым. О С C ’ B S A и заключим отсюда , что точки T = OS BC , U = OA BC ’ , Q коллинеарны. Шаг 2: Применим теперь П 6 к тройкам O B B ’ C ’ A ’ S и заключим отсюда , что точки U , V = OS B ’ C ’ , P коллинеарны. Шаг 3: Применим , наконец , П 6 к тройкам B C ’ U V T S и заключим отсюда , что точки R , P = BS UV (шаг 2), Q = C ’ S TU (шаг 1) коллинеарны . ч.т.д. Следствие : (из основной теоремы ). Проективное отображение l - l ’ , где l l ’ , есть перспективное отображение точка пересечения X = l l ’ переходит в себя. Глава 4. Применение основных теорем к решению задач на евклидовой плоскости. 4.1. Использование теоремы Дезарга на евклидовой плоскости. В аксиоматическом построении проективной плоскости мы рассматриваем теорему Дезарга , как аксиому . По кажем , что она справедлива на евклидовой плоскости . Если две одинаковые конфигурации , составленные из точек и прямых , могут быть приведены в соответствие так , что пары соответствующих точек соединяются прямыми , пересекающимися в одной точке , то мы говорим, что эти две конфигурации перспективны относительно этой точке . Если соответствие таково , что пара соответствующих прямых пересекаются в точках лежащих на одной прямой , то говорим , что эти две конфигурации перспективны относительно этой прямой. Сформулируе м теорему Дезарга , покажем использование на евклидовой плоскости. При доказательстве будем пользоваться теоремой Менелая. Теорема Менелая гласит : Если точки X , Y , Z лежащие на сторонах ВС,СА,АВ (соответственно продолженных ) треугольника АВС коллинеарны , то ( BX / CX )*( CY / AY )*( AZ / BZ )=1 Обратно , если это уравнение выполняется для точек X , Y , Z , лежащих на трех сторонах треугольника , то эти три точки коллинеарны. Теорема Дезарга. Если два треугольника перспективны относитель но точки и если их пары соответствующих сторон пересекаются , то эти три () пересечения коллинеарны. Доказательство : Мы имеем теорему лишь о принадлежности () прямым и пересечении прямых . Треугольники АВС и A ’ B ’ C ’ перспективны относительно точки О , а пары и х соответствующих сторон пересекаются в () R , Q , P . Для доказательства применим теорему Менелая к тройкам точек. Q , C ’ , A ’ , R , B ’ , C ’ , P , A ’ , B ’ Лежащих на сторонах трех треугольников ОАС , ОСВ , ОВА , получим при этом ( AQ / CQ )*( CC ’ / OC ’ )*( OA ’ / AA ’ )=1 ( CR / BR )*( BB ’ / OB ’ )*( OC ’ / CC ’ )=1 ( BP / AP )*( AA ’ / OA ’ )*( OB ’ / BB ’ )=1 Перемножим эти три выражени я и проделав умеренное число сокращений , получим ( AQ / CQ )*( CR / BR )*( BP / AP )=1 что () Q , R , P коллинеарны , теорема доказана. 4.2. Использование предложения Паппа на евклидовой плоскости. Покажем использование предложения на евклид овой плоскости. Теорема Паппа : Если А,С,В - три точки на одной прямой , а A ’ , C ’ , B ’ - на другой , и если три прямые AB ’ , CA ’ , BC ’ пересекают прямые A ’ B , C ’ A , B ’ C соответственно , то три точки пересечения P , Q , R коллинеарны. рис . 1 Доказательст во : Эта теорема как и теорема Дезарга использует принадлежность точек прямым или прохождение прямых через точки , без измерения длин или углов и даже без какой-либо ссылки на порядок ; в каждом множестве из трех коллинеарных точек безразлично , какая из них л ежит между двумя другими . (рис . 1, рис . 2) рис . 2 При доказательстве будем пользоваться теоремой Менелая . Предположим , что три прямые AB ’ , CA ’ , BC ’ образуют треугольник UVW .(рис . 3) рис . 3 Применяя теорему Менелая к пяти тройкам точек P,A ’ ,B , A,Q,C ’ , B ’ ,C,R , A,C, В , B ’ ,A ’ ,C ’ , лежащих на сторонах этого треугольника , мы получаем. ( VP / WP )*( WA ’ / UA ’ )*( UB / VB )=1 ( VA / WA )*( WC / UC )*( UB / VB )=1 ( VB ’ / WB ’ )*( WC / UC )*( UR / VR )=1 VB '/ WB ')*( WA '/ UA ')*( UC '/ VC ')=1 ( VA / WA )*( WQ / UQ )*( UC ’ / VC ’ )=1 Разделив произведение первых трех соотношений на произведение последних двух , производя сокращение , мы получаем : (VP/WP)*(WQ/UQ)*( U R/VR)=1 то есть P , Q , R коллинеарны , теорема доказана. Приложе ние № 1 . Если два треугольника перспективны относительно точки и две пары соответствующих сторон параллельны , то и две оставшиеся стороны параллельны. Дано : треугольник PRQ и треугольник P ’ R ’ Q ’ перспективны относительно точки О . QR || Q ’ R ’ , PR || P ’ R ’ Доказа ть что : QP || Q ’ P ’ Доказательство : Так как QR || Q ’ R ’ и RP || R ’ P ’ , то ( OQ / OQ ’ )=( OR / OR ’ )=( OP / OP ’ ) ( OQ / OQ ’ )=( OP / OP ’ ) QP || Q ’ P ’ № 2 .Назовите два треугольника перспективных относительно : а ) точки Р б ) точки Р’ в ) точки D Ответы : а ) треугольники ROQ и EP ’ F б ) треугольники EFP и R ’ Q ’ O ’ в ) треугольники R ’ RE и Q ’ QF . № 3. Если А,С,Е - три точки на одной прямой , B , D , F - на другой , и если прямые АВ и CD параллельны прямым DE и FA соответственно , то прямые EF || BC . 1) АС || BD . Рассмотрим параллелограмм ABDE и AFDC BD = AE и DF = AC . Произведем вычитание BD - DF = BF ; AE - AC = CE BF = CE BCEF - параллелограмм EF || BC . 2) 3) AC BD =0, так как AB || ED и CD || FA , то (| OA |/| OB |)=(| OE |/| OD |) и (| OC |/| OD |)=(| OA |/| OF |) получаем | OB |*| OE |=| OA |*| OD |=| OC |*| OF | (| OE |/| OF |)=(| OC |/| OB |) EF || CB . № 4. Пусть A , B , D , E , N , M - шесть точек , обладающих тем свойством , что прямые AE , DM , NB пересекаются в одной точке и прямые АМ, DB , NE пересекаются в одной точке . Что можно сказа ть о прямых AB , DE , NM ? Решение . Пусть AE DM NB = C , AM DB NE = F обозначим () пересечения прямых АВ и DE через L . По теорем е Паппа () L MN AB DE MN = L . Прямые AB , DE , NM пересекаются в одной точке. № 5. Доказать , что медианы треугольника пересекаются в одной т очке. AA ’ BB ’ CC ’ =S ? Решение : Рассмотрим треугольник АВС и треугольник А 1В 1С 1- дезарговые треугольники , то есть треугольники удовлетворяют теореме Дезарга. AB А 1В 1= P BC В 1С 1= Q AC А 1С 1= R лежат на одной несобственной прямой S по обратной теореме Дезарга прямые , проходящие через соответствующие вершины , пересекаются в одной точке S . AA ’ BB ’ CC ’ =S. № 6. В евклидовой плоскости в четырехугольник вписана трапеция , параллельные стороны которой || его диагонали . Доказать , что непараллельные стороны трапеции пересекаются на другой диагонали. Решение : треугольники NCK и AMP дезарговые треугольники по прямой теореме Дезарга , соответствующие стороны этих треугольников пересекаются в ()-ах , лежащих на одной прямой () F , D , B , то есть () пересечения непараллельных сторон трапеции принадлежат диагонали BD . № 7. В евклидовой плоскости противоположные вершины одного пара ллелограмма расположены соответственно на противоположных сторонах второго . Доказать , что оба параллелограмма имеют общий центр симметрии. Требуется доказать , что LN MK BD AC = S Решение. AC LN BD - треугольники ALD и С NB - дезарговые треугольники удовлетворяют обратной теореме Дезарга AC LN BD = S . Треугольники DKC и BMA - дезарговые треугольники по обратной теореме Дезарга MK BD AC = S Получили AC BD MK LN = S . Оба параллелограмма имеют общий центр симметрии. № 8. В евклидовой плоскости дан треугольник и три параллелограмма , для каждого из которых одна сторона треугольника служит диагональю , а две другие - смежными сторонами . Доказать , что вторые диагонали этих параллелограммов пересекаются в одной точке. Требуется доказать , что AN BP CM = S . Решение : Треугольники ABC и NPM - дезарговые треугольники. AB NP=Q BC MP=R AC NM = K лежат на одной несобственной прямой P по теореме обратной теореме Дезарга NA BP CM = S . № 9. В треугольнике АВС из его вершин проведены прямые , пересекающиеся в одно й () S ; A ’ = AS BC , B ’ = BS AC , C ’ = CS AB . Доказать , что точки BC B ’ C ’ , AC A ’ C ’ , AB A ’ B ’ лежат на одной прямой. Решение. Обозначим () пересечения сторон BC B ’ C ’ , AC A ’ C ’ , AB A ’ B ’ соответственно P , R , Q . Рассмотрим треугольники АВ С и А’ В’ С’ прямые проходящие через вершины этих треугольников пересекаются в () S () пересечения соответствующих сторон P , R , Q лежат на одной прямой. № 10. В конфигурации Дезарга одну из точек выбрать за дезаргову точку . Найти в этой конфигурации вершины дезарговых треугольников и дезаргову прямую. Точка А - дезаргова точка Треугольники A ’ RP и SCB - дезарговы треугольники A ’ S SC A ’ R=C ’ R C SB A ’ P=B ’ P B CB RP=Q. Точки C ’ , B ’ , Q S - дезаргова прямая. № 11. Сформулировать в терминах евклидовой геометрии теорему Дезарга для случая : 1) () S - несобственная (), дезаргова прямая S - собственная. Формулировка теоремы Дезарга : Если прямые проходящие через соответствующие вершины двух треугольников п араллельны , то точки пересечения соответствующих сторон лежат на одной прямой. 2) () S собственная , прямая S - несобственная. Формулировка. Если прямые , походящие через соответствующие вершины двух треугольников АВС и А’ В’ С’ пересекаются в одной точке и AB || A ’ B ’ , B ’ C || BC , то AC || A ’ C ’ . 3) ()S - несобственная , прямая S - несобственная. Формулировка. Если прямые проходящие через соответствующие в ершины двух треугольников параллельны и AB || A ’ B ’ , BC || B ’ C ’ , то AC || A ’ C ’ . № 12. Прямая p лежит в плоскости треугольника АВС ; К =ВС p , L = AC p , M = AB p , R = BL CM , S = CM AK , T = AK BL . Доказать , что прямые AR , BS и CT пересекаются в одной точке. Требуется доказать , что AR BS C T = Q Решение Треугольники АВС и RST - дезарговы треугольники. RS AB = M TS BC = K () M , K , L з (по условию ) TR AC = L Та ким образом , по теореме обратной теореме Дезарга AR BS CT = Q . № 13. Даны прямые a и b , пересекающиеся в точке S , которая лежит за пределами чертежа . Дана ()С не лежащая ни на одной из данных прямы х . Построить прямую SC . Построение. Выбираем произвольно прямую s , () A , A ’ a и ()В b . 1)AB s=P, 2)PA ’ b=B ’ , 3)AC s=R, 4)BC s=Q, 5)A ’ R, B ’ Q, 6)B ’ Q A ’ R=C ’ , 7) CC ’ искомая прямая. Доказательство : Треугольники АВС и А’ В’ С’ - дезарговы треугольники , прямая s - дезаргова прямая. AB A ’ B ’ = P AC A ’ C ’ = R s (по построению ) BC B ’ C ’ = Q По обратной теореме Дезарга AA ’ CC ’ BB ’ = S . № 14. Даны две точки P и Q и не проходящая через них прямая c . построить () PQ C , не проводя PQ . Анализ : Произвольно выбираем прямую s , () Q 1 C , Q QQ 1 Q 2 - трехвершинник , пос троить РР 1Р 2 – трехвершинник, P 1 C , PQ P 1 Q 1 P 2 Q 2 = S Обратная теорема Дезарга. Построение : 1) QQ 1 s = X 2) PX C=P 1 3) Q 1 Q 2 s=Y 4) QQ 2 s=Z 5) YP 1 6) ZP YP 1 = P 2 7) P 2 Q 2 c = S () S - искомая точка. Доказательство : Треугольники QQ 1 Q 2 и PP 1 P 2 - дезарговы. QQ 2 PP 2 = Z QQ 1 PP 1 = X S (по построению ). Q 1 Q 2 P 1 P 2 = Y По обратной теореме Дезарга . PQ P 1 Q 1 P 2 Q 2 = S PQ c = S искомая точка. № 15. На евклидовой плоскости даны две параллельные прямые a || b и точка С , им не принадлежащая . Через () С провести прямую , параллельную а и b . 1) Анализ : Произвольно выбираем прямую s . ()А,А’ а , ()В b . Здесь работает обратная теорема Дезарга для случая () S - несобственная , прямая s - собственная. Треугольники АВС и А’ В’ С’ - построить. 2) Построение : 1) АВ s=P 2) A ’ P b=B ’ 3) AC s=R 4) BC s=Q 5) A ’ R, B ’ Q 6) A ’ R B ’ Q=C ’ 7) CC ’ - искомая прямая. 3) Доказательство : Треугольники АВС и А’ В’ С’ - дезарговы Формулировка обратной теоремы Дезарга. Если прямые , содержащи е соответственные стороны треугольников АВС и А’ В’ С’ пересекаются в точках лежащих на одной прямой и АА’ || BB ’ , то СС’ || AA ’ . По этой теореме СС’ - искомая прямая. № 18. Трапеция ABCD пересечена прямыми p и q , параллельными основанию АВ , p AD = M , p AC = P , q BD = N , q BC = Q . Доказать , что точка MN PQ лежит на прямой АВ. Требуется доказать , что MN PQ AB = K . Решение : Рассмотрим треугольники МРА и NQB . МР NQ = S , так как p || q . ( p q = S ) PA BQ=C AM BN=D DC || p || q DC p q = S C , D , S одной прямой по теореме обратной теореме Дезарга MN PQ AB = K . Тем самым доказали , что точк а М N PQ AB . № 17. В евклидовой плоскости даны параллелограмм АВС D , ()Р CD и прямая l пересекающая стороны АВ и А D . Провести прямую || l . 1) Анализ : Треугольник ANM п остроен . Построить треугольник СРК . Задача решается с помощью прямой теоремы Дезарга. 2) Построение : 1) NP, AC 2) NP AC=S 3) MS BC=K 4) KP - искомая прямая. 3) Доказательство : треуго льники ANM и CPK - дезарговы , так как AN CP = R ( AN || CP ), CK AM = Q ( CK || AM ) то по теореме Дезарга KP NM = F KP || NM . Список литературы 1. Р . Хартсхорн “Основы проективной геометрии”.-М :Мир ,1970. 2. Ефимов “Высшая геометрия” -:Наука ,1971. 3. Франгулов С.А . “Лекции по проективной геометрии”-Л :ЛГПИ ,197 5. 4. Вахмянина О.А ., Измайлова Т.С . “Пособие по проективной геометрии”-Оренбург :ОГПИ ,1994. 5. Коксетер С.М . “Новые встречи с геометрией”-М :Нуака ,1978 6. Базылев “Геометрия”-М :Просвещение ,1975 7. Потоцкий “Что изучает проективная геометрия ”-М : Просвещен ие ,1982 8. Певзнер “Проективная геометрия”-М :Просвещение ,1980 9. Измайлова Т.С . Лекционный курс по проективной геометрии.
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
В детстве казалось, что после тридцати - это уже старость.
Слава богу, показалось!
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по математике "Различные подходы к определению проективной плоскости", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru