support_toPartitionOfUnity_subset

English

The support of the partition of unity component is contained in the support of the corresponding bump function component.

Русский

Опора компоненты разложения по единице содержится в опоре соответствующей функции-импульса.

LaTeX

$$$\operatorname{supp}(f^{\mathrm{PartitionOfUnity}}_i) \subseteq \operatorname{supp}(f_i)$$$

Lean4

theorem support_toPartitionOfUnity_subset (i : ι) : support (f.toPartitionOfUnity i) ⊆ support (f i) :=
  f.support_toPOUFun_subset i

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