unifIntegrable

Mathlib.MeasureTheory.Function.UniformIntegrable

URI: https://scilib.ai/kg/mathlib#MeasureTheory.UniformIntegrable.unifIntegrable

English

If f is Uniformly Integrable, then f is UnifIntegrable.

Русский

Если f является UniformIntegrable, то она также является UnifIntegrable.

LaTeX

$$$\\operatorname{UnifIntegrable} f p μ$$$

Lean4

protected theorem unifIntegrable {f : ι → α → β} {p : ℝ≥0∞} (hf : UniformIntegrable f p μ) : UnifIntegrable f p μ :=
  hf.2.1

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

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

Разделы

Аффилиация

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