Кривая Пеано

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
Три итерации построения кривой Пеано

Крива́я Пеа́но — общее название для параметрических кривых, образ которых содержит квадрат (или, в более общем смысле, открытые области пространства). Другое название — заполняющая пространство кривая.

Названа в честь Джузеппе Пеано (1858—1932), первооткрывателя такого рода кривых, в частном смысле кривой Пеано называется конкретная кривая, которую нашёл Пеано.

Определение

Интуитивно непрерывная кривая в размерностях 2 или 3 (или выше) может пониматься как путь, проходимый непрерывно движущейся точкой. Чтобы исключить неотъемлемую неопределённость этого понимания, Жордан в 1887 предложил следующее определение, которое с тех пор было принято как точное определение непрерывной кривой:

Кривая (с конечными точками) — это непрерывное отображение, областью определения которого служит единичный отрезок [0, 1].

В наиболее общей форме область значений такого отображения может лежать в произвольном топологическом пространстве, но в большинстве изучаемых случаев область значений лежит в евклидовом пространстве, таком как двумерная плоскость (плоская кривая) или трёхмерное пространство (пространственная кривая).

Иногда кривая отождествляется с областью значений отображения (множество всех возможных значений отображения), а не собственно с функцией. Можно также определить кривую без конечных точек как непрерывную функцию на вещественной прямой (или на открытом интервале (0, 1)).

История

В 1890 Пеано открыл непрерывную кривую, ныне называемую кривой Пеано, которая проходит через любую точку единичного квадрата[1]. Его целью было построение непрерывного отображения из единичного отрезка в единичный квадрат. Заняться проблемой Пеано побудил более ранний неожиданный результат Георга Кантора о том, что множество точек единичного интервала имеет ту же мощность, что и множество точек любого конечномерного многообразия, в частности, единичного квадрата. Задача, которую решал Пеано, заключалась в вопросе — может ли быть такое отображение непрерывным, то есть может ли кривая заполнить пространство. Решение Пеано не устанавливает непрерывное взаимнооднозначное отображение между единичным интервалом и единичным квадратом, и более того, такого отображения не существует (см. ниже).

Шесть итераций построения кривой Гильберта, в пределе заполняющей пространство. Кривая была построена математиком Давидом Гильбертом.

Общепринятым было связывать туманное понятие толщины и одномерности с кривой. Все обычно встречающиеся кривые были кусочно дифференцируемые (то есть имеющие кусочно непрерывные производные), а такие кривые не могут заполнить весь единичный квадрат. Таким образом, заполняющая пространство кривая Пеано воспринималась противоречащей здравому смыслу.

Из примера Пеано легко вывести непрерывные кривые, заполняющие n-мерный гиперкуб (для любого положительного целого n). Легко было также распространить пример Пеано на кривые без начальной и конечной точки, и эти кривые заполняют всё n-мерное евклидово пространство (где n равно 2, 3 или любое другое положительное целое число).

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

Революционная статья Пеано не содержала никаких иллюстраций построения, которое было определено в терминах троичных расширений и зеркального отражения. Однако графическое построение для него было ясным — он сделал орнамент, отражающий построение кривой на своём доме в Турине. В конце статьи Пеано заметил, что техника может быть распространена на другие нечётные базисы, не только на базис 3. Его выбор избегать любой графической визуализации был, без сомнения, вызван желанием привести обоснованное, совершенно строгое доказательство, не опирающееся никак на рисунки. В то время (начало исследований в общей топологии) графические доводы часто включались в доказательство, но зачастую они служили помехой для понимания противоречащих здравому смыслу результатов.

Годом позже Давид Гильберт опубликовал в том же журнале другой вариант построения Пеано[2]. Статья Гильберта была первой статьёй, в которой был помещен рисунок, помогающий представить технику построения. По существу, это был тот же рисунок, что и приведённый здесь. Аналитическая форма кривой Гильберта, однако, существенно сложнее, чем у Пеано.

Свойства

  • Всякая кривая Пеано имеет кратные точки.
    • Не существует кривой Пеано, всякая точка которой была бы простой или двукратной, но существует кривая Пеано, имеющая самое большее лишь трёхкратные точки (в счётном числе). Такова, например, кривая, построенная самим Пеано; конструкция Гильберта ниже содержит четырёхкратные точки (также в счётном числе).
  • Существуют кривые Пеано, сохраняющие меру, то есть мера Лебега подмножества квадрата совпадает с мерой Лебега его прообраза на отрезке. Нижеприведённый пример Гильберта обладает этим свойством.
  • С понятием кривой Пеано связан любопытный факт существования пространственных простых дуг, проектирующихся на плоскость в виде сплошных площадей, — такова, например, кривая
    [math]\displaystyle{ r(t)=(x(t),y(t),t) }[/math]
