In
probability
Probability is a branch of mathematics and statistics concerning events and numerical descriptions of how likely they are to occur. The probability of an event is a number between 0 and 1; the larger the probability, the more likely an e ...
and
statistics
Statistics (from German language, German: ', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a s ...
, point process notation comprises the range of
mathematical notation
Mathematical notation consists of using glossary of mathematical symbols, symbols for representing operation (mathematics), operations, unspecified numbers, relation (mathematics), relations, and any other mathematical objects and assembling ...
used to symbolically represent
random
In common usage, randomness is the apparent or actual lack of definite pattern or predictability in information. A random sequence of events, symbols or steps often has no order and does not follow an intelligible pattern or combination. ...
objects known as
point process
In statistics and probability theory, a point process or point field is a set of a random number of mathematical points randomly located on a mathematical space such as the real line or Euclidean space. Kallenberg, O. (1986). ''Random Measures'', ...
es, which are used in related fields such as
stochastic geometry
In mathematics, stochastic geometry is the study of random spatial patterns. At the heart of the subject lies the study of random point patterns. This leads to the theory of spatial point processes, hence notions of Palm conditioning, which exten ...
,
spatial statistics
Spatial statistics is a field of applied statistics dealing with spatial data.
It involves stochastic processes (random fields, point processes), sampling, smoothing and interpolation, regional ( areal unit) and lattice ( gridded) data, poin ...
and
continuum percolation theory In mathematics and probability theory, continuum percolation theory is a branch of mathematics that extends discrete percolation theory to continuous space (often Euclidean space ). More specifically, the underlying points of discrete percolation fo ...
and frequently serve as
mathematical models
A mathematical model is an abstract description of a concrete system using mathematical concepts and language. The process of developing a mathematical model is termed ''mathematical modeling''. Mathematical models are used in applied mathemati ...
of random phenomena, representable as points, in time, space or both.
The notation varies due to the histories of certain mathematical fields and the different interpretations of point processes,
[D. Stoyan, W. S. Kendall, J. Mecke, and L. Ruschendorf. ''Stochastic geometry and its applications'', Second Edition, Section 4.1, Wiley Chichester, 1995.][M. Haenggi. ''Stochastic geometry for wireless networks''. Chapter 2. Cambridge University Press, 2012.] and borrows notation from mathematical areas of study such as
measure theory
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude (mathematics), magnitude, mass, and probability of events. These seemingl ...
and
set theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
.
Interpretation of point processes
The notation, as well as the terminology, of point processes depends on their setting and interpretation as mathematical objects which under certain assumptions can be interpreted as random
sequences
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is call ...
of points, random
sets of points or
random counting measures.
Random sequences of points
In some mathematical frameworks, a given point process may be considered as a sequence of points with each point randomly positioned in ''d''-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 ...
R
''d'' as well as some other more abstract
mathematical space
In mathematics, a space is a set (sometimes known as a ''universe'') endowed with a structure defining the relationships among the elements of the set.
A subspace is a subset of the parent space which retains the same structure.
While modern ma ...
s. In general, whether or not a random sequence is equivalent to the other interpretations of a point process depends on the underlying mathematical space, but this holds true for the setting of finite-dimensional Euclidean space R
''d''.
Random set of points
A point process is called ''simple'' if no two (or more points) coincide in location with
probability one. Given that often point processes are simple and the order of the points does not matter, a collection of random points can be considered as a random set of points
The theory of random sets was independently developed by
David Kendall and
Georges Matheron
Georges François Paul Marie Matheron (2 December 1930 – 7 August 2000) was a French mathematician and civil engineer of mines, known as the founder of geostatistics and a co-founder (together with Jean Serra) of mathematical morphology. In 1968 ...
. In terms of being considered as a random set, a sequence of random points is a random closed set if the sequence has no
accumulation points with probability one
A point process is often denoted by a single letter,
[ J. F. C. Kingman. ''Poisson processes'', volume 3. Oxford university press, 1992.] for example
, and if the point process is considered as a random set, then the corresponding notation:
:
is used to denote that a random point
is an
element of (or
belongs to) the point process
. The theory of random sets can be applied to point processes owing to this interpretation, which alongside the random sequence interpretation has resulted in a point process being written as:
:
which highlights its interpretation as either a random sequence or random closed set of points.
Furthermore, sometimes an uppercase letter denotes the point process, while a lowercase denotes a point from the process, so, for example, the point
(or
) belongs to or is a point of the point process
, or with set notation,
.
Random measures
To denote the number of points of
located in some
Borel set
In mathematics, a Borel set is any subset of a topological space that can be formed from its open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets ...
, it is sometimes written
:
where
is a
random variable
A random variable (also called random quantity, aleatory variable, or stochastic variable) is a Mathematics, mathematical formalization of a quantity or object which depends on randomness, random events. The term 'random variable' in its mathema ...
and
is a
counting measure
In mathematics, specifically measure theory, the counting measure is an intuitive way to put a measure on any set – the "size" of a subset is taken to be the number of elements in the subset if the subset has finitely many elements, and infinit ...
, which gives the number of points in some set. In this
mathematical expression
In mathematics, an expression is a written arrangement of symbols following the context-dependent, syntactic conventions of mathematical notation. Symbols can denote numbers, variables, operations, and functions. Other symbols include punct ...
the point process is denoted by:
:
.
On the other hand, the symbol:
:
represents the number of points of
in
. In the context of random measures, one can write:
:
to denote that there is the set
that contains
points of
. In other words, a point process can be considered as a
random measure In probability theory, a random measure is a measure-valued random element. Random measures are for example used in the theory of random processes, where they form many important point processes such as Poisson point processes and Cox processes. ...
that assigns some non-negative integer-valued
measure to sets.
This interpretation has motivated a point process being considered just another name for a ''random counting measure''
and the techniques of random measure theory offering another way to study point processes,
which also induces the use of the various notations used in
integration
Integration may refer to:
Biology
*Multisensory integration
*Path integration
* Pre-integration complex, viral genetic material used to insert a viral genome into a host genome
*DNA integration, by means of site-specific recombinase technology, ...
and measure theory.
Dual notation
The different interpretations of point processes as random sets and counting measures is captured with the often used notation
in which:
*
denotes a set of random points.
*
denotes a random variable that gives the number of points of
in
(hence it is a random counting measure).
Denoting the counting measure again with
, this dual notation implies:
:
Sums
If
is some
measurable function
In mathematics, and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the preimage of any measurable set is measurable. This is in ...
on R
''d'', then the sum of
over all the points
in
can be written in a number of ways
such as:
:
which has the random sequence appearance, or with set notation as:
:
or, equivalently, with integration notation as:
:
which puts an emphasis on the interpretation of
being a random counting measure. An alternative integration notation may be used to write this integral as:
:
The dual interpretation of point processes is illustrated when writing the number of
points in a set
as:
:
where 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 ...
if the point
is exists in
and zero otherwise, which in this setting is also known as a
Dirac measure
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.
...
.
In this expression the random measure interpretation is on the
left-hand side while the random set notation is used is on the right-hand side.
Expectations
The
average
In colloquial, ordinary language, an average is a single number or value that best represents a set of data. The type of average taken as most typically representative of a list of numbers is the arithmetic mean the sum of the numbers divided by ...
or
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 a sum of functions over a point process is written as:
:
where (in the random measure sense)
is an appropriate
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 ...
defined on the space of
counting measure
In mathematics, specifically measure theory, the counting measure is an intuitive way to put a measure on any set – the "size" of a subset is taken to be the number of elements in the subset if the subset has finitely many elements, and infinit ...
s
. The expected value of
can be written as:
:
which is also known as the first
moment measure
In probability and statistics, a moment measure is a mathematical quantity, function or, more precisely, measure that is defined in relation to mathematical objects known as point processes, which are types of stochastic processes often used as ...
of
. The expectation of such a random sum, known as a ''shot noise process'' in the theory of point processes, can be calculated with
Campbell's theorem.
Uses in other fields
Point processes are employed in other mathematical and statistical disciplines, hence the notation may be used in fields such
stochastic geometry
In mathematics, stochastic geometry is the study of random spatial patterns. At the heart of the subject lies the study of random point patterns. This leads to the theory of spatial point processes, hence notions of Palm conditioning, which exten ...
,
spatial statistics
Spatial statistics is a field of applied statistics dealing with spatial data.
It involves stochastic processes (random fields, point processes), sampling, smoothing and interpolation, regional ( areal unit) and lattice ( gridded) data, poin ...
or
continuum percolation theory In mathematics and probability theory, continuum percolation theory is a branch of mathematics that extends discrete percolation theory to continuous space (often Euclidean space ). More specifically, the underlying points of discrete percolation fo ...
, and areas which use the methods and theory from these fields.
See also
*
Mathematical Alphanumeric Symbols
Mathematical Alphanumeric Symbols is a Unicode block comprising styled forms of Latin alphabet, Latin and Greek alphabet, Greek letters and decimal numerical digit, digits that enable mathematicians to denote different notions with different l ...
*
Mathematical notation
Mathematical notation consists of using glossary of mathematical symbols, symbols for representing operation (mathematics), operations, unspecified numbers, relation (mathematics), relations, and any other mathematical objects and assembling ...
*
Notation in probability
*
Table of mathematical symbols
A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula ...
Notes
References
{{DEFAULTSORT:Mathematical Notation
*
N