![image](https://habrastorage.org/webt/mt/me/xw/mtmexwqk2lce7nwq7uzsgnhu1my.gif)
Фракталы — это самоподобные штуковины. Не совсем так.
Идея Мандельброта была шире. Как моделировать природу с учетом неровностей? В некотором роде, фрактальная геометрия — это бунт против классического матанализа, основная идея которого, что все будет очень гладким, если достаточно увеличить. Мандельброту это показалось чересчур идеальным, бесполезно абстрактным.
Настоящая идея фрактала имеет отношение к дробной размерности.
![image](https://habrastorage.org/webt/f1/fc/kf/f1fckf-mq4lsrm6lhzahsfoluuo.jpeg)
Дробная размерность
![image](https://habrastorage.org/webt/8p/w-/c8/8pw-c8ruf2tdgadllss-yqw_1li.jpeg)
Многим кажется, что размерность имеет смысл только для натуральных чисел.
![image](https://habrastorage.org/webt/qc/sf/xq/qcsfxqbclnjfc0nyg1iruro5faw.jpeg)
Рассмотрим 4 самоподобные фигуры:
![image](https://habrastorage.org/webt/dt/cj/zx/dtcjzxdnqjn2we8-laasunzsizi.jpeg)
Составная часть каждой фигуры является точной копией целого.
Какое слово обобщает идею длины, площади и объема? Обычно используется слово «мера» (measure), но для наглядности можно говорить о «массе». Представим, что все упомянутые фигуры сделаны из металла. Фрактальная размерность связана с тем, как меняется масса фигур, когда вы их масштабируете.
Самоподобные фигуры дает четкое понимание того, как сравнивать «массы».
Когда вы уменьшаете масштаб отрезока в 2 раза, «масса» уменьшается в 2 раза (21).
Когда вы уменьшаете масштаб квадрата в 2 раза, масса уменьшается в 4 раза (22).
Уменьшая масштаб куба в 2 раза, масса уменьшается в 8 раз (23).
Для треугольника Серпинского при уменьшении масштаба в 2 раза очевидно, что масса уменьшается в 3 раза (2?):
![image](https://habrastorage.org/webt/2g/nw/lx/2gnwlxx_fazoxlkryuh5umymqhu.jpeg)
Тогда размерность треугольника Серпинского = log2(3) ? 1,585
«Длина» и «площадь» для треугольника Серпинского не совсем подходящие параметры. «Длина» треугольника Серпинского = ?, «площадь» = 0. Нам нужен 1,585 мерный аналог длины(площади).
Кривая фон Коха состоит из 4 собственных копий:
![image](https://habrastorage.org/webt/em/ue/4c/emue4cxv2dajrhhp_znqtjfiz_s.jpeg)
Когда масштаб уменьшается в 3 раза, «масса» уменьшается в 4 раза. Тогда размерность кривой фон Коха = log3(4) ? 1,262
Следующая фигура состоит из 8 своих копий:
![image](https://habrastorage.org/webt/wy/fp/zt/wyfpzt0y7lxwoqvmi_v95o38cyy.jpeg)
Уменьшая масштаб в 4 раза, «масса» уменьшится в 8 раз. Размерность = log4(8) ? 1,5
![image](https://habrastorage.org/webt/zd/qn/x6/zdqnx6p0lz-uaunnpod3vmc0lso.jpeg)
«Масса» подходит только для самоподобных фигур. Но это слишком ограничено. Большинство двумерных фигур не самоподобны.
![image](https://habrastorage.org/webt/1r/bg/ga/1rbggagxlvrc-rrvhjrqmfusqoc.jpeg)
«Масса» круга при уменьшении масштаба уменьшается в 4 раза. Но мы никак не можем составить из 4 маленьких кругов один большой.
Можно использовать метод сетки:
![image](https://habrastorage.org/webt/8s/0o/u8/8s0ou8nmycqp6we2y9h2jvnblgq.jpeg)
Если взять зерно сетки поменьше, получим более точный результат:
![image](https://habrastorage.org/webt/70/u7/x1/70u7x12vthrqh5hbi4tce6ugyr4.jpeg)
Увеличение количества затронутых клеточек идет как вторая степень от увеличения масштаба.
Для треугольника Серпинского:
![image](https://habrastorage.org/webt/l5/im/zd/l5imzdyj4wrutbrqziy0u6owkwa.jpeg)
Увеличение количества затронутых клеточек идет как как степень 1,585 от увеличения масштаба.
![image](https://habrastorage.org/webt/vi/n3/gw/vin3gwtgqbvc4lf74holkkdfbre.jpeg)
Для береговой линии:
![image](https://habrastorage.org/webt/j1/3d/co/j13dcowm4spjzcntxgrujtg9h4c.jpeg)
Увеличение количества затронутых клеточек идет как как степень 1,21 от увеличения масштаба.
![image](https://habrastorage.org/webt/y6/gr/u9/y6gru9qqbnjiexacnub5w0uxo7u.jpeg)
При переходе к логарифмической шкале, график будет стремиться к прямой, и важен угол ее наклона, но не для всех фигур это будет прямая с постоянным углом наклона.
![image](https://habrastorage.org/webt/nz/zv/_t/nzzv_tjagswxynplfqi4cijbrae.jpeg)
Различные точки на графике и усредненная прямая, которая им соответствует- это эмпирическое значение размерности.
Итак, фракталы — это фигуры, размерность которых — не целое число. У нас есть качественный способ сказать, что фигура неровная и будет оставаться неровной, если её увеличить.
В трехмерном пространстве мы считаем пересечение с трёхмерной сеткой кубиков.
![image](https://habrastorage.org/webt/ce/-l/up/ce-lupamwwq668skyviruwx9mha.jpeg)
Когда фигура меньше кубиков, мы воспринимаем её как линию, одномерную. Количество кубиков, которые она пересекает пропорционально её длине (первая степень).
При увеличении у нас получается труба (двумерная), которая пересекает своей поверхностью кубики сетки. И количество кубиков пропорционально второй степени.
Если мы еще увеличим масштаб, фигура выглядит одномерной. Количество кубиков будет пропорционально первой степени.
Процесс присвоения размерности фигуре может быть не очевидным и оставляет простор для разных соглашений и определений.
- Minkowski–Bouligand dimension
- Information dimension
- Hausdorff dimension
- Packing dimension
- Correlation dimension
- Generalized or Renyi dimensions
- Higuchi dimension
- Lyapunov dimension
- Assouad dimension
- Local connected dimension
![image](https://habrastorage.org/getpro/habr/post_images/010/0f5/328/0100f5328192a97b29fbaea418cbc35d.png)
В теории увеличение масштаба может быть бесконечным, на практике достаточно просто большого разброса масштабов для построения графика. Главное, чтобы размерность оставалась приблизительно постоянной на разных масштабах.
Береговая линия Британии имеет размерность 1,21 на различных масштабах. Размерность береговой линии Норвегии имеет размерность 1,52, что есть численный способ сказать о том, что она более неровная.
![image](https://habrastorage.org/webt/y3/zx/vu/y3zxvul53vtp1z8-fdbegfipe7m.jpeg)
Фрактальная размерность — один из факторов, что объект природного происхождения, а не создан человеком.
Оригинал видео
Русский дубляж
lz961
аппроксимировать обычную, непрерывно-дифференцируемую кривую линию цепочкой квадратов, казалось бы не очень хорошая идея. Так можно дойти до аппроксимации кривой ломаной, участки которой параллельны какому либо из координатных ортов, «лесенкой». В этом случае можно «доказать» равенство длины гипотенузы сумме катетов.
mayorovp
Тут "спасает" тот факт, что с помощью подобной аппроксимации не пытаются измерять длину.
sergeperovsky
И подобная геометрия существует. И весьма полезна для некоторых задач.
Простейший пример — поездки по городу. «Расстояние», это сумма отрезков дорог. И «гипотенуза» может оказаться не короче «катетов».