Введение
В математике преобразование обмена интервалами — это тип динамической системы, обобщающий вращение окружности. Фазовое пространство состоит из единичного интервала, а преобразование действует посредством разбиения интервала на несколько подинтервалов и последующей перестановки этих подинтервалов. Они возникают естественным образом при изучении многоугольных бильярдов и потоков, сохраняющих площадь.
Свойства
Любое преобразование обмена интервалами является биекцией на себя, сохраняющей меру Лебега. Оно непрерывно, за исключением конечного числа точек. Обратное преобразование обмена интервалами также является преобразованием обмена интервалами. Фактически, это преобразование, где для всех . Если и (в циклической записи), и если соединить концы интервала в круг, то это просто вращение окружности. Теорема Вейля об равнораспределении утверждает, что если длина иррациональна, то преобразование является уникально эргодическим. Грубо говоря, это означает, что орбиты точек равномерно распределены. С другой стороны, если рационально, то каждая точка интервала периодична, а период равен знаменателю (в несократимом виде). Если , и при выполнении определенных условий невырожденности (а именно, не существует целого числа , такого, что ), то глубокая теорема, являвшаяся гипотезой М. Кина и доказанная независимо Уильямом А. Вичем и Говардом Масуром, утверждает, что для почти всех выборов в единичном симплексе преобразование обмена интервалами снова является уникально эргодическим. Однако для также существуют выборы , такие, что преобразование эргодично, но не уникально эргодично. Даже в этих случаях число эргодических инвариантных мер конечно и не превосходит . Интервальные отображения имеют топологическую энтропию, равную нулю.
If and (in cycle notation), and if we join up the ends of the interval to make a circle, then is just a circle rotation. The Weyl equidistribution theorem then asserts that if the length is irrational, then is uniquely ergodic. Roughly speaking, this means that the orbits of points of are uniformly evenly distributed. On the other hand, if is rational then each point of the interval is periodic, and the period is the denominator of (written in lowest terms). If , and provided satisfies certain non degeneracy conditions (namely there is no integer such that ), a deep theorem which was a conjecture of M. Keane and due independently to William A. Veech and to Howard Masur asserts that for almost all choices of in the unit simplex the interval exchange transformation is again uniquely ergodic. However, for there also exist choices of so that is ergodic but not uniquely ergodic. Even in these cases, the number of ergodic invariant measures of is finite, and is at most
Interval maps have a topological entropy of zero.
Более высокие размеры
Двухмерные и многомерные обобщения включают обмены многоугольников, обмены многогранников и кусочно-изометрические преобразования.