Инволютивная функция¶

Инволютивная функция — это математическая функция, которая является обратной самой себе, то есть при двукратном последовательном применении к любому аргументу возвращает исходное значение. Формально, функция \( f: X \to X \) называется инволютивной, если для всех \( x \in X \) выполняется равенство \( f(f(x)) = x \). Инволютивные функции являются частным случаем более общего понятия инволюции в алгебре и теории групп, где они соответствуют элементам порядка 2 в группе преобразований.

¶Определение и основные свойства

Инволютивная функция \( f \) на множестве \( X \) удовлетворяет условию \( f \circ f = \text{id}_X \), где \( \circ \) обозначает композицию функций, а \( \text{id}_X \) — тождественное отображение. Это означает, что \( f \) является биекцией (взаимно однозначным отображением) на \( X \), и её обратная функция совпадает с ней самой: \( f^{-1} = f \).

Ключевые свойства инволютивных функций:

• Биективность: каждая инволютивная функция является взаимно однозначным отображением множества на себя.
• Симметричность: график функции симметричен относительно прямой \( y = x \) (в декартовой системе координат).
• Неподвижные точки: элементы \( x \), для которых \( f(x) = x \), называются неподвижными точками инволюции. Они образуют подмножество, которое может быть пустым, конечным или бесконечным.
• Композиция: композиция двух инволютивных функций не обязательно является инволюцией; она может быть произвольным биективным отображением.

¶Примеры инволютивных функций

¶Простейшие числовые функции

• Функция \( f(x) = -x \) на множестве действительных чисел \( \mathbb{R} \). При двукратном применении: \( -(-x) = x \). Неподвижная точка: \( x = 0 \).
• Функция \( f(x) = 1/x \) на множестве \( \mathbb{R} \setminus \{0\} \). Двукратное применение: \( 1/(1/x) = x \). Неподвижные точки: \( x = 1 \) и \( x = -1 \).
• Функция \( f(x) = a - x \) для фиксированного \( a \in \mathbb{R} \). Это отражение относительно точки \( a/2 \). Неподвижная точка: \( x = a/2 \).

¶Функции на конечных множествах

• Перестановка, являющаяся транспозицией: на множестве из \( n \) элементов перестановка, меняющая местами два элемента и оставляющая остальные на месте, является инволюцией. Например, на множестве \( \{1, 2, 3\} \) функция \( f(1)=2, f(2)=1, f(3)=3 \).
• Любая инволюция на конечном множестве может быть представлена как произведение непересекающихся транспозиций и неподвижных точек.

¶Функции в алгебре и логике

• Логическое отрицание: в булевой алгебре операция \( \neg p \) (не \( p \)) является инволюцией, так как \( \neg(\neg p) = p \).
• Комплексное сопряжение: функция \( f(z) = \overline{z} \) на множестве комплексных чисел \( \mathbb{C} \) — инволюция, так как \( \overline{\overline{z}} = z \). Неподвижные точки — действительные числа.
• Транспонирование матрицы: операция \( A \mapsto A^T \) на множестве квадратных матриц является инволюцией, поскольку \( (A^T)^T = A \).

¶Классификация и структура

Инволютивные функции можно классифицировать по различным признакам:

¶По типу множества

• На бесконечных множествах: примеры включают отражения, инверсии, а также более сложные конструкции, такие как преобразования Мёбиуса вида \( f(z) = \frac{az + b}{cz + d} \) с условием \( ad - bc \neq 0 \), которые являются инволюциями при определённых соотношениях коэффициентов.
• На конечных множествах: инволюции соответствуют перестановкам, состоящим только из циклов длины 1 и 2. Число инволюций на множестве из \( n \) элементов задаётся телефонными числами (последовательность A000085 в OEIS).

¶По наличию неподвижных точек

• Без неподвижных точек: например, \( f(x) = -x \) на \( \mathbb{R} \setminus \{0\} \) (если исключить 0) или транспозиция на двух элементах.
• С неподвижными точками: большинство инволюций имеют хотя бы одну неподвижную точку, особенно на связных пространствах.

¶По геометрической интерпретации

• Отражения: в геометрии отражение относительно прямой, плоскости или точки является инволюцией. Например, отражение относительно оси \( y \) на плоскости: \( (x, y) \mapsto (-x, y) \).
• Инверсия: в геометрии инверсия относительно окружности радиуса \( R \) с центром в точке \( O \) отображает точку \( P \) в точку \( P' \) на луче \( OP \) такую, что \( OP \cdot OP' = R^2 \). Это инволюция на плоскости без точки \( O \).

¶Применение инволютивных функций

¶В математике

• Теория групп: инволюции являются элементами порядка 2 в группах. Они играют важную роль в классификации конечных простых групп, в частности, в теореме о чётности.
• Криптография: инволютивные функции используются в симметричных шифрах, так как операция шифрования и дешифрования может быть одной и той же. Например, шифр XOR с фиксированным ключом является инволюцией.
• Функциональные уравнения: многие уравнения, такие как \( f(f(x)) = x \), имеют решения, являющиеся инволюциями. Изучение таких уравнений важно в теории функций.

¶В физике и информатике

• Квантовая механика: оператор обращения времени и оператор зарядового сопряжения в квантовой теории поля являются инволюциями (с точностью до фазы).
• Компьютерная графика: матрицы отражения и поворота на 180 градусов являются инволютивными преобразованиями, используемыми для трансформации изображений.
• Алгоритмы: некоторые алгоритмы сортировки и поиска используют инволютивные перестановки для оптимизации памяти.

¶Интересные факты

• В теории групп любая конечная группа чётного порядка содержит инволюцию (теорема Коши). Это свойство используется в доказательстве теоремы Фейта — Томпсона.
• Инволютивные функции могут быть непрерывными или разрывными. Например, функция \( f(x) = 1/x \) непрерывна на своей области определения, а функция \( f(x) = -x \) — всюду непрерывна.
• В комбинаторике число инволюций на множестве из \( n \) элементов растёт быстрее, чем \( n! \), но медленнее, чем \( 2^n \). Асимптотически оно равно \( \frac{n!}{\sqrt{2\pi n}} e^{\sqrt{n} - n/2} \).

¶Источники

• Винберг Э. Б. Курс алгебры. — М.: МЦНМО, 2013.
• Кострикин А. И. Введение в алгебру. — М.: Наука, 1977.
• Ленг С. Алгебра. — М.: Мир, 1968.
• OEIS Foundation Inc. (2024). The On-Line Encyclopedia of Integer Sequences, Sequence A000085.
• Яглом И. М. Геометрические преобразования. — М.: ГИТТЛ, 1955.