dual

Mathlib.Analysis.Convex.Quasiconvex

URI: https://scilib.ai/kg/mathlib#QuasiconvexOn.dual

English

A quasiconvex function, when viewed in the dual order, becomes quasiconcave.

Русский

Функция, квазиконвексная, в двойственном порядке становится квазиконкавексной (quasiconcave).

LaTeX

$$$ \text{QuasiconvexOn } 𝕜 \ s \ f \Rightarrow \text{QuasiconcaveOn } 𝕜 \ s (toDual \circ f) $$$

Lean4

theorem dual : QuasiconvexOn 𝕜 s f → QuasiconcaveOn 𝕜 s (toDual ∘ f) :=
  id

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru