ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.06.2024
Просмотров: 149
Скачиваний: 1
§7. Т р а н з и т и в н о с т ь
1.Предположим, что какая-либо геометрическая структура пригодна для изготовления модели. При эксплуатации модели используется последовательность действий, существенно зави сящих от некоторых свойств и признаков данной геометриче ской структуры.
Тогда любая геометрическая структура, эквивалентная дан ной, также оказывается вполне пригодной для целей модели рования. Рассмотрим ряд примеров.
П р и м е р 1. Подвергается измерению напряженность не стационарного силового поля. В каждой точке пространства и в каждый момент времени может быть зафиксирована величина напряженности.
Для моделирования этой ситуации допустимо использовать элементы пятимерного геометрического множества R5. Каж дому определенному набору четырех переменных параметров, характеризующих положение физического пункта Л в простран стве и во времени, сопоставляется пятый ответный параметр — напряженность силового поля. В пространстве R5 возникает некоторая четырехмерная поверхность, моделирующая указан ную ситуацию.
Для осуществления процесса моделирования важно иметь
пространство соответствующей размерности. Поэтому размер ность пространства следует здесь рассматривать как инва риант, порождающий отношение эквивалентности (3.5.1). Все другие пространства, эквивалентные R5 по выбранному при знаку (3.5.2), в равной мере пригодны для осуществления гео метрического моделирования.
П р и м е р 2. Известны два пункта Л и В, через которые про легла прямолинейная траектория движущегося объекта 0^ Известны также два пункта С и D, через которые пролегла прямолинейная траектория движущегося объекта 02 . Тре буется установить, встречаются ли траектории объектов О!
и02 .
Вэтом случае подходящей геометрической моделью может
служить трехмерное пространство R3. Выделив в нем соответ ствующие точки А, В и С, D, устанавливаем затем, пересе каются или скрещиваются между собою прямые li=AB и /2==С£>.
Намеченная последовательность действий связана с прове дением в R3 прямых линий. Существенную роль играет, ко нечно, и размерность геометрической модели. Таким образом,
108
размерность и прямолинейность форм являются здесь инва риантом, порождающим отношение эквивалентности. Все про
странства, |
коллинеарные R3 (3.5.8), |
в равной |
мере |
пригодны |
для целей |
моделирования. |
|
|
|
П р и м е р 3. Узел конструкции |
находится |
под |
действием |
двух нагрузок, величина и направление которых известны. Тре буется определить величину и направление равнодействующей силы.
Хорошо известный процесс геометрического моделирования сводится в данном случае к использованию правила паралле лограмма на плоскости. Из точки U, моделирующей узел кон струкции, проводятся два вектора, моделирующие приложен ные нагрузки. На этих векторах строится параллелограмм, диа гональ которого моделирует — по величине и направлению — искомую равнодействующую силу.
Указанный процесс моделирования подразумевает сохране ние прямолинейности форм и метрики пространства R2. Отсюда и проистекает отношение эквивалентности. Все другие про странства, коллинеарные и метрически эквивалентные R2 (3.5.10), также пригодны для целей моделирования.
2. Приведенные примеры ясно показывают, что в каждом конкретном случае выбор признака эквивалентности и разде ление пространств по этому признаку производится на основе чисто практических соображений. Описывая напряженность силового поля (пример 1), не обязательно прибегать к модели, сконструированной в R5. Но практически удобно получить про стую картину, возникающую именно в пятимерном простран стве. Решая вопрос о встрече траекторий (пример 2), можно использовать и нелинейную модель, однако она едва ли ока жется практически эффективной, и т. д.
Следовательно, разделение геометрических моделей по при знаку эквивалентности, с теоретической точки зрения, всегда условно, но оно имеет обычно большое значение с точки зре ния практики.
|
Совокупность |
геометрических |
моделей, которые |
в |
данной |
|||
конкретной |
ситуации оказываются |
эквивалентными |
друг дру |
|||||
гу, условимся |
называть транзитивно |
связанной |
совокупностью, |
|||||
или |
транзитивным |
рядом. |
|
|
|
|
|
|
|
3. Некоторые транзитивные ряды моделей встречаются на |
|||||||
практике очень часто, другие — реже. Рассмотрим |
подробнее |
|||||||
два |
особенно характерных случая. |
|
R\n, Rin, |
R$n . . . |
||||
|
Коллинеарные |
между собой |
пространства |
109
(3.5.8) нередко позволяют получить транзитивный ряд геомет
рических моделей. |
|
|
|
|
|
Коллинеация пространств R\n |
и |
R2n вполне |
определена, |
||
если указана модель ( я + 2) точек общего положения. При •« = |
|||||
= 1 имеем две прямых линии— Ril |
и лУВыбрав на |
первой |
|||
из них три не совпадающие попарно точки А\, |
В\, |
С\, |
укажем |
||
на второй линии их модель А2, В2, |
С2. Согласно |
высказанному |
выше утверждению, коллинеация определена. Для новой точки
DiCzRi1 |
необходимо уже |
построить |
ее |
модель D2czR2l. |
На |
бор из шести попарно сопоставленных |
точек — репер |
колли- |
|||
неации |
при я = 1 . Коллинеации такого |
вида принято |
обозна |
||
чать специальным наименованием — проективитет. |
|
||||
При я = 2 имеем две плоскости R{2 |
и R22. Выбрав на первой |
||||
из них четыре точки Аи Ви |
Си D\, не коллинейные по три, ука |
||||
жем на второй плоскости |
их модель: А2, |
В2, С2, D2. Коллинеа |
ция плоских полей определена. Если в первом поле отметим
новую точку 1'и то ее модель |
F2 нужно построить. |
Идея |
по |
|||||||
строения продемонстрирована |
на рис. 3.18. Точку F\ |
засекаем |
||||||||
парой |
прямых A\F\, |
B\F{ и |
фиксируем элементы |
|
K^AiF^X |
|||||
XC\DU |
IxssBiF\XCiD\. |
Далее, используя |
коллинеацию |
про |
||||||
странств Ri^CiDi |
и R22^C2D2, |
находим |
элементы |
К2, |
h, |
|||||
прямые А2К2 |
и B2I2 и, наконец, точку F2s=A2K2XB2!2. |
|
Отсюда |
|||||||
видно, |
что |
коллинеарное |
моделирование |
двумерных |
|
про |
||||
странств сводится на |
практике |
к коллинеарному |
моделирова |
|||||||
нию пространств одномерных. |
Восемь попарно |
сопоставленных |
||||||||
точек — репер коллинеации |
при п = 2. |
|
|
|
|
|
Рис, 3.18 |
Рис. 3.19 |
ПО
Намеченный ход рассуждений нетрудно продолжить. При
произвольном |
п выбор |
опорных точек |
в Rn |
связан |
условием: |
|||||
любой набор из ( п + 1 ) |
точки не должен входить в |
простран |
||||||||
ство Rn~{ |
a Rn. |
Для |
каждой новой точки |
Fx <zz Rxn, |
не входя |
|||||
щей в состав репера, приходится строить ее модель F2 |
cz R2n, |
|||||||||
причем дело сводится к реализации коллинеарного |
соответ |
|||||||||
ствия в |
пространствах |
Rn~\ Rn~2, |
Rn~3 |
.. . вплоть до |
Rx. |
|||||
Один |
из простейших |
способов |
коллинеарного |
моделирова |
||||||
ния одномерных пространств R{] |
и R2l |
показан |
на |
рис. 3.19. |
||||||
Если точка Л 3 |
cz R3l |
совпадает со своей моделью Л2 , |
то все |
остальные пары сопоставляемых элементов оказываются коллинейными с некоторой фиксированной точкой Q.
Многие другие полезные свойства коллинеации описыва ются в специальной литературе [36—41]. Существует особая математическая дисциплина—проективная геометрия,—за- занятая изучением именно этих свойств и фактов. Важно под черкнуть, что. коллинеация как средство конструирования эк вивалентных геометрических моделей получила широкое рас пространение в современной физике, номографии, фотограм метрии и некоторых других разделах науки и техники [47, 48, 50—54].
4. Коллинеация сопоставляет между собой пространства одинаковой размерности. Часто, однако, бывает интересно по лучить транзитивный ряд моделей, принадлежащих простран
ствам различной |
размерности. Ради определенности |
условимся |
||
говорить здесь |
о точечных линейных пространствах |
Rin |
и об |
|
алгоритмах, переводящих совокупность точек А, |
В, |
С, |
..., |
|
N cz Rn в точку или в совокупность точек Р, Q, |
|
cz R". |
Пусть на плоскости сконструирована геометрическая мо дель 02 , работающая как машина М(га->-т). Это значит, что, выбрав произвольно п/2 точек, находим с помощью установ ленного алгоритма ответ — т / 2 точек. Если п или m нечетно, то один из выбираемых или результативных элементов распо лагается на заранее фиксированной прямой линии.
Наметим в пространстве R3 геометрический алгоритм (мо
дель 0 3 ), |
позволяющий переходить от л/3 произвольно выби |
раемых |
точек к т / 3 результативным точечным элементам. |
Если п или m не кратно трем, то один из выбираемых или от ветных элементов принадлежит заранее фиксированной плос кости или прямой линии. Очевидно, модель 0 3 тоже работает как машина М ( я - > т ) и в этом смысле она эквивалентна мо дели 02 .
Ш