Кривая Пеано


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

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

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

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

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

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