Idempotence

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Idempotence je v matematice, zejména v abstraktní algebře, vlastnost algebraických operací či prvků nějaké algebry. Operace je idempotentní, pokud jejím opakovaným použitím na nějaký vstup vznikne stejný výstup, jako vznikne jediným použitím dané operace. Tato vlastnost se vyskytuje například v lineární algebře u projekcí, je to také jedna z definičních vlastností uzávěrového operátoru.

Pojem idempotence začal používat Benjamin Peirce v algebře pro ty prvky nějaké algebry s násobením, které jsou netečné vůči mocnění.

Podle kontextu může idempotence nabývat různých významů:

  • Unární operace (zobrazení) f je idempotentní, pokud její dvojitou aplikací získáme totéž jako jednou aplikací, tedy pro libovolný vstup x platí rovnost f(f(x)) = f(x). To platí například pro identitu či konstantní funkci.
  • Binární operace je idempotentní, pokud její aplikace na dva totožné prvky získáme původní prvek. Například výpočet minima z dvou reálných hodnot je idempotentní: pro libovolné reálné x platí rovnost \min(x,x) = x.
  • Pro zadanou binární operaci nazýváme prvek idempotentním tehdy, pokud použití operace na tento prvek znovu vrací ten samý prvek. Například pro násobení reálných čísel je nula idempotentním prvkem: platí 0 \cdot 0 = 0. Číslo 2 idempotentní není: platí 2 \cdot 2 \neq 2.

Příklady idempotentních operací[editovat | editovat zdroj]

  • sjednocení množin je idempotentní, tzn. platí A \cup A = A.
  • průnik množin je idempotentní, tzn. platí A \cap A = A.

Vlastnosti[editovat | editovat zdroj]

Obecně daná operace nemusí mít žádný idempotentní prvek, nebo jich může mít několik. Speciálním případem idempotentního prvku je neutrální prvek.

Odkazy[editovat | editovat zdroj]

Externí odkazy[editovat | editovat zdroj]