tendstoUniformlyOn_univ — Mathlib

English

Uniform convergence on the whole space is equivalent to the general uniform convergence notion.

Русский

Равномерная сходимость на всю пространство эквивалентна общей концепции равномерной сходимости.

LaTeX

$$$$TendstoUniformlyOn(F,f,p,\\mathrm{univ})\\Leftrightarrow TendstoUniformly(F,f,p).$$$$

Lean4

theorem tendstoUniformlyOn_univ : TendstoUniformlyOn F f p univ ↔ TendstoUniformly F f p := by
  simp [TendstoUniformlyOn, TendstoUniformly]

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