 #jsDisabledContent { display:none; } My Account | Register | Help Flag as Inappropriate This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate?          Excessive Violence          Sexual Content          Political / Social Email this Article Email Address:

# Krylov–Bogolyubov theorem

Article Id: WHEBN0007635266
Reproduction Date:

 Title: Krylov–Bogolyubov theorem Author: World Heritage Encyclopedia Language: English Subject: Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Krylov–Bogolyubov theorem

In mathematics, the Krylov–Bogolyubov theorem (also known as the existence of invariant measures theorem) may refer to either of the two related fundamental theorems within the theory of dynamical systems. The theorems guarantee the existence of invariant measures for certain "nice" maps defined on "nice" spaces and were named after Russian-Ukrainian mathematicians and theoretical physicists Nikolay Krylov and Nikolay Bogolyubov who proved the theorems.

## Contents

• Formulation of the theorems 1
• Invariant measures for a single map 1.1
• Invariant measures for a Markov process 1.2
• Notes 3

## Formulation of the theorems

### Invariant measures for a single map

Theorem (Krylov–Bogolyubov). Let (XT) be a compact, metrizable topological space and F : X → X a continuous map. Then F admits an invariant Borel probability measure.

That is, if Borel(X) denotes the Borel σ-algebra generated by the collection T of open subsets of X, then there exists a probability measure μ : Borel(X) → [0, 1] such that for any subset A ∈ Borel(X),

\mu \left( F^{-1} (A) \right) = \mu (A).

In terms of the push forward, this states that

F_{*} (\mu) = \mu.\

### Invariant measures for a Markov process

Let X be a Polish space and let P_t, t\ge 0, be the transition probabilities for a time-homogeneous Markov semigroup on X, i.e.

\Pr [ X_{t} \in A | X_{0} = x ] = P_{t} (x, A).

Theorem (Krylov–Bogolyubov). If there exists a point x\in X for which the family of probability measures { Pt(x, ·) | t > 0 } is uniformly tight and the semigroup (Pt) satisfies the Feller property, then there exists at least one invariant measure for (Pt), i.e. a probability measure μ on X such that

(P_{t})_{\ast} (\mu) = \mu \mbox{ for all } t > 0.