uniformOn_empty

Mathlib.Probability.UniformOn

URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.uniformOn_empty

English

Replace the empty argument by the empty set: still zero.

Русский

Аналогично, нулевая мера при пустом аргументе.

LaTeX

$$$uniformOn s \; = \; 0 \quad\text{если } t = \varnothing$$$

Lean4

theorem uniformOn_empty {s : Set Ω} : uniformOn s ∅ = 0 := by simp

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

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

Разделы

Аффилиация

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