Кривая Пеано

Поделись знанием:
Перейти к: навигация, поиск

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

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





Определение

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

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

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

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

История

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

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

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

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

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

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

Свойства

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

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

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

Примеры

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


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

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

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

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

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

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

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

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

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

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

Пусть теперь x — произвольная точка исходного единичного отрезка. Пусть k1 — номер отрезочка 1-го уровня, которому принадлежит точка x, k2 — номер отрезочка 2-го уровня, которому принадлежит точка x и т. д. Рассмотрим квадратики Q1, Q2, … с теми же номерами k1, k2, …. Порядок обхода квадратиков устроен таким образом, что (внимание!) квадратики Q1, Q2, … образуют вложенную систему. По теореме о вложенной (стягивающейся) системе отрезков, квадратики Q1, Q2, … имеют единственную общую точку y.

Если x принадлежит одновременно 2-м отрезочкам, то эти отрезочки соответствуют 2-м квадратикам с общей стороной — так устроен порядок обхода. Назовем такие квадратики смежными. В этом случае вместо квадратиков Q1, Q2, … рассмотрим прямоугольники — объединения смежных квадратиков. И тогда y — единственная общая точка вложенной системы указанных прямоугольников.

Аналогичное рассуждение показывает, что каждая точка y квадрата будет соответствовать некоторой точке x единичного отрезка.

Построенное отображение x → y определяет искомую кривую Пеано. Непрерывность отображения следует из того, что близким отрезочкам соответствуют близкие квадратики. Каждая точка y имеет:

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

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

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

Если <math>X</math> — континуум, то эквивалентны условия:

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

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

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

Напишите отзыв о статье "Кривая Пеано"

Примечания

  1. ↑ Peano, 1890, p. 157.
  2. ↑ Hilbert, 1891.
  3. ↑ Идея почерпнута в книге: Макаров Б. М., Голузина М. Г., Лодкин А. А., Подкорытов А. Н. Избранные задачи по вещественному анализу. — М.: Наука, 1992. — С. 44.
  4. ↑ Cannon, Thurston, 2007.

Литература

  • James W. Cannon, William P. Thurston Group invariant Peano curves // Geometry & Topology. — 2007. — Т. 11, вып. 3. — С. 1315–1355. — ISSN [www.sigla.ru/table.jsp?f=8&t=3&v0=1465-3060&f=1003&t=1&v1=&f=4&t=2&v2=&f=21&t=3&v3=&f=1016&t=3&v4=&f=1016&t=3&v5=&bf=4&b=&d=0&ys=&ye=&lng=&ft=&mt=&dt=&vol=&pt=&iss=&ps=&pe=&tr=&tro=&cc=UNION&i=1&v=tagged&s=0&ss=0&st=0&i18n=ru&rlf=&psz=20&bs=20&ce=hJfuypee8JzzufeGmImYYIpZKRJeeOeeWGJIZRrRRrdmtdeee88NJJJJpeeefTJ3peKJJ3UWWPtzzzzzzzzzzzzzzzzzbzzvzzpy5zzjzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzztzzzzzzzbzzzzzzzzzzzzzzzzzzzzzzzzzzzvzzzzzzyeyTjkDnyHzTuueKZePz9decyzzLzzzL*.c8.NzrGJJvufeeeeeJheeyzjeeeeJh*peeeeKJJJJJJJJJJmjHvOJJJJJJJJJfeeeieeeeSJJJJJSJJJ3TeIJJJJ3..E.UEAcyhxD.eeeeeuzzzLJJJJ5.e8JJJheeeeeeeeeeeeyeeK3JJJJJJJJ*s7defeeeeeeeeeeeeeeeeeeeeeeeeeSJJJJJJJJZIJJzzz1..6LJJJJJJtJJZ4....EK*&debug=false 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.

Ссылки

Space-filling curves на Викискладе?
  • [people.csail.mit.edu/jaffer/Geometry/MDSFC Кривые Пеано разных размерностей]
  • [www.cut-the-knot.org/do_you_know/hilbert.shtml Доказательство существования кратных точек] на сайте Cut-the-Knot

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

  • [www.cut-the-knot.org/Curriculum/Geometry/Peano.shtml Кривая Пеано]
  • [www.cut-the-knot.org/Curriculum/Geometry/PlaneFillingCurves.shtml Кривая Гильберта и кривая Мура]
  • [www.cut-the-knot.org/Curriculum/Geometry/PeanoComplete.shtml Все кривые Пеано]