Idempotenz ist eine Bezeichnung aus der Mathematik und Informatik. In der Mathematik bezeichnet man ein Objekt ${\displaystyle a}$, das mit einer Verknüpfung ${\displaystyle \circ }$ die Eigenschaft ${\displaystyle a\circ a=a}$ hat, als idempotent bezüglich dieser Verknüpfung. Ein wichtiger Spezialfall sind idempotente Funktionen bezüglich der Hintereinanderausführung. Analog dazu wird in der Informatik ein Stück Programmcode, das mehrfach hintereinander ausgeführt das gleiche Ergebnis wie bei einer einzigen Ausführung liefert, als idempotent bezeichnet.

Etymologie

Neologismus (sprachliche Neubildung) aus lateinisch idem ^{→ la} für „derselbe“ oder „dasselbe“ und dem Substantiv Potenz („in der Mathematik: Produkt mehrerer gleicher Faktoren“), abgeleitet von lateinisch potentia ^{→ la} für „Vermögen“, „Kraft“ oder „Wirksamkeit“.

Definitionen

Beispiele

Idempotente Verknüpfungen:

• Bezüglich der Multiplikation sind die Lösungen ${\displaystyle 0}$ und ${\displaystyle 1}$ der Gleichung ${\displaystyle x^{2}=x}$ die einzigen idempotenten reellen Zahlen.
• Bezüglich einer zweistelligen Verknüpfung ${\displaystyle *}$ ist ein (links- oder rechts-)neutrales Element ${\displaystyle e}$ stets idempotent: ${\displaystyle e*e=e.}$ In einer Gruppe ist das neutrale Element das einzige idempotente Element.
• In einem Ring mit Eins sind ${\displaystyle 0}$ und ${\displaystyle 1}$ stets idempotente Elemente bezüglich der Multiplikation. Falls der Ring nicht nullteilerfrei ist, können auch noch weitere idempotente Elemente existieren. Beispielsweise gilt im Restklassenring ${\displaystyle \mathbb {Z} /(6)}$

${\displaystyle {\bar {3}}\cdot {\bar {3}}={\bar {3}}}$ und ${\displaystyle {\bar {4}}\cdot {\bar {4}}={\bar {4}}}$.

• In einem Verband ${\displaystyle (V,\vee ,\wedge )}$ sind alle Elemente idempotent bezüglich der Verknüpfungen ${\displaystyle \vee }$ und ${\displaystyle \wedge }$. D.h. es gilt stets ${\displaystyle u=u\vee u}$ und ${\displaystyle u=u\wedge u}$. Entsprechendes gilt für die Halbverbände ${\displaystyle (V,\vee )}$ und ${\displaystyle (V,\wedge )}$.
• Absorbierende Elemente sind immer idempotent.

Idempotente Abbildungen:

• Konstante Funktionen: ${\displaystyle f\colon x\mapsto c.}$
• Identische Abbildung: ${\displaystyle \operatorname {id} \colon x\mapsto x.}$
• ${\displaystyle g\circ f}$, wenn ${\displaystyle f\circ g=\operatorname {id} .}$
• Projektionen, z. B. ${\displaystyle p\colon (x,y)\mapsto (x,0).}$
• Betragsfunktionen: ${\displaystyle |\cdot |\colon x\mapsto |x|.}$
• Hüllenoperatoren.
• Kernoperatoren.

Eigenschaften

• Eine ${\displaystyle n\!\times \!n}$-Matrix ${\displaystyle A,n\in \mathbb {N} ,}$ über einem beliebigen Körper ${\displaystyle K}$ ist genau dann idempotent bezüglich der üblichen Matrizenmultiplikation, wenn die durch sie induzierte lineare Abbildung

${\displaystyle f_{A}\colon \,K^{n}\to K^{n},\;x\mapsto Ax,}$

idempotent ist. Insbesondere ist ${\displaystyle A}$ diagonalisierbar und alle Eigenwerte von ${\displaystyle A}$ sind ${\displaystyle 0}$ oder ${\displaystyle 1}$. Geometrisch können idempotente lineare Abbildungen als Projektion des Vektorraums auf einen Untervektorraum interpretiert werden.

• Jeder idempotente Ring ${\displaystyle (R,+,\cdot )}$ ist kommutativ, denn es gilt für alle ${\displaystyle a,b\in R\colon }$

${\displaystyle a+0+b=a+b=(a+b)\cdot (a+b)=a\cdot (a+b)+b\cdot (a+b)=a\cdot a+a\cdot b+b\cdot a+b\cdot b=a+a\cdot b+b\cdot a+b,}$

