map_add

Mathlib.Dynamics.Flow

URI: https://scilib.ai/kg/mathlib#Flow.map_add

English

The flow satisfies the additive law: ϕ(t1 + t2)(x) = ϕ(t1)(ϕ(t2)(x)).

Русский

Поток удовлетворяет аддитивному закону: ϕ(t1 + t2)(x) = ϕ(t1)(ϕ(t2)(x)).

LaTeX

$$$\varphi(t_1 + t_2)(x) = \varphi(t_1)(\varphi(t_2)(x))$$$

Lean4

theorem map_add (t₁ t₂ : τ) (x : α) : ϕ (t₁ + t₂) x = ϕ t₁ (ϕ t₂ x) :=
  ϕ.map_add' _ _ _

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

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

Разделы

Аффилиация

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