In
mathematics, a Dirac measure assigns a size to a set based solely on whether it contains a fixed element ''x'' or not. It is one way of formalizing the idea of the
Dirac delta function, an important tool in physics and other technical fields.
Definition
A Dirac measure is a
measure on a set (with any
-algebra of
subset
In mathematics, 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 o ...
s of ) defined for a given and any
(measurable) set by
:
where is the
indicator function
In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , one has \mathbf_(x)=1 if x ...
of .
The Dirac measure is a
probability measure
In mathematics, a probability measure is a real-valued function defined on a set of events in a probability space that satisfies measure properties such as ''countable additivity''. The difference between a probability measure and the more g ...
, and in terms of probability it represents the
almost sure outcome in the
sample space . We can also say that the measure is a single
atom
Every atom is composed of a nucleus and one or more electrons bound to the nucleus. The nucleus is made of one or more protons and a number of neutrons. Only the most common variety of hydrogen has no neutrons.
Every solid, liquid, gas ...
at ; however, treating the Dirac measure as an atomic measure is not correct when we consider the sequential definition of Dirac delta, as the limit of a
delta sequence
Delta commonly refers to:
* Delta (letter) (Δ or δ), a letter of the Greek alphabet
* River delta, at a river mouth
* D (NATO phonetic alphabet: "Delta")
* Delta Air Lines, US
* Delta variant of SARS-CoV-2 that causes COVID-19
Delta may also ...
. The Dirac measures are the
extreme points of the convex set of probability measures on .
The name is a back-formation from the
Dirac delta function; considered as a
Schwartz distribution, for example on the
real line
In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a po ...
, measures can be taken to be a special kind of distribution. The identity
:
which, in the form
:
is often taken to be part of the definition of the "delta function", holds as a theorem of
Lebesgue integration.
Properties of the Dirac measure
Let denote the Dirac measure centred on some fixed point in some
measurable space .
* is a probability measure, and hence a
finite measure
In measure theory, a branch of mathematics, a finite measure or totally finite measure is a special measure that always takes on finite values. Among finite measures are probability measures. The finite measures are often easier to handle than ...
.
Suppose that is a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...
and that is at least as fine as the
Borel -algebra on .
* is a
strictly positive measure if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bi ...
the topology is such that lies within every non-empty open set, e.g. in the case of the
trivial topology In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the conseque ...
.
* Since is probability measure, it is also a
locally finite measure.
* If is a
Hausdorff topological space with its Borel -algebra, then satisfies the condition to be an
inner regular measure, since
singleton sets such as are always
compact. Hence, is also a
Radon measure
In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a Hausdorff topological space ''X'' that is finite on all compact sets, outer regular on all B ...
.
* Assuming that the topology is fine enough that is closed, which is the case in most applications, the
support of is . (Otherwise, is the closure of in .) Furthermore, is the only probability measure whose support is .
* If is -dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean sp ...
with its usual -algebra and -dimensional
Lebesgue measure
In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of ''n''-dimensional Euclidean space. For ''n'' = 1, 2, or 3, it coincides ...
, then is a
singular measure In mathematics, two positive (or signed or complex) measures \mu and \nu defined on a measurable space (\Omega, \Sigma) are called singular if there exist two disjoint measurable sets A, B \in \Sigma whose union is \Omega such that \mu is zero ...
with respect to : simply decompose as and and observe that .
* The Dirac measure is a
sigma-finite measure.
Generalizations
A
discrete measure
In mathematics, more precisely in measure theory, a measure on the real line is called a discrete measure (in respect to the Lebesgue measure) if it is concentrated on an at most countable set. The support need not be a discrete set. Geome ...
is similar to the Dirac measure, except that it is concentrated at countably many points instead of a single point. More formally, a
measure on the
real line
In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a po ...
is called a discrete measure (in respect to the
Lebesgue measure
In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of ''n''-dimensional Euclidean space. For ''n'' = 1, 2, or 3, it coincides ...
) if its
support is at most a
countable set
In mathematics, a set is countable if either it is 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 from it into the natural number ...
.
See also
*
Discrete measure
In mathematics, more precisely in measure theory, a measure on the real line is called a discrete measure (in respect to the Lebesgue measure) if it is concentrated on an at most countable set. The support need not be a discrete set. Geome ...
*
Dirac delta function
References
*
*
{{DEFAULTSORT:Dirac Measure
Measures (measure theory)