Инволюция (математика): различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
Нет описания правки
Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
Строка 1: Строка 1:
{{Другие значения|Инволюция}}
{{Другие значения|Инволюция}}
'''Инволю́ция''' (от {{lang-la|involutio}} — свёртывание, завиток) — нетождественное преобразование, которое является [[обратная функция|обратным]] самому себе, то есть своей собственной инверсией. Это унарная операция.
'''Инволю́ция''' (от {{lang-la|involutio}} — свёртывание, завиток) — нетождественное преобразование, которое является [[обратная функция|обратным]] самому себе, то есть своей собственной [[обратная функция|инверсией]]. Это унарная операция.


Формально, функция <math>f</math> называется инволюцией, если <math>f(f(x)) = x</math>
Формально, функция <math>f</math> называется инволюцией, если <math>f(f(x)) = x</math>
Строка 15: Строка 15:
Если <math>f</math> — инволюция, то имеют место следующие соотношения:
Если <math>f</math> — инволюция, то имеют место следующие соотношения:
* <math>\forall a \in D_{f}: f^{-1}(a) = f(a)</math> [основное свойство]
* <math>\forall a \in D_{f}: f^{-1}(a) = f(a)</math> [основное свойство]
* <math>D_{f} = E_{f^{-1}}</math> и <math>D_{f^{-1}} = E_{f}</math>
* <math>D_{f} = E_{f}</math>
* <math>\forall a : f(f(a)) = a</math>
* <math>\forall a : f(f(a)) = a</math>
* <math>\forall a, \exists b : f(a) = b \land f(b) = a</math> [критерий]
* <math>\forall a, \exists b : f(a) = b \land f(b) = a</math> [критерий]

Версия от 13:20, 15 июля 2022

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

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

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

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

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

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

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

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

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

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

.

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

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

, , .

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

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

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

.

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

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

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

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

Примечания

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