Idempotence

Idempotence

En mathématiques et en informatique, le concept d’idempotence signifie essentiellement qu'une opération a le même effet qu'on l'applique une ou plusieurs fois, ou encore qu'en la réappliquant on ne modifiera pas le résultat. On la retrouve en algèbre générale, en particulier dans la théorie des opérateurs de projections et des opérateurs de clôture.

Sommaire

Définitions

Un élément a d'un anneau A est dit idempotent si

a2 = a.

Une application f : E → E est idempotente si f o f = f, autrement dit si pour tout élément x de E, f ( f ( x ) ) = f ( x ).

Nombres idempotents

En considérant, dans ce paragraphe, l'opération multiplication on a :

Dans \mathbb N , 0 et 1 sont idempotents.

Endomorphismes idempotents

Si E est un espace vectoriel et u un endomorphisme idempotent de E, u est appelé projecteur. On l'interprète géométriquement comme la projection sur l'espace image de u, parallèlement au noyau de u. Tout projecteur est diagonalisable, avec valeurs propres 0 et 1.

En informatique

En informatique, le terme est utilisé pour décrire des fonctions, procédures, méthodes, routines ou scripts qui peuvent être appelées plusieurs fois sans problèmes car le système maintient le même état après une ou plusieurs invocations : toutes les variables gardent la valeur qu'elles avaient après la première invocation.

Par exemple : rechercher le nom d'un client dans une base de données est typiquement idempotent, car cela ne change pas la base de données. Passer une commande n'est pas idempotent, car plusieurs invocations résulteront en plusieurs commandes. Annuler une commande au contraire est idempotent car la commande reste annulée quel que soit le nombre d'invocations.

Un script SQL d'insertion dans une base données peut être écrit de manière à être idempotent: les commandes d'insertions peuvent être écrites avec des conditions empêchant la réinsertion de ces mêmes enregistrements. Ce script peut alors être exécuté plusieurs fois sur la même base de données sans aucun risque de duplication de données. Ceci est intéressant dans le cas d'un système qui évolue et qui nécessite de nouvelles insertions lors de nouvelles versions. Ceci permet également aux utilisateurs du logiciel de faire évoluer leur installation à leur rythme, sans devoir toujours passer de la version n à la version n+1.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Idempotence de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Idempotence — IPAEng|ˌaɪdɨmˈpoʊtəns describes the property of operations in mathematics and computer science which means that multiple applications of the operation does not change the result. The concept of idempotence arises in a number of places in abstract …   Wikipedia

  • idempotence — ● idempotence nom féminin Propriété d une loi de composition ⊤ telle que, pour tout élément x de l ensemble sur lequel elle est définie, on ait x ⊤ x = x …   Encyclopédie Universelle

  • idempotence — noun A quality of an action such that repetitions of the action have no further effect on outcome – being idempotent. See Also: idempotent, nilpotence, unipotence …   Wiktionary

  • Idempotent — Idempotence En mathematiques et en informatique, le concept d idempotence signifie basiquement qu une opération a le même effet qu on l applique une ou plusieurs fois, ou encore qu en la réappliquant on ne modifiera pas le résultat. On la… …   Wikipédia en Français

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Algèbre de Boole (structure) — Pour les articles homonymes, voir « Algèbre de Boole ». En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être… …   Wikipédia en Français

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Algèbre des parties d'un ensemble — En théorie des ensembles, l ensemble des parties d un ensemble, muni des opérations d intersection, de réunion, et de passage au complémentaire possède une structure d algèbre de Boole. D autres opérations s en déduisent, comme la différence… …   Wikipédia en Français

  • Kuratowski closure axioms — In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms which can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first… …   Wikipedia

  • Characterizations of the category of topological spaces — In mathematics, a topological space is usually defined in terms of open sets. However, there are many equivalent characterizations of the category of topological spaces. Each of these definitions provides a new way of thinking about topological… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”