In
probability
Probability is the branch of mathematics concerning numerical descriptions of how likely an 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 1, where, roughly speakin ...
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 mathem ...
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 ra ...
objects
Object may refer to:
General meanings
* Object (philosophy), a thing, being, or concept
** Object (abstract), an object which does not exist at any particular time or place
** Physical object, an identifiable collection of matter
* Goal, an ...
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 editio ...
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 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 dev ...
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 f ...
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 conce ...
.
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 t ...
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 infinity ...
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 ...
R
''d'' as well as some other more abstract
mathematical space
In mathematics, a space is a set (sometimes called a universe) with some added structure.
While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, ...
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
In probability theory, an event is said to happen almost surely (sometimes abbreviated as a.s.) if it happens with probability 1 (or Lebesgue measure 1). In other words, the set of possible exceptions may be non-empty, but it has probability 0. ...
. 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. ''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 na ...
, it is sometimes written
:
where
is a
random variable 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 infinity ...
, which gives the number of points in some set. In this
mathematical expression
In mathematics, an expression or mathematical expression is a finite combination of symbols that is well-formed according to rules that depend on the context. Mathematical symbols can designate numbers ( constants), variables, operations, f ...
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
Measure may refer to:
* Measurement, the assignment of a number to a characteristic of an object or event
Law
* Ballot measure, proposed legislation in the United States
* Church of England Measure, legislation of the Church of England
* Mea ...
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 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 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 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 of a sum of functions over a point process is written as:
:
where (in the random measure sense)
is an appropriate
probability measure 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 infinity ...
s
. The expected value of
can be written as:
:
which is also known as the first
moment measure 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 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 dev ...
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 f ...
, 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 mathem ...
*
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
*