Инволюция (математика): различия между версиями
Перейти к навигации
Перейти к поиску
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
|||
(не показано 87 промежуточных версий 14 участников) | |||
Строка 1: | Строка 1: | ||
{{Другие значения|Инволюция}} |
{{Другие значения|Инволюция}} |
||
[[Файл:Involution-3.png|мини|Инволюция]] |
|||
'''Инволюция''' (от {{lang-la|involutio}} — свёртывание, завиток) — преобразование, которое является [[обратная функция|обратным]] самому себе. Математически инваолюция определяется как всякая функция <math>f</math>, для которой выполняется свойство <math>f(f(x)) = x</math> для всякого <math>x</math> из [[Область определения функции|области определения функции]] <math>f</math>. |
|||
'''Инволю́ция''' (от {{lang-la|involutio}} — свёртывание, завиток) — [[Преобразование (математика)|преобразование]], которое является [[обратная функция|обратным]] самому себе. Часто дополнительно предполагается, что инволюция — это нетождественное [[отображение]]. |
|||
==Определение== |
|||
Например, инволюциями являются следующие функции: |
|||
⚫ | |||
⚫ | |||
⚫ | |||
Функция <math>f\colon X\to X</math> называется инволюцией, если <math>f(f(x)) = x</math> для всякого <math>x\in X</math>. |
|||
⚫ | |||
Если <math>P(a)</math> — инволюция, то |
|||
⚫ | |||
# <math>\forall a, P^{-1}(a) = P(a)</math> |
|||
# <math>\forall a, P(P(a)) = a</math> |
|||
# <math>\forall x, \exists y : P(x) = y , P(y) = x</math> |
|||
*Любая инволюция — это [[биекция]]. |
|||
⚫ | |||
⚫ | |||
*Композиция <math>{f}\circ{g}</math> двух инволюций <math>f</math> и <math>g</math> является инволюцией тогда и только тогда, когда они коммутируют: <math>{f}\circ{g} =g\circ f</math>. |
|||
* <math>f(x)= \bar{x}</math> — [[дополнение множества]], функция задана для подмножеств некоторого универсального множества <math>U</math>, |
|||
* <math>f(x)= \neg x</math> — [[логическое отрицание]] [[булева алгебра|булевой алгебры]], |
|||
⚫ | |||
* [[Симметрия|Симметрии]] |
|||
** [[Центральная симметрия|центральная]], |
|||
⚫ | |||
** [[Осевая симметрия|осевая]], |
|||
⚫ | |||
** [[Зеркальная симметрия|зеркальная]] |
|||
*: <math>\dfrac{a}{x}</math>, <math>a-x</math>, <math>\dfrac{x}{x-1}</math>, <math>\dfrac{x+1}{x-1}</math>, <math>\dfrac{x-1}{x+1}</math>, <math>\dfrac{ax+b}{cx-a}</math>; |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
* Среди движений плоскости есть два типа нетривиальных инволюций: [[Центральная симметрия|центральная]] и [[Зеркальная симметрия|зеркальная симметрии]]. |
|||
⚫ | |||
** Таким образом инволюции соответствуют прямым и точкам — основным объектам планиметрии. На этом наблюдении основана [[аксиоматика Бахмана]]. |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
*: <math>\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8\\ |
*: <math>\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)</math> |
5 & 7 & 4 & 3 & 1 & 8 & 2 & 6\end{pmatrix} = (1,5)(2,7)(3,4)(6,8)</math>. |
||
** |
**Число инволюций в [[Группа перестановок|группе перестановок]] порядка <math>n</math> определяется по формулам: |
||
** |
**: <math> a(0) = 1,\ a(1) = 1,\ a(n) = a(n-1) + (n-1)a(n-2),\ n>1</math> (рекуррентная формула), |
||
** |
**: <math>a(n) = \sum_{k=0}^{[ n/2 ]}{\frac{n!}{2^k\cdot (n-2k)!\cdot k!}}</math>, |
||
:: |
::(первые значения <math>a(n)</math>: 1, {{nums|link=nrl|1|2|4|10|26|76|232|764|2620|9496|35696|140152}}<ref>{{OEIS long|A000085|lc=1}}</ref>). |
||
== |
== Примечания == |
||
{{примечания}} |
|||
* Инволютивные преобразования над пространством булевых векторов используются в различных схемах построения симметричных криптоалгоритмов, например, в [[Сеть Фейстеля|сети Фейстеля]] или [[SP-сеть|подстановочно-перестановочной сети]]. |
|||
⚫ | |||
{{math-stub}} |
|||
⚫ | |||
[[Категория:Комбинаторика]] |
[[Категория:Комбинаторика]] |
||
[[Категория:Дискретная математика]] |
Текущая версия от 15:43, 9 марта 2023
Инволю́ция (от лат. involutio — свёртывание, завиток) — преобразование, которое является обратным самому себе. Часто дополнительно предполагается, что инволюция — это нетождественное отображение.
Определение
[править | править код]Функция называется инволюцией, если для всякого .
Свойства
[править | править код]- Любая инволюция — это биекция.
- Композиция двух инволюций и является инволюцией тогда и только тогда, когда они коммутируют: .
Примеры
[править | править код]- , заданная на множестве целых , рациональных или вещественных чисел ;
- простейшие инволюции на множестве вещественных чисел :
- , , , , , ;
- — дополнение множества, заданная для подмножеств некоторого универсального множества ;
- — логическое отрицание булевой алгебры;
- Среди движений плоскости есть два типа нетривиальных инволюций: центральная и зеркальная симметрии.
- Таким образом инволюции соответствуют прямым и точкам — основным объектам планиметрии. На этом наблюдении основана аксиоматика Бахмана.
- инверсия;
- комплексное сопряжение;
- преобразование Лежандра
- Перестановка является инволюцией, если , каждая инволюция является произведением непересекающихся транспозиций, например:
- .
- Число инволюций в группе перестановок порядка определяется по формулам:
- (рекуррентная формула),
- ,
Примечания
[править | править код]Для улучшения этой статьи по математике желательно:
|