где первые две функции задают кривую Пеано. Хотя эта дуга и может защитить от вертикальных солнечных лучей, она не может служить защитой от дождя, поскольку не является непрерывной поверхностью.
  • Если кривая не инъективна, то можно найти две пересекающиеся подкривые кривой, получаемые как образы двух непересекающихся отрезков в области определения кривой (то есть единичного отрезка). Две подкривые пересекаются, если пересечение двух образов не пусто. Есть искушение считать, что кривые пересекаются означает, что они скрещиваются, наподобие точки пересечения двух непараллельных прямых, однако две кривые (в нашем случае — подкривые) могут соприкасаться без скрещивания, как, например, касательная прямая касается окружности.
  • Для классических заполняющих пространство кривых Пеано и Гильберта в местах пересечения кривых (в техническом смысле), имеется соприкосновение кривых без их скрещивания. Заполняющая пространство кривая может (в каждой точке) иметь самопересечения (скрещивания), если её аппроксимирующая кривая самоскрещивается. Аппроксимация заполняющей пространство кривой может не содержать самопересечения, как на рисунках выше. В трёхмерном пространстве аппроксимирующие кривые без самопересечений могут даже содержать узлы. Аппроксимирующие кривые остаются внутри ограниченной области n-мерного пространства, но их длина растёт неограниченно.
  • Заполняющие пространство кривые являются специальным случаем построения фракталов. Не может существовать дифференцируемой заполняющей пространство кривой. Грубо говоря, дифференцируемость накладывает ограничения на скорость поворота кривой.

Интегрирование

Винер указал на то, что заполняющая пространство кривая могла бы быть использована для сведения интегрирования по Лебегу в высоких размерностях к интегрированию по Лебегу на отрезке.

Примеры

Аналитическое построение[3].

Рассмотрим функции [math]\displaystyle{ f(x) }[/math] и [math]\displaystyle{ g(x) }[/math], определённые на отрезке [math]\displaystyle{ [0,1] }[/math] следующим образом. Пусть разложение [math]\displaystyle{ x }[/math] в троичной системе счисления имеет вид [math]\displaystyle{ 0, x_1 x_2 \ldots x_k }[/math] (каждое из [math]\displaystyle{ x_k }[/math] равно 0, 1 или 2). Тогда [math]\displaystyle{ f(x) }[/math] мы определим как число, имеющее следующее разложение [math]\displaystyle{ 0, f_1 f_2 \ldots f_k }[/math] в троичной системе:


[math]\displaystyle{ f_1 = x_1 }[/math]
[math]\displaystyle{ f_2 = x_3 }[/math], если [math]\displaystyle{ x_2 }[/math] четно, и [math]\displaystyle{ 2 - x_3 }[/math], если [math]\displaystyle{ x_2 }[/math] нечетно
[math]\displaystyle{ \ldots }[/math]
[math]\displaystyle{ f_k = x_{2k-1} }[/math], если [math]\displaystyle{ x_2 + x_4 + \ldots + x_{2k-2} }[/math] четно

[math]\displaystyle{ f_k = 2 - x_{2k-1} }[/math], если [math]\displaystyle{ x_2 +x_4 + \ldots +x_{2k-2} }[/math] нечетно

Аналогичным образом определим функцию [math]\displaystyle{ g(x) = 0, g_1 g_2 \ldots g_k \ldots }[/math] в троичной системе счисления:

[math]\displaystyle{ g_1 = x_2 }[/math], если [math]\displaystyle{ x_1 }[/math] четно, и [math]\displaystyle{ 2 - x_2 }[/math], если [math]\displaystyle{ x_1 }[/math] нечетно
[math]\displaystyle{ \ldots }[/math]
[math]\displaystyle{ g_k = x_{2k} }[/math], если [math]\displaystyle{ x_1 + x_3 + \ldots +x_{2k-1} }[/math] четно
[math]\displaystyle{ g_k =2 - x_{2k} }[/math], если [math]\displaystyle{ x_1 + x_3 + \ldots + x_{2k-1} }[/math] нечетно

