Правило конечного деления

Перспективная проекция додекаэдрической мозаики в H ³ . Обратите внимание на рекурсивную структуру: каждый пятиугольник содержит меньшие пятиугольники, которые содержат меньшие пятиугольники. Это пример правила подразделения, возникающего из конечной вселенной (т.е. замкнутого 3-многообразия ).

В математике правило конечного подразделения - это рекурсивный способ деления многоугольника или другой двумерной формы на все меньшие и меньшие части. Правила подразделения в некотором смысле являются обобщениями правильных геометрических фракталов . Вместо того, чтобы повторять один и тот же дизайн снова и снова, они имеют небольшие вариации на каждом этапе, что позволяет получить более богатую структуру, сохраняя при этом элегантный стиль фракталов. ^[1] Правила подразделения использовались в архитектуре, биологии и информатике, а также при изучении гиперболических многообразий . Замещающие мозаики - это хорошо изученный тип правила подразделения.

Определение [ править ]

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

Например, двоичное подразделение имеет один тип плитки и один тип ребра:

Поскольку единственный тип плитки - четырехугольник, двоичное подразделение может только разбивать мозаику, состоящую из четырехугольника. Это означает, что единственные комплексы разбиения - это мозаики на четырехугольники. Укладка плитки может быть регулярной , но не обязательно:

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

Примеры правил конечного подразделения [ править ]

Барицентрическое подразделение - это пример правила подразделения с одним типом ребра (который подразделяется на два ребра) и одним типом плитки (треугольник, который подразделяется на 6 меньших треугольников). Любая триангулированная поверхность представляет собой комплекс барицентрических подразделений. ^[1]

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

Имя	Начальные плитки	Поколение 1	Поколение 2	Поколение 3
Полукайт
Полудроток
солнце
Звезда

Некоторые рациональные карты порождают правила конечного подразделения. ^[2] Сюда входит большинство карт Латте . ^[3]

Каждый простой, нерасщепляемый чередующийся узел или дополнение ссылки имеет правило подразделения, при этом некоторые плитки, которые не разделяются, соответствуют границе дополнения ссылки. ^[4] Правила подразделения показывают, как будет выглядеть ночное небо для человека, живущего в виде узла ; поскольку Вселенная вращается вокруг себя (то есть не просто связана ), наблюдатель мог бы видеть, как видимая Вселенная повторяется в бесконечном порядке. Правило подразделения описывает этот образец.

Правило подразделения выглядит по-разному для разных геометрий. Это правило подразделения для узла-трилистника , который не является гиперболическим узлом :

И это правило подразделения для колец Борромео , которое является гиперболическим:

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

А для колец Борромео:

Правила подразделения в высших измерениях [ править ]

Правила подразделения можно легко обобщить на другие измерения. ^[5] Например, барицентрическое подразделение используется во всех измерениях. Кроме того, двоичное подразделение может быть обобщено на другие измерения (где гиперкубы делятся каждой средней плоскостью), как в доказательстве теоремы Гейне – Бореля .

Строгое определение [ править ]

Конечное правило подразделения состоит в следующем. ^[1]${\ displaystyle R}$

1. Конечный 2-мерный комплекс CW , называемый комплексом подразделения , с фиксированной клеточной структурой, такой, что является объединением его замкнутых 2-клеток. Предположим , что для каждой замкнутой 2-клетку из есть структура CW на замкнутом 2-диска таким образом, что имеет , по меньшей мере , две вершины, вершины и ребра содержатся в , и характеристики карты , которая отображается на ограничивает до гомеоморфизма на каждая открытая ячейка.${\ displaystyle S_ {R}}$${\ displaystyle S_ {R}}$${\ Displaystyle {\ тильда {s}}}$${\ displaystyle S_ {R}}$${\ displaystyle s}$${\ displaystyle s}$${\ displaystyle s}$${\ displaystyle \ partial s}$${\ displaystyle \ psi _ {s}: s \ rightarrow S_ {R}}$${\ Displaystyle {\ тильда {s}}}$

2. Конечный двумерный комплекс CW , являющийся подразделением .${\ Displaystyle R (S_ {R})}$${\ displaystyle S_ {R}}$

3. Непрерывная клеточная карта, называемая картой подразделения , ограничение которой на каждую открытую ячейку является гомеоморфизмом на открытую ячейку.${\ Displaystyle \ phi _ {R}: R (S_ {R}) \ rightarrow S_ {R}}$

Каждый комплекс CW в приведенном выше определении (с его заданной характеристической картой ) называется типом тайла .${\ displaystyle s}$${\ displaystyle \ psi _ {s}}$

