Idempotence

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í) je idempotentní, pokud její dvojitou aplikací získáme totéž jako jednou aplikací, tedy pro libovolný vstup platí rovnost . 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é platí rovnost .
  • 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í . Číslo 2 idempotentní není: platí .

Příklady idempotentních operací

  • sjednocení množin je idempotentní, tzn. platí .
  • průnik množin je idempotentní, tzn. platí .

Vlastnosti

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.

Idempotence v programování

V softwarovém kontextu řekneme, že operace je idempotentní, pokud její opakované provedení se stejnými daty dává stejný výsledek. Typickou idempotentní operací je čtení z databáze - obsah databáze se čtením nezmění.

V protokolu HTTP, který je součástí technického podkladu World Wide Webu, je operace GET definována jako idempotentní, kdežto POST, který typicky nahrává data na server, idempotentní být nemusí.

Odkazy

Související články

Externí odkazy

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.