In
probability
Probability is the branch of mathematics concerning numerical descriptions of how likely an Event (probability theory), event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and ...
and
statistics, point process notation comprises the range of
mathematical notation
Mathematical notation consists of using symbols for representing operations, unspecified numbers, relations and any other mathematical objects, and assembling them into expressions and formulas. Mathematical notation is widely used in mathe ...
used to symbolically represent
random
In common usage, randomness is the apparent or actual lack of pattern or predictability in events. A random sequence of events, symbols or steps often has no order and does not follow an intelligible pattern or combination. Individual rando ...
objects known as
point process
In statistics and probability theory, a point process or point field is a collection of mathematical points randomly located on a mathematical space such as the real line or Euclidean space. Kallenberg, O. (1986). ''Random Measures'', 4th edition ...
es, which are used in related fields such as
stochastic geometry,
spatial statistics
Spatial analysis or spatial statistics includes any of the formal techniques which studies entities using their topological, geometric, or geographic properties. Spatial analysis includes a variety of techniques, many still in their early develo ...
and
continuum percolation theory and frequently serve as
mathematical models
A mathematical model is a description of a system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modeling. Mathematical models are used in the natural sciences (such as physics, ...
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 and
set theory
Set theory is the branch of mathematical logic that studies 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 mathematics, is mostly concer ...
.
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 called ...
of points, random
sets of points or random
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 infin ...
s.
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, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean sp ...
R
''d'' as well as some other more abstract
mathematical spaces. 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 196 ...
. 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
__NOTOC__
Sir John Frank Charles Kingman (born 28 August 1939) is a British mathematician. He served as N. M. Rothschild and Sons Professor of Mathematical Sciences and Director of the Isaac Newton Institute at the University of Cambridge fro ...
. ''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 set in a topological space that can be formed from open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets are name ...
, it is sometimes written
:
where
is a
random variable
A random variable (also called random quantity, aleatory variable, or stochastic variable) is a mathematical formalization of a quantity or object which depends on random events. It is a mapping or a function from possible outcomes (e.g., the p ...
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 infin ...
, which gives the number of points in some set. In this
mathematical expression 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 technolo ...
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 i ...
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:
:
where 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 , one has \mathbf_(x)=1 if x ...
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 ordinary language, an average is a single number taken as representative of a list of numbers, usually the sum of the numbers divided by how many numbers are in the list (the arithmetic mean). For example, the average of the numbers 2, 3, 4, 7, ...
or
expected value
In probability theory, the expected value (also called expectation, expectancy, mathematical expectation, mean, average, or first moment) is a generalization of the weighted average. Informally, the expected value is the arithmetic mean of a ...
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 probability space that satisfies measure properties such as ''countable additivity''. The difference between a probability measure and the more g ...
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 infin ...
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 (mathematics), function or, more precisely, Measure (mathematics), measure that is defined in relation to mathematical objects known as point processes, which ar ...
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,
spatial statistics
Spatial analysis or spatial statistics includes any of the formal techniques which studies entities using their topological, geometric, or geographic properties. Spatial analysis includes a variety of techniques, many still in their early develo ...
or
continuum percolation theory, 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 and Greek letters and decimal digits that enable mathematicians to denote different notions with different letter styles. The letters in various fonts ofte ...
*
Mathematical notation
Mathematical notation consists of using symbols for representing operations, unspecified numbers, relations and any other mathematical objects, and assembling them into expressions and formulas. Mathematical notation is widely used in mathe ...
*
Notation in probability
Probability theory and statistics have some commonly used conventions, in addition to standard mathematical notation and mathematical symbols.
Probability theory
* Random variables are usually written in upper case roman letters: ''X'', ''Y ...
*
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
*