Инволюция (математика)

Инволю́ция (от лат. involutio — свёртывание, завиток) — преобразование, которое является обратным самому себе. Часто дополнительно предполагается, что инволюция нетождественное отображение.

Определение

Функция $f\colon X\to X$ называется инволюцией, если $f(f(x))=x$ для всякого $x\in X$.

Свойства

• Любая инволюция — это биекция.

Примеры

• $f(x)=-x$, заданная на множестве целых $\mathbb {Z}$, рациональных $\mathbb {Q}$ или вещественных чисел $\mathbb {R}$;
• простейшие инволюции на множестве вещественных чисел $\mathbb {R}$:

  ${\dfrac {a}{x}}$, $a-x$, ${\dfrac {x}{x-1}}$, ${\dfrac {x-1}{x}}$, ${\dfrac {x+1}{x-1}}$, ${\dfrac {x-1}{x+1}}$;

• $f(x)={\bar {x}}$ — дополнение множества, заданная для подмножеств некоторого универсального множества $U$;
• $f(x)=\neg x$ — логическое отрицание булевой алгебры;
• симметрии: центральная, осевая, зеркальная;
• инверсия;
• комплексное сопряжение;
• преобразование Лежандра

Теорема 1. Композиция ${f}\circ {g}$ двух инволюций $f$ и $g$ является инволюцией тогда и только тогда, когда они коммутируют: ${f}\circ {g}=g\circ f$.

Доказательство

Пусть дана композиция ${f}\circ {g}$, в которой $f$, $g$ — инволюции. Это означает, что $f=f^{-1}$ и $g=g^{-1}$, а также ${f}\circ {g}={\left({f}\circ {g}\right)}^{-1}$. Имеем: ${f}\circ {g}={\left({f}\circ {g}\right)}^{-1}={g^{-1}}\circ {f^{-1}}={g}\circ {f}$. Если ${f}\circ {g}$ — инволюция, то двигаемся слева направо. Обратно, если выполняется равенство ${f}\circ {g}=g\circ f$, то — справа налево.

Аналогично, если $f={g}\circ {h}\circ {k}={k}\circ {h}\circ {g}$ и $g$, $h$, $k$ — инволюции, то и $f$ — инволюция; например:

$k(x)=-x$, $h(x)={\dfrac {x+1}{x-1}}$, $g(x)={\dfrac {1}{x}}$.

Теорема 2. Если ${f}$ — монотонно возрастающая функция, то уравнения ${f}(x)=x$ и $f(f(x))=x$, или ${f}(x)={f^{-1}}(x)$, равносильны.

Рассмотрим следующую задачу.

Решить уравнение ${\sqrt {1+{\sqrt {x}}}}=x-1$.

Перепишем данное уравнение в виде: $1+{\sqrt {1+{\sqrt {x}}}}=x$. Рассмотрим теперь функцию $f(x)=1+{\sqrt {x}}$. Тогда полученное уравнение примет вид: $f(f(x))=x$. Для решений уравнений такого вида применим теорему 2. Но сначала следует убедиться, что введённая функция $f$ действительно монотонно возрастает. Для того чтобы $f(x)$ была строго возрастающей, достаточно (но не является необходимым условием), чтобы $f'(x)>0$. В нашем случае получается $f'(x)={\dfrac {1}{2{\sqrt {x}}}}>0$. В соответствии с приведённой теоремой 2 приходим к равносильному уравнению ${f}(x)=x$, или $1+{\sqrt {x}}=x$, решение которого уже не сложно. Ответ: $x={\dfrac {3+{\sqrt {5}}}{2}}.$

Перестановка $\tau$ является инволюцией, если $\tau \circ \tau =id$, каждая инволюция является произведением непересекающихся транспозиций, например:

${\begin{pmatrix}1&2&3&4&5&6&7&8\\5&7&4&3&1&8&2&6\end{pmatrix}}=(1,5)(2,7)(3,4)(6,8)$.

Число инволюций в группе перестановок порядка $n$ определяется по формулам:

• $a(0)=1,\ a(1)=1,\ a(n)=a(n-1)+(n-1)a(n-2),\ n>1$ (рекуррентная формула),
• $a(n)=\sum _{k=0}^{[n/2]}{\frac {n!}{2^{k}\cdot (n-2k)!\cdot k!}}$,

(первые значения $a(n)$: 1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, 35 696, 140 152).

Свойства инволюции обеспечивают ей широкое применение в различных приложения, например, инволютивные преобразования над пространством булевых векторов используются в различных схемах построения симметричных криптоалгоритмов, таких как сети Фейстеля и подстановочно-перестановочные сети.