Kolmogorov automorphism

In mathematics, a Kolmogorov automorphism, K-automorphism, K-shift or K-system is an invertible, measure-preserving automorphism defined on a standard probability space that obeys Kolmogorov's zero–one law.[1] All Bernoulli automorphisms are K-automorphisms (one says they have the K-property), but not vice versa. Many ergodic dynamical systems have been shown to have the K-property, although more recent research has shown that many of these are in fact Bernoulli automorphisms. Although the definition of the K-property seems reasonably general, it stands in sharp distinction to the Bernoulli automorphism. In particular, the Ornstein isomorphism theorem does not apply to K-systems, and so the entropy is not sufficient to classify such systems – there exist uncountably many non-isomorphic K-systems with the same entropy. In essence, the collection of K-systems is large, messy and uncategorized; whereas the B-automorphisms are 'completely' described by Ornstein theory.

## Contents

* 1 Formal definition
* 2 Properties
* 3 References
* 4 Further reading

## Formal definition

Let [math]\displaystyle{ (X, \mathcal{B}, \mu) }[/math] be a standard probability space, and let [math]\displaystyle{ T }[/math] be an invertible, measure-preserving transformation. Then [math]\displaystyle{ T }[/math] is called a K-automorphism, K-transform or K-shift, if there exists a sub-sigma algebra [math]\displaystyle{ \mathcal{K}\subset\mathcal{B} }[/math] such that the following three properties hold:

[math]\displaystyle{ \mbox{(1) }\mathcal{K}\subset T\mathcal{K} }[/math]

[math]\displaystyle{ \mbox{(2) }\bigvee_{n=0}^\infty T^n \mathcal{K}=\mathcal{B} }[/math]

[math]\displaystyle{ \mbox{(3) }\bigcap_{n=0}^\infty T^{-n} \mathcal{K} = \\{X,\varnothing\\} }[/math]

Here, the symbol [math]\displaystyle{ \vee }[/math] is the join of sigma algebras, while [math]\displaystyle{ \cap }[/math] is set intersection. The equality should be understood as holding almost everywhere, that is, differing at most on a set of measure zero.

## Properties

Assuming that the sigma algebra is not trivial, that is, if [math]\displaystyle{ \mathcal{B}\ne\\{X,\varnothing\\} }[/math], then [math]\displaystyle{ \mathcal{K}\ne T\mathcal{K}. }[/math] It follows that K-automorphisms are strong mixing.

All Bernoulli automorphisms are K-automorphisms, but not vice versa.

Kolmogorov automorphisms are precisely the natural extensions of exact endomorphisms,[2] i.e. mappings [math]\displaystyle{ T }[/math] for which [math]\displaystyle{ \bigcap_{n=0}^\infty T^{-n} \mathcal{M} }[/math] consists of measure-zero sets or their complements, where [math]\displaystyle{ \mathcal{M} }[/math] is the sigma-algebra of measureable sets,.

## References

1. ↑ Peter Walters, An Introduction to Ergodic Theory, (1982) Springer-Verlag ISBN 0-387-90599-5
2. ↑ V. A. Rohlin, Exact endomorphisms of Lebesgue spaces, Amer. Math. Soc. Transl., Series 2, 39 (1964), 1-36.

## Further reading

* Christopher Hoffman, "A K counterexample machine", Trans. Amer. Math. Soc. 351 (1999), pp 4263–4280.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Kolmogorov automorphism. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Kolmogorov_automorphism&oldid=3010126"