stronglyMeasurable_llr

Mathlib.MeasureTheory.Measure.LogLikelihoodRatio

URI: https://scilib.ai/kg/mathlib#MeasureTheory.stronglyMeasurable_llr

English

The log-likelihood ratio llr(μ, ν) is strongly measurable.

Русский

Логарифмическое отношение правдоподобия llr(μ, ν) сильно измеримо.

LaTeX

$$$\\text{StronglyMeasurable}(\\llr(\\mu, \\nu))$$$

Lean4

@[measurability]
theorem stronglyMeasurable_llr (μ ν : Measure α) : StronglyMeasurable (llr μ ν) :=
  (measurable_llr μ ν).stronglyMeasurable

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

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

Разделы

Аффилиация

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