Здесь N – количество клеточек, затронутых кривой, а g – длина стороны одной клеточки. Символ означает «пропорционально» и подразумевает неточность соотношения. Если бы наша кривая была обычным отрезком прямой линии, мы бы вывели точное уравнение. Но стоит ненамного скрутить прямую линию, и соотношение становится несовершенным.

Продолжим подсчитывать клеточки, на сей раз затронутые двумерной фигурой – кругом[181] с радиусом 1.

Будем снова и снова вычерчивать наш круг на бумаге с клеточками 1 × 1, 1/2 × 1/2, 1/4 × 1/4 и т. д. Всякий раз мы станем закрашивать клеточки, затронутые кругом, то есть те, что расположены внутри круга, и те, которые пересекает окружность.

На бумаге, расчерченной 1 × 1, разместим центр круга на перекрестье клеточек; легко заметить, что он затрагивает ровно четыре клеточки. Изобразим развитие ситуации на следующих этапах:

На втором этапе круг затрагивает все 16 клеточек, затем все клеточки, кроме 4, то есть 60. Считать дальше скучно, поэтому доверим процесс компьютеру. Вот результат:

Сразу видно, что уменьшение стороны клеточки в 2 раза приводит к увеличению числа закрашенных клеточек примерно в 4 раза. Вот точные соотношения:

Грубо говоря, число закрашенных клеточек действительно возрастает в четыре раза. Но это приближение становится не таким грубым, когда число клеточек увеличивается. Почему?

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

Рассуждая таким образом, мы поймем, что уменьшение стороны клеточки в 10 раз приводит к росту числа закрашенных клеточек примерно в 100 раз. Внутри круга клеточек становится ровно в 100 раз больше, но применительно к границе это утверждение не совсем верно.

Мы можем выразить соотношение между количеством клеточек, затронутых кругом, и длиной стороны клеточки следующим образом:

Вот еще один способ убедиться в том, что формула (B) верна. Площадь круга равна πr². Если радиус круга равен 1, его площадь равна π.

Нарисуем круг на бумаге с клеточками g × g и посчитаем, сколько клеточек он затронул; обозначим их количество буквой N. Каждая клеточка имеет площадь g². Общая площадь закрашенных клеточек почти совпадает с площадью круга. Таким образом,

Следовательно, В упрощенном виде это приводит к соотношению

Мы нашли способ подсчитывать длины одномерных фигур и площади двумерных.

Соотношение (A) верно не только для нашей загогулины, но и для любого одномерного объекта. Когда мы делаем сетку мельче в 10 раз, количество клеточек, затронутых линией, вырастает примерно в 10 раз.

Соотношение (B) тоже выполняется не только для круга, но и для любой двумерной фигуры. Делаем сетку мельче в 10 раз – и количество клеточек, затронутых кругом, увеличивается примерно в 100 раз, потому что внутри одной большой клеточки теперь располагается 100 маленьких.

Итак:[182]

Размерность треугольника Серпинского

Мы теперь умеем уверенно отличать одномерные объекты от двумерных. Вычерчиваем объект на миллиметровке, делаем сетку все более мелкой и на каждом этапе подсчитываем затронутые им клеточки. Если выполняется соотношение (A), объект одномерный; если соотношение (B), объект двумерный.

Посмотрим, что произойдет с треугольником Серпинского на клетчатой бумаге[183]. Уместим его в клеточку 1 × 1. На рисунке показано, что будет при уменьшении размера клеточек до 1/2, 1/4, 1/8 и 1/16:

В первом случае затронуты все 4 клеточки. Во втором случае не затронуты 2 клеточки слева сверху и 2 клеточки справа сверху, а всего клеточек 16 штук. Вот таблица целиком:

Разумеется, вся соль в том, что ни один из двух вариантов не подходит. На новом этапе количество клеточек вырастает ровно в три раза[184]. Их число растет быстрее, чем в случае одномерных объектов, но медленнее, чем в случае двумерных. Таким образом, размерность треугольника Серпинского лежит между двумя целыми величинами.