Кривая Де Рама
![]() | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( январь 2019 г. ) |
В математике кривая де Рама — это непрерывная фрактальная кривая, полученная как образ канторова пространства или, что то же самое, из разложения по основанию двойки действительных чисел в единичном интервале. Многие известные фрактальные кривые, в том числе функция Кантора , кривая Чезаро-Фабера ( кривая Леви C ), функция вопросительного знака Минковского , кривая Бланманже и кривая Коха , являются примерами кривых де Рама. Общий вид кривой был впервые описан Жоржем де Рамом в 1957 году. [1]
Строительство [ править ]
Рассмотрим некоторое полное метрическое пространство (в целом 2 с обычным евклидовым расстоянием) и пару сжимающих отображений на M:
По теореме Банаха о неподвижной точке они имеют неподвижные точки. и соответственно. Пусть x — действительное число из интервала , имеющий двоичное расширение
где каждый равно 0 или 1. Рассмотрим карту
определяется
где обозначает композицию функций . Можно показать, что каждый составит карту общего бассейна притяжения и в одну точку в . Сбор очков , параметризованная одним вещественным параметром x , известна как кривая де Рама.
Условие непрерывности [ править ]
Построение в терминах двоичных цифр можно понимать двумя разными способами. Один из способов — это отображение канторова пространства на отдельные точки плоскости. Канторово пространство — это совокупность всех строк двоичных цифр бесконечной длины. Это дискретное пространство , и оно несвязно . Канторово пространство можно отобразить на единичный действительный интервал, рассматривая каждую строку как двоичное разложение действительного числа. На этой карте двоичные рациональные числа имеют два различных представления в виде строк двоичных цифр. Например, у действительного числа одна половина есть два эквивалентных двоичных представления: и Это аналогично тому, как 0,999...=1,000... в десятичном представлении. Две точки и являются различными точками в канторовом пространстве, но обе они отображаются в вещественное число половина. Таким образом, действительные числа единичного интервала представляют собой непрерывный образ канторова пространства.
То же понятие непрерывности применяется к кривой де Рама, требуя, чтобы неподвижные точки были парными, так что
При таком спаривании двоичные разложения двоичных рациональных чисел всегда сопоставляются с одной и той же точкой, обеспечивая тем самым непрерывность в этой точке. Рассмотрим поведение на половине. Для любой точки p на плоскости есть две различные последовательности:
и
соответствующий двум двоичным разложениям и . Поскольку обе карты сжимаются, первая последовательность сходится к и второй к . Если эти два числа равны, то оба двоичных расширения 1/2 соответствуют одной и той же точке. Этот аргумент можно повторить в любой двоично-рациональной точке, обеспечивая таким образом непрерывность в этих точках. Действительные числа, не являющиеся двоично-рациональными, имеют только одно единственное двоичное представление, и из этого следует, что кривая не может быть разрывной в таких точках. Полученная кривая де Рама является непрерывной функцией x при всех x .
В общем случае кривые де Рама не дифференцируемы.
Свойства [ править ]
Кривые де Рама по построению самоподобны, поскольку
- для и
- для
Самосимметрии всех кривых де Рама задаются моноидом , который описывает симметрии бесконечного двоичного дерева или пространства Кантора . Этот так называемый моноид удвоения периода является подмножеством модулярной группы .
Изображение точек кривой, т.е. множество , может быть получено с помощью итерированной системы функций с использованием набора сжимающих отображений . Но результат итерированной системы функций с двумя сжимающими отображениями является кривой де Рама тогда и только тогда, когда сжимающие отображения удовлетворяют условию непрерывности.
Подробные проработанные примеры самоподобия можно найти в статьях о функции Кантора и о функции вопросительного знака Минковского . Точно такой же моноид самоподобий, диадический моноид , применим к каждой кривой де Рама.
Классификация и примеры [ править ]
Следующие системы генерируют непрерывные кривые.
Кривые Чезаро [ править ]


Кривые Чезаро , также известные как кривые Чезаро-Фабера или кривые Леви C , представляют собой кривые Де Рама, порожденные аффинными преобразованиями, сохраняющими ориентацию , с фиксированными точками. и .
Из-за этих ограничений кривые Чезаро однозначно определяются комплексным числом такой, что и .
Отображения сжатия и затем определяются как комплексные функции в комплексной плоскости следующим образом:
По стоимости , результирующая кривая является C. кривой Леви
Кривые Коха – Пеано [ править ]


Аналогичным образом мы можем определить семейство кривых Коха – Пеано как набор кривых Де Рама, порожденных аффинными преобразованиями, меняющими ориентацию, с неподвижными точками и .
Эти отображения выражаются в комплексной плоскости как функция , комплексно- сопряженное :
Название семьи происходит от двух самых известных ее членов. Кривую Коха получают, полагая:
а кривая Пеано соответствует:
Кривая де Рама для для значений чуть менее единицы визуально напоминает кривую Осгуда . Эти две кривые тесно связаны, но не совпадают. Кривая Осгуда получается путем многократного вычитания множества и, таким образом, представляет собой идеальное множество , во многом похожее на само множество Кантора . Конструкция множества Осгуда требует вычитания все меньших треугольников, оставляя после себя «толстый» набор ненулевой меры; конструкция аналогична толстому множеству Кантора , имеющему ненулевую меру . Напротив, кривая де Рама не является «толстой»; конструкция не предлагает способа «утолщить» «отрезки прямых», которые проходят «между» диадтическим рациональными числами.
Общие аффинные карты [ править ]




