Построенные фракталы

Системы итерационных функций

Система итерационных функций описывает фрактал с помощью конечного набора преобразований — обычно сдвигов, поворотов, масштабирований и сдвигов с наклоном — которые многократно отображают пространство в само себя.

Папоротник Барнсли, сгенерированный системой итерационных функций
Папоротник Барнсли: четыре аффинных отображения и взвешенный случайный выбор генерируют математическое изображение, напоминающее папоротник.Изображение: Farry · Wikimedia Commons · CC0 1.0

Сжимающиеся карты и аттрактор

Если каждое преобразование является сжимающим, оператор Хатчинсона отображает множество в объединение его преобразованных копий и имеет единственное компактное фиксированное множество. Повторение оператора, исходя из множества начальных фигур, сходится к одному и тому же аттрактору.

Для конечного семейства сжимающих отображений теорема о сжимающих отображениях — примененная в подходящей метрике на множествах — гарантирует существование единственного компактного аттрактора. На практике начните с любой непустой компактной фигуры, отобразите её с помощью каждой функции и объедините результаты. Последовательность сходится к одному и тому же пределу. Таким образом, конечный папоротник или ковёр не зависят от исходного облака, если отображения являются подлинно сжимающими.

Детерминированный и случайный рендеринг

Детерминированный рендер применит каждую карту к текущему набору данных. Игра «Хаос» выбирает карты случайным образом с соответствующими вероятностями и строит орбиту после разгона. При правильных условиях оба метода показывают один и тот же аттрактор.

Детерминированный алгоритм рисует каждую копию компонента на каждом этапе и чётко объясняет процесс построения, но объём данных растёт экспоненциально. Игра «Хаос» выбирает одну карту на каждый шаг и накапливает посещённые точки. Вероятности выбора в основном влияют на плотность и скорость сходимости, а не на геометрическую поддержку, при условии, что каждая карта по-прежнему встречается. Для визуально равномерной выборки вероятности должны примерно соответствовать вкладу компонентных изображений в общую площадь.

Лаконичный геометрический язык

Описания IFS позволяют кодировать папоротники, деревья, пылевые облака и плитки с использованием очень небольшого объёма данных. Эта экономичность послужила источником вдохновения для фрактального сжатия, однако поиск преобразований, точно воспроизводящих произвольную фотографию, представляет собой сложную обратную задачу.

IFS хранит сложную форму в виде нескольких матриц, сдвигов и весов. Эта компактность является одновременно преимуществом и ограничением: система прекрасно работает при наличии подлинных аффинных повторений, но плохо — для произвольных изображений без соответствующих подрегионов. Изменение одной матрицы плавно изменяет аттрактор предсказуемым образом. Это делает IFS полезным пространством для проектирования, а не просто рецептом для привычных фракталов из учебников.

Источники и дополнительная литература

В данной статье в оригинальной формулировке обобщены следующие специализированные источники. Доступ получен и редакционная проверка проведена 12 августа 2026.

  1. Iterated Function SystemWolfram MathWorld
  2. Fractal Geometry: Mathematical Foundations and ApplicationsWiley