Dirac Delta Measure
   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 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 In mathematical analysis, the Dirac delta function (or distribution), also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line ...
, 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, a Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), 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 a ...
s of ) defined for a given and any (measurable) set by :\delta_x (A) = 1_A(x)= \begin 0, & x \not \in A; \\ 1, & x \in A. \end 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 , then the indicator functio ...
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 σ-algebra that satisfies Measure (mathematics), measure properties such as ''countable additivity''. The difference between a probability measure an ...
, and in terms of probability it represents the almost sure outcome in the
sample space In probability theory, the sample space (also called sample description space, possibility space, or outcome space) of an experiment or random trial is the set of all possible outcomes or results of that experiment. A sample space is usually den ...
. We can also say that the measure is a single
atom Atoms are the basic particles of the chemical elements. An atom consists of a atomic nucleus, nucleus of protons and generally neutrons, surrounded by an electromagnetically bound swarm of electrons. The chemical elements are distinguished fr ...
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. The Dirac measures are the
extreme point In mathematics, an extreme point of a convex set S in a Real number, real or Complex number, complex vector space is a point in S that does not lie in any open line segment joining two points of S. The extreme points of a line segment are calle ...
s of the convex set of probability measures on . The name is a back-formation from the
Dirac delta function In mathematical analysis, the Dirac delta function (or distribution), also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line ...
; considered as a
Schwartz distribution Distributions, also known as Schwartz distributions are a kind of generalized function in mathematical analysis. Distributions make it possible to derivative, differentiate functions whose derivatives do not exist in the classical sense. In par ...
, for example on the
real line A number line is a graphical representation of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin (geometry), origin point representing the number zero and evenly spaced mark ...
, measures can be taken to be a special kind of distribution. The identity :\int_ f(y) \, \mathrm \delta_x (y) = f(x), which, in the form :\int_X f(y) \delta_x (y) \, \mathrm y = f(x), is often taken to be part of the definition of the "delta function", holds as a theorem of
Lebesgue integration In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the axis. The Lebesgue integral, named after French mathematician Henri L ...
.


Properties of the Dirac measure

Let denote the Dirac measure centred on some fixed point in some
measurable space In mathematics, a measurable space or Borel space is a basic object in measure theory. It consists of a set and a σ-algebra, which defines the subsets that will be measured. It captures and generalises intuitive notions such as length, area, an ...
. * is a probability measure, and hence a finite measure. Suppose that is a
topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
and that is at least as fine as the Borel -algebra on . * is a
strictly positive measure In mathematics, strict positivity is a concept in measure theory. Intuitively, a strictly positive measure is one that is "nowhere zero", or that is zero "only on points". Definition Let (X, T) be a Hausdorff topological space and let \Sigma be ...
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
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 In mathematics, a locally finite measure is a measure for which every point of the measure space has a neighbourhood of finite measure. Definition Let (X, T) be a Hausdorff topological space and let \Sigma be a \sigma-algebra on X that contain ...
. * 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 Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
. 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 that is finite on all compact sets, outer regular on all Borel sets, and ...
. * 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, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
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 higher dimensional Euclidean '-spaces. For lower dimensions or , it c ...
, 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 o ...
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. Geometri ...
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 A number line is a graphical representation of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin (geometry), origin point representing the number zero and evenly spaced mark ...
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 higher dimensional Euclidean '-spaces. For lower dimensions or , it c ...
) 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 numbe ...
.


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. Geometri ...
*
Dirac delta function In mathematical analysis, the Dirac delta function (or distribution), also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line ...


References

* * {{DEFAULTSORT:Dirac Measure Measures (measure theory)