Множество уровня

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Точки на сечении с константой .
Линии сечений с константами .
Плоскости сечений с константами .
Множества -мерных уровней для функций вида в -мерном евклидовом пространстве для n = 1, 2, 3, где — константы.
Точки на сечении .
Контурные кривые сечений .
Поверхности постоянного уровня .
Множества -мерных уровней для нелинейных функций в -мерном евклидовом пространстве для n = 1, 2, 3.

В математике множество уровня вещественной функции f от n вещественных переменных[англ.] — это множество вида

то есть множество, на котором функция принимает заданное постоянное значение c.

Когда число переменных равно двум, обычно множество уровня представляет собой кривую, которая называется линией уровня, изолинией или контурной линией. Так, кривая уровня является множеством всех вещественных решений уравнения от двух переменных x1 и x2. Когда , множество уровня называется поверхностью уровня (или также изоповерхностью), а в случае большего числа переменных n множество уровня является гиперповерхностью. Так, поверхностью уровня является множество всех вещественных корней уравнения от трёх переменных и , а гиперповерхностью уровня является множество всех вещественных корней уравнения от n (n > 3) переменных.

Множество уровня является частным случаем слоя.

Альтернативные названия

[править | править код]
Пересечения уровней координатых функций с трилистником. Красные линии ближе к наблюдателю, а жёлтые кривые — от наблюдателя дальше.

Множества уровней появляются во многих приложениях, зачастую под разными названиями.

Например, неявная кривая — это множество уровня, которая рассматривается отдельно от соседних кривых, подчёркивая, что такая кривая определяется неявной функцией. Аналогично, поверхность уровня иногда называется неявной поверхностью или изоповерхностью.

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

Рассмотрим двумерное евклидово расстояние

Множество уровня этой функции состоит из точек, расположенных на расстоянии от начала координат, множество, известное как окружность. Например, , поскольку Геометрически это означает, что точка лежит на окружности радиуса 5 с центром в начале координат. Более общий пример, сфера в метрическом пространстве с радиусом и центром в может быть определена как множество уровня .

Второй пример — график функции Химмельблау, показанный на рисунке справа. Каждая показанная кривая является кривой уровня функции и они отстоят друг от друга логарифмически — если кривая представляет уровень , то ближайшая кривая «внутри» представляет уровень , а ближайшая кривая «снаружи» представляет уровень .

Кривая уровней с логарифмическим отстоянием графика функции Химмельблау[2]

Множества уровни и градиенты

[править | править код]
Рассмотри функцию f, график которой напоминает холм. Голубые кривые являются множествами уровней, а красные кривые следуют в направлении градиента. Осторожный пешеход придерживается голубого пути. Самоуверенный пешеход следует по красным путям. Заметьте, что синие и красные линии всегда пересекаются под прямыми углами.
Теорема: Если функция f дифференцируема, градиент функции f в точке либо равен нулю, либо перпендикулярен множеству уровня функции f в точке.

Чтобы понять, что это означает, представим, что два пешехода находятся в том же самом месте на склоне горы. Один из них уверен в себе и решает идти в направлении наиболее крутого подъёма, другой более осторожен, он не собирается карабкаться вверх или спускаться вниз, а выбирает путь с одинаковой высотой над уровнем моря. В нашей аналогии теорема выше говорит, что оба пешехода отправятся в направлениях, перпендикулярных друг другу.

Следствием этой теоремы (и её доказательства) будет то, что если f дифференцируема, множество уровня является гиперповерхностью и многообразием вне критических точек функции f. В критической точке множество уровня может свестись к точке (например, в локальном экстремуме функции f) или критическая точка может оказаться особенностью[англ.], такой как точка самопересечения или касп.

Множества подуровня и надуровня

[править | править код]

Множество вида

называется множеством подуровня функции f. Множество строгого подуровня функции f определяется как

Аналогично

называется множеством надуровня функции f[3][4]. Аналогично определяется множество строгого надуровня функции

Множества подуровня имеют важное значение в теории минимизации. Ограниченность некоторого непустого множества подуровня и полунепрерывность снизу влекут за собой, что функция достигает своего минимума по теореме Вейерштрасса. Выпуклость всех множеств подуровней характеризует квазивыпуклые функции[5].

Примечания

[править | править код]
  1. См., например, Способы визуального представления геополей Архивная копия от 16 июня 2017 на Wayback Machine
  2. Simionescu, 2011.
  3. Voitsekhovskii, 2001.
  4. Weisstein, Eric W. Level Set (англ.) на сайте Wolfram MathWorld.
  5. Kiwiel, 2001, с. 1–25.

Литература

[править | править код]
  • Simionescu P.A. Some Advancements to Visualizing Constrained Functions and Inequalities of Two Variables // Journal of Computing and Information Science in Engineering. — 2011. — Т. 11, вып. 1. — doi:10.1115/1.3570770.
  • Voitsekhovskii M.I. Level set // Encyclopedia of Mathematics. — EMS Press, 2001.
  • Krzysztof C. Kiwiel. Convergence and efficiency of subgradient methods for quasiconvex minimization // Mathematical Programming, Series A. — Berlin, Heidelberg: Springer, 2001. — Т. 90, вып. 1. — ISSN 0025-5610. — doi:10.1007/PL00011414.