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

Материал из Википедии — свободной энциклопедии
Это старая версия этой страницы, сохранённая Va musinov (обсуждение | вклад) в 11:57, 15 июля 2022. Она может серьёзно отличаться от текущей версии.
Перейти к навигации Перейти к поиску

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

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

Таким образом, двойное применение функции даёт исходное значение.

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

Если преобразование инволютивное, то для любого выражения и его образа имеем . В самом деле, .

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

Если  — инволюция, то имеют место следующие соотношения:

  • [основное свойство]
  • и
  • [критерий]

Примеры инволюций:

Функция вида будет инволюцией в том и только в том случае, если функция — инволюция; например, в положительных числах:

.

Теорема 1. Композиция двух инволюций и является инволюцией тогда и только тогда, когда они коммутируют: .

Аналогично, если и , , — инволюции, то и — инволюция; например:

, , .

Теорема 2. Если — монотонно возрастающая функция, то уравнения и , или , равносильны.

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

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

.

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

  • (рекуррентная формула),
  • ,

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

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

Примечания

  1. последовательность A000085 в OEIS