(zweite und fünfte Gleichung wegen der Idempotenz, dritte und vierte Gleichung wegen der Distributivität), also

${\displaystyle 0=a\cdot b+b\cdot a.\quad (1)}$

Damit gilt auch, indem man ${\displaystyle a\leftarrow (a\cdot b)}$ und ${\displaystyle b\leftarrow (a\cdot b)}$ setzt und wiederum die Idempotenz nutzt,

${\displaystyle 0=(a\cdot b)\cdot (a\cdot b)+(a\cdot b)\cdot (a\cdot b)=a\cdot b+a\cdot b.}$

Folglich ist

${\displaystyle a\cdot b=a\cdot b+0=a\cdot b+a\cdot b+b\cdot a=0+b\cdot a=b\cdot a.}$

Insbesondere gilt auch (wegen der Idempotenz und wegen (1) mit ${\displaystyle b=a}$)

${\displaystyle a+a=a\cdot a+a\cdot a=0}$ bzw. ${\displaystyle \,-a=a.}$

• Ein idempotenter Fastring ${\displaystyle (F,+,\cdot )}$ ist genau dann kommutativ, wenn er distributiv ist, denn:

Falls ${\displaystyle (F,+,\cdot )}$ kommutativ ist, gilt für alle ${\displaystyle a,b,c\in F\colon }$

${\displaystyle c\cdot (a+b)=(a+b)\cdot c=(a\cdot c)+(b\cdot c)=(c\cdot a)+(c\cdot b).}$

Ist hingegen ${\displaystyle (F,+,\cdot )}$ distributiv, so folgt daraus genau so wie bei einem idempotenten Ring die Kommutativität.

Informatik

In der Informatik werden mit dem Begriff Idempotenz – je nach Kontext – zwei voneinander abweichende Definitionen verbunden:

1. Bei imperativer Programmierung gilt ein Unterprogramm (Funktion) mit Auswirkungen als idempotent, wenn dessen mehrfache Ausführung denselben Zustand des Gesamtsystems bewirkt wie die einmalige Ausführung, oder in anderen Worten, wenn das Unterprogramm als Abbildung des Gesamtsystems auf sich selbst verstanden im mathematischen Sinne idempotent ist.
2. Bei funktionaler Programmierung ist eine reine Funktion (Funktion ohne Nebeneffekte mit gleichen Ein- und Ausgabeparemetern) idempotent, wenn sie dies im mathematischen Sinne ist.

Dies ist eine nützliche Eigenschaft, da sie bedeutet, dass eine Operation so häufig wiederholt oder erneut versucht werden kann wie notwendig, ohne unbeabsichtigte Auswirkungen zu verursachen. Bei nicht-idempotenten Operationen muss ein Algorithmus mitverfolgen, ob sie bereits ausgeführt wurden oder noch nicht.

Idempotenz wird beispielsweise von Recovery-Maßnahmen bei Datenbanken und Diensten gefordert, um Fehlertoleranz bei einem Absturz während einer Wiederanlaufphase zu gewährleisten. Undo- und Redo-Operationen müssen hier auch bei mehrfacher Hintereinanderausführung dasselbe Resultat zur Folge haben.

Rein lesende Services sind von Natur aus idempotent, da der Zustand der Daten nicht geändert wird. Jeder nicht idempotente schreibende Service kann zu einem idempotenten Service gemacht werden.

Siehe auch

• Nilpotenz
• Involution (Mathematik)

Literatur

• Jeremy Gunawardena: An introduction to idempotency in J. Gunawardena (Hrsg.): Idempotency, Cambridge University Press, 1998, ISBN 0-521-55344-X, S. 1–49 (englisch; Vorabveröffentlichung online, PDF-Datei, 414 kB)
• Munindar Paul Singh, Michael N. Huhns: Service-oriented Computing: Semantics, Processes, Agents. Wiley 2005, ISBN 0-470-09148-7, S. 54 (Auszug in der Google-Buchsuche)

Einzelnachweise

1. ↑ Idempotenz. In: Wiktionary. 20. Mai 2019 (wiktionary.org [abgerufen am 21. Oktober 2022]). 
2. ↑ L. N. Shevrin: Semi-group of Idempotents. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 
3. ↑ Günther Eisenreich, Ralf Sube: Langenscheidts Fachwörterbuch Mathematik. Langenscheidt 1996, ISBN 3-86117-074-4, S. 381 (Auszug in der Google-Buchsuche)