Measure (probability)
   HOME

TheInfoList



OR:

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 In mathematics, a real-valued function is a function whose values are real numbers. In other words, it is a function that assigns a real number to each member of its domain. Real-valued functions of a real variable (commonly called ''real ...
defined on a set of events in a
σ-algebra In mathematical analysis and in probability theory, a σ-algebra ("sigma algebra") is part of the formalism for defining sets that can be measured. In calculus and analysis, for example, σ-algebras are used to define the concept of sets with a ...
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 ...
\mu to be a probability measure on a
σ-algebra In mathematical analysis and in probability theory, a σ-algebra ("sigma algebra") is part of the formalism for defining sets that can be measured. In calculus and analysis, for example, σ-algebras are used to define the concept of sets with a ...
are that: * \mu must return results in the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysi ...
, 1 The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
returning 0 for the empty set and 1 for the entire space. * \mu 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 E_1, E_2, \ldots of pairwise
disjoint sets In set theory in mathematics and Logic#Formal logic, formal logic, two Set (mathematics), sets are said to be disjoint sets if they have no element (mathematics), element in common. Equivalently, two disjoint sets are sets whose intersection (se ...
: \mu\left(\bigcup_ E_i\right) = \sum_ \mu(E_i). For example, given three elements 1, 2 and 3 with probabilities 1/4, 1/4 and 1/2, the value assigned to \ is 1/4 + 1/2 = 3/4, 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: \mu (B \mid A) = \frac. satisfies the probability function requirements so long as \mu(A) 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 1, and the additive property is replaced by an order relation based on
set inclusion In mathematics, a set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset ...
.


Example applications

In many cases,
statistical physics 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 ...
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 A financial market is a market in which people trade financial securities and derivatives at low transaction costs. Some of the securities include stocks and bonds, raw materials and precious metals, which are known in the financial marke ...
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 derivative In finance, a derivative is a contract between a buyer and a seller. The derivative can take various forms, depending on the transaction, but every derivative has the following four elements: # an item (the "underlier") that can or must be bou ...
s. For instance, a
risk-neutral measure In mathematical finance, a risk-neutral measure (also called an equilibrium measure, or '' equivalent martingale measure'') is a probability measure such that each share price is exactly equal to the discounted expectation of the share price un ...
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 In finance, discounting is a mechanism in which a debtor obtains the right to delay payments to a creditor, for a defined period of time, in exchange for a charge or fee.See "Time Value", "Discount", "Discount Yield", "Compound Interest", "Effi ...
at the
risk-free rate The risk-free rate of return, usually shortened to the risk-free rate, is the rate of return of a hypothetical investment with scheduled payments over a fixed period of time that is assumed to meet all payment obligations. Since the risk-free r ...
. 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 In economics, a complete market (aka Arrow-Debreu market or complete system of markets) is a market with two conditions: # Negligible transaction costs and therefore also perfect information, # Every asset in every possible state of the world h ...
. 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 Mathematical and theoretical biology, or biomathematics, is a branch of biology which employs theoretical analysis, mathematical models and abstractions of living organisms to investigate the principles that govern the structure, development ...
. 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>
Ultrafilter In the Mathematics, mathematical field of order theory, an ultrafilter on a given partially ordered set (or "poset") P is a certain subset of P, namely a Maximal element, maximal Filter (mathematics), filter on P; that is, a proper filter on P th ...
s 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