isProbabilityMeasurePoisson

Mathlib.Probability.Distributions.Poisson

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

English

The Poisson measure is a probability measure on the natural numbers.

Русский

Мера Пуассона является вероятностной мерой на натуральные числа.

LaTeX

$$$\\text{IsProbabilityMeasure}(\\mathrm{poissonMeasure}(r))$$$

Lean4

instance isProbabilityMeasurePoisson (r : ℝ≥0) : IsProbabilityMeasure (poissonMeasure r) :=
  PMF.toMeasure.isProbabilityMeasure (poissonPMF r)

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

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

Разделы

Аффилиация

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