В математике , итерация функция система ( КСФ ) представляет собой способ построения фрактал ; получающиеся фракталы часто самоподобны . Фракталы IFS больше связаны с теорией множеств, чем с фрактальной геометрией. [1] Они были введены в 1981 году.
Фракталы IFS , как их обычно называют, могут иметь любое количество измерений, но обычно их вычисляют и рисуют в 2D. Фрактал состоит из объединения нескольких своих копий, каждая из которых трансформируется функцией (отсюда и «система функций»). Канонический пример - треугольник Серпинского . Функции обычно сжимаются , что означает, что они сближают точки и уменьшают формы. Следовательно, форма фрактала IFS состоит из нескольких, возможно, перекрывающихся меньших копий самого себя, каждая из которых также состоит из своих копий до бесконечности . Отсюда его самоподобная фрактальная природа.
Определение
Формально итерированная функциональная система - это конечный набор сжимающих отображений на полном метрическом пространстве . [2] Символично,
является системой повторяющихся функций, если каждый сжатие на полном метрическом пространстве .
Характеристики
Хатчинсон (1981) показал, что для метрического пространства или, в более общем смысле, для полного метрического пространства , Такая система функций имеет единственное непустое компактное (замкнуто и ограничено) фиксированный набор S . Один из способов построения фиксированного множества - начать с начального непустого замкнутого и ограниченного множества S 0 и повторить действия f i , принимая S n +1 за объединение образов S n под f i ; затем взяв S за замыкание объединения S n . Символически единственное фиксированное (непустое компактное) множество имеет собственность
Таким образом, множество S является фиксированным набором оператора Хатчинсона. определено для через
Существование и единственность S является следствием принципа сжимающего отображения , как и тот факт, что
для любого непустого компакта в . (Для сжимающих ИФС эта сходимость имеет место даже для любого непустого замкнутого ограниченного множества). Случайные элементы, произвольно близкие к S, могут быть получены с помощью «игры в хаос», описанной ниже.
Недавно было показано, что IFS несжимающего типа (т. Е. Составленные из отображений, которые не являются сжатиями по отношению к любой топологически эквивалентной метрике в X ) могут давать аттракторы. Они естественным образом возникают в проективных пространствах, хотя классическое иррациональное вращение на окружности тоже может быть адаптировано. [3]
Сборник функций формирует в моноид под композицией . Если таких функций только две, моноид можно визуализировать как двоичное дерево , где в каждом узле дерева можно составить одну или другую функцию ( т.е. взять левую или правую ветвь). В общем, если есть k функций, то можно визуализировать моноид как полное k- арное дерево , также известное как дерево Кэли .
Конструкции
Иногда каждая функция требуется, чтобы оно было линейным или, в более общем смысле, аффинным преобразованием и, следовательно, представлялось матрицей . Однако IFS также могут быть построены из нелинейных функций, включая проективные преобразования и преобразования Мёбиуса . Фрактальное пламя является примером КСФА с нелинейными функциями.
Самый распространенный алгоритм вычисления фракталов IFS называется « игрой в хаос ». Он состоит из выбора случайной точки на плоскости, а затем итеративного применения одной из функций, выбранных случайным образом из системы функций, для преобразования точки для получения следующей точки. Альтернативный алгоритм состоит в том, чтобы сгенерировать каждую возможную последовательность функций до заданной максимальной длины, а затем построить график результатов применения каждой из этих последовательностей функций к начальной точке или форме.
Каждый из этих алгоритмов обеспечивает глобальную конструкцию, которая генерирует точки, распределенные по всему фракталу. Если рисуется небольшая область фрактала, многие из этих точек будут выходить за границы экрана. Это делает непрактичным масштабирование нарисованной таким образом конструкции IFS.
Хотя теория IFS требует, чтобы каждая функция была ограничивающей, на практике программное обеспечение, реализующее IFS, требует только, чтобы вся система была в среднем ограничивающей. [4]
Системы секционированных итерационных функций
PIFS (разделенные системы повторяющихся функций), также называемые системами локальных итерационных функций, [5] дают удивительно хорошее сжатие изображений, даже для фотографий, которые, кажется, не имеют такой самоподобной структуры, как простые фракталы IFS. [6]
Обратная задача
Существуют очень быстрые алгоритмы для создания изображения из набора параметров IFS или PIFS. Это быстрее и требует гораздо меньше места для хранения описания того, как оно было создано, передачи этого описания на целевое устройство и повторной регенерации этого изображения на целевом устройстве, чем для хранения и передачи цвета каждого пикселя в изображении. . [5]
Обратная задача сложнее: учитывая некоторые оригинальные произвольные цифровые изображения , такие как цифровая фотография, попытаться найти набор параметров КСФА , которые, при оценке с помощью итераций, производит другое изображение визуально похожее на оригинал. В 1989 году Арно Жакен представил решение ограниченной формы обратной задачи, используя только PIFS; общий вид обратной задачи остается нерешенным. [7] [8] [5]
С 1995 года все программное обеспечение фрактального сжатия основано на подходе Жакена. [8]
Примеры
На схеме показано построение IFS из двух аффинных функций. Функции представлены их воздействием на двуединичный квадрат (функция преобразует обведенный квадрат в заштрихованный квадрат). Комбинация двух функций образует оператор Хатчинсона . Показаны три итерации оператора, а затем окончательное изображение фиксированной точки, финального фрактала.
Ранние примеры фракталов, которые могут быть сгенерированы IFS, включают набор Кантора , впервые описанный в 1884 году; и кривые де Рама , тип самоподобной кривой, описанный Жоржем де Рамом в 1957 году.
История
IFS были задуманы в их нынешнем виде Джоном Э. Хатчинсоном в 1981 году [9] и популяризированы книгой Майкла Барнсли « Фракталы повсюду» .
IFS предоставляют модели для определенных растений, листьев и папоротников в силу самоподобия, которое часто встречается в ветвящихся структурах в природе.
- Майкл Барнсли и др. [10]
Смотрите также
- Комплексно-базовая система
- Теорема коллажа
- Бесконечные композиции аналитических функций
- L-система
- Фрактальное сжатие
Заметки
- ^ Зобрист, Джордж Уинстон; Чаман Сабхарвал (1992). Прогресс в компьютерной графике: Том 1 . Книги Интеллекта. п. 135. ISBN 9780893916510. Дата обращения 7 мая 2017 .
- ^ Майкл Барнсли (1988). Везде фракталы , стр.82. Academic Press, Inc. ISBN 9780120790623 .
- Перейти ↑ M. Barnsley, A. Vince, The Chaos Game on a General Iterated Function System
- ^ Дрейвс, Скотт ; Эрик Реказ (июль 2007 г.). «Алгоритм фрактального пламени» (PDF) . Архивировано из оригинального (pdf) 09 мая 2008 года . Проверено 17 июля 2008 .
- ^ a b c Бруно Лакруа. «Сжатие фрактальных изображений» . 1998 г.
- ^ Фишер, Юваль (1992-08-12). Пшемыслав Прусинкевич (ред.). Примечания к курсу SIGGRAPH'92 - Фрактальное сжатие изображений (PDF) . СИГГРАФ . Фракталы - от народного искусства к гиперреальности. ACM SIGGRAPH .
- ^ Дитмар Саупе, Рауф Хамзауи. "Обзор литературы о фрактальном сжатии изображений" .
- ^ а б Джон Коминек. «Алгоритм быстрого сжатия фрактальных изображений» . DOI : 10.1117 / 12.206368 .
- ^ Хатчинсон, Джон Э. (1981). «Фракталы и самоподобие» (PDF) . Индиана Univ. Математика. Дж . 30 (5): 713–747. DOI : 10.1512 / iumj.1981.30.30055 .
- ^ Майкл Барнсли , и др. , "V-переменные фракталы и суперфракталы" (PDF) . (2,22 МБ)
Рекомендации
- Дрейвс, Скотт ; Эрик Реказ (июль 2007 г.). «Алгоритм фрактального пламени» (PDF) . Архивировано из оригинального (pdf) 09 мая 2008 года . Проверено 17 июля 2008 .
- Фалконер, Кеннет (1990). Фрактальная геометрия: математические основы и приложения . Джон Уайли и сыновья. С. 113–117, 136 . ISBN 0-471-92287-0.
- Барнсли, Майкл ; Эндрю Винс (2011). «Игра хаоса в общей итерированной функциональной системе». Эргодическая теория Dynam. Системы . 31 (4): 1073–1079. arXiv : 1005.0322 . Bibcode : 2010arXiv1005.0322B .
- Для исторического обзора и обобщения:Дэвид, Клэр (2019). «фрактальные свойства функций типа Вейерштрасса» . Труды Международного центра геометрии . 12 (2): 43–61.