Furstenberg correspondence principle (source code)

= Furstenberg correspondence principle
{c}
{wiki}

The Furstenberg correspondence principle turns a subset $S\subseteq\mathbb Z$ of positive <upper Banach density> into a shift-invariant probability system and a positive-measure cylinder $A$ such that recurrence times of $A$ produce differences of elements of $S$.