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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
 
(не показана 1 промежуточная версия 1 участника)
Строка 1: Строка 1:
{{Другие значения|Инволюция}}
{{Другие значения|Инволюция}}
[[Файл:Involution-3.png|мини|Инволюция]]
'''Инволю́ция''' (от {{lang-la|involutio}} — свёртывание, завиток) — [[Преобразование (математика)|преобразование]], которое является [[обратная функция|обратным]] самому себе: функция <math>f\colon X\to X</math> называется инволюцией, если <math>f(f(x)) = x</math> для всякого <math>x\in X</math>. Часто дополнительно предполагается, что инволюция — это нетождественное [[отображение]].
'''Инволю́ция''' (от {{lang-la|involutio}} — свёртывание, завиток) — [[Преобразование (математика)|преобразование]], которое является [[обратная функция|обратным]] самому себе. Часто дополнительно предполагается, что инволюция — это нетождественное [[отображение]].


==Определение==
Любая инволюция — это [[биекция]]. Композиция <math>{f}\circ{g}</math> двух инволюций <math>f</math> и <math>g</math> является инволюцией тогда и только тогда, когда они коммутируют: <math>{f}\circ{g} =g\circ f</math>.


Функция <math>f\colon X\to X</math> называется инволюцией, если <math>f(f(x)) = x</math> для всякого <math>x\in X</math>.
Функция <math>f(x) = -x</math>, заданная на множестве [[целое число|целых]] <math>\mathbb{Z}</math>, [[рациональное число|рациональных]] <math>\mathbb{Q}</math> или [[Вещественное число|вещественных чисел]] <math>\mathbb{R}</math> является инволюцией. Простейшие инволюции на множестве [[Вещественное число|вещественных чисел]] <math>\mathbb{R}</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>\nu(x) = \begin{cases} \dfrac{\gamma - 1}{\gamma}x+1, & x\in\left[0;\, \gamma\right] \\ \dfrac{\gamma}{\gamma - 1}\left(x-1\right), & x\in\left[\gamma;\, 1\right] \end{cases},\,\text{где }\gamma < \dfrac{1}{2}.</math> Функция <math>\nu\left(x\right)</math> непрерывна, монотонно убывает, <math>\nu\left(0\right)=1</math>, <math>\nu\left(1\right)=0</math>, <math>{\nu}^{2}\left(x\right)=\nu\left(\nu\left(x\right)\right) = x</math>. То есть <math>\nu\left(x\right)</math> есть инволюция, производная которой имеет разрыв в точке <math>x=\gamma</math>.


*Любая инволюция — это [[биекция]].
Для всякой инволюции выполняется тождество: <math>\left(f'\circ f\right) \cdot f'\equiv1</math>.


*Композиция <math>{f}\circ{g}</math> двух инволюций <math>f</math> и <math>g</math> является инволюцией тогда и только тогда, когда они коммутируют: <math>{f}\circ{g} =g\circ f</math>.
Инволюциями являются операции [[дополнение множества|дополнения множества]] и [[логическое отрицание]] [[булева алгебра|булевой алгебры]], [[комплексное сопряжение]], [[преобразование Лежандра]], [[инверсия (геометрия)|геометрическая инверсия]].


==Примеры==
Среди движений плоскости есть два типа нетривиальных инволюций: [[Центральная симметрия|центральная]] и [[Зеркальная симметрия|зеркальная симметрии]]. Таким образом инволюции соответствуют прямым и точкам — основным объектам планиметрии. На этом наблюдении основана [[аксиоматика Бахмана]].


* <math>f(x) = -x</math>, заданная на множестве [[целое число|целых]] <math>\mathbb{Z}</math>, [[рациональное число|рациональных]] <math>\mathbb{Q}</math> или [[Вещественное число|вещественных чисел]] <math>\mathbb{R}</math>;
[[Перестановка]] <math>\tau</math> является инволюцией, если <math>\tau\circ\tau=id</math>, каждая инволюция является произведением непересекающихся транспозиций, например:
* простейшие инволюции на множестве [[Вещественное число|вещественных чисел]] <math>\mathbb{R}</math>:
: <math>\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8\\
*: <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>f(x)= \bar{x}</math> — [[дополнение множества]], заданная для подмножеств некоторого универсального множества <math>U</math>;
* <math>f(x)= \neg x</math> — [[логическое отрицание]] [[булева алгебра|булевой алгебры]];
* Среди движений плоскости есть два типа нетривиальных инволюций: [[Центральная симметрия|центральная]] и [[Зеркальная симметрия|зеркальная симметрии]].
** Таким образом инволюции соответствуют прямым и точкам — основным объектам планиметрии. На этом наблюдении основана [[аксиоматика Бахмана]].
* [[инверсия (геометрия)|инверсия]];
* [[комплексное сопряжение]];
* [[преобразование Лежандра]]
*[[Перестановка]] <math>\tau</math> является инволюцией, если <math>\tau\circ\tau=id</math>, каждая инволюция является произведением непересекающихся транспозиций, например:
*: <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>n</math> определяется по формулам:
: <math> a(0) = 1,\ a(1) = 1,\ a(n) = a(n-1) + (n-1)a(n-2),\ n>1</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) = \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>).
::(первые значения <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>).


== Примечания ==
== Примечания ==

Текущая версия от 15:43, 9 марта 2023

Инволюция

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

Определение

[править | править код]

Функция называется инволюцией, если для всякого .

  • Композиция двух инволюций и является инволюцией тогда и только тогда, когда они коммутируют: .
  • , заданная на множестве целых , рациональных или вещественных чисел ;
  • простейшие инволюции на множестве вещественных чисел :
    , , , , , ;
  •  — дополнение множества, заданная для подмножеств некоторого универсального множества ;
  •  — логическое отрицание булевой алгебры;
  • Среди движений плоскости есть два типа нетривиальных инволюций: центральная и зеркальная симметрии.
    • Таким образом инволюции соответствуют прямым и точкам — основным объектам планиметрии. На этом наблюдении основана аксиоматика Бахмана.
  • инверсия;
  • комплексное сопряжение;
  • преобразование Лежандра
  • Перестановка является инволюцией, если , каждая инволюция является произведением непересекающихся транспозиций, например:
    .
    • Число инволюций в группе перестановок порядка определяется по формулам:
      (рекуррентная формула),
      ,
(первые значения : 1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, 35 696, 140 152[1]).

Примечания

[править | править код]
  1. последовательность A000085 в OEIS