neg

Mathlib.MeasureTheory.Function.AbsolutelyContinuous

URI: https://scilib.ai/kg/mathlib#AbsolutelyContinuousOnInterval.neg

English

Negation preserves absolute continuity on an interval.

Русский

Отрицание сохраняет абсолютную непрерывность на интервале.

LaTeX

$$$ \text{AbsolutelyContinuousOnInterval}(f,a,b) \Rightarrow \text{AbsolutelyContinuousOnInterval}(-f,a,b) $$$

Lean4

theorem neg (hf : AbsolutelyContinuousOnInterval f a b) : AbsolutelyContinuousOnInterval (-f) a b :=
  hf.fun_neg

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

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

Разделы

Аффилиация

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