In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a probability measure is a
real-valued function defined on a set of events in a
σ-algebra that satisfies
measure properties such as ''countable additivity''. The difference between a probability measure and the more general notion of measure (which includes concepts like
area
Area is the measure of a region's size on a surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while '' surface area'' refers to the area of an open surface or the boundary of a three-di ...
or
volume
Volume is a measure of regions in three-dimensional space. It is often quantified numerically using SI derived units (such as the cubic metre and litre) or by various imperial or US customary units (such as the gallon, quart, cubic inch) ...
) is that a probability measure must assign value 1 to the entire space.
Intuitively, the additivity property says that the probability assigned to the union of two disjoint (mutually exclusive) events by the measure should be the sum of the probabilities of the events; for example, the value assigned to the outcome "1 or 2" in a throw of a dice should be the sum of the values assigned to the outcomes "1" and "2".
Probability measures have applications in diverse fields, from physics to finance and biology.
Definition

The requirements for a
set function
In mathematics, especially measure theory, a set function is a function whose domain is a family of subsets of some given set and that (usually) takes its values in the extended real number line \R \cup \, which consists of the real numbers \R ...
to be a probability measure on a
σ-algebra are that:
*
must return results in the
unit interval returning
for the empty set and
for the entire space.
*
must satisfy the ''
countable additivity'' property that for all
countable
In mathematics, a Set (mathematics), set is countable if either it is finite set, finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function fro ...
collections
of pairwise
disjoint sets:
For example, given three elements 1, 2 and 3 with probabilities
and
the value assigned to
is
as in the diagram on the right.
The
conditional probability
In probability theory, conditional probability is a measure of the probability of an Event (probability theory), event occurring, given that another event (by assumption, presumption, assertion or evidence) is already known to have occurred. This ...
based on the intersection of events defined as:
satisfies the probability function requirements so long as
is not zero.
Probability measures are distinct from the more general notion of
fuzzy measures in which there is no requirement that the fuzzy values sum up to
and the additive property is replaced by an order relation based on
set inclusion.
Example applications
In many cases,
statistical physics uses ''probability measures'', but not all
measures it uses are probability measures.
[''A course in mathematics for students of physics, Volume 2'' by Paul Bamberg, Shlomo Sternberg 1991]
page 802
/ref>[''The concept of probability in statistical physics'' by Yair M. Guttmann 1999]
page 149
/ref>
''Market measures'' which assign probabilities to financial market spaces based on observed market movements are examples of probability measures which are of interest in mathematical finance
Mathematical finance, also known as quantitative finance and financial mathematics, is a field of applied mathematics, concerned with mathematical modeling in the financial field.
In general, there exist two separate branches of finance that req ...
; for example, in the pricing of financial derivatives. For instance, a risk-neutral measure is a probability measure which assumes that the current value of assets is the expected value
In probability theory, the expected value (also called expectation, expectancy, expectation operator, mathematical expectation, mean, expectation value, or first Moment (mathematics), moment) is a generalization of the weighted average. Informa ...
of the future payoff taken with respect to that same risk neutral measure (i.e. calculated using the corresponding risk neutral density function), and discounted at the risk-free rate. If there is a unique probability measure that must be used to price assets in a market, then the market is called a complete market.
Not all measures that intuitively represent chance or likelihood are probability measures. For instance, although the fundamental concept of a system in statistical mechanics
In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applicati ...
is a measure space, such measures are not always probability measures.[ In statistical physics, for sentences of the form "the probability of a system S assuming state A is p," the geometry of the system does not always lead to the definition of a probability measure under congruence, although it may do so in the case of systems with just one degree of freedom.][
Probability measures are also used in mathematical biology. For instance, in comparative ]sequence analysis
In bioinformatics, sequence analysis is the process of subjecting a DNA, RNA or peptide sequence to any of a wide range of analytical methods to understand its features, function, structure, or evolution. It can be performed on the entire genome ...
a probability measure may be defined for the likelihood that a variant may be permissible for an amino acid
Amino acids are organic compounds that contain both amino and carboxylic acid functional groups. Although over 500 amino acids exist in nature, by far the most important are the 22 α-amino acids incorporated into proteins. Only these 22 a ...
in a sequence.[''Discovering biomolecular mechanisms with computational biology'' by Frank Eisenhaber 2006]
page 127
/ref>
Ultrafilters can be understood as -valued probability measures, allowing for many intuitive proofs based upon measures. For instance, Hindman's Theorem can be proven from the further investigation of these measures, and their convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
in particular.
See also
*
*
*
*
*
*
* Probability distribution
In probability theory and statistics, a probability distribution is a Function (mathematics), function that gives the probabilities of occurrence of possible events for an Experiment (probability theory), experiment. It is a mathematical descri ...
References
Further reading
*
*
Distinguishing probability measure, function and distribution
Math Stack Exchange
External links
*
{{Authority control
Experiment (probability theory)
Measures (measure theory)
pl:Miara probabilistyczna