User:Boris Tsirelson/Sandbox1

In probability theory, the conventional mathematical model of randomness is a probability space. It formalizes three interrelated ideas by three mathematical notions. First, a sample point (called also elementary event), --- something to be chosen at random (outcome of experiment, state of nature, possibility etc.) Second, an event, --- something that will occur or not, depending on the chosen elementary event. Third, the probability of an event.

Alternative models of randomness (finitely additive probability, non-additive probability) are sometimes advocated in connection to various probability interpretations.

Introduction

The notion "probability space" provides a basis of the formal structure of probability theory. It may puzzle a non-mathematician for several reasons:

• it is called "space" but is far from geometry;

• it is said to provide a basis, but many people applying probability theory in practice neither understand nor need this quite technical notion.

These puzzling facts are explained below. First, a mathematical definition is given; it is quite technical. Second, an elementary case (finite probability space) is presented. Third, the puzzling facts are explained. Next topics are countably infinite probability spaces, and general probability spaces.

Definition

A probability space is a measure space such that the measure of the whole space is equal to 1.

In other words: a probability space is a triple $\textstyle (\Omega ,{\mathcal {F}},P)$ consisting of a set $\textstyle \Omega$ (called the sample space), a σ-algebra (called also σ-field) $\textstyle {\mathcal {F}}$ of subsets of $\textstyle \Omega$ (these subsets are called events), and a measure $\textstyle P$ on $\textstyle (\Omega ,{\mathcal {F}})$ such that $\textstyle P(\Omega )=1$ (called the probability measure).

Elementary level: finite probability space

On the elementary level, a probability space consists of a finite number $n$ of sample points $\omega _{1},\dots ,\omega _{n}$ and their probabilities $p_{1},\dots ,p_{n}$ --- positive numbers satisfying $p_{1}+\dots +p_{n}=1.$

The puzzling facts explained

Why "space"?

Fact: it is called "space" but is far from geometry.

Explanation: see Space (mathematics).

What is it good for?

Fact: it is said to provide a basis, but many people applying probability theory in practice do not need this notion.

Explanation 1. Likewise, one may say that points are of no use in geometry. Numerous formulas, connecting lengths and angles, are instrumental; points are not, they reign but do not rule.

However, axioms of geometry are formulated in terms of points (and some other notions). It would be very cumbersome and unnatural, if at all possible, to reformulate geometry without points.

Similarly, it would be very cumbersome and unnatural, if at all possible, to reformulate probability theory without a probability space.