add_apply — Mathlib

English

Let v and w be vector measures on α with values in M. For every set i ⊆ α, the value of their sum on i equals the sum of their values on i: (v + w)(i) = v(i) + w(i).

Русский

Пусть v и w — векторные меры на пространстве α, mogą значения в M. Для любого множества i ⊆ α выполняется (v + w)(i) = v(i) + w(i).

LaTeX

$$$\forall v,w:\ VectorMeasure\ α\ M,\forall i:\ Set\ α:\ (v + w)\ i = v\ i + w\ i$$$

Lean4

theorem add_apply (v w : VectorMeasure α M) (i : Set α) : (v + w) i = v i + w i :=
  rfl

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