support

Mathlib.Probability.ProbabilityMassFunction.Basic

URI: https://scilib.ai/kg/mathlib#PMF.support

English

Support of PMF is the set where PMF is nonzero.

Русский

Поддержка PMF — множество точек, где PMF не равна нулю.

LaTeX

$$$\mathrm{support}(p) = \{a : \alpha \mid p(a) \neq 0\}$$$

Lean4

/-- The support of a `PMF` is the set where it is nonzero. -/
def support (p : PMF α) : Set α :=
  Function.support p

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

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

Разделы

Аффилиация

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