Almost surely

In probability theory, an event is said to happen almost surely (sometimes abbreviated as a.s.) if it happens with probability 1 (with respect to the probability measure).<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> In other words, the set of outcomes on which the event does not occur has probability 0, even though the set might not be empty. The concept is analogous to the concept of "almost everywhere" in measure theory. In probability experiments on a finite sample space with a non-zero probability for each outcome, there is no difference between almost surely and surely (since having a probability of 1 entails including all the sample points); however, this distinction becomes important when the sample space is an infinite set,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> because an infinite set can have non-empty subsets of probability 0.

Some examples of the use of this concept include the strong and uniform versions of the law of large numbers, the continuity of the paths of Brownian motion, and the infinite monkey theorem. The terms almost certainly (a.c.) and almost always (a.a.) are also used. Almost never describes the opposite of almost surely: an event that happens with probability zero happens almost never.<ref name=Gradel>Template:Cite book</ref>

Formal definition

Let <math>(\Omega,\mathcal{F},P)</math> be a probability space. An event <math>E \in \mathcal{F}</math> happens almost surely if <math>P(E)=1</math>. Equivalently, <math>E</math> happens almost surely if the probability of <math>E</math> not occurring is zero: <math>P(E^C) = 0</math>. More generally, any set <math>E \subseteq \Omega</math> (not necessarily in <math>\mathcal{F}</math>) happens almost surely if <math>E^C</math> is contained in a null set: a subset <math>N</math> in <math>\mathcal F</math> such that Template:Nowrap<ref name="Jacod">Template:Cite book</ref> The notion of almost sureness depends on the probability measure <math>P</math>. If it is necessary to emphasize this dependence, it is customary to say that the event <math>E</math> occurs P-almost surely, or almost surely <math>\left(\!P\right)</math>.

Illustrative examples

In general, an event can happen "almost surely", even if the probability space in question includes outcomes which do not belong to the event—as the following examples illustrate.

Throwing a dart

Imagine throwing a dart at a unit square (a square with an area of 1) so that the dart always hits an exact point in the square, in such a way that each point in the square is equally likely to be hit. Since the square has area 1, the probability that the dart will hit any particular subregion of the square is equal to the area of that subregion. For example, the probability that the dart will hit the right half of the square is 0.5, since the right half has area 0.5.

Next, consider the event that the dart hits exactly a point in the diagonals of the unit square. Since the area of the diagonals of the square is 0, the probability that the dart will land exactly on a diagonal is 0. That is, the dart will almost never land on a diagonal (equivalently, it will almost surely not land on a diagonal), even though the set of points on the diagonals is not empty, and a point on a diagonal is no less possible than any other point.

Tossing a coin repeatedly

Template:Seealso Consider the case where a (possibly biased) coin is tossed, corresponding to the probability space <math>(\{H,T\}, 2^{\{H, T\}}, P)</math>, where the event <math>\{H\}</math> occurs if a head is flipped, and <math>\{T\}</math> if a tail is flipped. For this particular coin, it is assumed that the probability of flipping a head is <math>P(H) = p\in (0,1)</math>, from which it follows that the complement event, that of flipping a tail, has probability <math>P(T) = 1 - p</math>.

Now, suppose an experiment were conducted where the coin is tossed repeatedly, with outcomes <math>\omega_1,\omega_2,\ldots</math> and the assumption that each flip's outcome is independent of all the others (i.e., they are independent and identically distributed; i.i.d). Define the sequence of random variables on the coin toss space, <math>(X_i)_{i\in\mathbb{N}}</math> where <math>X_i(\omega)=\omega_i</math>. i.e. each <math>X_i</math> records the outcome of the <math>i</math>th flip.

In this case, any infinite sequence of heads and tails is a possible outcome of the experiment. However, any particular infinite sequence of heads and tails has probability 0 of being the exact outcome of the (infinite) experiment. This is because the i.i.d. assumption implies that the probability of flipping all heads over <math>n</math> flips is simply <math>P(X_i = H, \ i=1,2,\dots,n)=\left(P(X_1 = H)\right)^n = p^n</math>. Letting <math>n\rightarrow\infty</math> yields 0, since <math>p\in (0,1)</math> by assumption. The result is the same no matter how much we bias the coin towards heads, so long as we constrain <math>p</math> to be strictly between 0 and 1. In fact, the same result even holds in non-standard analysis—where infinitesimal probabilities are allowed.<ref>Template:Cite journal</ref>

Moreover, the event "the sequence of tosses contains at least one <math>T</math>" will also happen almost surely (i.e., with probability 1). But if instead of an infinite number of flips, flipping stops after some finite time, say 1,000,000 flips, then the probability of getting an all-heads sequence, <math>p^{1,000,000}</math>, would no longer be 0, while the probability of getting at least one tails, <math>1 - p^{1,000,000}</math>, would no longer be 1 (i.e., the event is no longer almost sure).

Asymptotically almost surely

In asymptotic analysis, a property is said to hold asymptotically almost surely (a.a.s.) if over a sequence of sets, the probability converges to 1. This is equivalent to convergence in probability. For instance, in number theory, a large number is asymptotically almost surely composite, by the prime number theorem; and in random graph theory, the statement "<math>G(n,p_n)</math> is connected" (where <math>G(n,p)</math> denotes the graphs on <math>n</math> vertices with edge probability <math>p</math>) is true a.a.s. when, for some <math>\varepsilon > 0</math>

<math>p_n > \frac{(1+\varepsilon) \ln n} n.</math>   <ref name=RandGraph>Template:Cite journal</ref>

In number theory, this is referred to as "almost all", as in "almost all numbers are composite". Similarly, in graph theory, this is sometimes referred to as "almost surely".<ref name=Springer>Template:Cite book</ref>

See also

• Almost
• Almost everywhere, the corresponding concept in measure theory
• Convergence of random variables, for "almost sure convergence"
• With high probability
• Cromwell's rule, which says that probabilities should almost never be set as zero or one
• Degenerate distribution, for "almost surely constant"
• Infinite monkey theorem, a theorem using the aforementioned terms
• List of mathematical jargon

References

• Template:Cite book
• Template:Cite book