-Комплекс для правила разбиения является 2-мерной CW комплекса , который является объединением его замкнутых 2-клеток, вместе с непрерывной клеточной картой , ограничение которого на каждую открытую клетку является гомеоморфизмом. Мы можем подразделить на комплекс , потребовав, чтобы индуцированное отображение ограничивалось гомеоморфизмом на каждую открытую клетку. снова -комплекс с картой . Повторяя этот процесс, мы получаем последовательность разбитых -комплексов с картами .${\ displaystyle R}$${\ displaystyle R}$${\ displaystyle X}$${\displaystyle f:X\rightarrow S_{R}}$${\displaystyle X}$${\displaystyle R(X)}$${\displaystyle f:R(X)\rightarrow R(S_{R})}$${\displaystyle R(X)}$${\displaystyle R}$${\displaystyle \phi _{R}\circ f:R(X)\rightarrow S_{R}}$${\displaystyle R}$${\displaystyle R^{n}(X)}$${\displaystyle \phi _{R}^{n}\circ f:R^{n}(X)\rightarrow S_{R}}$

Бинарное подразделение является одним из примеров: ^[6]

Комплекс подразделения может быть создан путем склеивания противоположных краев квадрата, превращая комплекс подразделения в тор . Карта деления - это карта удвоения на торе, дважды оборачивающая меридиан вокруг себя, а долготу - дважды. Это четырехкратная покрывающая карта . Плоскость, выложенная квадратами, является комплексом подразделений для этого правила подразделения со структурной картой, заданной стандартной картой покрытия. При разбиении каждый квадрат на плоскости разбивается на квадраты размером в одну четвертую.${\displaystyle S_{R}}$${\displaystyle \phi }$${\displaystyle f:\mathbb {R} ^{2}\rightarrow R(S_{R})}$

Свойства квазиизометрии [ править ]

Правила подразделения можно использовать для изучения свойств квазиизометрии определенных пространств. ^[7] Учитывая правило подразделения и комплекс подразделений , мы можем построить граф, называемый графом истории, который записывает действие правила подразделения. Граф состоит из двойных графов каждого этапа вместе с ребрами, соединяющими каждую плитку в с его подразделениями в .${\displaystyle R}$${\displaystyle X}$${\displaystyle R^{n}(X)}$${\displaystyle R^{n}(X)}$${\displaystyle R^{n+1}(X)}$

Свойства квазиизометрии графа истории можно изучить с помощью правил подразделения. Например, граф истории квазиизометричен гиперболическому пространству именно тогда, когда правило подразделения конформно , как описано в комбинаторной теореме об отображении Римана . ^[7]

Приложения [ править ]

Плитки исламского гириха в исламской архитектуре - это самоподобные плитки, которые можно смоделировать с помощью конечных правил подразделения. ^[8] В 2007 году Питер Дж. Лу из Гарвардского университета и профессор Пол Дж. Стейнхардт из Принстонского университета опубликовали в журнале Science статью, в которой предполагалось, что гирих-мозаики обладают свойствами, соответствующими самоподобным фрактальным квазикристаллическим мозаикам, таким как мозаики Пенроуза (презентация 1974 г. , предшествующие работы, начиная примерно с 1964 года), предшествующие им на пять веков. ^[8]

Поверхности подразделения в компьютерной графике используют правила подразделения для уточнения поверхности до любого заданного уровня точности. Эти поверхности подразделения (например, поверхность подразделения Катмулла-Кларка ) принимают полигональную сетку (тип, используемый в 3D-анимационных фильмах) и уточняют ее до сетки с большим количеством полигонов, добавляя и сдвигая точки в соответствии с различными рекурсивными формулами. ^[9] Хотя многие точки сдвигаются в этом процессе, каждая новая сетка комбинаторно является подразделением старой сетки (это означает, что для каждого ребра и вершины старой сетки вы можете идентифицировать соответствующее ребро и вершину в новой, плюс еще несколько ребер и вершин).

Правила подразделения были применены Кэнноном, Флойдом и Парри (2000) для изучения крупномасштабных моделей роста биологических организмов. ^[6] Кэннон, Флойд и Парри создали математическую модель роста, которая продемонстрировала, что некоторые системы, определяемые простыми правилами конечного подразделения, могут приводить к объектам (в их примере, стволу дерева), крупномасштабная форма которых сильно колеблется с течением времени, даже если локальная законы о подразделениях остаются прежними. ^[6] Кэннон, Флойд и Парри также применили свою модель для анализа моделей роста тканей крыс. ^[6]Они предположили, что «отрицательно изогнутая» (или неевклидова) природа микроскопических структур роста биологических организмов является одной из ключевых причин того, почему крупномасштабные организмы не выглядят как кристаллы или многогранные формы, а фактически во многих случаях напоминают самих себя. подобные фракталы . ^[6] В частности, они предположили, что такая «отрицательно изогнутая» локальная структура проявляется в сильно свернутой и сильно связанной природе мозга и легочной ткани. ^[6]

Гипотеза Кэннона [ править ]

Кэннон , Флойд и Парри сначала изучили правила конечного подразделения в попытке доказать следующую гипотезу:

Гипотеза Кэннона : каждая гиперболическая группа Громова с 2-сферой на бесконечности действует геометрически на гиперболическом 3-пространстве . ^[7]

