РИС. 98 И 99. КВАДРАТИЧНЫЕ ПОСТРОЕНИЯ КОХА С РАЗМЕРНОСТЬЮ D=2: ПРОХОЖДЕНИЯ ТРЕУГОЛЬНИКА ПО ЧЕЗАРО И ПО ПОЙА И ИХ ВАРИАНТЫ

Простейшим генератором, какой только можно в этом случае вообразить, является ломаная, состоящая из N=2 равных отрезков, угол ? между которыми удовлетворяет условию 90°???180°. В предельном случае ?=180° генератор представляет собой отрезок прямой; случай ?=120° (проиллюстрированный в пояснении к рис. 71) порождает (помимо прочих) троичную кривую Коха. Генератор для предельного случая ?=90° показан ниже:

Используя этот генератор, можно построить невообразимое множество различных кривых Пеано (различия обусловлены формой инициатора и способом помещения генератора на предшествующий терагон). На рис. 98-102 дано несколько примечательных примеров.

< Кроме того, в главе 25 с помощью рандомизации всех кривых Пеано с данными Nr мы получим самое что ни на есть броуновское движение. ?

Прохождение треугольника по Пойа. Инициатор отрезок [0, 1], генератор — как на рисунке вверху. Генератор поочередно занимает правое и левое положение относительно терагона, причем его положение относительно начального отрезка (правое или левое) также поочередно меняется. Ниже показаны третий и четвертый этапы построения:

Терагоны напоминают квадратные куски диаграммной бумаги, запихнутые внутрь прямоугольного равнобедренного треугольника, один из катетов которого и есть исходный отрезок [0, 1]. Предельная кривая проходит по всей внутренней области треугольника.

Рис. 98. Прохождение Пойя по прямоугольному неравнобедренному треугольнику. Изменим генератор таким образом, чтобы он состоял из двух неравных отрезков, расположенных под прямым углом друг к другу. Читателю (в качестве упражнения) остается лишь придумать, как в этом случае построить кривую, избегающую самокасаний.

Прохождение треугольника по Чезаро. Инициатор — отрезок [0, 1], генератор — тот же, что и для прохождения по Пойа. Два следующих этапа построения приведены ниже (для большей ясности построения угол ? на рисунке равен 85 градусов вместо ?=90°).

То есть на всех этапах с нечетными номерами генератор располагается справа от кривой; получаемый в результате терагон представляет собой решетку из прямых, параллельных диагоналям инициатора. На всех же этапах с четными номерами генератор располагается слева от кривой; прямые, составляющие решетку получаемого при этом терагона, оказываются параллельными сторонам инициатора. Кривая асимптотически заполняет прямоугольный равнобедренный треугольник, причем исходный отрезок [0, 1] является гипотенузой этого треугольника.

Рис. 99. На рисунке изображено прохождение квадрата, полученное соединением двух прохождений Чезаро с инициаторами [0, 1] и [1,0]. (И здесь угол ?=90° заменен углом ?=85° для ясности построения.)

Самоперекрытие. Каждый отрезок в решетках, покрываемых терагонами Чезаро, покрывается дважды. Конструкция содержит не только самокасания, но и самоперекрытия.

«Эффективность» заполнения плоскости. Одно экстремальное свойство расстояния Пеано - Чезаро. Кривая Пеано с рис. 95 отображает отрезок [0, 1] на квадрат с диагональю [0, 1] иплощадью 1/2. Такая же фигура покрывается и кривой Пойа. Однако кривая Чезаро заполняет всего лишь прямоугольный равнобедренный треугольник с гипотенузой [0, 1] и площадью 1/4. Для того, чтобы покрыть весь квадрат, необходимо отобразить по Чезаро два отрезка, [1, 0] и [0, 1]. Таким образом, из двух рассматриваемых кривых кривая Чезаро оказывается менее «эффективной». Более того, кривая Чезаро вообще самая «неэффективная» кривая Пеано без самопересечений на квадратной решетке. Однако благодаря этому обстоятельству, она — видимо, в качестве компенсации — обладает одним замечательным свойством: левое или правое расстояния Пеано (см. с. 93) между точками P₁ и P₂ оказывается большим или равным квадрату евклидова расстояния между этими точками:

|L{P₁,P₂}|?|P₁P₂|²; |R{P₁,P₂}|?|P₁P₂|².

Для других кривых Пеано разница между расстоянием Пеано и евклидовым расстоянием может быть как положительной, так и отрицательной.

Задача Какутани - Гомори. Какутани (источник — частная беседа) предлагает выбрать M точек P_m внутри единичного квадрата [0,1]² и рассмотреть выражение inf?|P_mP_m+1|², в котором инфимум вычисляется по всем линиям, соединяющим точки P_m последовательно. Он доказывает, inf?8, но полагает, что этот предел не является наилучшим. В самом деле, Р. Э. Гомори сообщает (источник — частная беседа), что он получил уточненный предел inf?4. При доказательстве Гомори использует кривую Пеано-Чезаро следующим образом: (А) добавим к множеству точек P_m угловые точки квадрата, если они этому множеству еще не принадлежат; (В) расположим M точек P_m в порядке их первых посещений последовательностью из четырех кривых Пеано- Чезаро, построенных внутри квадрата вдоль его сторон; (С) убедимся, что удлинение цепочки на этапе (А) не повлекло за собой уменьшения ?|P_mP_m+1|²; D) убедимся, что каждое слагаемое |P_mP_m+1|² не уменьшается при замене его на |L(Z_m,Z_m+1)|; (Е) ?|L(Z_m,Z_m+1)|=4. При использовании других кривых Пеано этапы (В) и (D) следует исключить.