dual — Mathlib

English

Duality preserves the conjunction of quasiconvex and quasiconcave properties.

Русский

Дуальность сохраняет сочетание свойств квазиконвексности и квазиконкавексности.

LaTeX

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

Lean4

theorem dual : QuasilinearOn 𝕜 s f → QuasilinearOn 𝕜 s (toDual ∘ f) :=
  And.symm

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