Показать меню

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

27.03.2021
9

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

L c ( f ) = { ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) = c }   , {displaystyle L_{c}(f)=left{(x_{1},cdots ,x_{n}),mid ,f(x_{1},cdots ,x_{n})=c ight}~,}

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

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

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

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

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

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

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

Примеры

Рассмотрим двумерное евклидово расстояние d ( x , y ) = x 2 + y 2 . {displaystyle d(x,y)={sqrt {x^{2}+y^{2}}}.} Множество уровня L r ( d ) {displaystyle L_{r}(d)} этой функции состоит из точек, расположенных на расстоянии r {displaystyle r} от начала координат, множество, известное как окружность. Например, ( 3 , 4 ) ∈ L 5 ( d ) {displaystyle (3,4)in L_{5}(d)} , поскольку d ( 3 , 4 ) = 5. {displaystyle d(3,4)=5.} Геометрически это означает, что точка ( 3 , 4 ) {displaystyle (3,4)} лежит на окружности радиуса 5 с центром в начале координат. Более общий пример, сфера в метрическом пространстве ( M , m ) {displaystyle (M,m)} с радиусом r {displaystyle r} и центром в x ∈ M {displaystyle xin M} может быть определена как множество уровня L r ( y ↦ m ( x , y ) ) {displaystyle L_{r}(ymapsto m(x,y))} .

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

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

Теорема: Если функция f дифференцируема, градиент функции f в точке либо равен нулю, либо перпендикулярен множеству уровня функции f в точке.

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

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

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

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

L c − ( f ) = { ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) ⩽ c } {displaystyle L_{c}^{-}(f)=left{(x_{1},cdots ,x_{n}),mid ,f(x_{1},cdots ,x_{n})leqslant c ight}}

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

{ ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) < c } {displaystyle left{(x_{1},cdots ,x_{n}),mid ,f(x_{1},cdots ,x_{n})<c ight}}

Аналогчно

L c + ( f ) = { ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) ⩾ c } {displaystyle L_{c}^{+}(f)=left{(x_{1},cdots ,x_{n}),mid ,f(x_{1},cdots ,x_{n})geqslant c ight}}

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

{ ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) > c } {displaystyle left{(x_{1},cdots ,x_{n}),mid ,f(x_{1},cdots ,x_{n})>c ight}}

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

Еще по этой теме:
Граф Кауца
06:01, 23 март
Граф Кауца
Граф Кауца K M N + 1 {displaystyle K_{M}^{N+1}}
Эйлеровы числа
05:09, 18 декабрь
Эйлеровы числа
Эйлеровы числа (или числа Эйлера) — целые числа E 0 , E 1
Нётерово пространство
01:20, 15 декабрь
Нётерово пространство
Нётерово пространство (по имени Эмми Нётер) — топологическое пространство X, удовлетворяющее условию обрыва убывающих цепей замкнутых подмножеств. То есть для каждой последовательности замкнутых
Множество Смита — Вольтерры — Кантора
09:07, 13 декабрь
Множество Смита — Вольтерры — Кантора
Множество Смита — Вольтерры — Кантора (СВК, толстое множество Кантора, ε {displaystyle varepsilon } -множество Кантора) — пример множества точек на
Частные производные высших порядков
02:45, 07 декабрь
Частные производные высших порядков
Пусть задана функция f ( x , y ) {displaystyle f(x,y)} . Тогда каждая из её частных производных (если они, конечно,
Вариационный ряд
08:23, 03 декабрь
Вариационный ряд
Вариационный ряд (упорядоченная выборка) — последовательность X ( 1 ) ⩽
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail:
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent