Как известно, синтетическая геометрия является основанием открытий в аналитической геометрии, что подтверждают высказывания Г. Кантора [1] : «…на пути введения комплексных величин долгое время встречались трудности, пока после многих усилий нашли их геометрическое представление с помощью точек и отрезков на плоскости»; и Ф. Клейн [2]: «…исторически возникновение понятия иррациональных чисел имеет своим источником геометрическую интуицию» и др.
Ф. Клейн в своей работе [3] уточняет: «…разделяют два рода геометрий: геометрия синтетическая…и…геометрия аналитическая... Кроме этих двух…можно еще рассматривать третий род,…являющийся обобщением двух первых». Известно, что одна из синтетических геометрий называется начертательной геометрий, которая изучает методы отображения пространственных форм на плоскость.
В процессе отображения участвуют:
- оригинал,
- аппарат отображения,
- модель (изображение),
- носитель модели.
В качестве оригинала выступают любые объекты пространства, простейшим из них является точка, которая определяется однозначно тремя координатами, с мерностью (точка на поверхности (плоскости) имеет мерность , точка на кривой (прямой) - ) [4].
В качестве аппарата отображения можно использовать кривые (прямые) линии или поверхности (плоскости).
Моделью (изображением) точки будет точка при проецировании кривой (прямой) линией или кривая ( прямая) при проецировании поверхностью (плоскостью).
Носителем модели может быть поверхность (плоскость) или кривая (прямая) линия.
Мы для изложения из всего выше сказанного берем в качестве оригинала точку, т.е.:
оригинал – точка,
аппарат отображения – связка или связки прямых,
модель – точка или точки,
носитель модели – плоскость.
При этом, необходимым требованием при проецировании точки пространства, имеющей мерность, является требование, чтобы модель ее имела мерность .
Аппаратом проецирования являются связки и прямых, а носитель модели плоскость . Точку пространства проецируем из центра в точку на плоскость (рис. 1), имеющей мерность при чем в точку проецируются все точки луча . Чтобы выполнить требование проецирования, берем еще один центр проецирования при этом точки и определят в пространстве прямую , которая пересечет плоскость в точке , постоянную для данного аппарата проецирования, которая на плоскости выделит пучок () прямых. Точка из пучка () прямых выделит прямую , на которую проецируем точку из центра в точку с мерностью . В результате имеем на плоскости модель точки - пару точек и , т. е мерность модели будет
- 2 -
равна отсюда видно, что мерности оригинала и модели равны.
Если в качестве оригинала будет
выступать тело, то оно пучком плоскостей будет расслаиваться на сечения, которые из центров ( и ( проецирования будут моделироваться в пучке прямых на плоскости .
Таким образом, начертательная геометрия решает две задачи: прямую – по данному оригиналу при помощи аппарата проецирования получить модель оригинала на носителе модели; и обратную задачу – по данной модели при помощи аппарата проецирования получить оригинал. Прямая задача начертательной геометрии называется моделированием, обратная – конструированием.
Изложим процесс моделирования и конструирования, используя рис. 1.
Моделируем точку аппаратом проецирования – двумя связками () и () прямых на плоскость . Центры проецирования и определят в пространстве прямую , которая пересечет плоскость в точке определяющей в плоскости пучок () прямых. Моделирование точки пространства выполняется в плоскости . Точка из центра проецируется в точку , выделяющей из пучка () прямых, например, прямую , на которую проецируем точку из центра в точку . В итоге моделью точки является пара точек и .
Конструирование точки пространства выполняется, если задана модель точки, т. е пара точек и на плоскости и аппарат проецирования, на пример, пара связок () и () прямых в пространстве. Как и ранее центры и проецирования определят в пространстве прямую , которая пересечет плоскость в точке , определяющей пучок () прямых носителей моделей точек пространства, на одной из прямых пучка () прямых лежат данные точки и , например, на прямой . Пересекающиеся
прямые и определят плоскость - плоскость конструирования точки . Лучи проецирования точки из центра проецирования и точки из центра , лежащие в плоскости пересекутся в одной точке . Из выше изложенного видно, что оригинал можно сконструировать при наличии двух проекций модели.
На плоскости проекций проекции точек пространства будут двух типов, которые пояснимнарис.2,2’.
- 3 -
Моделируем две точки и из центров и на плоскости . Точки и выделят из пучка (m) плоскостей две плоскости, которые пересекут плоскость по прямым и пучка () прямых (рис. 2’). Из центров проецирования точки и проецируются соответственно парами точек и на прямой и и на прямой . Возможен частный случай расположения пространственных точек и . Эти точки могут располагаться на одном луче связки () или ()прямых. В этом случае точки и будут принадлежать одной плоскости пучка (m) плоскостей, образованной пересекающимися прямыми и прямой (). Эта плоскость пересечет плоскость по прямой пучка () прямых (рис. 2’). Точки и из центра проецирования
проецируются в совпавшие проекции , такие точки на плоскости проекций называются конкурирующими [5,6]. Проекции точек и из центра проецирования проецируются на плоскость в две различные точки и прямой .
II. Возникновение проблемы
Рассмотрим применение методов начертательной геометрии для решения вопросов аналитической геометрии. Для этого рассмотрим аффинные координаты на плоскости.
Простейшую координатную систему на прямой можно представить, если на ней задать начало отсчета, точку О, единицу измерения точкой с координатой 1 и положительные или отрицательные расстояния от точки О (рис. 3).
На плоскости или в пространстве будем брать две или три
координатные прямые или c общей точкой О и составляющие между собой произвольные углы. Чаще углы образованные между осями берутся . Аффинная прямая является неограниченной в обоих направлениях, но на ней мы никогда не достигнем хотя бы одной точки лежащей на противоположном направлении движения.
Особенность аффинной плоскости состоит в том, что параллельные прямые на ней не пересекаются.
Рассмотрим на аффинной плоскости деление отрезка
прямой точкой в данном отношении , где и любые числа (рис. 4). Координаты точки по координатам данных точек и выводятся в учебниках по аналитической геометрии [7, 8, 9], где для точки , лежащей внутри отрезка и , если точка будет лежать вне отрезка, то . Если , то точка с координатами и делит отрезок пополам. Если , то координаты точки будут и такие точки называются бесконечно удаленные и в аффинной геометрии не рассматриваются. Эти бесконечно удаленные точки в геометрии на практике ввели как несобственные элементы.
- 4 -
Таким образом, на прямой вводится несобственная точка, на плоскости – несобственная прямая, в пространстве – несобственная плоскость. Поэтому каждая прямая приобретает несобственную точку, представленную на замкнутой линии (рис. 5). Теперь параллельные прямые стали иметь общую несобственную точку. Введение несобственных точек на прямой позволило упростить многие предложения, например, на плоскости теперь две прямые пересекаются. Поэтому утверждается, что при движении в любом направлении по прямой мы можем через бесконечную точку вернуться в исходную. Такую прямую назвали проективной прямой, а плоскость – проективной плоскостью и пространство - проективным пространством. Рассматривая задачу деления отрезка прямой в отношении на проективной прямой точка теперь у нас узаконена, и можно предположить, что она делит отрезок в отношении .
Вместе с тем, несобственные геометрические образы не могут быть заданы с помощью аффинных координат. Поэтому вводится новое координатоопределение, положив для прямой так что всякой точке на прямой соответствует не одна, в две координаты и , для прямой имеем избыточность координат [3]. При этом одной точке прямой будет ставиться в соответствие множество систем значений, которые представляются в виде , например, точка на рис. 6, где любое не равное нулю число и принимают любые значения, кроме одновременного равенства их нулю.
В этом случае на прямой получаем определенную единственную точку и в случае и получаем несобственную или бесконечную точку. Введенные таким образом координаты называются однородными координатами.
III. Конкурирующие точки
- 5 -
Подробнее рассмотрим координату на оси , где и изменяются от 0 до и необходимо заметить, что при возрастании и фиксированном значении , - возрастает и при фиксированном при возрастании , -убывает. Поместим
переменные на прямые, на горизонтальную прямую, а переменные и на
параллельные между собой прямые с противоположным отсчетом от начала координат.
Поместим точку бесконечности в пределах видимости, это будет точка пересечения оси с осью и рассмотрим поведение в этом случае.
Поэтому к высказыванию Г. Кантора [3], что точка на проективной прямой одна, можно добавить теорему: Две точки пространства и - на проективную прямую проецируются в конкурирующие точки.
Проследим изменения на оси (рис. 6), то он убывает от до и далее убывает до -. Поэтому на числовой оси самое большое число убывает до самого малого числа -. Но - ни как не может перейти в и обратно. На рис. 6 мы видим, что точка приближается к точке справа, а точка - слева от нее и совпадают с точкой . То есть на проективной прямой проекции точек и - являются конкурирующими точками (как это видно на рис. 2’ с точками . Поэтому оригинал проективной прямой будет в виде разорванной пространственной кривой.
Если теперь значения увеличиваются от до в точке , то значения уменьшается влево от нуля в точки до в точке .
При условии, что прямые (2,-2),(-3,3), (10,-10) и т. д. параллельны оси и являются прямыми пучка прямых, то точка оказывается в бесконечности.
Таким образом, ясно, что на оси нет точки х =.
На основании изложенного, ясно, что для построения точек на проективной прямой мы вынуждены выходить в плоскость, для построения точек на плоскости, где работают две оси Ох и Оу, т.е. и нужны две плоскости, у которых линия их пересечения будет нести ось и оси Ох и Оу будут ей параллельны..
Так как рассматриваемая нами проективная прямая является моделью пространственного объекта, то его сконструировать мы не можем, т. к. проективная прямая имеет одну проекцию. Каждая точка оригинала проективной прямой проецируются на модель в одну точку и только две точки и - проецируются в конкурирующие точки.
Есть несколько пространственных линий одна из проекций которых представляет замкнутую линию с двумя конкурирующими точками, например, виток винтовой цилиндрической линии, если точки и - поместить в конце и начале витка, при проецировании его
- 6 -
связкой прямых с центром в несобственной точке (рис. 7) или виток конической винтовой линии проецированной связкой прямых из точки совпадающей с вершиной конуса (рис. 8), аналогичную одну из проекций будет иметь виток винтовой линии расположенной на однополостном гиперболоиде.
Выводы:
Таким образом, мы показали геометрически, что:
1) проекции точек и -пространства на проективной прямой являются конкурирующими точками.
2) Невозможность равенства нулю одновременно и так как на оси нет
такой точки.
На аффинной прямой в однородных координатах нет точки , если
или . Эта точка есть на проективной прямой в точке
Таким образом, используя методы начертательной геометрии можно описать оригинал проективной прямой:
а) Оригинал проективной прямой может располагаться на: конической поверхности, с вершиной в точке и направляющей проективной прямой, если аппарат проецирования будет состоять из двух связок прямых с собственными центрами и . Каждая точка оригинала будет лежать на одной образующей конической поверхности, две точки и - будут лежать одновременно на одной образующей конической поверхности.
б) Оригинал проективной прямой может лежать на цилиндрической поверхности с направляющей проективной прямой и аппаратом проецирования состоящим из двух связок прямых с центрами и в несобственных точках.
Использованные литературные источники:
1. . Г.Кантор Учение о множествах. СПТ.: Образование.1914. -189 с.
2. Ф. Клейн Элементарная математика с точки зрения высшей. Т. I.- М.: Наука. 1987. - 431 с., Т. II.- М.: Наука.1987. - 416 с.
3. Ф. Клейн Высшая геометрия. - М.-Л. 1939. 399 с.
4. Вертинская Н. Д. Математическое моделирование на основе конструктивной начертательной геометрии. - Иркутск: ИПИ . 1992. - 130 с.
5. Вертинская Н.Д. Математическое моделирование многофакторных и многопараметрических процессов в многокомпонентных системах на базе конструктивной геометрии. Ч. I. Лекции. Иркутск: ИрГТУ. 2009. - 229 с.
6. Вертинская Н. Д. Математическое моделирование многофакторных и многопараметрических процессов в многокомпонентных системах. Иркутск: ИрГТУ.-2001. - 289 с.
7. Ф. Клейн Неевклидова геометрия. М.-Л.: ОНТИ – НКТП – СССР. 1936. - 355 с.
8. Андреев К.А. Аналитическая геометрия.- М. 1905. - 610 с.
9. Александров П.С. Лекции по аналитической геометрии. – М. 1968.- 911 с.
Библиографическая ссылка
Вертинская Нелли Дмитриевна - один автор О некоторых геометрических аспектах
интерпретации однородных координат
// Научный электронный архив.
URL: http://econf.rae.ru/article/7540 (дата обращения: 23.12.2024).