x, y, z

Разные размерности

# 8 Авг 2019 01:45:19
Math

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

Классическое определение звучит следующим образом: (топологической) размерностью (или размерностью Лебега) фигуры $F$ называется наименьшее целое число $n$, обладающее тем свойством, что при любом $\varepsilon > 0$ существует конечный набор шаров радиуса не больше $\varepsilon$, покрывающих фигуру $F$ так, что любая точка из $F$ принадлежит не более чем $(n + 1)$ шару. Предполагается, что шары не содержат свою границу; для плоских фигур вместо шаров можно взять круги. Например, отрезок является одномерной фигурой, потому что его можно покрыть кругами так, как показано на рис. 1: каждая точка содержится не более, чем в двух различных кругах, причем это свойство не зависит от их размера, то есть можно указать покрытие кругами любого меньшего (сколь угодно малого) размера, обладающее тем же самым свойством. Контрольный вопрос: чему равна топологическая размерность окружности?

Рис. 1. Покрытия отрезка кругами разных радиусов
Рис. 1. Покрытия отрезка кругами разных радиусов

Однако описанный выше способ — не единственный подход к определению размерности. Говорят, что фигура $F$ имеет фрактальную размерность $d$, если при разбиении ее на кусочки, каждый из которых в $k$ раз меньше исходной фигуры, оказывается, что общее число кусочков равно $k^d$. Например, отрезок является одномерной фигурой, потому что если разбить отрезок длины $1$ на отрезочки длины $1/3$, то общее количество таких отрезочков будет $3^1 = 3$, а если на отрезочки длины $1/10$, то $10^1 = 10$ (и так далее для любого числа отрезочков). Точно так же, квадрат — фигура двумерная, ведь если разбить квадрат со стороной $1$ на квадратики со стороной $1/3$, то общее количество таких квадратиков будет $3^2 = 9$, а если на квадратики со стороной $1/10$, то $10^2 = 100$ (и так далее).

Для большинства привычных фигур топологическая и фрактальная размерности совпадают (то есть $n = d$). Однако для некоторых фигур это оказывается не так: тогда как топологическая размерность всегда является целым числом, их фрактальная размерность получается дробной. Типичный пример таких фигур — собственно, фракталы.

Задача

Рассмотрим довольно известный фрактал ковер Серпинского. Он строится итеративно следующим образом. В качестве начального объекта берется квадрат. На первом шаге нужно мысленно разбить этот квадрат на 9 одинаковых квадратов, а затем (уже не мысленно, а вполне реально) удалить центральный из них. Затем, на втором шаге, каждый из оставшихся восьми квадратов также надо мысленно разделить на 9 квадратиков, после чего удалить центральный (рис. 2). На третьем шаге мы проводим ту же самую операцию с каждым из 64 оставшихся квадратиков и так далее. То, что останется в итоге после завершения этой бесконечной процедуры (то есть точки, которые принадлежат всем получающимся в процессе фигурам) и называется ковром Серпинского.

Рис. 2. Первые шаги построения ковра Серпинского
Рис. 2. Первые шаги построения ковра Серпинского

а) Покажите, что топологическая размерность квадрата (с внутренностью) равна 2.

б) Проверьте, что топологическая размерность ковра Серпинского равна 1. Чему равна его фрактальная размерность?




Хайгар Нурлигареев
«Элементы»
*Имя:
Заголовок:
[tex-clear] [tex-help] [ted]
  • formulas >

* Сколько символов на картинке?
Captcha
Отправляя данные, вы соглашаетесь с Правилами сайта.