Involuce (matematika)

V matematiky , An involuce je bijective aplikace, který je jeho vlastní reciproční , to znamená, že tím, který každý prvek je obrazem jeho obrazu. To je například případ změny znaménka v množině reálných čísel nebo symetrií roviny nebo prostoru v euklidovské geometrii . V lineární algebře se evolventní endomorfismy nazývají také symetrie.

Zapojení se objevují v mnoha oblastech matematiky, zejména v kombinatorice a topologii . Involuce může být také spojena s fenoménem duality .

Formální definice

Říkáme, že aplikace je involutivní (nebo že se jedná o involuci E ), pokud pro všechno . Jinými slovy  : složený z f se sebou samým je mapa identity of E .

Vlastnosti

Mapa f z E do sebe je involuce tehdy a jen tehdy, je-li bijective a tak, že f -1 = f (obraz a předchůdce jakéhokoli prvku E shodují).

Sloučenina g ∘ f dvou involucema f a g z E je involutive tehdy a jen tehdy, pokud f a g dojíždět , to znamená, že v případě, f ∘ g = g ∘ f .

Nechť f je involuce E  :

Příklady

V lineární algebře , pokud K je pole a E K -vector plocha:

V algebře je aplikace skupiny sama o sobě, která každému prvku x spojuje její symetrické x −1, involutivní: ( x −1 ) −1 = x .

V analýze platí , že pro všechna reálná čísla b ≠ 0 a a jsou mapy definované na ℝ \ { a } a definované na ℝ involutions.

Komplex konjugace je involuce . Obecněji :

V klasické logice je negace involutivní: „not not A“ je ekvivalentní „A“; ale to není případ intuitivní logiky .

Permutace je involuce jestliže a pouze tehdy, když se rozkládá na disjunktní cykly délky menší než nebo roven 2. Je tedy výlučně složené z pevných bodů a předpisy.

Zobecnění

Pojem involuce lze rozšířit i na další matematické objekty: pokud vezmeme v úvahu monoid ( M , ✻, e ), řekneme, že prvek a z M je involuce (pro zákon ✻) nebo je involutivní (v M ) pokud a ✻ a = e .

Pak máme pro každé přirozené číslo k  : a 2 k = e k = e tedy a 2 k + 1 = e ✻ a = a .

Neutrální element z monoid je involuce tohoto monoidu.

Častým případem je involuce v kruhu s ohledem na druhý zákon.

Podívejte se také

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">