Здесь геометрическое действие - это кокомпактное, собственно разрывное действие изометрий. Эта гипотеза была частично решена Григорием Перельманом в его доказательстве ^{[10] [11] [12]} из гипотезы геометризации , которые государства (в части) , чем любой гиперболической группы Громова , которая представляет собой 3-многообразие группа должна действовать геометрически на гиперболических 3- Космос. Однако остается показать, что гиперболическая группа Громова с 2-сферой на бесконечности является группой 3-многообразий.

Кэннон и Свенсон показали ^[13], что гиперболическая группа с 2-сферой на бесконечности имеет ассоциированное правило подразделения. Если это правило подразделения конформно в определенном смысле, группа будет группой 3-многообразий с геометрией гиперболического 3-пространства. ^[7]

Комбинаторная теорема об отображении Римана [ править ]

Правила подразделения задают последовательность мозаик поверхности, а мозаики дают представление о расстоянии, длине и площади (позволяя каждой плитке иметь длину и площадь 1). В пределе расстояния, которые исходят от этих мозаик, могут в некотором смысле сходиться к аналитической структуре на поверхности. Комбинаторная теорема об отображении Римана дает необходимые и достаточные условия для этого. ^[7]

Его заявление требует некоторой предыстории. Замощение кольца (т. Е. Замкнутое кольцо) дает два инварианта и , называемые приближенными модулями . Они похожи на классический модуль кольца . Они определяются с помощью весовых функций . Весовая функция присваивает неотрицательное число, называемое весом, каждой плитке . Каждому пути можно задать длину, которая определяется как сумма весов всех плиток на пути. Определить высоту в соответствии быть инфимумом длины всех возможных путей , соединяющих внутреннюю границу к внешней границе. В${\displaystyle T}$${\displaystyle R}$${\displaystyle M_{\sup }(R,T)}$${\displaystyle m_{\inf }(R,T)}$${\displaystyle \rho }$${\displaystyle T}$${\displaystyle R}$ ${\displaystyle H(\rho )}$${\displaystyle R}$${\displaystyle \rho }$${\displaystyle R}$Окружность из Under инфимуму длины всех возможных путей , кружащихся кольцо (т.е. не nullhomotopic в R). Площадь от заместителя определяется как сумма квадратов всех весов в . Затем определите${\displaystyle C(\rho )}$${\displaystyle R}$${\displaystyle \rho }$${\displaystyle A(\rho )}$${\displaystyle R}$${\displaystyle \rho }$${\displaystyle R}$

${\displaystyle M_{\sup }(R,T)=\sup {\frac {H(\rho )^{2}}{A(\rho )}},}$

${\displaystyle m_{\inf }(R,T)=\inf {\frac {A(\rho )}{C(\rho )^{2}}}.}$

Обратите внимание, что они инвариантны относительно масштабирования метрики.

Последовательность мозаик конформна ( ), если сетка приближается к 0 и:${\displaystyle T_{1},T_{2},\ldots }$${\displaystyle K}$

1. Для каждого кольца приблизительные модули и при всех достаточно больших лежат в одном интервале вида ; и${\displaystyle R}$${\displaystyle M_{\sup }(R,T_{i})}$${\displaystyle m_{\inf }(R,T_{i})}$${\displaystyle i}$${\displaystyle [r,Kr]}$
2. Принимая во внимание точку на поверхности, окрестность из , и целое число , то есть кольцо в отделение х из дополнения , таким образом, что для всех крупных приближенных модулей все больше . ^[7]${\displaystyle x}$${\displaystyle N}$${\displaystyle x}$${\displaystyle I}$${\displaystyle R}$${\displaystyle N\smallsetminus \{x\}}$${\displaystyle N}$${\displaystyle i}$${\displaystyle R}$${\displaystyle I}$

Формулировка теоремы [ править ]

Если последовательность мозаик поверхности конформна ( ) в указанном выше смысле, то на поверхности есть конформная структура и константа, зависящая только от того, в каких классических модулях и приближенных модулях (начиная с достаточно больших) любого данного кольца являются -comparable, что означает , что они лежат в одном интервале . ^[7]${\displaystyle T_{1},T_{2},\ldots }$${\displaystyle K}$${\displaystyle K'}$${\displaystyle K}$${\displaystyle T_{i}}$${\displaystyle i}$${\displaystyle K'}$${\displaystyle [r,K'r]}$

Последствия [ править ]

Комбинаторная теорема об отображении Римана подразумевает, что группа действует геометрически на том и только в том случае, если она гиперболическая по Громову, у нее есть сфера на бесконечности, а правило естественного подразделения на сфере порождает последовательность мозаик, конформных в указанном выше смысле. . Таким образом, гипотеза Кэннона была бы верной, если бы все такие правила подразделения были конформными. ^[13]${\displaystyle G}$${\displaystyle \mathbb {H} ^{3}}$

Ссылки [ править ]

Внешние ссылки [ править ]

• Страница исследования Билла Флойда . Эта страница содержит большинство исследовательских работ Кэннона, Флойда и Парри о правилах подразделения, а также галерею правил подразделения.