quasilinearOn

Mathlib.Analysis.Convex.Quasiconvex

URI: https://scilib.ai/kg/mathlib#Monotone.quasilinearOn

English

If a function is convex on S, then it is quasiconvex on S.

Русский

Если функция выпукла на S, то она квазиконвексна на S.

LaTeX

$$$ConvexOn\ 𝕜\ s\ f \rightarrow QuasiconvexOn\ 𝕜\ s\ f$$$

Lean4

theorem quasilinearOn (hf : Monotone f) : QuasilinearOn 𝕜 univ f :=
  ⟨hf.quasiconvexOn, hf.quasiconcaveOn⟩

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

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

Разделы

Аффилиация

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