Kolmogorov extension theorem

E320435

The Kolmogorov extension theorem is a fundamental result in probability theory that guarantees the existence of a stochastic process with given consistent finite-dimensional distributions.

All labels observed (6)

How this entity was disambiguated

Statements (45)

Predicate Object
instanceOf result in measure theory
theorem in probability theory
appliesTo collections of finite-dimensional distributions
product probability spaces
stochastic processes indexed by arbitrary index sets
assumes consistency under marginalization
each finite-dimensional distribution is a probability measure
measurability of coordinate projections
concerns cylinder sets
infinite product of measurable spaces
probability measures on path spaces
conclusion existence of a probability space and random variables with given joint laws
existence of a process whose finite-dimensional distributions match the given family
coreConcept extension of pre-measures to probability measures
finite-dimensional distributions determine a process under consistency
field measure theory
probability theory
stochastic processes
formalizes construction of laws of stochastic processes from finite-dimensional laws
construction of probability measures on function spaces
guarantees existence of a probability measure on an infinite product space
existence of a stochastic process with given finite-dimensional distributions
historicalPeriod 20th century mathematics
implies existence of a measure on the cylinder sigma-algebra
existence of a probability measure extending cylinder set measures
namedAfter Andrei Kolmogorov
surface form: Andrey Kolmogorov
relatedTo Carathéodory’s extension theorem
surface form: Carathéodory extension theorem

Kolmogorov extension theorem self-linksurface differs
surface form: Daniell–Kolmogorov theorem

Kolmogorov extension theorem self-linksurface differs
surface form: Kolmogorov consistency theorem

Kolmogorov continuity theorem
Kolmogorov extension theorem self-linksurface differs
surface form: Kolmogorov existence theorem

projective limit of probability measures
requires Kolmogorov extension theorem self-linksurface differs
surface form: Kolmogorov consistency conditions

consistency of finite-dimensional distributions
usedFor construction of Brownian motion
construction of Gaussian processes
construction of Markov processes
construction of random fields
construction of stationary processes
construction of stochastic processes
usedIn Bayesian nonparametrics
modern probability foundations
statistical mechanics models
theory of random functions
theory of random sequences

How these facts were elicited

Referenced by (9)

Full triples — surface form annotated when it differs from this entity's canonical label.

Andrei Kolmogorov notableWork Kolmogorov extension theorem
Carathéodory’s extension theorem relatedTo Kolmogorov extension theorem
Carathéodory’s extension theorem relatedTo Kolmogorov extension theorem
this entity surface form: Hahn–Kolmogorov theorem
Wiener measure constructedBy Kolmogorov extension theorem
Kolmogorov extension theorem requires Kolmogorov extension theorem self-linksurface differs
this entity surface form: Kolmogorov consistency conditions
Kolmogorov extension theorem relatedTo Kolmogorov extension theorem self-linksurface differs
this entity surface form: Kolmogorov existence theorem
Kolmogorov extension theorem relatedTo Kolmogorov extension theorem self-linksurface differs
this entity surface form: Kolmogorov consistency theorem
Kolmogorov extension theorem relatedTo Kolmogorov extension theorem self-linksurface differs
this entity surface form: Daniell–Kolmogorov theorem
Kolmogorov continuity theorem relatedTo Kolmogorov extension theorem