Библиотека, читать онлайн, скачать книги txt

БОЛЬШАЯ БИБЛИОТЕКА

МЕЧТА ЛЮБОГО


Свойства фигур в геометрии

В первые десятилетия XIX века одновременно с успешным развертыванием исследований по основаниям геометрии возникла особая ветвь геометрических знаний свойства фигур в геометрии проективная геометрия. Источником ее явились потребности графики и архитектуры. Вначале проективная геометрия имела довольно ограниченный диапазон приложений. Но по мере роста она все более и более проникала в различные геометрические области, а в конце XIX столетия исследования по проективной геометрии и по основаниям элементарной геометрии теснейшим образом объединились. Замечательным результатом этого объединения было построение в рамках проективной геометрии глубокой теории, которая включила в единую схему геометрии Евклида, Лобачевского и Римана. Известный французский геометр Понселе 1788 — 1867 выделил как объект исследования некоторые особые свойства геометрических фигур, названные им проективными. Пусть Ф — произвольная фигура, расположенная в некоторой плоскости свойства фигур в геометрии пусть β — какая-нибудь другая плоскость и пусть O — произвольная точка пространства, не содержащаяся ни в одной из двух плоскостей свойства фигур в геометрии и β на приведенном ниже рисунке в качестве фигуры Ф выступает красный треугольник. Точка O вместе с каждой точкой M фигуры Ф определяет прямую OM. Прямая OM пересекает плоскость β в некоторой точке, которую мы обозначим через M' и будем называть проекцией точки M из центра O на плоскость β. Проекции всех точек фигуры Ф на плоскость β составят некоторую фигуру Ф', которая называется проекцией фигуры На рисунке в качестве фигуры Ф' выступает синий треугольник. Операция, с помощью которой получается фигура Ф', носит название центрального проектирования из точки Варьируя выбор точки O и плоскости βмы можем получить при помощи центрального проектирования фигуры Ф бесконечное множество фигур, отчасти похожих на фигуру Ф, но во многих отношениях также и существенно от нее отличающихся. Например, проектируя окружность, можно получить эллипс или параболлу и даже гиперболу; проектируя правильный треугольник, можно получить треугольник произвольной формы, и т. Так, свойства правильного треугольника могут не сохраниться при проектировании, в результате которого, вообще говоря, не будет получаться снова правильный треугольник; основное свойство окружности, выражаемое обычно ее определением, также может быть нарушено при проектировании, так как, проектируя окружность, можно получить, например, эллипс, и т. Точно так же многие величины, связанные с фигурой, будут при проектировании, вообще говоря, меняться. Так, проектируя отрезок данной длины a, можно получить отрезок, длина которого как угодно велика или как угодно мала; проектируя треугольник данной площади Δ, можно получить треугольник, площадь которого будет больше или меньше величины Δ. С другой стороны, фигуры обладают свойствами, которые сохраняются при любом проектировании, и с фигурами могут быть сопоставлены величины, также сохраняющиеся при любом проектировании. Такие свойства и величины называются инвариантами проектирования. Именно эти свойства фигур, инвариантные по отношению к любому проектированию, Понселе назвал проективными свойствами, рассматривая их как объекты исследования в проективной геометрии. Кроме того, объектами проективной геометрии являются инвариантные относительно проектирований величины. Если свойства фигур в геометрии P 1, P 2. Следовательно, свойство точек фигуры, заключающееся в прямолинейном их расположении, является проективным. Иначе еще можно сказать, что прямая есть объект проективной геометрии. Если точки Q 1, Q 2. Иначе говоря, коническое сечение есть объект проективной геометрии. При этом только нужно иметь в виду, что свойства фигур в геометрии, присущие исключительно окружности, или исключительно эллипсу, или исключительно параболле, или исключительно гиперболе, не являются проективными свойствами, поэтому в проективной геометрии не делается различия между коническими сечениями, как в элементарной геометрии. Иными словами, хотя конические сечения суть объекты проективной геометрии, но отдельные виды их — окружности, эллипсы, параболлы, гиперболлы — в проективной геометрии не различаются и порознь не исследуются. Задача изучения проективных свойств фигур привлекла к себе внимание многих геометров, среди которых после Понселе мы отметим Шаля 1793 — 1880 и Штейнера 1769 — 1863. Им принадлежит разработка ряда общих вопросов проективной геометрии, в которых Штейнер, Шаль и сопутствующие им геометры видели возрождение синтетического направления в геометрии. Развивая синтетические методы в противовес аналитическим, эти геометры достигли известных успехов в усовершенствовании аппарата проективной геометрии и в применении его к различным геометрическим задачам. Однако принципиальное значение проективной геометрии в развитии геометрических идей определяется отнюдь не количеством отдельных случаев, где ее методы оказываются удобнее методов аналитической геометрии. Сейчас мы видим свойства фигур в геометрии значение в той общности проективной геометрии, которая позволяет соединить воедино разные геометрические системы, в частности, включить в проективную схему свойства фигур в геометрии элементарную геометрию. Между тем у Штейнера и Шаля проективная геометрия свойства фигур в геометрии как часть элементарной. Превращение проективной геометрии во вполне самостоятельную дисциплину явилось уже делом второй половины XIX столетия. Важной предпосылкой для этого превращения было употребление в проективной геометрии бесконечно удаленных геометрических элементов. На этом вопросе мы сейчас специально остановимся. Пусть A — произвольная точка пространства и a — прямая, не проходящая через точку A см. Проведем через A и a плоскость α и будем рассматривать всевозможные прямые плоскости α, проходящие через точку Эти прямые составляют плоский пучок с центром A; мы будем называть его: пучок Между лучами этого пучка и точками прямой a мы установим соответствие, сопоставляя с каждой точкой M прямой a тот луч m пучка A, который пересекает прямую a в точке Луч m называют лучом, проектирующим точку Очевидно, что как бы ни была расположена точка M на прямой a, ей всегда соответствует определенный луч m. Но нельзя утверждать, что любому лучу пучка A соответствует точка прямой a. Именно, луч a' пучка A, параллельный прямой a, не пересекает ее и поэтому не имеет соответствующей себе точки. Это обстоятельство при исследовании проектирований служит источником многочисленных неудобств. Чтобы избежать их, условливаются рассматривать параллельные прямые как пересекающиеся на бесконечности. Тогда луч свойства фигур в геометрии в пучке A, параллельный прямой a, как и всякий другой луч пучка, будет иметь на прямой a соответствующую свойства фигур в геометрии точку, но только не обыкновенную точку, а некоторый новый объект, называемый бесконечно удаленной точкой прямой a. Бесконечно удаленная точка прямой считается принадлежащей также каждой плоскости, которая проходит через эту прямую. Далее полагают, что параллельные прямые имеют одну общую бесконечно удаленную точку; соответственно этому систему параллельных прямых, расположенных в одной плоскости, называют пучком с бесконечно удаленным центром. Бесконечно удаленные точки непараллельных прямых считаются различными. Таким образом, каждая плоскость содержит бесконечно много различных бесконечно удаленных точек. Поэтому указанное множество естественно назвать плоскостью. Множество объектов евклидова пространства дополняется новыми элементами, которым дается название "бесконечно удаленная точка", "бесконечно удаленная прямая", свойства фигур в геометрии удаленная плоскость". Прямая, дополненная бесконечно удаленной точкой, называется проективной прямой. Проективную свойства фигур в геометрии следует представлять себе в виде замкнутой линии. Плоскость, дополненная бесконечно удаленной прямой, называется проективной плоскостью. Пространство, дополненное бесконечно удаленной плоскостью, называется проективным свойства фигур в геометрии. Бесконечно удаленные элементы нередко вводятся в рассмотрение и в элементарной геометрии. Но в элементарной геометрии использование их по свойства фигур в геометрии ограничивается лишь особой манерой словесного выражения геометрических фактов вместо того, чтобы говорить, что прямые параллельны, их называют сходящимися в бесконечности, цилиндр рассматривают как конус с бесконечно удаленной вершиной и т. В проективной геометрии, напротив, бесконечно удаленные элементы играют такую же роль, как и обыкновенные геометрические образы, и являются органичной частью проективного пространства. Причина такого различия станет вполне ясной, если сравнить объекты исследования элементарной геометрии и проективной геометрии. Элементарная геометрия в значительной степени посвящена изучению так называемых метрических свойств фигур, т. Измерение любого отрезка AB с обыкновенными концами всегда возможно и приводит в результате к определенному числу, выражающему длину отрезка AB. Но свойства фигур в геометрии том случае, когда один конец отрезка является бесконечно удаленной точкой, процесс измерения теряет смысл, так как на таком отрезке линейная единица откладывается бесконечно много раз. Точно так же процесс измерения углов неприменим в том свойства фигур в геометрии, когда одна сторона угла есть бесконечно удаленная прямая, и "наивные" способы измерения площадей неприменимы к фигурам, содержащим бесконечно удаленные элементы. Таким образом, в элементарной геометрии бесконечно удаленные элементы по необходимости играют особую роль и по свойству своих отношений к обыкновенным геометрическим элементам существенно от них отличаются. В противоположность этому, в проективной геометрии, поскольку метрические свойства фигур не являются ее объектами, указанные выше обстоятельства, отличающие бесконечно удаленные элементы от остальных, теряют силу. Более того, так как при проектированиях бесконечно удаленные элементы могут переходить в обыкновенные, то, следовательно, они не обладают свойства фигур в геометрии проективными свойствами, которые отличали бы их от обыкновенных элементов. Поэтому в проективной геометрии различия между обыкновенными и бесконечно удаленными элементами нет. Идея бесконечно удаленных элементов возникла довольно давно. Но равноправие бесконечно удаленных и обыкновенных элементов, естественное с точки зрения проективной геометрии, оставалось иллюзорным, пока проективные свойства фигур исследовались методами элементарной геометрии, так как эти методы опираются на измерение, а метрика элементарной геометрии обязательно приводит к различию между конечными и бесконечными удаленными образами. Чтобы придать понятию проективного пространства точный смысл, оказалось необходимым полностью изгнать из проективной геометрии все, что связано с измерением. Задача освобождения проективной геометрии от использования измерений в принципе была решена Штаудтом 1798 — 1867. Проективная геометрия, освобожденная от метрики, превратилась в дисциплину, изучающую только свойства взаимного расположения геометрических образов. Вместе с тем проективная геометрия сделалась самостоятельной геометрической дисциплиной со своей собственной аксиоматикой свойства фигур в геометрии собственной совокупностью объектов каковыми являются проективная прямая, проективная плоскость и проективное пространство.



copyright © moskvapropiska.ru