1.4 Появление аксиоматического определения понятия вероятности

На сегодняшний день закрепилось определение понятия вероятности данное А.Н. Колмогоровым в книге «Основные понятия теории вероятностей» (1933 г.) аксиоматически.

Уже были вскрыты глубокие аналогии между понятиями теории вероятностей и понятиями метрической теории функций. Были установлены аналогии между множеством и событием, мерой множества и вероятностью события, интегралом и математическим ожиданием и др.

Возникла потребность в аксиоматизации теории вероятностей исходя из теоретико-множественных представлений, что и было выполнено в книге Колмогорова. После этой аксиоматизации теория вероятностей заняла равноправное место среди других математических дисциплин.

Рассмотрим аксиоматику Колмогорова.

Пусть имеются наблюдения или испытания, которые хотя бы теоретически допускают возможность неограниченного повторения. Каждое отдельное испытание может иметь тот или иной исход в зависимости от случая. Совокупность всех этих возможных исходов образует множество E, которое является первым основным понятием аксиоматики. Это множество E называется множеством элементарных событий. Что из себя представляют события, являющиеся элементами этого множества, для дальнейшего логического построения совершенно безразлично, как безразлично для аксиоматического построения геометрии, что мы будем понимать под словами «точка», «прямая» и т.п. Только после такого аксиоматического построения теория вероятностей допускает различные интерпретации, в том числе и не связанные со случайными событиями. Любое подмножество множества E, т.е. любую совокупность возможных исходов, называют событием. Или другими словами: случайными событиями называются элементы множества F подмножеств из E. Далее рассматриваются не все события, а только некоторое тело событий. Теория вероятностей занимается только теми событиями, частота которых устойчива. Это положение в аксиоматической теории Колмогорова формализуется таким образом, что каждому событию, которое мы рассматриваем, ставится в соответствие некоторое положительное число, которое называется вероятностью данного события. При этом абстрагируются от всего того, что помогало сформулировать это понятие, например, от частоты. Это даёт возможность интерпретировать вероятность не только вероятностным способом. Тем самым значительно расширяются возможности вероятностей.

Сформулируем аксиомы Колмогорова [1,5].

Если случайные события A и B входят в состав F, то события A или B, A и B, не A и не B также содержатся в F.

F содержит в качестве элементов множество E и все отдельные его элементы.

Каждому элементу A из F поставлено в соответствие неотрицательное вещественное число P(A), называемое вероятностью события A.

P(E)=1.

Если A и B не пересекаются и принадлежат F, то P (A+B)=P(A)+P(B). Для бесконечных множеств F имеется ещё одна аксиома, которая для конечных множеств является следствием пяти приведённых аксиом.

Если пересечение последовательности событий пусто, то .

Аксиоматика Колмогорова способствовала тому, что теория вероятностей окончательно укрепилась как полноправная математическая дисциплина.

Проследив динамику развития и формирования понятия вероятности можно сделать вывод, что оно вырабатывалось сложными путями. Математики и философы, политики и просто увлечённые теорией вероятностей учёные пытались облечь понятие вероятности в конкретную форму. Давая правильные и ошибочные определения понятию вероятности, они маленькими шагами продвигались к верному решению этого вопроса. Но даже в хорошо и правильно сформулированных вариантах классического определения вероятности можно обнаружить пробелы и упущения. Например, почти во всех данных вариантах классического определения отсутствует условие конечности числа равновозможных событий, т.е. условие, что . Возможно это условие не оговаривалось, но подразумевалось. С построением системы аксиом для определения понятия вероятности задача некоторой несостоятельности классического определения вероятности была решена. Однако наблюдаются попытки дать трактовку вероятности с более широких позиций, в том числе и с позиций теории информации.