sigmoid_lt

Mathlib.Analysis.SpecialFunctions.Sigmoid

URI: https://scilib.ai/kg/mathlib#unitInterval.sigmoid_lt

English

If a < b then sigmoid a < sigmoid b.

Русский

Если a < b, то sigmoid a < sigmoid b.

LaTeX

$$$a < b \Rightarrow \operatorname{sigmoid}(a) < \operatorname{sigmoid}(b)$$$

Lean4

@[gcongr]
theorem sigmoid_lt {a b : ℝ} : a < b → sigmoid a < sigmoid b :=
  sigmoid_lt_iff.mpr

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

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

Разделы

Аффилиация

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