Вероятность
![](https://cdn.xn--h1ajim.xn--p1ai/thumb.php?f=Dice_2005.jpg&width=250)
Вероя́тность — степень (относительная мера, количественная оценка) возможности наступления некоторого события, мера его объективной возможности. Когда основания для того, чтобы какое-нибудь возможное событие произошло в действительности, перевешивают противоположные основания, то это событие называют вероятным, в противном случае — маловероятным или невероятным. Перевес положительных оснований над отрицательными, и наоборот, может быть в различной степени, вследствие чего вероятность (и невероятность) бывает большей либо меньшей[1]. Поэтому часто вероятность оценивается на качественном уровне, особенно в тех случаях, когда более или менее точная количественная оценка невозможна или крайне затруднена. Возможны различные градации «уровней» вероятности[2].
Определение
Исследование вероятности с математической точки зрения составляет особую дисциплину — теорию вероятностей[1]. В теории вероятностей и математической статистике понятие вероятности формализуется как числовая характеристика события — вероятностная мера (или её значение) — мера на множестве событий (подмножеств множества элементарных событий), принимающая значения от [math]\displaystyle{ 0 }[/math] до [math]\displaystyle{ 1 }[/math]. Значение [math]\displaystyle{ 1 }[/math] соответствует достоверному событию. Невозможное событие имеет вероятность 0 (обратное, вообще говоря, не всегда верно). Если вероятность наступления события равна [math]\displaystyle{ p }[/math], то вероятность его ненаступления (а также невероятность наступления) равна [math]\displaystyle{ 1-p }[/math]. В частности, вероятность [math]\displaystyle{ 1/2 }[/math] означает равную вероятность наступления и ненаступления события.
Классическое определение вероятности основано на понятии равновозможности исходов. В качестве вероятности выступает отношение количества исходов, благоприятствующих данному событию, к общему числу равновозможных исходов. Например, вероятности выпадения «орла» или «решки» при случайном подбрасывании монеты одинаковы и равны [math]\displaystyle{ 1/2 }[/math], вероятности выпадения любой грани игральной кости одинаковы и равны [math]\displaystyle{ 1/6 }[/math]. Данное классическое «определение» вероятности можно обобщить на случай бесконечного количества возможных значений — например, если некоторое событие может произойти с равной вероятностью в любой точке (количество точек бесконечно) некоторой ограниченной области пространства (плоскости), то вероятность того, что оно произойдёт в некоторой части этой допустимой области равна отношению объёма (площади) этой части к объёму (площади) области всех возможных точек.
Эмпирическое «определение» вероятности связано с частотой наступления события исходя из того, что при достаточно большом числе испытаний частота должна стремиться к объективной степени возможности этого события. В современном изложении теории вероятностей вероятность определяется аксиоматически, как частный случай абстрактной теории меры множества. Тем не менее, связующим звеном между абстрактной мерой и вероятностью, выражающей степень возможности наступления события, является именно частота его наблюдения.
Вероятностное описание тех или иных явлений получило широкое распространение в современной науке, в частности в эконометрике, статистической физике макроскопических (термодинамических) систем, где даже в случае классического детерминированного описания движения частиц детерминированное описание всей системы частиц не представляется практически возможным и целесообразным. В квантовой физике сами описываемые процессы имеют вероятностную природу.
История
![](https://cdn.xn--h1ajim.xn--p1ai/thumb.php?f=Christiaan_Huygens-painting.jpeg&width=140)
Предыстория понятия вероятности
Необходимость понятия вероятности и исследований в этом направлении была исторически связана с азартными играми, особенно с играми в кости. До появления понятия вероятности формулировались в основном комбинаторные задачи подсчёта числа возможных исходов при бросании нескольких костей, а также задача раздела ставки между игроками, когда игра закончена досрочно. Первую задачу при бросании трёх костей «решил» в 960 году епископ Виболд из г. Камбре[3]. Он насчитал 56 вариантов. Однако это количество по сути не отражает количество равновероятных возможностей, поскольку каждый из 56 вариантов может реализоваться разным количеством способов. В первой половине XIII века эти аспекты учёл Ришар де Форниваль. Несмотря на то, что у него тоже фигурирует число 56, но он в рассуждениях учитывает, что, например, «одинаковое количество очков на трёх костях можно получить шестью способами». Основываясь на его рассуждениях уже можно установить, что число равновозможных вариантов — 216. В дальнейшем многие не совсем верно решали эту задачу. Впервые чётко количество равновозможных исходов при подбрасывании трёх костей подсчитал Галилео Галилей, возводя шестёрку (количество вариантов выпадения одной кости) в степень 3 (количество костей): 6³=216. Он же составил таблицы количества способов получения различных сумм очков.
Задачи второго типа в конце XV века сформулировал и предложил первое (вообще говоря ошибочное) решение Лука Пачоли[3]. Его решение заключалось в делении ставки пропорционально уже выигранным партиям. Существенное дальнейшее продвижение в начале XVI века связано с именами итальянских учёных Джероламо Кардано и Н. Тарталья. Кардано дал правильный подсчёт количества случаев при бросании двух костей (36). Он также впервые соотнес количество случаев выпадения некоторого числа хотя бы на одной кости (11) к общему числу исходов (что соответствует классическому определению вероятности) — 11/36. Аналогично и для трёх костей он рассматривал, например, что девять очков может получиться количеством способов, равным 1/9 «всей серии» (то есть общего количества равновозможных исходов — 216). Кардано формально не вводил понятие вероятности, но по существу рассматривал относительное количество исходов, что по сути эквивалентно рассмотрению вероятностей. В зачаточном состоянии у Кардано можно найти также идеи, связанные с законом больших чисел. По поводу задачи деления ставки Кардано предлагал учитывать количество оставшихся партий, которые надо выиграть. Н. Тарталья также сделал замечания по поводу решения Луки и предложил своё решение (вообще говоря, тоже ошибочное).
Заслуга Галилея также заключается в расширении области исследований на область ошибок наблюдений. Он впервые указал на неизбежность ошибок и классифицировал их на систематические и случайные (такая классификация применяется и сейчас).
![](https://cdn.xn--h1ajim.xn--p1ai/thumb.php?f=Bendixen_-_Carl_Friedrich_Gau%C3%9F%2C_1828.jpg&width=140)
Возникновение понятия и теории вероятностей
Первые работы о вероятности относятся к XVII веку. Такие как переписка французских учёных Б. Паскаля, П. Ферма (1654 год) и нидерландского учёного X. Гюйгенса (1657 год) давшего самую раннюю из известных научных трактовок вероятности[4]. По существу Гюйгенс уже оперировал понятием математического ожидания. Швейцарский математик Я. Бернулли установил закон больших чисел для схемы независимых испытаний с двумя исходами (результат был опубликован в 1713 году, уже после его смерти).
В XVIII в. — начале XIX в. теория вероятностей получает развитие в работах А. Муавра (Англия, 1718 год), П. Лаплас (Франция), К. Гаусса (Германия) и С. Пуассона (Франция). Теория вероятностей начинает применяться в теории ошибок наблюдений, развившейся в связи с потребностями геодезии и астрономии, и в теории стрельбы. Закон распределения ошибок по сути предложил Лаплас сначала как экспоненциальную зависимость от ошибки без учёта знака (в 1774 году), затем как экспоненциальную функцию квадрата ошибки (в 1778 году). Последний закон обычно называют распределением Гаусса или нормальным распределением. Бернулли (1778 год) ввёл принцип произведения вероятностей одновременных событий. Адриен Мари Лежандр (1805) разработал метод наименьших квадратов.
![](https://cdn.xn--h1ajim.xn--p1ai/images/4/43/Andrej_Nikolajewitsch_Kolmogorov.jpg)
Во второй половине XIX в. развитие теории вероятностей связано с работами русских математиков П. Л. Чебышёва, А. М. Ляпунова и А. А. Маркова (старшего), а также работы по математической статистике А. Кетле (Бельгия) и Ф. Гальтона (Англия) и статистической физике Л. Больцмана (в Австрии), которые создали основу для существенного расширения проблематики теории вероятностей. Наиболее распространённая в настоящее время логическая (аксиоматическая) схема построения основ теории вероятностей разработана в 1933 советским математиком А. Н. Колмогоровым.
Определения вероятности
Классическое определение
Классическое «определение» вероятности исходит из понятия равновозможности как объективного свойства изучаемых явлений. Равновозможность является неопределяемым понятием и устанавливается из общих соображений симметрии изучаемых явлений. Например, при подбрасывании монетки исходят из того, что в силу предполагаемой симметрии монетки, однородности материала и случайности (непредвзятости) подбрасывания нет никаких оснований для предпочтения «решки» перед «орлом» или наоборот, то есть выпадение этих сторон можно считать равновозможными (равновероятными). Эта неопределяемость понятия развновозможности, а, скорее, как отмечается, зависимость понятия равновозможности исходов от самого понятия вероятности (круг в определении), является одним из замечений к классической интепретации. Утверждение, что исходы являются равновозможными означает тоже самое, что и утверждение, что исходы имеют одинаковую вероятность. Кроме этого замечания классическая интерпретация критикуется за отсутствие метода для определения вероятности для исходов, которые не считаются равновозможными.
Наряду с понятием равновозможности в общем случае для классического определения необходимо также понятие элементарного события (исхода), благоприятствующего или нет изучаемому событию A. Речь идёт об исходах, наступление которых исключает возможность наступления иных исходов. Это несовместимые элементарные события. К примеру, при бросании игральной кости выпадение конкретного числа исключает выпадение остальных чисел.
Классическое определение вероятности можно сформулировать следующим образом:
Вероятностью случайного события A называется отношение числа n несовместимых равновероятных элементарных событий, составляющих событие A, к числу всех возможных элементарных событий N:
- [math]\displaystyle{ \Pr(A)=\frac {n}{N} }[/math]
Например, пусть подбрасываются две кости. Общее количество равновозможных исходов (элементарных событий) равно 36 (так как на каждый из 6 возможных исходов одной кости возможно по 6 вариантов исхода другой). Оценим вероятность выпадения семи очков. Получить 7 очков можно лишь при следующих сочетаниях исходов броска двух костей: 1+6, 2+5, 3+4, 4+3, 5+2, 6+1. То есть всего 6 равновозможных исходов, благоприятствующих получению 7 очков, из 36 возможных исходов броска костей. Следовательно, вероятность будет равна 6/36 или, если сократить, 1/6. Для сравнения: вероятность получения 12 очков или 2 очков равна всего 1/36 — в 6 раз меньше.
Аксиоматическое определение
В современном математическом подходе вероятность задаётся аксиоматикой Колмогорова. Предполагается, что задано некоторое пространство элементарных событий [math]\displaystyle{ X }[/math]. Подмножества этого пространства интерпретируются как случайные события. Объединение (сумма) некоторых подмножеств (событий) интерпретируется как событие, заключающееся в наступлении хотя бы одного из этих событий. Пересечение (произведение) подмножеств (событий) интерпретируется как событие, заключающееся в наступлении всех этих событий. Непересекающиеся множества интерпретируются как несовместные события (их совместное наступление невозможно). Соответственно, пустое множество означает невозможное событие.
Каждому элементарному событию назначается мера [math]\displaystyle{ \mathbf P(A) }[/math], показывающая вероятность, что событие [math]\displaystyle{ A }[/math] произойдет.
Вероятностью (вероятностной мерой) называется мера (числовая функция) [math]\displaystyle{ \mathbf P }[/math], заданная на множестве событий, обладающая следующими свойствами:
- Неотрицательность: [math]\displaystyle{ \forall A \subset X :\mathbf P(A) \geqslant 0 }[/math],
- Аддитивность: вероятность наступления хотя бы одного (то есть суммы) из попарно несовместных событий равна сумме вероятностей этих событий; другими словами, если [math]\displaystyle{ A_i A_j=\varnothing }[/math] при [math]\displaystyle{ i\ne j }[/math], то [math]\displaystyle{ \mathbf P \left(\sum_{i} A_i \right) = \sum_{i}\mathbf P(A_i) }[/math].
- Конечность (ограниченность единицей): [math]\displaystyle{ \mathbf P(X) = 1 }[/math],
В случае если пространство элементарных событий X конечно, то достаточно указанного условия аддитивности для произвольных двух несовместных событий, из которого будет следовать аддитивность для любого конечного количества несовместных событий. Однако, в случае бесконечного (счётного или несчётного) пространства элементарных событий этого условия оказывается недостаточно. Требуется так называемая счётная или сигма-аддитивность, то есть выполнение свойства аддитивности для любого не более чем счётного семейства попарно несовместных событий. Это необходимо для обеспечения «непрерывности» вероятностной меры.
Вероятностная мера может быть определена не для всех подмножеств множества [math]\displaystyle{ X }[/math]. Предполагается, что она определена на некоторой сигма-алгебре [math]\displaystyle{ \Omega }[/math] подмножеств[5]. Эти подмножества называются измеримыми по данной вероятностной мере и именно они являются случайными событиями. Совокупность [math]\displaystyle{ (X,\Omega,\mathbf P) }[/math] — то есть множество элементарных событий, сигма-алгебра его подмножеств и вероятностная мера — называется вероятностным пространством.
Геометрическое определение
Несмотря на то, что классическое определение является интуитивно понятным и выведенным из практики, оно, как минимум, не может быть непосредственно применено в случае, если количество равновозможных исходов бесконечно. Ярким примером бесконечного числа возможных исходов является ограниченная геометрическая область [math]\displaystyle{ G }[/math], например, на плоскости, с площадью [math]\displaystyle{ S }[/math]. Случайно «подброшенная» «точка» с равной вероятностью может оказаться в любой точке этой области. Задача заключается в определении вероятности попадания точки в некоторую подобласть [math]\displaystyle{ g }[/math] с площадью [math]\displaystyle{ s }[/math]. В таком случае, обобщая классическое определение, можно прийти к геометрическому определению вероятности попадания в подобласть [math]\displaystyle{ g }[/math]:
- [math]\displaystyle{ \Pr(A)=\frac {s}{S} }[/math]
В виду равновозможности вероятность эта не зависит от формы подобласти [math]\displaystyle{ g }[/math] и не зависит от положения подобласти [math]\displaystyle{ g }[/math] в области [math]\displaystyle{ G }[/math], она зависит только от её площади. Данное определение естественно можно обобщить и на пространство любой размерности, где вместо площади использовать понятие «объёма». Более того, именно такое определение приводит к современному аксиоматическому определению вероятности. Понятие объёма обобщается до понятия меры некоторого абстрактного множества, к которой предъявляются требования, которыми обладает и «объём» в геометрической интерпретации — в первую очередь, это неотрицательность и аддитивность.
Впервые геометрическое определение вероятности было дано в работах английского математика Т. Симпсона и французского естествоиспытателя Ж. Бюффона.
Частотное (статистическое) определение
Классическое и геометрическое определения имеют ограниченное применение. Практические ситуации исследования случайных явлений в большинстве случаев не могут быть описаны на основе классического и геометрического определения, так как характеризуются отсутствием симметрии исходов, выявить равновозможные случаи невозможно. Даже в случае с монеткой существует не равновероятная возможность выпадения «ребра», которую из теоретических соображений оценить невозможно (можно только сказать, что оно маловероятно и то это соображение скорее практическое). Поэтому ещё на заре становления теории вероятностей в работах Якоба Бернулли было предложено альтернативное «частотное» определение вероятности. А именно, формально вероятность можно определить как предел частоты наблюдений события A, предполагая однородность наблюдений (то есть одинаковость всех условий наблюдения) и их независимость друг от друга:
[math]\displaystyle{ \Pr(A)=\lim_{N \rightarrow \infty} \frac {n}{N}, }[/math]
где [math]\displaystyle{ N }[/math] — количество наблюдений, а [math]\displaystyle{ n }[/math] — количество наступлений события [math]\displaystyle{ A }[/math].
Несмотря на то, что данное определение скорее указывает на способ оценки неизвестной вероятности — путём большого количества однородных и независимых наблюдений — тем не менее в таком определении отражено содержание понятия вероятности. А именно, если событию приписывается некоторая вероятность, как объективная мера его возможности, то это означает, что при фиксированных условиях и многократном повторении мы должны получить частоту его появления, близкую к [math]\displaystyle{ p }[/math] (тем более близкую, чем больше наблюдений). Собственно, в этом заключается исходный смысл понятия вероятности. В основе лежит объективистский взгляд на явления природы. Ниже будут рассмотрены так называемые законы больших чисел, которые дают теоретическую основу (в рамках излагаемого ниже современного аксиоматического подхода) в том числе для частотной оценки вероятности.
Философские проблемы обоснования
К моменту создания теории вероятностей основой математики были два класса объектов — числа и геометрические фигуры. Для теории вероятностей потребовалось добавить в этот список совершенно особый объект: случайное событие, а также тесно связанные с ним понятия (вероятность, случайная величина и др.). Своеобразие новой науки проявлялось и в том, что её утверждения носили не безусловный характер, как ранее было принято в математике, а предположительно-вероятностный. Поэтому долгое время не прекращались споры о том, можно ли считать идеализированное событие математическим понятием (и тогда теория вероятностей есть часть математики) или же это факт, наблюдаемый в опыте (и тогда теорию вероятностей следует отнести к естественным наукам).
По мнению Давида Гильберта, теория вероятностей родственна механике, то есть представляет собой математизированную «физическую дисциплину»[6]. Август де Морган и его последователь У. С. Джевонс считали базовым понятием «субъективную вероятность», то есть количественную меру нашего понимания предмета исследования, и связывали теорию вероятностей с логикой[7]. Проблемы, связанные с неоднозначной субъективной вероятностью, неоднократно обсуждались, их часто формулируют в виде «вероятностных парадоксов» (см., например, «парадокс трёх узников» или «парадокс мальчика и девочки»). Формализацию субъективной вероятности, совместимую с колмогоровской, предложили Бруно де Финетти (1937) и Леонард Сэвидж (1954).
Во второй половине XX века Альфред Реньи и А. Н. Колмогоров исследовали возможность дать обоснование теории вероятностей на базе теории информации[8]. В наши дни «сложилось чёткое понимание того, что теория вероятностей является подлинно математической наукой, имеющей вместе с тем самые тесные и непосредственные связи с широким спектром наук о природе, а также с техническими и социально-экономическими дисциплинами»[9].
Несмотря на доказанную практикой эффективность вероятностных методов, роль случайности в природе, причина и границы статистической устойчивости остаются предметом дискуссий[10]. «За 200 лет, прошедших со времен Лапласа и Гаусса, наука не добилась продвижения в фундаментальном вопросе — когда возникает статистическая устойчивость»[11].
Математическая теория вероятностей
Математическая теория вероятностей является методологией изучения вероятностей независимо от того, какое выбрано определение вероятности или интерпретация вероятности. Математическая теория вероятности предоставляет математическую методологию для, во-первых, установления вероятности определенных событий (См. Случайное событие), когда известны вероятности всех возможных исходов эксперимента и, во-вторых, изменения оценки вероятности события при получении дополнительной информации, относящейся к данному событию.
Свойства вероятности
Основные свойства вероятности проще всего определить, исходя из аксиоматического определения вероятности.
1) вероятность невозможного события (пустого множества [math]\displaystyle{ \varnothing }[/math]) равна нулю:
Это следует из того, что каждое событие можно представить как сумму этого события и невозможного события, что в силу аддитивности и конечности вероятностной меры означает, что вероятность невозможного события должна быть равна нулю.
2) для достоверного события все случаи являются благоприятными:
3) если событие A включается («входит») в событие B, то есть [math]\displaystyle{ A \subset B }[/math], то есть наступление события A влечёт также наступление события B, то:
Это следует из неотрицательности и аддитивности вероятностной меры, так как событие [math]\displaystyle{ B }[/math], возможно, «содержит» кроме события [math]\displaystyle{ A }[/math] ещё какие-то другие события, несовместные с [math]\displaystyle{ A }[/math].
4) вероятность каждого события [math]\displaystyle{ A }[/math] находится от 0 до 1, то есть удовлетворяет неравенствам:
Первая часть неравенства (неотрицательность) утверждается аксиоматически, а вторая следует из предыдущего свойства с учётом того, что любое событие «входит» в [math]\displaystyle{ X }[/math], а для [math]\displaystyle{ X }[/math] аксиоматически предполагается [math]\displaystyle{ \mathbf{P}\{X\}=1 }[/math].
5) вероятность наступления события [math]\displaystyle{ B\setminus A }[/math], где [math]\displaystyle{ A \subset B }[/math], заключающегося в наступлении события [math]\displaystyle{ B }[/math] при одновременном ненаступлении события [math]\displaystyle{ A }[/math], равна:
Это следует из аддитивности вероятности для несовместных событий и из того, что события [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B \setminus A }[/math] являются несовместными по условию, а их сумма равна событию [math]\displaystyle{ B }[/math].
6) вероятность события [math]\displaystyle{ \bar{A} }[/math], противоположного событию [math]\displaystyle{ A }[/math], равна:
Это следует из предыдущего свойства, если в качестве множества [math]\displaystyle{ B }[/math] использовать всё пространство [math]\displaystyle{ X }[/math] и учесть, что [math]\displaystyle{ \mathbf{P}\{X\}=1 }[/math].
7) Для попарно несовместимых событий [math]\displaystyle{ A_1, A_2, A_3, ... A_N }[/math] вероятность суммы событий равна сумме их вероятностей:
8) (теорема сложения вероятностей) вероятность наступления хотя бы одного из (то есть суммы) произвольных (не обязательно несовместных) двух событий [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] равна:
Это свойство можно получить, если представить объединение двух произвольных множеств как объединение двух непересекающихся — первого и разности между вторым и пересечением исходных множеств: [math]\displaystyle{ A + B=A +(B \setminus (A B)) }[/math]. Отсюда учитывая аддитивность вероятности для непересекающихся множеств и формулу для вероятности разности (см. свойство 5) множеств, получаем требуемое свойство. Формула теоремы распространяется на любое конечное количество слагаемых.
Условная вероятность
Вероятность наступления события [math]\displaystyle{ A }[/math], при условии наступления события [math]\displaystyle{ B }[/math], называется условной вероятностью [math]\displaystyle{ A }[/math] (при данном условии) и обозначается [math]\displaystyle{ \Pr(A\mid B) }[/math].
Формула Байеса
Наиболее просто вывести формулу определения условной вероятности исходя из классического определения вероятности. Для данных двух событий [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] рассмотрим следующий набор несовместных событий: [math]\displaystyle{ A\overline{B}, AB, \overline{A}B, \overline{A}\cdot \overline{B} }[/math], которые исчерпывают все возможные варианты исходов (такой набор событий называют полным — см. ниже). Общее количество равновозможных исходов равно [math]\displaystyle{ n }[/math]. Если событие [math]\displaystyle{ B }[/math] уже наступило, то равновозможные исходы ограничивается лишь двумя событиями [math]\displaystyle{ AB, \overline{A}B }[/math], что эквивалентно событию [math]\displaystyle{ B }[/math]. Пусть количество этих исходов равно [math]\displaystyle{ n_B }[/math]. Из этих исходов событию [math]\displaystyle{ A }[/math] благоприятствуют лишь те, что связаны с событием [math]\displaystyle{ AB }[/math]. Количество соответствующих исходов обозначим [math]\displaystyle{ n_{AB} }[/math]. Тогда согласно классическому определению вероятности вероятность события [math]\displaystyle{ A }[/math] при условии наступления события [math]\displaystyle{ B }[/math] будет равна [math]\displaystyle{ \Pr(A\mid B)=n_{AB}/n_B }[/math], разделив числитель и знаменатель на общее количество равновозможных исходов [math]\displaystyle{ n }[/math] и повторно учитывая классическое определение, окончательно получим формулу условной вероятности:
- [math]\displaystyle{ \Pr(A\mid B)=\frac {\Pr(AB)}{\Pr(B)} }[/math].
Отсюда следует так называемая теорема умножения вероятностей:
- [math]\displaystyle{ \Pr(AB)=\Pr(B)\cdot \Pr(A\mid B) }[/math].
В силу симметрии, аналогично можно показать, что также [math]\displaystyle{ \Pr(AB)=\Pr(A)\cdot \Pr(B\mid A) }[/math], отсюда следует формула Байеса:
- [math]\displaystyle{ \Pr(A\mid B)=\frac {\Pr(A)\cdot \Pr(B\mid A)}{\Pr(B)} }[/math]
Независимость событий
События A и B называются независимыми, если вероятность наступления одного из них не зависит от того, наступило ли другое событие. С учётом понятия условной вероятности это означает, что [math]\displaystyle{ \Pr(A\mid B)=\Pr(A) }[/math], откуда следует, что для независимых событий выполняется равенство
- [math]\displaystyle{ \Pr(AB)=\Pr(A)\cdot \Pr(B). }[/math]
В рамках аксиоматического подхода данная формула принимается как определение понятия независимости двух событий. Для произвольной (конечной) совокупности событий [math]\displaystyle{ A_i }[/math] их независимость в совокупности означает, что вероятность их совместного наступления равна произведению их вероятностей:
- [math]\displaystyle{ \Pr(A_1A_2\dotsb A_n)=\Pr(A_1) \Pr(A_2)\dotsb \Pr(A_n). }[/math]
Выведенная (в рамках классического определения вероятности) выше формула условной вероятности при аксиоматическом определении вероятности является определением условной вероятности. Соответственно, как следствие определений независимых событий и условной вероятности, получается равенство условной и безусловной вероятностей события.
Полная вероятность и формула Байеса
Набор событий [math]\displaystyle{ A_i }[/math], хотя бы одно из которых обязательно (с единичной вероятностью) наступит в результате испытания, называется полным. Это означает, что набор таких событий исчерпывает все возможные варианты исходов. Формально в рамках аксиоматического подхода это означает, что [math]\displaystyle{ \sum_i A_i=X }[/math]. Если эти события несовместны, то в рамках классического определения это означает, что сумма количеств элементарных событий, благоприятствующих тому или иному событию, равно общему количеству равновозможных исходов.
Пусть имеется полный набор попарно несовместных событий [math]\displaystyle{ A_i }[/math]. Тогда для любого события [math]\displaystyle{ B }[/math] верна следующая формула расчёта его вероятности (формула полной вероятности):
- [math]\displaystyle{ \Pr(B)=\sum^n_{i=1} \Pr(B\mid A_i)\Pr(A_i) }[/math]
Тогда вышеописанную формулу Байеса с учётом полной вероятности можно записать в следующем виде:
[math]\displaystyle{ \Pr(A_j\mid B)=\frac {\Pr(A_j)\cdot \Pr(B\mid A_j)}{\sum^n_{i=1} \Pr(A_i)\cdot \Pr(B\mid A_i)} }[/math]
Данная формула является основой альтернативного подхода к вероятности — байесовского или субъективного подхода (см. ниже).
Вероятность и случайные величины
Важнейший частный случай применения «вероятности» — вероятность получения в результате испытания или наблюдения того или иного числового значения некоторой измеряемой (наблюдаемой) величины. Предполагается, что до проведения испытания (наблюдения) точное значение этой величины неизвестно, то есть имеется явная неопределённость, связанная обычно (за исключением квантовой физики) с невозможностью учёта всех факторов, влияющих на результат. Такие величины называют случайными. В современной теории вероятностей понятие случайной величины формализуется и она определяется как функция «случая» — функция на пространстве элементарных событий. При таком определении наблюдаются не сами элементарные события, а «реализации», конкретные значения случайной величины. Например, при подбрасывании монетки выпадает «решка» или «орел». Если ввести функцию, ставящую в соответствие «решке» — число 1, а «орлу» — 0, то получим случайную величину как функцию указанных исходов. При этом понятие случайной величины обобщается на функции, отображающие пространство элементарных событий в некоторое пространство произвольной природы, соответственно можно ввести понятия случайного вектора, случайного множества и т. д. Однако, обычно под случайной величиной подразумевают именно числовую функцию (величину).
Отвлекаясь от описанной формализации под пространством элементарных событий можно понимать множество возможных значений случайной величины. Сигма-алгеброй подмножеств являются произвольные интервалы на числовой оси, их всевозможные (счётные) объединения и пересечения. Вероятностную меру называют в данном случае распределением случайной величины. Достаточно задать вероятностную меру для интервалов вида [math]\displaystyle{ (-\infty;x) }[/math], поскольку произвольный интервал можно представить как объединение или пересечение таких интервалов. Предполагается, что каждому интервалу вышеуказаного вида поставлена в соответствие некоторая вероятность [math]\displaystyle{ F(x)=P(X\lt x) }[/math], то есть некоторая функция возможных значений [math]\displaystyle{ x }[/math]. Такую функцию называют интегральной, кумулятивной или просто функцией распределения случайной величины. В случае дифференцируемости этой функции (в этом случае соответствующие случайные величины называются непрерывными) вводится также аналитически часто более удобная функция — плотность распределения — производная функции распределения: [math]\displaystyle{ f(x)=F'(x) }[/math]. В случае дискретных случайных величин вместо плотности (она не существует в этом случае) можно использовать непосредственно ряд распределения [math]\displaystyle{ p_i }[/math] — вероятность [math]\displaystyle{ i }[/math]-го значения. Соответствующая функция распределения будет связана с рядом распределения как: [math]\displaystyle{ F(x)=\sum_{x_i\lt x} p_i }[/math]. Вероятность того, что случайная величина окажется в некотором интервале [math]\displaystyle{ (x_1,x_2) }[/math] определяется как разность значений функции распределения на концах этого интервала. Через плотность распределения — это соответствующий интеграл от плотности на данном интервале (для дискретной случайной величины — просто сумма вероятностей значений из этого интервала).
Распределение случайной величины даёт её полную характеристику. Однако, часто используют отдельные характеристики этого распределения. В первую очередь это математическое ожидание случайной величины — среднее ожидаемое значение случайной величины с учётом взвешивания по вероятностям появления тех или иных значений, и дисперсия или вариация — средний квадрат отклонения случайной величины от её математического ожидания. В некоторых случаях используются и иные характеристики, среди которых важное значение имеют асимметрия и эксцесс. Описанные показатели являются частными случаями так называемых моментов распределения.
Существуют некоторые стандартные законы распределения, часто используемые на практике. В первую очередь — это нормальное распределение (распределение Гаусса). Оно полностью характеризуется двумя параметрами — математическим ожиданием и дисперсией. Его широкое использование связано, в частности, с так называемыми предельными теоремами (см. ниже). При проверке гипотез часто возникают распределения Хи-квадрат, распределение Стьюдента, распределение Фишера. При анализе дискретных случайных величин рассматриваются биномиальное распределение, распределение Пуассона и др. Также часто рассматривается гамма-распределение, частным случаем которого является экспоненциальное распределение, а также указанное выше распределение Хи-квадрат Естественно, используемые на практике распределения не ограничиваются только этими распределениями.
Часто на практике исходя из априорных соображений делается предположение, что распределение вероятностей данной случайной величины относится к некоторому известному с точностью до параметров распределению. Например, к тому же нормальному распределению, но с неизвестным математическим ожиданием и дисперсией (эти два параметра однозначно определяют все нормальное распределение). Задачей статистических наук (математическая статистика, эконометрика и т. д.) в таком случае является оценка значений этих параметров наиболее эффективным (точным) способом. Существуют критерии, с помощью которых можно установить степень «истинности» соответствующих методов оценки. Обычно требуется как минимум состоятельность оценки, несмещённость и эффективность в некотором классе оценок.
На практике применяются также непараметрические методы оценки распределений.
Законы больших чисел
Важнейшее значение в теории вероятностей и в её приложениях имеет группа теорем, объединяемых обычно под названием «закон больших чисел» или предельных теорем. Не прибегая к строгим формулировкам, можно сказать, например, что при некоторых слабых условиях среднее значение независимых одинаково распределенных случайных величин стремится к их математическому ожиданию при достаточно большом количестве этих случайных величин. Если в качестве совокупности случайных величин рассматривать независимые наблюдения одной и той же случайной величины, то это означает, что среднее по выборочным наблюдениям должно стремиться к истинному (неизвестному) математическому ожиданию этой случайной величины. Это закон больших чисел в форме Чебышёва. Это даёт основу для получения соответствующих оценок.
Весьма частным, но очень важным случаем является схема Бернулли — независимые испытания, в результате которых некоторое событие либо происходит, либо нет. Предполагается, что в каждом испытании вероятность наступления события одинакова и равна [math]\displaystyle{ p }[/math] (но она неизвестна). Эту схему можно свести к средней величине, если ввести формальную случайную величину X, являющуюся индикатором наступления события: она равна 1 при наступлении события и 0 при ненаступлении события. Для такой случайной величины математическое ожидание также равно [math]\displaystyle{ p }[/math]. Тогда среднее значение такой случайной величины — это фактически частота наступления события [math]\displaystyle{ A }[/math]. Согласно вышеуказанной теореме это среднее (частота) должно стремиться к истинному математическому ожиданию этой случайной величины, то есть к неизвестной вероятности [math]\displaystyle{ p }[/math]. Таким образом, с увеличением количества наблюдений частоту наступления события можно использовать в качестве хорошей оценки неизвестной вероятности. Это так называемый закон больших чисел Бернулли. Это закон был исторически первым законом больших чисел. Более строго можно как минимум утверждать, что вероятность того, что частота будет отклоняться от [math]\displaystyle{ p }[/math] на некоторую величину [math]\displaystyle{ \varepsilon }[/math], стремится к нулю для любых значений [math]\displaystyle{ \varepsilon }[/math]. Более общий результат (теорема Гливенко — Кантелли) заключается в том, что эмпирическое распределение в целом стремится к истинному распределению вероятностей с ростом количества наблюдений.
Наряду с указанными теоремами существует так называемая центральная предельная теорема, которая даёт предельное распределение вероятностей для средней, а именно, при определённых слабых условиях среднее значение наблюдений случайной величины при достаточно большом количестве наблюдений имеют нормальное распределение (независимо от исходного распределения самой случайной величины). Например, такое имеет место для среднего значения независимых одинаково распределенных случайных величин. В частности эта теорема применима и к схеме Бернулли. Вообще количество появлений события A в n испытаниях имеет биномиальное распределение, однако при достаточно большом количестве наблюдений это распределение согласно указанной теореме стремится к нормальному распределению в данном случае с математическим ожиданием [math]\displaystyle{ np }[/math] и дисперсией [math]\displaystyle{ np(1-p) }[/math], где [math]\displaystyle{ p }[/math] — вероятность появления события А в каждом испытании. Это утверждается в локальной и интегральной теоремах Муавра-Лапласа. Отсюда же следует и указанный выше вывод, а именно: среднее значение случайной величины-индикатора события — то есть частота появления события в испытаниях — будет иметь в пределе математическое ожидание [math]\displaystyle{ p }[/math] и дисперсию [math]\displaystyle{ p(1-p)/n }[/math], которая стремится к нулю с ростом количества испытаний. Таким образом, частота стремится к истинной вероятности наступления события при увеличении количества независимых испытаний, причем мы знаем распределение частоты при достаточно большом количестве наблюдений (строго говоря в пределе частота [math]\displaystyle{ \hat{p} }[/math] перестает быть случайной величиной, поэтому корректней говорить о распределении не частоты, а величины [math]\displaystyle{ \sqrt {n} \cdot (\hat{p}-p) }[/math] — именно она в пределе имеет нормальное распределение с нулевым математическим ожиданием и дисперсией [math]\displaystyle{ p(1-p) }[/math][источник не указан 1347 дней]).
Байесовский подход к вероятности
В основе вышеописанного объективного (частотного) подхода лежит предположение о наличии объективной неопределённости, присущей изучаемым явлениям. В альтернативном байесовском подходе неопределённость трактуется субъективно — как мера нашего незнания. В рамках байесовского подхода под вероятностью понимается степень уверенности в истинности суждения — субъективная вероятность.
Идея байесовского подхода заключается в переходе от априорных знаний к апостерирорным с учётом наблюдаемых явлений. Суть байесовского подхода следует из описанной выше формулы Байеса. Пусть имеются полный набор гипотез [math]\displaystyle{ A_i }[/math], причем из априорных соображений оценены вероятности справедливости этих гипотез (степень уверенности в них). Полнота набора означает, что хотя бы одна из этих гипотез верна и сумма априорных вероятностей [math]\displaystyle{ \Pr(A_i) }[/math] равна 1. Также для изучаемого события [math]\displaystyle{ B }[/math] из априорных соображений известны вероятности [math]\displaystyle{ \Pr(B\mid A_i) }[/math] — вероятности наступления события [math]\displaystyle{ B }[/math], при условии справедливости гипотезы [math]\displaystyle{ A_i }[/math]. Тогда с помощью формулы Байеса можно определить апостериорные вероятности [math]\displaystyle{ \Pr(A_j\mid B) }[/math] — то есть степень уверенности в справедливости гипотезы [math]\displaystyle{ A_j }[/math] после того, как событие [math]\displaystyle{ B }[/math] произошло. Собственно, процедуру можно повторить принимая новые вероятности за априорные и снова делая испытание, тем самым итеративно уточняя апостериорные вероятности гипотез.
В частности в отличие от базового подхода к оценке распределений случайных величин, где предполагается, что на основе наблюдений оцениваются значения неизвестных параметров распределений, в байесовском подходе предполагается что параметры — тоже случайные величины (с точки зрения нашего незнания их значений). В качестве гипотез выступают те или иные возможные значения параметров и предполагаются данными некоторые априорные плотности неизвестных параметров [math]\displaystyle{ p(\theta) }[/math]. В качестве оценки неизвестных параметров выступает апостериорное распределение. Пусть в результате наблюдений получены некоторые значения [math]\displaystyle{ x }[/math] изучаемой случайной величины. Тогда для значений данной выборки предполагая известным правдоподобие — вероятность (плотность) получения данной выборки при данных значениях параметров [math]\displaystyle{ p(x\mid \theta) }[/math], по формуле Байеса (в данном случае непрерывный аналог этой формулы, где вместо вероятностей участвуют плотности, а суммирование заменено интегрированием) получим апостериорную вероятность (плотность) [math]\displaystyle{ p(\theta\mid x) }[/math] параметров при данной выборке.
Вероятность, информация и энтропия
Пусть имеется [math]\displaystyle{ N }[/math] равновероятных исходов. Степень неопределённости опыта в этой ситуации можно характеризовать числом [math]\displaystyle{ H=\log_2 N }[/math]. Этот показатель, введённый инженером-связистом Хартли в 1928 году характеризует информацию, которую необходимо иметь, чтобы знать какой именно из [math]\displaystyle{ N }[/math] равновозможных вариантов имеет место, то есть свести неопределённость опыта к нулю. Простейший способ выяснить это — задать вопросы типа «номер исхода меньше половины N», если да, то аналогичный вопрос можно задать и для одной из половин (в зависимости от ответа на вопрос) и т. д. Ответ на каждый подобный вопрос сокращает неопределённость. Всего таких вопросов для полного снятия неопределённости понадобится как раз [math]\displaystyle{ H }[/math]. Более формально, номера исходов можно представить в двоичной системе счисления, тогда [math]\displaystyle{ H }[/math] — это количество необходимых разрядов для такого представления, то есть количество информации в битах, с помощью которого можно закодировать реализацию равновозможных исходов. В общем случае, единица информации может быть и иной, поэтому логарифм теоретически можно использовать с любым основанием (например, если мы хотим изменять информацию в байтах, то нужно использовать логарифм по основанию 256).
Пусть теперь задана некоторая случайная величина α, распределённая на [math]\displaystyle{ N }[/math] исходах [math]\displaystyle{ a_1,a_2,\dotsc,a_N }[/math] с вероятностями [math]\displaystyle{ p_1,p_2,\dotsc,p_N }[/math], [math]\displaystyle{ \textstyle{\sum_i p_i = 1} }[/math], тогда количество информации в случайной величине α определяется следующим образом (формула Шеннона):
где [math]\displaystyle{ \mathbb E }[/math] — знак математического ожидания.
При равновероятных исходах ([math]\displaystyle{ p_i=1/N }[/math]) получаем уже известное соотношение [math]\displaystyle{ H(\alpha)=\log_2 N }[/math]. Для непрерывной случайной величины в этой формуле необходимо использовать вместо вероятностей — функцию плотности распределения и вместо суммы — соответствующий интеграл.
Указанную величину называют информацией, информационным количеством, информационной энтропией и т. д. Такое определение информации абстрагируется от какого-либо содержания информации, содержания конкретных исходов. Информационное количество определяется только на основе вероятностей. Величину [math]\displaystyle{ H }[/math] Шеннон назвал энтропией в связи со схожестью с термодинамической энтропией. Последнее понятие впервые ввёл Рудольф Клаузис в 1865 году, а вероятностное толкование энтропии дал Людвиг Больцман в 1877 году. Энтропия макроскопической системы — это мера числа возможных микросостояний для данного макросостояния (более конкретно она пропорциональна логарифму количества микросостояний — статистическому весу) или мера «внутреннего беспорядка» макросистемы.
Вероятность и квантовая физика
В квантовой механике состояние системы (частицы) характеризуется волновой функцией (вообще говоря вектором состояния) — комплекснозначной функцией «координат», квадрат модуля которого интерпретируется как плотность вероятности получения заданных значений «координат». Согласно современным представлениям вероятностное определение состояния является полным и причиной вероятностного характера квантовой физики не являются какие-либо «скрытые» факторы — это связано с природой самих процессов. В квантовой физике оказываются возможными любые взаимопревращения различных частиц, не запрещённые теми или иными законами сохранения. И эти взаимопревращения подчиняются закономерностям — вероятностным закономерностям. По современным представлениям принципиально невозможно предсказать ни момент взаимопревращения, ни конкретный результат. Можно лишь говорить о вероятностях тех или иных процессов превращения. Вместо точных классических величин в квантовой физике возможна только оценка средних значений (математических ожиданий) этих величин, например, среднее время жизни частицы.
См. также
- Вероятность перехода
- Измерение (квантовая механика)
- Квантовая вероятность
- Мера множества
- Метод Монте-Карло
- Принцип неопределённости
- Риск
- Случайная величина
- Случайность
- Условная вероятность
- Формула Бернулли
- Формула полной вероятности
Примечания
- ↑ 1,0 1,1 В. С. Соловьёв Вероятность // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
- ↑ Так, например, в юриспруденции, когда подлежащий суду факт устанавливается на основании свидетельских показаний, он всегда остаётся, строго говоря, лишь вероятным, и необходимо знать, насколько эта вероятность значительна. В римском праве здесь принималось четверное деление: probatio plena (где вероятность практически переходит в достоверность), далее — probatio minus plena, затем — probatio semiplena major и, наконец, probatio semiplena minor. В римском языке слово вероятность этимологически родственно слову честность.
- ↑ 3,0 3,1 Гнеденко Б. В. Курс теории вероятностей: Учебник — Изд. 6-е, перераб. и доп. — М.: Наука. Гл. ред. физ. мат. лит., 1988 — 448с.- с.386-387
- ↑ Abrams, William, A Brief History of Probability, Second Moment, <http://www.secondmoment.org/articles/probability.php>. Проверено 10 ноября 2017. Архивная копия от 24 июля 2017 на Wayback Machine
- ↑ Точнее предполагается, что мера определена как минимум на некотором полукольце подмножеств и далее доказывается, что она в таком случае определена и на минимальном кольце, содержащем это полукольцо и более того, эту меру можно продолжить на сигма-алгебру подмножеств
- ↑ Григорян А. А. Теория вероятностей Р. фон Мизеса: история и философско-методологические основания // Историко-математические исследования. — М.: Янус-К, 1999. — № 38 (4). — С. 198—220.
- ↑ Математика XIX века. Том I, 1978, с. 238—239.
- ↑ Гнеденко Б. В., 2005, с. 407—408.
- ↑ Математика XIX века. Том I, 1978, с. 240.
- ↑ Алимов Ю. И., Кравцов Ю. А. Является ли вероятность «нормальной» физической величиной? // Успехи физических наук. — М., 1992. — № 162 (7). — С. 149—182. Архивировано 20 октября 2020 года.
- ↑ Тутубалин В. Н. Вероятность, компьютеры и обработка результатов эксперимента // Успехи физических наук. — М., 1993. — № 163 (7). — С. 93—109. Архивировано 21 января 2021 года.
Литература
- Альфред Реньи. Письма о вероятности / Пер. с венг. Д. Сааса и А. Крамли под ред. Б. В. Гнеденко. — М.: Мир, 1970.
- Вероятность в физике // Энциклопедический словарь юного физика / В. А. Чуянов (сост.). — М.: Педагогика, 1984. — С. 39. — 352 с.
- Гнеденко Б. В. Курс теории вероятностей. — М., 2007. — 42 с.
- Гнеденко Б. В. Очерк по истории теории вероятностей // Курс теории вероятностей. 8-е изд. — Μ.: Едиториал УРСС, 2005. — 448 с. — ISBN 5-354-01091-8. — С. 366—435.
- Купцов В. И. Детерминизм и вероятность. — М., 1976. — 256 с.
- Математика XIX века. Математическая логика, алгебра, теория чисел, теория вероятностей. Том I / Под ред. А. Н. Колмогорова, А. П. Юшкевича. — М.: Наука, 1978. — 255 с.