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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
Строка 19: Строка 19:
* <math>f(x)= \bar{x}</math> — [[дополнение множества]], заданная для подмножеств некоторого универсального множества <math>U</math>;
* <math>f(x)= \bar{x}</math> — [[дополнение множества]], заданная для подмножеств некоторого универсального множества <math>U</math>;
* <math>f(x)= \neg x</math> — [[логическое отрицание]] [[булева алгебра|булевой алгебры]];
* <math>f(x)= \neg x</math> — [[логическое отрицание]] [[булева алгебра|булевой алгебры]];
* [[Симметрия|симметрии]]: [[Центральная симметрия|центральная]], [[Осевая симметрия|осевая]], [[Зеркальная симметрия|зеркальная]];
* Среди движений плоскости есть два типа нетривиальных инволюций: [[Центральная симметрия|центральная]] и [[Зеркальная симметрия|зеркальная симметрии]].
** Таким образом инволюции соответствуют прямым и точкам — основным объектам планиметрии. На этом наблюдении основана [[аксиоматика Бахмана]].
* [[инверсия (геометрия)|инверсия]];
* [[инверсия (геометрия)|инверсия]];
* [[комплексное сопряжение]];
* [[комплексное сопряжение]];

Версия от 12:02, 18 июля 2022

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

Определение

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

Свойства

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

Примеры

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

Примечания

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