Рассмотрим теперь отображение: [math]\displaystyle{ x \mapsto [f(x), g(x)] }[/math]. Можно доказать, что:

1. Функции [math]\displaystyle{ f(x) }[/math] и [math]\displaystyle{ g(x) }[/math] корректно определены (то есть в числах, допускающих 2 представления в троичной системе счисления, значения [math]\displaystyle{ f(x) }[/math] и [math]\displaystyle{ g(x) }[/math] окажутся не зависящими от выбора представления).

2. Функции [math]\displaystyle{ f(x) }[/math] и [math]\displaystyle{ g(x) }[/math] непрерывны на [math]\displaystyle{ [0,1] }[/math].

3. Система уравнений [math]\displaystyle{ f(x) = a }[/math] и [math]\displaystyle{ g(x) = b }[/math] имеет не менее 1 и не более 4 решений при любых [math]\displaystyle{ a }[/math] и [math]\displaystyle{ b }[/math], лежащих на отрезке [math]\displaystyle{ [0,1] }[/math].

Тем самым, отображение с координатными функциями [math]\displaystyle{ f }[/math] и [math]\displaystyle{ g }[/math] на плоскости [math]\displaystyle{ x \mapsto [f(x),g(x)] }[/math] непрерывно переводит отрезок [math]\displaystyle{ [0,1] }[/math] в квадрат [math]\displaystyle{ [0,1]^2 }[/math].

Пример кривой Пеано, построенный Гильбертом. Здесь показан порядок обхода квадратов 1-6 уровня.
Геометрическое построение.

Рассмотрим единичный отрезок и единичный квадрат. На 1-м шаге построения разделим квадрат средними линиями на 4 равных квадрата, а отрезок — на 4 равные части. Получим квадраты и отрезки 1-го уровня. На каждом последующем шаге делим квадраты и отрезки предыдущего уровня на 4 части — получаем квадраты и отрезки следующего уровня. Имеем 4 квадрата 1-го уровня, 16 квадратов 2-го уровня и т. д.; аналогично с отрезками. Зададим порядок обхода квадратов каждого уровня. Для 1-го, 2-го, …, 6-го уровня порядок обхода показан на рисунке. Порядок обхода определяет взаимно-однозначное соответствие между множеством квадратов n-го уровня и множеством отрезков n-го уровня.

Пусть теперь [math]\displaystyle{ x }[/math] — произвольная точка исходного единичного отрезка. Пусть [math]\displaystyle{ k_1 }[/math] — номер отрезка 1-го уровня, которому принадлежит точка [math]\displaystyle{ x }[/math], [math]\displaystyle{ k_2 }[/math] — номер отрезка 2-го уровня, которому принадлежит точка [math]\displaystyle{ x }[/math] и т. д. Рассмотрим квадраты [math]\displaystyle{ Q_1, Q_2, \ldots }[/math] с теми же номерами [math]\displaystyle{ k_1, k_2, \ldots }[/math]. Порядок обхода квадратов устроен таким образом, что (внимание!) квадраты [math]\displaystyle{ Q_1, Q_2, \ldots }[/math] образуют вложенную систему. По теореме о вложенной (стягивающейся) системе отрезков, квадраты [math]\displaystyle{ Q_1, Q_2, \ldots }[/math] имеют единственную общую точку [math]\displaystyle{ y }[/math].

Если [math]\displaystyle{ x }[/math] принадлежит одновременно 2-м отрезкам, то эти отрезки соответствуют 2-м квадратам с общей стороной — так устроен порядок обхода. Назовем такие квадраты смежными. В этом случае вместо квадратов [math]\displaystyle{ Q_1, Q_2, \ldots }[/math] рассмотрим прямоугольники — объединения смежных квадратов. И тогда [math]\displaystyle{ y }[/math] — единственная общая точка вложенной системы указанных прямоугольников.

Аналогичное рассуждение показывает, что каждая точка [math]\displaystyle{ y }[/math] квадрата будет соответствовать некоторой точке [math]\displaystyle{ x }[/math] единичного отрезка.

