invariant by a measure-preserving transformation

\PMlinkescapephrase

invariant \PMlinkescapephraseproperties \PMlinkescapephraseproperty

Let $X$ be a set and $T:X\longrightarrow X$ a transformation of $X$ .

The notion of invariance by $T$ we are about to describe is stronger than the usual notion of invariance (http://planetmath.org/invariant), and is especially useful in ergodic theory. Thus, in most applications, $(X,\mathfrak{B},\mu)$ is a measure space and $T$ is a measure-preserving transformation. Nevertheless, the definition of invariance and its properties are general and do not require any such assumptions.

$\,$

Definition - A subset $A\subseteq X$ is said to be invariant by $T$ , or $T$ -invariant, if $T^{-1}(A)=A$ .

$\,$

The fundamental property of this concept is the following: if $A$ is invariant by $T$ , then so is $X\setminus A$ .

Thus, when $A$ is invariant by $T$ we obtain by restriction two well-defined transformations

	$\displaystyle T\|_{A}:A\longrightarrow A$
	$\displaystyle T\|_{X\setminus A}:X\setminus A\longrightarrow X\setminus A$

Hence, the existence of an allows one to decompose the set $X$ into two disjoint subsets and study the transformation $T$ in each of these subsets.

Remark - When $T$ is a measure-preserving transformation in a measure space $(X,\mathfrak{B},\mu)$ one usually restricts the notion of invariance to measurable subsets $A\in\mathfrak{B}$ .

Title	invariant by a measure-preserving transformation
Canonical name	InvariantByAMeasurepreservingTransformation
Date of creation	2013-03-22 18:04:15
Last modified on	2013-03-22 18:04:15
Owner	asteroid (17536)
Last modified by	asteroid (17536)
Numerical id	4
Author	asteroid (17536)
Entry type	Definition
Classification	msc 03E20
Classification	msc 28D05
Classification	msc 37A05