Кривые Чезаро–Фабера и Пеано–Коха являются частными случаями общего случая пары аффинных линейных преобразований на комплексной плоскости. Фиксируя одну конечную точку кривой в 0, а другую в единице, общий случай получается путем итерации двух преобразований
и
Будучи аффинными преобразованиями , эти преобразования действуют в точке двумерной плоскости, действуя на вектор
Видно, что середина кривой находится в точке ; остальные четыре параметра можно варьировать для создания самых разнообразных кривых.
Кривая бланманже параметра можно получить, установив , и . То есть:
и
Поскольку кривая бланманже для параметра является параболой уравнения , это иллюстрирует тот факт, что в некоторых случаях кривые де Рама могут быть гладкими.
Функция вопросительного знака Минковского [ править ]
Функция вопросительного знака Минковского генерируется парой карт
и
Непримеры [ править ]
Учитывая любые две функции и , можно определить отображение из пространства Кантора путем повторной итерации цифр точно так же, как и для кривых де Рама. В общем случае результат не будет кривой де Рама, если не выполняются условия непрерывности. Таким образом, существует множество множеств, которые могут находиться во взаимно однозначном соответствии с канторовым пространством, точки которого могут быть однозначно помечены точками в канторовом пространстве; однако это не кривые де Рама, когда двоичные рациональные числа не отображаются в одну и ту же точку.
из множества Мандельброта Множество Юлии
Множество Мандельброта генерируется с помощью удвоения периода итерированного уравнения Соответствующий набор Жюлиа получается путем итерации в противоположном направлении. Это делается путем написания , что дает два различных корня, которые можно выполнить при прямой итерации «пришел откуда». Эти два корня можно различить как
и
Исправление комплексного числа , результатом является набор Джулии для этого значения . Эта кривая является непрерывной, когда находится внутри множества Мандельброта; в противном случае это бессвязная пыль точек. Однако причина непрерывности не связана с условием де Рама, поскольку, вообще говоря, точки, соответствующие двоичным рациональным числам, находятся далеко друг от друга. Фактически, это свойство можно использовать для определения понятия «полярных противоположностей», сопряженных точек в множестве Жюлиа.
Обобщения [ править ]
Определение легко обобщить, используя более двух сжимающих отображений. Если используется n отображений, то n -арное разложение x необходимо использовать вместо двоичного разложения действительных чисел . Условие непрерывности должно быть обобщено на:
- , для
Это условие непрерывности можно понять на следующем примере. Предположим, кто-то работает в системе счисления с основанием 10. Тогда получается (как известно) 0,999...= 1,000... что представляет собой уравнение непрерывности, которое должно соблюдаться в каждом таком разрыве. То есть, учитывая десятичные цифры с , у одного есть
Такое обобщение позволяет, например, создать кривую со стрелкой Серпинского (образом которой является треугольник Серпинского ), используя сжимающие отображения итерированной системы функций, которая создает треугольник Серпинского.
Мультифрактальные кривые [ править ]
Орнштейн и другие описывают мультифрактальную систему , в которой вместо работы с фиксированной базой мы работаем с переменной базой.
Рассмотрим пространство произведений переменной базы. дискретные пространства
для циклическая группа , для целое число. Любое действительное число в единичном интервале можно разложить в последовательность такой, что каждый . Точнее, действительное число написано как
Это расширение не уникально, если все мимо какого-то момента . В данном случае это имеет место
Такие точки аналогичны двоичным рациональным числам в двоичном разложении, и в этих точках необходимо применять уравнения непрерывности на кривой.
Для каждого , необходимо указать две вещи: набор из двух точек и и набор функции (с ). Условие непрерывности тогда такое же, как указано выше:
- , для
Использован оригинальный пример Орнштейна
См. также [ править ]
Ссылки [ править ]
- ^ Жорж де Рам, О некоторых кривых, определяемых функциональными уравнениями . унив. е Политех. Турин. Возвращает. Неделя. Матем., 1957, 16, 101 –113.
Дальнейшее чтение [ править ]
- Жорж де Рам, «О некоторых кривых, определяемых функциональными уравнениями» (1957), перепечатано в журнале «Классика фракталов» , изд. Джеральд А. Эдгар (Аддисон-Уэсли, 1993), стр. 285–298.
- Линас Вепстас, Галерея кривых де Рама , (2006).
- Линас Вепстас, Симметрии карт удвоения периода , (2006). (Общее исследование симметрии модульной группы во фрактальных кривых.)