Материал: 1671

отображается на все множество образов).

Если отображение одновременно инъективно и сюръективно, то оно называется взамнооднозначным отображением множества А' на множество Y или биекцией. Множества X и Y в этом случае назы­ ваются эквивалентными.

Рассмотрим пример. Пусть зада­ ны окружность к и прямая Ь, прохо­ дящая через ее центр О (рис. 1.2). Установим соответствие между ок­ ружностью к и прямой b проециро­ ванием по направлению прямой а. Очевидно, \ckxb и А есть график соответствия -- (A,k,h), устанавли­ ваемого проецированием в направлс-

вия, устанавливаемого те же направлением проецирования. Очевидно, соответствие РМЕ—>Ь является отображением. Это отображение инъективно, так как при произвольных разных точках Р и М получа-

ем F(P) - К; F(M) = Т, К ФТ . Однако оно не является сюръекцией, поскольку F(PME~) = \КЕ\ Ф Ь.

Для биективного отображения F существует отображение F~l, обратное к F: F' \у) = х. Если в отображении имеет место F(x) = х, то х называется инвариантным элементом отображения. Если для

Е. Известны свойства отображений [30], из которых отметим ниже­

равен пересечению образов.

2.Для любых двух подмножеств Yx и Уг множества Y прообраз

Рис. 1.3. Виды соответствий

Применение различных видов преобразований плоскости и про­ странства приводит к различным решениям задач начертательной геометрии и к упрощению этих решений [15, 16, 22, 36].

Последовательное образование различных видов соответствий между двумя множествами можно представить схематично следую­ щим образом (рис. 1.3).

1.3.Операция проецирования

Пусть <2" - множество, элементу а которого соответствует набор п параметров (ai,a2,—,an). Пусть, например, а„ =-t, где / -фиксиро­ вание число. Тогда во множестве Q1 выделяется подмножество Ф"~], элемент которого определяется набором из п-\ параметров. Напри­ мер, в пространстве i?3 каждая точка определена тройкой чисел

(х,у,г), я если z - t, то Ф2 есть плоскость, каждая точка которой оп­ ределяется набором из двух параметров. Существует непрерывное однопараметрическое множество изменяющихся значений параметра а„, а, следовательно, и непрерывное однопараметрическое множество ( и - I ) - м е р н ы х подмножеств, каждому из которых соответствует оп­ ределенное значение этого параметра. При этом никакие два подмно­ жества не пересекаются, и объединение всех подмножеств есть мно­ жество Q". Эти подмножества представляют собой классы эквива­ лентности. Два элемента a cz Q" и Ь с Q" с соответствующими набо­ рами (а-1,а2,—,а„) и (b],b2,...Jin) будут принадлежать некоторому

подмножеству Ф"~' множества Q*2, если an=bn=t, где / - фиксиро­ ванное действительное число. Можно показать, что введенное таким образом условие инцидентности элементов одному (и - 1)-мерному подмножеству есть отношение эквивалентности, а само подмножест­ во - (н U - мсрпый класс эквивалентности.

F.CJIH фиксируются два параметра из набора (а1ьа2,...,ап), то из