Построенное отображение [math]\displaystyle{ x \rightarrow y }[/math] определяет искомую кривую Пеано. Непрерывность отображения следует из того, что близким отрезкам соответствуют близкие квадраты. Каждая точка [math]\displaystyle{ y }[/math] имеет:

  • 1 прообраз [math]\displaystyle{ x }[/math] (если [math]\displaystyle{ y }[/math] не принадлежит границам двух несмежных квадратов никакого уровня),
  • 2 прообраза (если [math]\displaystyle{ y }[/math] принадлежит границам не более двух несмежных квадратов некоторого уровня),
  • 3 прообраза (если [math]\displaystyle{ y }[/math] принадлежит границам четырёх квадратов некоторого уровня, одна пара которых — смежные), пример такой точки — центр квадрата,
  • 4 прообраза (если [math]\displaystyle{ y }[/math] принадлежит границам четырёх попарно несмежных квадратов некоторого уровня).

Кривые, задающие порядок обхода квадратов, являются последовательными приближениями к кривой Пеано. Кривая Пеано является пределом этих кривых.

Основным отличием кривой Пеано от интерпретации Гильберта является разбиение исходного единичного квадрата не на 4, а на 9 частей, имеющих размеры сторон 3-nx3-n каждая, где n – номер итерации[4].

Вариации и обобщения

Если [math]\displaystyle{ X }[/math] — континуум, то эквивалентны условия:

  1. пространство [math]\displaystyle{ X }[/math] локально связно,
  2. [math]\displaystyle{ X }[/math] — непрерывный образ интервала.
  • Теорема Хана — Мазуркевича — это следующая характеризация пространств, являющихся непрерывным образом кривых:

Непустое хаусдорфово топологическое пространство является образом единичного интервала тогда и только тогда, когда оно компактно, связно, локально связно и для него выполняется вторая аксиома счётности.

Пространства, являющиеся непрерывным образом единичного интервала, иногда называются пространствами Пеано.
Во многих формулировках теоремы Хана-Мазуркевича выполнение второй аксиомы счётности заменяется понятием метризуемое. Эти две формулировки эквивалентны. В одном направлении компактное хаусдорфово пространство является нормальным пространством и, по теореме метризуемости Урысона, выполнение второй аксиомы счётности влечёт метризуемость. В обратную сторону для компактного метрического пространства выполняется вторая аксиома счётности.

Примечания

  1. ↑ Peano, 1890, p. 157.
  2. ↑ Hilbert, 1891.
  3. ↑ Идея почерпнута в книге: Макаров Б. М., Голузина М. Г., Лодкин А. А., Подкорытов А. Н. Избранные задачи по вещественному анализу. — М.: Наука, 1992. — С. 44.
  4. ↑ Слюсар, В. Фрактальные антенны. Принципиально новый тип «ломаных» антенн. Часть 2.. Электроника: наука, технология, бизнес. — 2007. — № 6. С. 82—89. (2007). Дата обращения: 22 апреля 2020. Архивировано 3 апреля 2018 года.
  5. ↑ Cannon, Thurston, 2007.

Литература

  • James W. Cannon, William P. Thurston. Group invariant Peano curves // Geometry & Topology. — 2007. — Т. 11, вып. 3. — С. 1315–1355. — ISSN 1465-3060. — doi:10.2140/gt.2007.11.1315. (впервые напечатано в 1982)
  • D. Hilbert. Über die stetige Abbildung einer Line auf ein Flächenstück // Mathematische Annalen. — 1891. — Т. 38, вып. 3. — С. 459–460. — doi:10.1007/BF01199431.
  • B. B. Mandelbrot. The Fractal Geometry of Nature. — W. H. Freeman, 1982..
  • Douglas M. McKenna. The Lighter Side of Mathematics: Proceedings of the Eugene Strens Memorial Conference on Recreational Mathematics and its History / Richard K. Guy, Robert E. Woodrow. — Mathematical Association of America, 1994. — С. 49–73. — ISBN 978-0-88385-516-4.
  • G. Peano. Sur une courbe, qui remplit toute une aire plane // Mathematische Annalen. — 1890. — Т. 36, вып. 1. — С. 157–160. — doi:10.1007/BF01199438..
  • Hans Sagan. Space-Filling Curves. — Springer-Verlag, 1994. — ISBN 0-387-94265-3.
  • Александров П. С. Введение в теорию множеств и общую топологию. — М., 1977.
  • Лузин Н. Н. Теория функций действительного переменного. — 2-е изд.. — М., 1948.

Ссылки

Аплеты Java на сайте Cut-the-Knot:

Источник — https://xn--h1ajim.xn--p1ai/index.php?title=Кривая_Пеано&oldid=5888272