www.volsu.ru
DOI: https://doi.org/10.15688/mpcm.jvolsu.2021.4.3
УДК 517.5+514.174 ББК 22.15+22.16
Дата поступления статьи: 07.06.2021 Дата принятия статьи: 01.11.2021
см о
CS <
m о к
2 ^
S
©
О СОХРАНЕНИИ ОТНОШЕНИЯ СМЕЖНОСТИ ТРЕУГОЛЬНИКОВ ПРИ КВАЗИИЗОМЕТРИЧЕСКОМ
ОТОБРАЖЕНИИ
Кандидат физико-математических наук, преподаватель кафедры информатики
и технологии программирования,
Волжский политехнический институт (филиал)
Волгоградского государственного технического университета
ул. Энгельса, 42а, 404121 г. Волжский, Российская Федерация
Аннотация. В настоящей работе предлагается количественная характеристика отношения смежности двух треугольников, представляющая собой расстояние р в пространстве 4-точечных семейств от семейства X, определяемого данной парой смежных треугольников, до множества У* семейств, определяемых всевозможными парами несмежных треугольников (с общей стороной). Такая характеристика представляет собой локальный достаточный признак отсутствия захлеста сетки при квазиизометрическом отображении и может быть применена для составления триангуляции заданной области как образа некоторой эталонной триангулированной области. Для вычисления величины р(Х, У *) требуется конструктивно указать в У * некоторое подмножество, расстояние от X до которого равно р(Х, У*). Это требует, в свою очередь, разбиения множества У * на 15 классов и исследования каждого из них на предмет исключения «лишних» семейств и описания оставшихся. Ввиду большого объема полного исследования в статье дано исследование только трех классов из указанных 15-ти. Два из них являются «узловыми» в общей схеме исследования, на примере третьего показан комбинаторный характер задачи.
Ключевые слова: захлест сетки, качество сетки, смежные треугольники, расстояние между семействами точек, триангуляция.
Александр Юрьевич Игумнов
Введение
В настоящей статье рассматривается задача количественного выражения степени устойчивости отношения смежности двух треугольников при квазиизометрическом отображении. Подобная мера является одной из характеристик качества сетки (отсутствие захлеста). С краткой сводкой критериев качества сетки можно ознакомиться по работе [10]. С конкретным применением критерия качества сетки при генерации тетраэдральной сетки можно ознакомиться по работе [3]. Смежный вопрос — сохранение ориентации симплекса при отображениях определенного вида — рассматривается в классической работе [1], а также, например, в работах [2; 6; 7], [9, раздел 5.2].
Под мерой устойчивости отношения смежности понимается следующее. Пусть Т1 = = АВС1 и Т2 = АВС2 — треугольники на плоскости, смежные относительно стороны АВ; f — квазиизометрическое отображение, заданное на их вершинах:
I \х' - х"\ < \ f (х') - f (х")\ < L \х' - х"\, Ух',х" е{А,В,С1,С2}.
Очевидно, при I = L (случай изометрического отображения) треугольники f (Т1) = = f(A)f(В)f(Ci) и f(Т2) = f(A)f(B)f(C2) также будут смежны. При I < L наличие/отсутствие смежности у треугольников f (Т1) и f (Т2) определяется как степенью различия величин I и L, так и «видом в целом» каждого из треугольников Т1 и Т2. Например, если один из треугольников близок к вырожденному, то уже при незначительном отличии I и L треугольники f (Т1) и f (Т2) могут оказаться несмежными. Задача заключается в определении (получении) условий на I и L, при которых для данной пары смежных треугольников Т1 и Т2 гарантируется смежность треугольников f (Т1) и f (Т2).
Предлагаемая схема решения следующая. Вершины треугольников Т1 и Т2 определенным образом нумеруются. Полученный набор s нумерованных точек будем называть семейством точек. В пространстве S семейств точек можно задать расстояние р, инвариантное относительно изометрических преобразований [4]. Под действием отображения f семейство точек s смещается в S на некоторое расстояние, которое можно оценить через величины I и L [4, теорема 1]: p(s,f(s)) < log L/l. Далее, в S выделяется «запретное» множество Z — множество семейств, соответствующих парам несмежных треугольников (с общей стороной). Сохранение отношения смежности будет обеспечено, если f (s) Е Z. Достаточный признак может быть записан как правая часть следующего двойного неравенства: p(s,f (s)) < log L/l < p(s,Z).
Для вычисления p(s, Z) множество Z разбивается на некие классы семейств 5^(s), 2 < р + q < 6 (см. далее), каждый из которых должен быть исследован на предмет исключения из него семейств Y, для которых удается найти Y Е Z, такое что р(Х, Y) < p(X,Y), и на предмет описания оставшихся семейств (в частности, множество таковых может быть пустым или конечным). В данной работе исследованы только классы 51, 5f. Исследование имеет в основном комбинаторный характер.
1. Предварительные сведения
Следуя [4], дадим необходимые определения и изложим схему исследования.
Отображение Р : I ^ Мга, где I = {1,...,к}, будем называть семейством точек или ^-точечным семейством в Мга. Точки Р(1),...,^(к) будем называть значениями семейства Р, а также точками семейства Р. Семейства Р, С ортогонально эквивалентны, если их значения совмещаются некоторым ортогональным преобразованием. На
множестве классов ортогонально эквивалентных семейств можно ввести метрику, определяемую следующим образом. Пусть F, G — представители классов эквивалентности. Полагаем
A(F,G) = , (hJ) : 1 < г<з < К \F (t)F (j)\ + \G(i)G(j )| > 0}.
Здесь \... \ — евклидова длина отрезка, значение дроби с нулевым знаменателем равно Положим
Г 0, если для всех i,j \F(i)F(j)\ = \G(t)G(j)\ = 0;
p(F,G)=< , max A(F,G) (1)
I log-, в противном случае;
^ min A(b,G)
о*
полагая, что основание логарифма больше единицы, - = log(+ro) = Гео-
метрический смысл величины (1) — евклидова длина отрезка min A(F,G) max A(F,G), отложенного на логарифмической шкале. Для упрощения обозначений и терминологии мы отождествляем обозначение класса эквивалентности и его представителя, и величину (1) будем называть расстоянием между семействами F, G. Везде далее полагаем, что основание логарифма в правой части выражения (1), указанного явно, и основание логарифма, подразумеваемого обозначением p(F,G), одно и то же.
Табличное задание отображения F будем записывать как F = j F ^ ... f fcfc)} и подобным же образом с неявной нумерацией столбцов, то есть указанием буквенных индексов вместо конкретных числовых значений. Отрезок в Мга, определяемый точками F(г), F(j), будем обозначать F(i)F(j) и называть отрезком F(i)F(j) семейства F. Концы отрезка будем называть также вершинами отрезка.
Следуя [4], дадим описание схемы нахождения в множестве У семейств, ближайших к заданному семейству, несколько ее конкретизировав. Пусть X — четырехточечное семейство с попарно различными значениями, У — некоторое множество четырехточечных семейств. Семейство X порождает разбиение множества У на классы ), определяемые следующим образом. Полагаем Y е Щ,(Х) если числовой набор A(X,Y) содержит ровно р минимальных и ровно q максимальных значений. Для наглядности выкладок отрезки Y(i)Y(j) семейства Y, для которых величина (¿)x(j}| минимальна, будем представлять окрашенными в синий цвет и называть синими; отрезки Y(i)Y(j) семейства Y, для которых величина (¿)x(j)| максимальна, будем представлять окрашенными в красный цвет и называть красными; остальные отрезки семейства будем представлять окрашенными в черный цвет и называть черными.
Заметим, что любую наперед выбранную величину (¿)x(j}| из числового набора A(X,Y) можно полагать равной 1 (или несколько величин, если их значения совпадают), применив к Y преобразование подобия с коэффициентом, обратным этой величине.
Величины числового набора A(X,Y) будем изображать точками на логарифмической шкале, полагая их окрашенными в те же цвета, что и соответствующие отрезки Y(i)Y(j). При этом черные точки изображать не будем. Самую левую точку, определяемую набором A(X,Y), будем обозначать т, самую правую — М, значения р и q будем называть кратностями соответствующих концов отрезка тМ. Семейства Y будем условно изображать как прямоугольники с диагоналями.
Вершины прямоугольника представляют собой значения семейства; стороны и диагонали — отрезки семейства, при этом элементы прямоугольника, соответствующие черным отрезкам, могут быть опущены. Каждый класс (X) исследуется на предмет возможности указать для семейства У € 5^(Х) семейство У такое что р(Х,У) < р(Х,У). Семейство У ищется посредством смещения каким-либо образом одной из точек семейства У с целью укоротить его красные отрезки и/или удлинить синие. Такое смещение (если оно возможно) приводит к изменению положения цветных точек на логарифмической шкале, в результате чего либо отрезок тМ укоротится, либо изменится (уменьшится) кратность его концов. В последнем случае получившееся семейство — У * — исследуется на предмет наличия семейства У', расположенного ближе к X, чем семейство У*. За смещенными концевыми точками отрезка тМ будем сохранять их прежнюю раскраску. Смещение точки семейства полагаем настолько малым, что черные отрезки семейства остаются черными, при этом черные точки на шкале не изображаются.
Изменение длины отрезка тМ (или кратностей его концов) будем отслеживать посредством двух логарифмических шкал, расположенных одна под другой: на верхней, обозначенной символом У, будем указывать величины т, М с учетом кратности, соответствующие исходному семейству У; на нижней (обозначенной символом У или У*) — результат модификации отрезка тМ в результате смещения некоторой точки семейства. Шкалы выровнены по начальному положению величин т, М.
Направление смещения точки исследуемого семейства У будем указывать посредством следующей конструкции. Пусть А, В, С € П — точки на плоскости П. Обозначим внешность и внутренность круга с центром А радиуса 1АС| следующим образом:
г+ (С) = {С € П: 1АС'| > 1АС|}, Г-(С) = {С' € П: 1АС'| < 1АС|}. Аналогично:
г+(С) = {С' € П: 1ВС'| > 1ВС|}, г~в(С) = {С' € П: |ВС"| < |БС|}.
Введем обозначения для попарных пересечений внутренностей/внешностей кругов с центрами в точках А и В:
гГв(С) = Л(С) П г+с(С), г\-в(С) = г+ (С) П Т~вс(С); (2)
гВВ(С) = г--(С) П гВ(С), г--(С) = т--(С) П т--(С). (3)
Примем как геометрически очевидные следующие утверждения.
1. Если точки А, В, С не лежат на одной прямой, то каждое из множеств г++(С), Лв(с), г-+(С), г~вв(с) непусто (рис. 1а, 1б).
2. Пусть точки А, В, С лежат на одной прямой т. Обозначим I — объединение отрезков АВ, ВС и АС.
• Если С — внутренняя точка отрезка I, то множество т~—'В(С) пусто, множество г—+(С) непусто, множество г++(С) непусто, множество г+в(С) непусто (рис. 2а). А также: множество г—В(С) П т пусто, множество г—+(С) П т непусто, множество г++(С) П т непусто, множество г+—(С) П т непусто (рис. 2а).
• Если С — концевая точка отрезка I, то:
2.1. Если А — концевая точка отрезка I, то справедливо:
ГАВ(С) = г~в(С) непусто г-+(С) непусто г+5(С) пУсто, г++(С) = = г+(С) непусто;
гав(С) П т непусто, (С) П т пусто, г+В(С) П т пусто, г++ (С) П т непусто (рис. 2б)).
2.2. Если В — концевая точка отрезка I, то справедливо:
глВ(с) = гл(с) непусто г+В(С) непусто, гА+(С) пусто, г++(С) =
= гв(С) пусто;
ГЛВ(С) П т непусто, г+В(С) П т непусто, гА+(С) П т пусто, г++(С) П т непусто (аналогично).
С
А
a)
В А
В
б)
Рис. 1. Направления смещения точки С в семействе У в случае, если А, В, С не лежат на одной прямой
А
а)
В
с
А
В
б)
Рис. 2. Направления смещения точки С в семействе У в случае, если А, В, С лежат на одной прямой
Пример. Запись вида С' € г+В (С) означает, что смещаемой точкой является точка С, ее обозначение после смещения — С', в результате смещения отрезок АС удлинился, а отрезок ВС укоротился.
На случай одноцветной печати введем дублирование цветовых обозначений точек и отрезков их размером и толщиной: изображение синей точки на шкале — • ; изображение красной точки на шкале — □ ; изображение синего отрезка — _ ; изображение
красного отрезка — . Помимо сказанного, значения семейства будем изображать
бесцветными точками — О . На некоторых рисунках, где отрезки семейства параллельны и разнесены, в качестве изображения точки семейства применяется «растянутая»
точка — §.
Далее в обозначениях классов Щ,(Х), а также других, вводимых в рассмотрение в
ходе исследования, указание на семейство X будем опускать.
Опишем теперь, каким образом учитывается в преобразуемых семействах сохранение несмежности определенной пары треугольников. Обозначим У* — класс таких семейств У, в которых треугольники У(1)У(2)У(3) и У(1)У(2)У(4) не являются смежными. Класс У* является объединением следующих классов семейств:
• ЭД* — семейства, точки У(3), У(4) которых расположены по одну сторону прямой У(1)У (2);
• У* — семейства, в которых ровно одна из точек У(3), У(4) расположена на прямой У(1)У (2);
• У** — семейства, в которых обе точки У(3), У(4) расположены на прямой У(1)У(2); то есть все четыре точки семейства лежат на одной прямой.
Имеем: класс У* состоит из таких семейств класса У*, в которых количество точек — помимо У(1), У(2) — лежащих на прямой У(1)У(2), равно д. Для обозначения того факта, что д может принимать ровно одно значение из перечисляемых будем использовать запись вида д = 0:1:2 (то есть двоеточие имеет значение «исключающее или»).
Обозначив У результат преобразования семейства У, само преобразование будем обозначать как У ^ У.
Введем также обозначения: т* — прямая У(1)У(2); П+ и Пв — полуплоскости, определяемые прямой т*. При этом: если хотя бы одна из точек У(3), У(4) не принадлежит прямой т*, то П+ — это полуплоскость, содержащая эту точку; если обе точки У(3), У(4) принадлежат прямой т*, то обозначения полуплоскостей произвольны.
Полагая смещение точки семейства сколь угодно малым, преобразование У ^ У можно характеризовать указанием места исходного положения смещаемой точки и ее конечного положения (через стрелку), понимая под местами т*, П+ и Пв. Указание такой пары мест будем называть типом преобразования. В предположении, что У € У*, возможны следующие типы: т* ^ т*, т* ^ П+, т* ^ Пв, П+ ^ П+. Принадлежность/непринадлежность семейства У некоторому из классов У* определяется типом преобразования и условием принадлежности семейства У какому-то классу У*.
Все возможные варианты представим в виде трех таблиц, которые обозначим так же как класс в условии У €У*. В графах таблицы записаны: либо обозначение класса, которому принадлежит семейство У; либо обозначение класса, которому семейство У не принадлежит (с явным на то указанием посредством знака €); либо указана (посредством знака х) невозможность применения преобразования данного типа к данной точке. Индексы со значениями 1,2 указаны явно (то есть как сами эти числа), значения 3 и 4 принимаются индексами 8, Для большей наглядности таблицы дополнены рисунками (справа от соответствующих таблиц). Например, для семейства У € У* (см. рис. 4) смещение точки У(1) в плоскость П+ влечет У € смещение той же точки в плоскость Пв влечет У €У* (точки У(з), У(¿) окажутся по разные стороны от новой прямой, проходящей через точки семейства с индексами 1 и 2).
Таблица 1
Таблица
Уо т* ^ т* т* ^ П+ т* ^ П- П+ ^ П+ г п-
У (1) У0* Уо Уо X 1) 2)
у (2) Уо Уо Уо X 3 - т* п+
У (*) X X X У5 У У (V
У (*) X X X У5 3 3
Рис. 3. К таблице 1
Таблица 2
Таблица У*
т* ^ т* т* ^ П+ т* ^ П- П+ ^ П+ г п-
у (1) У** У* ЕУ * X 1) 2) У
у (2) У* У* « X - т* п+
у («) У* У* ЕУ * X У (V
У (V X X X у* 3
Рис. 4. К таблице 2
Таблица 3
Таблица У2
У2 т* ^ т* т* ^ П+ т* ^ П- П+ ^ П+
у (1) У* У* У* X
у (2) У* Л* Л* X
у («) У* У* У* X
У V У* У* У! X
у (
Д) 3 2) У
п-
т*
п+
Рис. 5. К таблице 3
И наконец, помимо изложенного выше, нам потребуется следующее утверждение. Лемма 1. Пусть и — некоторое 3-точечное семейство, V — 3-точечное семейство, все точки которого лежат на одной прямой. Если отрезки V(г)У(]) и V(г)У(к) красные, а отрезок V(])У(к) синий, то точки V(]) и V(к) расположены по одну сторону от точки V(г).
Доказательство. Положим отрезки V(ъ)У(]) и V(ъ)У(к) равными по длине отрезкам и (г) и (]) и и (г) и (к) соответственно. Пусть точка V ({) расположена между точками У (]) и У (к). Если треугольник и (г) и (] )и (к) невырожден, то семейство У получается из и развертыванием угла и (г) до значения п. При этом, очевидно, длина противолежащей стороны и(])и(к) может только увеличиться, что противоречит указанной в условии раскраске отрезков семейства У. Если треугольник и (г) и (] )и (к) вырожден, то У получается из и тождественным (изометрическим) преобразованием, что также противоречит раскраске отрезков семейства У. Лемма доказана.
2. Исследование классов Щ
Здесь и далее полагаем, что значения семейства X попарно различны. Из определения величины (1) следует, что если при этом в семействе У есть совпадающие значения, то р(Х,У) = то. Такие семейства мы исключаем из рассмотрения, не обязательно это оговаривая.
2.1. Класс 51
Теорема 1. Пусть У е У*. Если У е 51, то существует У1 е У*, для которого выполнено: р(Х,У') < р(Х,У).
Доказательство. Синий отрезок имеет свободную вершину. Обозначим: А — свободная вершина синего отрезка; В — его вторая вершина.
1) Пусть А е т*. Тогда У е У**, д = 0:1. Полагая У (г) = А и выбирая N е е г+(А) получим семейство У' = { X'г(5) г^:) г(г) }, Для которого выполнено: р(Х,У) < р(Х,У) (рис. 6). Преобразование У ^ У' есть преобразование типа П+ ^ П+ в таблице У**. Откуда выводим: У' е У** и значит У' е У*.
2) Пусть А е т*. Тогда У е У**, д = 0:1:2. Полагая У (г) = А и выбирая А' е е г+(А) П т*, получим семейство У' = {X'у{з) у[к) , для которого выполнено: р (Х,У) < р(Х,У) (рис.6). 5
У
У
Рис. 6. Р(X,Y') < Р(X,Y)
Преобразование У ^ У есть преобразование типа т* ^ т* в таблице У**. Откуда выводим: У Е У** и значит У Е У*.
Теорема 1 доказана.
2.2. Класс 51
Теорема 2. Пусть У е У*. Если У е 5^, то существует У е У*, для которого выполнено: р(Х,У') < р(Х,У).
Доказательство. Классифицируем расположение отрезков семейства У следующим образом.
1) Синий и красные отрезки семейства составляют замкнутую трехзвенную ломаную (рис. 7а).
2) Синий и красные отрезки семейства составляют незамкнутую трехзвенную ломаную и при этом синий отрезок имеет свободную вершину (тогда и красный отрезок имеет свободную вершину) (рис. 7б).
3) Синий и красные отрезки семейства составляют незамкнутую трехзвенную ломаную и при этом синий отрезок не имеет свободной вершины (тогда каждый из красных отрезков имеет свободную вершину) (рис. 7в).
4) Цветные отрезки не составляют ломаную (рис. 7г).
а) б) в) г)
Рис. 7. Классификация раскраски отрезков семейств Y Е Sf
Рассмотрим указанные случаи.
1.1. Пусть красные отрезки лежат на некоторой прямой р.
Тогда синий отрезок лежит на той же прямой. Обозначим I — объединение синего и красных отрезков. По лемме 1 общая вершина двух красных отрезков не может быть внутренней точкой отрезка I. Обозначим граничные точки отрезка I: А — общая вершина двух красных отрезков; В — общая вершина синего и красного отрезков. Обозначим: С = У (г) — общая вершина синего и красного отрезков, являющаяся внутренней точкой отрезка I (рис. 8а). Выбирая С' Е г—+(С) П р получим семейство У = {¿'у^) у^к) уц)}, для которого выполнено: р(Х,У) < р(Х,У) (рис. 8 б)).
В
□ □
У
У
а)
б)
Рис. 8. Выбор семейства У', такого что р(Х,У') < р(Х,У)
Если р = т*, то У Е У* и преобразование У ^ У есть преобразование типа П+ ^ П+ в таблице У*. Откуда выводим: У Е У* и значит У Е У*. Если р = т*, то У Е У*, где д = 1 : 2, и преобразование У ^ У есть преобразование типа т* ^ т* в таблице У*. Откуда выводим: У Е У* и значит У Е У*.
.2. Пусть красные отрезки не лежат на одной прямой. Тогда: хотя бы одна из вершин ломаной расположена вне т*; У Е У%, где д = 0 : 1.
1.2.1. Пусть вне т* расположена общая вершина синего и красного отрезков. (Имеем: эти отрезки не лежат на одной прямой.)
Обозначим: С — общая вершина синего и красного отрезков; А — вершина красного отрезка, инцидентного точке С; В — вершина синего отрезка, инцидентного точке С (рис. 9).
Рис. 9. Вне т* расположена общая вершина синего и красного отрезков (второй красный отрезок и прямая то* не показаны)
Полагая У (г) = С и выбирая С' Е тА+(С) получим семейство У = = {с>у\з) ук(к)у1(1)}, для которого выполнено: р(Х,У') < р(Х,У) (рис. 8 б)) Преобразование У ^ У есть преобразование типа П+ ^ П+ в таблице У*. Откуда выводим: У Е У* и значит У Е У *.
1.2.2. Пусть вне т* расположена общая вершина двух красных отрезков. Обозначим: С — общая вершина двух красных отрезков; А, В — вершины красных отрезков, инцидентных точке С (рис. 10 а)). Полагая У (г) = = С и выбирая С' Е г~А~А(С) получим семейство У = {с< у\лук(к) у (I)},
для которого выполнено: р(Х,У') < р(Х,У) (рис. 10б)). Преобразование У ^ У' есть преобразование типа П+ ^ П+ в таблице У**. Откуда выво-
дим: Y' Е У* и значит Y' Е У*.
А С
В
У У'
а)
б)
Рис. 10. Вне т* расположена общая вершина двух красных отрезков (синий отрезок и прямая т* не показаны)
2. Повторяя выкладки доказательства теоремы 1, получаем требуемое.
3. 3.1. Пусть свободная вершина хотя бы одного из красных отрезков расположена
вне т*. Тогда У Е У*, q
0 : 1.
Обозначим: А — свободная вершина такого отрезка; В — его вторая вершина.
Полагая У (г) = А и выбирая А' Е гв(А), получим семейство У * = = И' пл у\к) Г(г)}, для которого выполнено: р(Х,У*) = р(Х,У). Преобразование У ^ У * есть преобразование типа П+ ^ П+ в таблице У*. Откуда выводим: У * Е У** и значит У * Е У *.
- У
. у *
Рис. 11. Переход к семейству У * Е : р(Х,У *) = р(Х,У)
Имеем: У * Е (рис. 11). Применяя теорему 1, где полагаем У = У *, получаем требуемое.
3.2. Пусть свободные вершины обоих красных отрезков расположены на прямой т*.
3.2.1. Пусть при этом хотя бы один из красных отрезков не перпендикулярен прямой т* (в частности, лежит на этой прямой). Тогда У Е У**, q = 0 : : 1 : 2. Введем обозначения: А — свободная вершина такого отрезка; В — его вторая вершина.
Полагая У (г) = А и выбирая А' Е г—(А) П т* получим семейство У * = { %А1 у^) , для которого выполнено: р(Х,У *) = р(Х,У). Преобразование У ^ У * есть преобразова- (*) ние типа т* ^ т* в таблице У**. Откуда выводим: У * Е У** и значит У * Е У *.
Имеем: У * Е (рис. 11). Применяя теорему 1, где полагаем У = У *, получаем требуемое.
3.2.2. Пусть при этом оба красных отрезка перпендикулярны прямой т*. Тогда: У Е синий и любой из красных отрезков не лежат на одной прямой. Обозначим: А, В — концы синего отрезка; С — второй конец красного отрезка, инцидентного точке В (рис. 12). Полагая У (г) = В и выбирая В' Е г+А(В), получим семейство У' = { у^) у-'(к) у(1)}, для которого выполнено: р(Х,У') < р(Х,У) (рис. 8 б)). Преобразование У ^ У' есть преобразование типа П+ ^ П+ в таблице У*. Откуда выводим: У' Е У* и значит У' Е У *.
Рис. 12. Семейство У е у которого оба красных отрезка перепендикулярны
прямой то*
4. Синий отрезок имеет свободную вершину (рис. 7г). Повторяя выкладки доказательства теоремы 1, получаем требуемое.
Теорема 2 доказана.
2.3. Класс 5
Здесь нам потребуется ввести в рассмотрение классы К}(Х), К?(Х), К-3(Х) семейств У, предположительно ближайших к X. Дадим определения этих классов и описания построения составляющих их семейств У. Определение класса К,1к1:
= : У(*), Уа), ¥(к), ¥(О Е р; \у(г)У(з)| = \Х(г)Х(з)|,
\У(з)У(к)\ = \Х(з)Х(к)\, \У(к)У(/)| = \Х(к)Х(/)||.
Описание построения: в семействе X выбирается незамкнутая 3-звенная ломаная X (г)Х (] )Х (к)Х (/); точки X (з), X (к) отождествляются с точками У (з), У (к) соответственно; через точки У (]), У (к) проводится прямая р; на прямой р по обе стороны от точки У(]) откладывается отрезок длиной \Х(з)Х(г)|, его второй конец — положения точки У (г), два варианта; аналогично, по обе стороны от точки У (к) откладывается отрезок длины \Х(к)Х(/)|, его второй конец — положения точки У(/), два варианта. Класс состоит из четырех семейств. Полагаем К,1 = и^ы, где объединение
берется по всем перестановкам значений индексов 1, 2, 3, 4. Определение класса 1С2кг:
Цы = (У : У (О Е р; У (г)У (з) ± р, \У (г)У (з )| = \Х (г)Х (3 )|;
У (к) Е р, \У (з )У (к)\ = \Х (з )Х (к)\; У (/) Е р, \У (к)У (/)| = \Х (к)Х (/)||.
Описание построения: точки X (г), X (з) отождествляются с точками У (г), У (з) соответственно; через точку У (г) проводится прямая р ± У (г)У (з); на прямой р циркулем с раствором \Х (3 )Х (к)\ из центра У (з) делаются засечки — два положения точки У (к);
по обе стороны от точки У (к) откладывается отрезок длиной IX (к)Х его второй конец — точка У(I), два положения.
Класс состоит из четырех семейств. Полагаем К,2 = и^м , где объединение
берется по всем перестановкам значений индексов 1, 2, 3, 4. Определение класса :
= : У « е р; У № (з) ± р, \т (г)У (з )| = IX (г)Х (3 )|;
У (к) е Р, \У (з)У (к)1 = IX (з )Х (к)[; У (I) е р, \У (з)У (1)1 = IX (3 )х (/)||.
Описание построения: точки X (г), X (з) отождествляются с точками У (г), У (з) соответственно; через точку У (г) проводится прямая р ± У (г)У (з); из точки У (з) циркулем с раствором IX (з)Х (к)1 делаются на прямой р засечки — два положения точки У (к); из точки У(3) циркулем с раствором IX(з)Х(/) делаются на прямой р засечки — два положения точки У (I).
Класс состоит из четырех семейств. Полагаем К,3 = и^ш, где объединение
берется по всем перестановкам значений индексов 1, 2, 3, 4.
Теорема 3. Пусть У е У*. Если У е ^ и У е К-1, У е У е то существует семейство У' е У * такое что р(Х,У') < р(Х,У).
Доказательство. Классифицируем взаимное расположение отрезков семейства У следующим образом.
1) Красные отрезки составляют замкнутую 3-звенную ломаную (рис. 13а).
2) Красные отрезки составляют незамкнутую 3-звенную ломаную и никакой красный отрезок не имеет свободной вершины (рис. 13б).
3) Красные отрезки составляют незамкнутую 3-звенную ломаную и некоторый красный отрезок имеет свободную вершину (рис. 13в).
4) Красные отрезки не составляют ломаную (рис. 13г).
^^ да^
а) б) в) г)
Рис. 13. Классификация раскраски отрезков семейств У е
Рассмотрим указанные случаи.
1. В этом случае синий отрезок имеет свободную вершину.
Повторяя выкладки доказательства теоремы 1, получим семейство У' е У*, для которого выполнено: р(Х,У') < р(Х,У) (рис. 14).
1 1 ]
1 1 ]
[ ]
• 1 ]
Рис. 14. Получение семейства У' е У * такого, что р(Х,У') < р(Х,У) посредством удлинения синего отрезка
2. В этом случае синий и красные отрезки составляют замкнутую 4-звенную ломаную.
2.1. Пусть некоторая точка семейства расположена вне прямой га*. Тогда У Е У*,
1
0 : 1.
2.1.1. Пусть вне га* расположена общая вершина синего и красного отрезков и при этом отрезки с этой общей вершиной не лежат на одной прямой.
Обозначим: С — указанная общая вершина синего и красного отрезков; А — вершина синего отрезка, инцидентного точке С; В — вершина красного отрезка, инцидентного точке С (рис. 15а); хотя бы одна из точек А, В принадлежит прямой га*). Полагая У (г) = С и выбирая С' Е г~+—(С), получим семейство У' = = {с'У{])У{к)У{1)}, для которого выполнено: р(Х,У') < р(Х,У) (рис. 15б)). Преобразование У ^ У' есть преобразование типа П+ ^ П+ в табл.^*. Откуда выводим У' Е У* и значит У' Е У*.
А
В
га*
41
У
У'
а)
б)
Рис. 15. Получение семейства У Е У * такого, что р (Х,У) < р(Х,У) посредством удлинения синего отрезка и укорочения красного 2.1.2. Пусть вне га* расположена общая вершина синего и красного отрезков и при этом отрезки с этой общей вершиной лежат на одной прямой.
2.1.2.1. Пусть при этом указанные синий и красный отрезки расположены по разные стороны от их общей вершины (рис. 16а). Повторяя выкладки (*) п.2.1.1, получаем требуемое.
А
га*
га*
ни
У
у *
а) б) в)
Рис. 16. Преобразование семейства У, у которого общая вершина синего и красного отрезков (лежащих на одной прямой) расположена
вне прямой т*
2.1.2.2. Пусть при этом указанные синий и красный отрезки расположены по одну сторону от их общей вершины.
Обозначим: С — указанная общая вершина синего и красного отрезков; А — вершина синего отрезка, инцидентного точке С; В — вершина красного отрезка, инцидентного точке С; И — оставшаяся точка семейства. Имеем: из точек А, В на прямой га* расположена ровно одна (смотря какой из отрезков АС, ВС длиннее).
Пусть на т* расположена точка А (рис. 16б). Тогда отрезки С В, ВИ не лежат на одной прямой (иначе все точки семейства будут расположены на т*). Имеем: У е У*.
Полагая У(г) мейство У* =
-В и выбирая В' е гси (В), получим се-
(11 к I Л
\в'¥и)¥(к)¥(1)), для которого выполнено: р(Х,У*) = р(Х,У), У* е (рис. 16в). Преобразование (*) У ^ У* есть преобразование типа П+ ^ П+ в табл.ЭД*. Откуда выводим: У * е У* и значит У * е У *. Применяя теорему 1, где полагаем У = У*, получаем требуемое.
Пусть на т* расположена точка В (рис. 17а). Тогда отрезки АС, АБ не лежат на одной прямой (иначе все точки семейства будут расположены на т*). Имеем: У е ЭД*.
Полагая У(г) ство У' = {
А и выбирая А' е г^-(А), получим семей-.А'ги)укк)у1(1)}, для которого выполнено: р(Х,У') < < р(Х,У) (рис. 17б). Преобразование У ^ У' есть преобразование типа П+ ^ П+ в таблице ЭД*. Откуда выводим: У' е ЭД* и значит У' е У*.
В
^-
□ □
У
У'
а) б) Рис. 17. Преобразование семейства, у которого общая вершина двух красных отрезков расположена на прямой т*
2.2. Пусть каждая из общих вершин синего и красного отрезков расположена на т* и хотя бы одна из общих вершин двух красных отрезков расположена вне т*.
Тогда хотя бы для одной из общих вершин двух красных отрезков, расположенной вне т*, выполнено условие: красные отрезки с этой общей вершиной не расположены на одной прямой. Обозначим: В £ т* — указанная общая вершина двух красных отрезков; С, И — вершины красных отрезков, смежные точке В. Повторяя выкладки (*) п. 2.1.2.2, получаем требуемое.
2.3. Пусть, наконец, каждая из общих вершин синего и красного отрезков и каждая из общих вершин двух красных отрезков расположены на т*. То есть все точки семейства расположены на прямой т*. На 3-звенной ломаной, образованной красными отрезками, зададим направление и обозначим точки в порядке от начальной точки к конечной У (г), У (]), У (к), У (I). Полагая равным 1 общее значение величин
^тт ^тт
имеем
\х т (j )Г \х (j)x (к)у \х (к)х (i)\>
\Y (i)Y (j )\ = \Х (i)X (j )\, \Y (j )Y (k)\ = \X (j )X (k)\, \Y (k)Y (l)\ = \X (k)X (l)\.
(4)
Из соотношений (4) и того факта, что У (г), У (]), У (к), У (I) лежат на одной прямой, выводим: У е . Откуда следует: У е К}, что исключено условием теоремы.
3. Красные отрезки составляют незамкнутую 3-звенную ломаную и при этом синий отрезок не имеет свободной вершины. Тогда красный отрезок имеет свободную вершину.
Введем обозначения (рис. 18а): А — свободная вершина красного отрезка; В — общая вершина синего и двух красных отрезков; С — общая вершина двух красных отрезков; И — общая вершина синего и красного отрезков.
И
С
□ □
В
У
У С
_о_
7 А т
а) б) в)
Рис. 18. Преобразование семейства, у которого красный отрезок со свободной вершиной не перпендикулярен прямой т*
3.1. Пусть А е т*. Имеем: У е У**, д = 0 : 1. Полагая У (г) = А и выбирая А е е г~в(А), получим семейство У * = (А'у^у кк)у{1)}, для которого выполнено р(Х,У *) = р(Х,У), У * е 5? (рис. 18б). Преобразование У ^ У * есть преобразование типа П+ ^ П+ в таблице У**. Откуда выводим: У * е У* и значит У* е Применяя теорему 2, где полагаем У = У*, получаем требуемое.
3.2. Пусть А е т* и ВА / т* (рис. 18в). Имеем: У е У**, д = 0 : 1 : 2. Пол агая У (г) = А и выбирая А' е г-(А) П т*, получим семейство У * = = {гА'ги)гк{к)г1{1)}, для которого выполнено р(Х,У *) = р(Х,У), У * е 5 (рис. 18б). Преобразование У ^ У* есть преобразование типа т* ^ т* в таблице У*. Откуда выводим: У * е У** и значит У * е У *. Применяя теорему 2, где полагаем У = У*, получаем требуемое.
3.3. Пусть А е т* и В А ± т*. Имеем заведомо В е т*.
3.3.1. Пусть при этом прямой т* принадлежит ровно одна из точек С, И Тогда
У еУ*.
В °
-е-т*
А С
В
А
И
т*
а) б)
Рис. 19. Раскраска отрезков семейства в случае, если ни один из красный отрезков
не лежит на прямой т*
Полагая У({) = А и выбирая А' е г-(А), получим семейство У* = = (А'ПЛП^П *)}, для которого выполнено р(Х,У *) = р(Х,У), У * е е (рис. 18б). Преобразование У ^ У* есть преобразование типа т* ^ П+ в таблице У*. Откуда выводим: У* е ЭД* и значит У* е У*. Применяя теорему 2, где полагаем У = У*, получаем требуемое. 3.3.2. Пусть при этом прямой т* принадлежат обе точки С и И (рис. 20).
Обозначим У (г) = А, У (]) = В, У (к) = С, У (I) = И. Полагая общее значение величин
\у (г)¥ (3 )1 1У (3 )У (к)1 1У (к)У (1)1 IX (г)Х Ц )\, \Х (з )Х (к)\, \Х (к)Х (1)\
равным 1, имеем: \У(г)У(з)\ = \Х(г)Х(3)\, \У(3)У(к)\ = \Х(з)Х(к)\, \У(к)У(/)\ = \Х(к)Х(/)\. Откуда с учетом условия У(г)У(]) ± т* выводим: У е К-Ъы. То есть У е К2, что исключено условием теоремы.
В
А С В'т
Рис. 20. Вид семейства, в котором красный отрезок со свободной вершиной перпендикулярен прямой т* и некоторый другой красный отрезок (определяется единственным образом) лежит на этой прямой
4. Красные отрезки не составляют ломаную, при этом синий отрезок не имеет свободной вершины. Тогда красный отрезок имеет свободную вершину.
Введем обозначения (рис. 21): А — свободная вершина красного отрезка; В — общая вершина трех красных отрезков; С — общая вершина синего и красного отрезков; И — общая вершина синего и красного отрезков.
А
D
В С
Рис. 21. Раскраска отрезков исследуемого семейства для случая, когда все три красных отрезка имеют общую вершину
4.1. Пусть А е т*. Повторяя выкладки п. 3.1, получаем требуемое.
4.2. Пусть А е т* и ВА ^ т*. Повторяя выкладки п. 3.2, получаем требуемое.
4.3. Пусть А е т* и В А ± т*. Имеем заведомо В е т*.
4.3.1. Пусть при этом прямой т* принадлежит ровно одна из точек С, И. Повторяя выкладки п. 3.3.1, но ссылаясь при этом на рисунок вида 13б, получаем требуемое.
4.3.2. Пусть при этом прямой т* принадлежат обе точки С и И. Обозначим: У (г) = А, У (]) = В, У (к) = С, У (I) = В. Полагая равным 1 общее значение величин
\у (J )У (¿)\ \Y (j )Y (к)\ \Y (j)Y (l)\ \X (j )X «\, \X (j )X (k)\, \X (j)X (l)\,
имеем: \У(3)У(г)| = IX(3)Х(г)|, \У(3)У( к)1 = IX(3)Х( к)1, \У(3)У(/)| = = \Х(3)Х(/)|. Откуда с учетом условия У(3)У(г) ^ т*, выводим: У е е . То есть У е К,3, что исключено условием теоремы.
Теорема 3 доказана.
Заключение
В данной работе проведено частичное исследование задачи о получении количественной характеристики устойчивости пары смежных треугольников, для чего вводится понятие расстояния между 4-точечными нумерованными наборами (семействами), определяемыми парами треугольников с общей стороной. Задача сводится к исследованию классов семейств вида 5^ (общим количеством 15). Показано, что классы 5][ и можно исключить из дальнейшего рассмотрения. Для получения значения указанной характеристики требуется рассматривать, в частности, некоторые подклассы класса (каждый из которых состоит из конечного количества семейств). Для полного решения поставленной задачи требуется рассмотрение остальных классов вида 5^ (количеством 12).
СПИСОК ЛИТЕРАТУРЫ
1. Альфорс, Л. Лекции о квазиконформных отображениях / Л. Альфорс. — М. : Мир, 1969. — 154 с.
2. Болучевская, А. В. Сохранение ориентации симплекса при квазиизометричном отображении / А. В. Болучевская // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. — 2013. — Т. 13, № 1 (2). — С. 20-23.
3. Гилева, Л. В. Обоснование асимптотической устойчивости алгоритма триангуляции трехмерной области / Л. В. Гилева, В. В. Шайдуров // Сиб. журн. вычисл. матем. — 2000. — Т. 3, № 2. — С. 123-136.
4. Игумнов, А. Ю. Метризация пространства семейств точек в Мга и смежные вопросы / А. Ю. Игумнов // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2016. — Т. 37, № 6. — С. 40-54. — 001: https://doi.Org/10.15688/jvolsu1.2016.6.4.
5. Игумнов, А. Ю. О сохранении ориентации треугольника при квазиизометрическом отображении / А. Ю. Игумнов // Математическая физика и компьютерное моделирование. — 2018. — Т. 21, № 2. — С. 5-12. — 001: https://doi.Org/10.15688/mpcm.jvolsu.2018.2.1.
6. Клячин, В. А. О гомеоморфизмах, сохраняющих триангуляцию / В. А. Клячин // Записки семинара «Сверхмедленные процессы». — Волгоград : Изд-во ВолГУ, 2009. — Вып. 4. — С. 169-182.
7. Клячин, В. А. О линейных прообразах непрерывных отображений, сохраняющих ориентацию симплексов / В. А. Клячин, Н. А. Чебаненко // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2014. — Т. 22, № 3. — С. 56-60.
8. Лебедев, А. С. Построение неструктурированных треугольных сеток с почти правильными ячейками / А. С. Лебедев // Вычислительные технологии. — 2010. — Т. 15, № 1. — С. 85-97.
9. Миклюков, В. М. Введение в негладкий анализ / В. М. Миклюков. — Волгоград : Изд-во ВолГУ, 2008. — 424 с.
10. Суков, С. А. Методы генерации тетраэдральных сеток и их программные реализации / С. А. Суков. — Препринты ИПМ им. М.В. Келдыша. — Электрон. текстовые дан. — Режим доступа: http://library.keldysh.ru/preprint.asp?id=2015-23. — Загл. с экрана.
REFERENCES
1. Alfors L. Lektsii o kvazikonformnykh otobrazheniyakh [Lectures on Quasiconformal Mappings]. Moscow, Mir Publ., 1969. 154 p.
2. Boluchevskaya A.V. Sokhranenie orientatsii simpleksa pri kvaziizometrichnom otobrazhenii [Preserving of Orientation of a Simplex by Quasi-Isometric Mapping]. Izv. Sarat. un-ta. Nov. ser. Ser. Matematika. Mekhanika. Informatika [Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform.], 2013, vol. 13, no. 1 (2), pp. 20-23.
3. Gileva L.V., Shaydurov V.V. Obosnovanie asimptoticheskoy ustoychivosti algoritma triangulyatsii trekhmernoy oblasti [Justification of Asymptotic Stability of an Algorithm of a Triangulation of Three-Dimensional Area]. Sib. zhurn. vychisl. matem., 2000, vol. 3, no. 2, pp. 123-136.
4. Igumnov A.Yu. Metrizatsiya prostranstva semeystv tochek v Rra i smezhnye voprosy [Metrization in Space Families of Points in Rra and Adjoining Questions]. Vestnik Volgog-radskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2016, vol. 37, no. 6, pp. 40-54. DOI: https://doi.org/10.15688/jvolsu1.2016.6.4.
5. Igumnov A.Yu. O sokhranenii orientatsii treugolnika pri kvaziizometricheskom otobrazhenii [On Preserving the Orientation of Triangle under Quasi-Isometric Mappings]. Matematicheskaya fizika i kompyuternoe modelirovanie [Mathematical Physics and Computer Simulation], 2018, vol. 21, no. 2, pp. 5-12. DOI: https://doi.org/10.15688/mpcm.jvolsu.2018.2.1.
6. Klyachin V.A. O gomeomorfizmakh, sokhranyayushchikh triangulyatsiyu [On Homomorphisms Preserving Triangulation]. Zapiski seminara «Sverkhmedlennye protsessy». Volgograd, Izd-vo VolSU, 2009, iss. 4, pp. 169-182.
7. Klyachin V.A., Chebanenko N.A. O lineynykh proobrazakh nepreryvnykh otobrazheniy, sokhranyayushchikh orientatsiyu simpleksov [About Linear Prototypes of the Continuous Mappings Preserving Orientation of Simplexes]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2014, vol. 22, no. 3, pp. 56-60.
8. Lebedev A.S. Postroenie nestrukturirovannykh treugolnykh setok s pochti pravilnymi yacheykami [Construction of Unstructured Triangular Grids with Almost Correct Cells]. Vychislitelnye tekhnologii [Computational Technologies], 2010, vol. 15, no. 1, pp. 85-97.
9. Miklyukov V.M. Vvedenie v negladkiy analiz [Introduction to Non-Smooth Analysis]. Volgograd, Izd-vo VolGU Publ., 2008. 424 p.
10. Sukov S.A. Metody generatsii tetraedralnykh setok i ikh programmnye realizatsii [Methods of Generation of Tetrahedral Grids and Their Program Implementations]. Preprinty IPM im. M.V. Keldysha. URL: http://library.keldysh.ru/preprint.asp?id=2015-23.
ON THE PRESERVING OF THE ORIENTATION OF TRIANGLE BY QUASI-ISOMETRIC MAPPING
Alexander Yu. Igumnov
Candidate of Physical and Marhematical Sciences, Lecturer,
Department of Computer Science and Programming Technology,
Volzhsky Polytechnic Institute (branch) of the Volgograd State Technical University
Engelsa St., 42a, 404121 Volzhsky, Russian Federation
Abstract. The present paper proposes quantitative characteristics the two triangle contiguity ratio, which is the distance p in the space of 4-point families from the family X, defined by a given pair of adjacent triangles, up to a set y*
families defined by all kinds of pairs non-adjacent triangles (with common party). This characteristic is local sufficient sign of no grid overflow at quasi-isometric mapping and can be applied to making triangulation of a given region as an image of some a reference triangulated region. p(X, y*) is required to calculate structurally specify in y* some subset, distance from X to which is p(X,y*). This requires, in turn, splitting the set y* into 15 classes and studies of each of them for exclusion "extra" families and descriptions of the remaining ones. Due to the large volume of full study in the article only three classes of these 15 are examined. Two of them are "nodal" in the general study scheme, by example the third shows the combinatorial nature of the task.
Key words: sweep the grids, grid quality, adjacent triangles, distance between point families, triangulation.