{У1 выделяется подмножество Ф" 2. При непрерывном изменении значений этих двух параметров получаем непрерывное двухпараметрическое множество (л-2)—мерных подмножеств - классов эквива­ лент нос ги, попарно не пересекающихся и заполняющих все множест­ во Q". Обобщая рассуждения, приходим к выводу, что при фиксиро­ вании т параметров из набора (а1я а2,ап) множество Q1 разбива­ ется на т -параметрическое множество классов, в каждом из которых содержится (п — т)--параметрическое множество элементов. Имеет место тождество т + {п -т)-п. Обозначив (п~т) = 1, приходим к

следующей условной записи, разбиения множества Q1 на классы эк-

вивалентности: Q1 =фт(1\(jn + /) = «, где Ф " ^ - фактормножество

размерности т, состоящее из классов эквивалентности ф', каждый из которых представляет собой /-параметрическое множество элемен­

тов. Таким образом, можно записать: Q" - фт^ = [}<р'.

т

Основываясь на вышеизложенном, рассмотрим сущность опера­ ции проецирования. Между множествами X и Y пространства Е„ можно установить различные соответствия, сопоставляя с элементом

1.Через каждый элемент должен проходить один класс (fi.

2.Элементы пространства, через которые проходит множество

классов ф, либо не существуют, либо составляют некоторое множе­

ство ,к=0,\,2,...;к <п, которое исключается из операции нахож­

дения соответственных элементов. Класс ц/к, если он есть, называется центром или ядром проецирования.

Приведем примеры разбиения пространства Е3 на проецирующие классы. Фактормножествами пространства Е3 по отношению эквива­ лентности, представляющем собой разбиение этого пространства на

ские множества поверхностей. Рассмотрим вначале примеры проеци-

13

рующих фактормножеств [j(p . Очевидно, что эти фактормножества

2

представляют собой множества прямых или кривых линий (плоских или пространственных). К ним относятся известные в начертательной геометрии нижеследующие множества.

1. Связка прямых с собственным 5 (рис. 1.5) или несобствен­ ным (рис. 1.6) центром - ядром проецирования. В обоих случаях связка проецирующих прямых позволяет выполнить линейное ото­

Связка прямых представляет собой конгруэнцию первого порядка (число прямых конгруэнции, проходящих через точку пространства) и нулевого класса (число прямых конгруэнции, принадлежащих плос­

положение каждой прямой этого множества определяется положени­ ем ее точки пересечения с линией Ъ, определяемым расстоянием от некоторой точки Oheb, измеренным по линии Ь. Таким образом, множество прямых рассматриваемой конгруэнции двухпараметрично. В начертательной геометрии для проецирования чаще всего исполь­ зуются конгруэнции прямых, фокальными линиями которых являют-

14

1. Циклическая конгруэнция с плоскостью параллелизма (рис.

1.9). Она представляет собой двухпараметрическое множество ок­ ружностей в пучке параллельных плоскостей и с центрами окружно­ стей на линии а, которая в частности может быть прямой. Каждой плоскости Е этого пучка принадлежит пучок (0) концентрических

центров окружностей, исключена из проецирования. Использование циклической контруэнции в качестве проецирующего фактормноже­ ства приводит к нелинейному проецированию. Вели а - прямая ли­ ния, то прямая Ъ пространства отображается проецированием на плоскость проекций в кривую второго порядка, поскольку является сечением однополостного гиперболоида вращения (а,Ь) с осью вра­ щения а.

2. Винтовая конгруэнция (рис. 1.10). Может представлять собой двухпараметрическое множество соосных цилиндрических винтовых линий постоянного винтового шага h и одного направления. Винто­ вой проекцией прямой линии Ъ пространства на плоскость проекций

3.Нормальная конгруэнция (рис. 1.11). Представляет собой

нено как на саму поверхность 27 (поверхность проекций), так и на плоскость пространства (плоскость проекций). Очевидно, отображе­ ние пространства нормальной конгруэнцией является нелинейным.

В качестве проецирующего фактормножества = \}<р1 могут быть использованы: пучок плоскостей с собственной или несобствен­ ной осью, пучок сфер - концентрических или эксцентрических (если координаты центра и радиус сферы связаны какой-либо зависимо­ стью), пучок соосных цилиндрических поверхностей вращения, пучок соосных круговых конических поверхностей с общей или разными вершинами и другие множества поверхностей.

1.4.Аксиоматическое построение евклидова пространства

Основным элементом евклидова пространства является точка - неопределяемый геометрический объект, если не считать определе­ ния, данного Евклидом (330 - 275 г.г. до н.э.), что "точка есть то, что не имеет частей". Формально, точку можно считать нульмерным про­ странством Ед. Чтобы определить одномерное пространство Ех, необ­ ходимо иметь прямую, существование которой задается первой ак­ сиомой принадлежности, выбрать на ней любую точку, которую при­ нимаем за начало отсчета, тогда любая точка прямой определится за­ данием одного числа (координаты), которое является выражением расстояния данной точки от начала координат. Таким образом, одно­ мерное пространство Ь\ линейно по определению и эквивалентно ли­ нейному однопараметрическому множеству точек.

Двумерное пространство Е2 есть плоскость, существование кото­ рой определяется четвертой аксиомой принадлежности. Поскольку аксиомы определяют существование трех точек, принадлежащих Е2, то одну из них всегда можно принять за начало отсчета координат, а две другие точки зададут две оси координат, не обязательно между собой перпендикулярные. Любая точка А е Е2 определяется двумя числами - координатами (х,у) = (х1,х2), геометрический смысл кото­ рых заключается в длинах отрезков, отсекаемых на соответствующих координатных осях от начала координат прямыми, проходящими че­ рез точку А, параллельно другой оси координат. Пространство Е2 линейно по определению, и представляет собой линейное двухпара- v метрическое множество точек. Очевидно, что обобщение этих рассу­

Поэтому группа аксиом принадлежности единственным образом расширяется от:

1)для любых грех точек, не лежащих на одной и той же прямой, существует плоскость и притом только одна, прохо;гящая через эти точки;

2)если две точки прямой лежат в плоскости, то всякая точка этой прямой лежит в этой плоскости;

3)если две плоскости имеют общую точку, то они имеют еще одну общую точку;

до:

1)для любых (к + 2) точек, не лежащих в одном и том же про­ странстве Ек, существует пространство Ек+Х и притом только одно, проходящее через эти точки;

эти пространства — линейные, то они называются соответственно 0-

В Еп можно ввести координаты. Поскольку аксиомы утверждают существование (и + 1) точек, то одну из них можно принять за начало координат, а на остальных п точках построить координатные оси, не обязательно перпендикулярные друг другу. Тогда между упорядочен­ ными наборами чисел (х1,...,хп) и точками пространства Еп будет ус­ тановлено взаимно однозначное соответствие. Геометрический смысл каждого числа xh / = 1, п будет таким же: xf выражает длину от­ резка, отсекаемого от начала координат О на числовой оси Ох( ги­ перплоскостью, проходящей через данную точку параллельно осталь­ ным осям координат.

На основе аксиом принадлежности пространства Еп докажем теоремы о пересечении и линейном расширении двух подпространств

сиоме принадлежности эти точки определяют (к + р + Х)—мерное под­ пространство. Следовательно, имеем теорему: для любых двух под­

аЕ будет определяться р+\—г—\=р-г независимыми точками.

1.5.Операция проецирования в пространстве Еп

значно. По теореме о пересечении подпространств точка А' должна быть пересечением Ек и Еп_к, и, очевидно, что АеЕп.к. Следова­ тельно, по аксиоме принадлежности Еп_ к кроме точки А должно оп­

но называют линией связи проекций. Итак, проецирование точки на

19