adapted

Mathlib.Probability.Martingale.Basic

URI: https://scilib.ai/kg/mathlib#MeasureTheory.Submartingale.adapted

← MathLib Explorer

English

If f and g are both submartingales, then their sum f+g is a submartingale.

Русский

Если f и g — субмартингалы, то их сумма f+g — субмартингал.

LaTeX

$$$\mathrm{Submartingale}(f,\mathcal{F},\mu) \land \mathrm{Submartingale}(g,\mathcal{F},\mu) \Rightarrow \mathrm{Submartingale}(f+g,\mathcal{F},\mu)$$$

Lean4

protected theorem adapted [LE E] (hf : Submartingale f ℱ μ) : Adapted ℱ f :=
  hf.1

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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