Меры и вероятностные меры
Длина, количество и вероятность подчиняются общей идее аддитивного размера.
Чему научимся
Общая конструкция объясняет интеграл и вероятность, показывает пределы нормировки и формулирует непрерывность мер для монотонных последовательностей множеств.
Главная идея. Мера μ назначает измеримым множествам неотрицательный аддитивный размер: это может быть число элементов, длина или масса. Вероятностная мера дополнительно имеет общую массу 1.
План рассуждения и проверка понимания
- Задайте измеримое пространство (Ω,F) и проверьте μ(∅) = 0, неотрицательность и счётную аддитивность на несовместимых множествах.
- Чтобы получить вероятность P(A) = μ(A)/μ(Ω), сначала убедитесь в строгой положительности и конечности полной массы μ(Ω).
- Для возрастающих An разложите объединение на непересекающиеся добавки и перейдите к пределу частичных сумм их мер.
- Для убывающей последовательности перед вычитанием дополнений проверьте конечность меры хотя бы одного начального множества.
Частая ошибка. Пытаться построить равномерную вероятность на всей прямой делением длины на бесконечность или применять непрерывность сверху без конечной меры.
Как проверить себя. Нормировка требует 0 < μ(Ω) < ∞. Лучи [n,∞) имеют бесконечную длину при пустом пересечении, поэтому без конечности предел сверху может нарушиться.
Наглядная модель: Меры и вероятностные меры
Длина, количество и вероятность подчиняются общей идее аддитивного размера.
- Меры и вероятностные меры → Меры и вероятностные меры
- Меры и вероятностные меры → probability-space
Проверка пониманияОбъясните тему своими словами
Сравните длину интервала 2 внутри [0,8] и его равномерную вероятность: объясните, почему первая равна 2, а вторая после нормировки — 1/4.
В хорошем объяснении есть:
- Различены мера и вероятностная мера.
- Общая длина пространства равна 8.
- Нормировка выполнена делением 2 на 8.
Размер не всегда является вероятностью
Считающая мера сообщает число элементов, мера Лебега — длину, площадь или объём, а вероятностная мера — вес события в модели. Обычная мера может иметь бесконечную массу. Вероятность отличается требованием общей массы 1.
Строгое определение
Мера на измеримом пространстве — неотрицательная расширенно-вещественная функция, равная нулю на пустом множестве и счётно-аддитивная на попарно непересекающихся измеримых множествах. Пространство называют пространством с мерой. Полнота означает, что каждое подмножество множества меры ноль тоже измеримо; она не входит в определение любой меры.
Нормировка и ограничения
Если общая масса конечна и положительна, деление на неё даёт вероятность. Нельзя получить равномерную вероятность на всей прямой простым делением длины на бесконечность. Равномерное распределение имеет смысл на ограниченном интервале с положительной длиной.
Счётная аддитивность влечёт непрерывность снизу для возрастающих множеств. Для непрерывности сверху в общем случае нужно, чтобы хотя бы одно множество последовательности имело конечную меру. У вероятности это условие выполнено автоматически.
Набросок вывода
Представьте возрастающее объединение как непересекающиеся добавляемые части. Их массы образуют ряд; конечные частичные суммы — массы текущих множеств. Предел ряда равен массе объединения. Для убывающих множеств используйте дополнения внутри множества конечной меры; без конечности вычитание бесконечностей недопустимо.
Три примера
- Считающая мера множества {a,b,c} равна 3. После нормировки на Ω из пяти точек его вероятность равна 3/5.
- На отрезке [0,8] интервал длины 2 имеет меру 2 и равномерную вероятность 1/4 — это разные численные величины.
- У лучей [n,∞) длина всегда бесконечна, но пересечение пусто. Это показывает, почему непрерывности сверху нужна конечность начальной меры.
Формула, смысл и ограничения
Главные формулы с расшифровкой
Формула словами: Нормировка в вероятность допустима только при 0 < μ(Ω) < ∞.
От простого к сложному
Проверьте себя
Сначала запишите решение самостоятельно. Затем можно открыть намёк, сравнить каждый переход с пошаговым разбором и только после этого посмотреть ответ. Прогресс сохраняется в этом браузере.
Открываем задание…
Открываем задание…
Открываем задание…
Источники и соглашения
Объяснения и задачи — авторские. Источники помогают проверить определения, условия и школьную привязку. Обозначения и параметризация указаны в статье.