adapted_const

Mathlib.Probability.Process.Adapted

URI: https://scilib.ai/kg/mathlib#MeasureTheory.adapted_const

English

For any filtration f and x ∈ β, the constant function x is Adapted.

Русский

Для любой фильтрации f и x ∈ β константная функция x является Adapted.

LaTeX

$$$$ \\mathrm{Adapted}(f, \\text{const}_x) $$$$

Lean4

theorem adapted_const (f : Filtration ι m) (x : β) : Adapted f fun _ _ => x := fun _ => stronglyMeasurable_const

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

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

Разделы

Аффилиация

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