Identité (mathématiques)En mathématiques, le mot « identité » est employé dans plusieurs sens : il peut par exemple désigner un objet bien défini jouant un rôle particulier dans une famille d'objets (on parle ainsi de la fonction identité parmi les fonctions, de l'élément identité dans un groupe, de la matrice identité parmi les matrices, etc.). Cet article est consacré à un autre sens : une identité est une égalité entre deux expressions qui est vraie quelles que soient les valeurs des différentes variables employées ; par abus de langage, on baptise parfois aussi « identité » une égalité entre des termes constants, qu'on considère comme fondamentale ou surprenante.
Reflexive closureIn mathematics, the reflexive closure of a binary relation on a set is the smallest reflexive relation on that contains A relation is called if it relates every element of to itself. For example, if is a set of distinct numbers and means " is less than ", then the reflexive closure of is the relation " is less than or equal to ". The reflexive closure of a relation on a set is given by In plain English, the reflexive closure of is the union of with the identity relation on As an example, if then the relation is already reflexive by itself, so it does not differ from its reflexive closure.
Relation symétriqueEn mathématiques, une relation (binaire, interne) R est dite symétrique si elle vérifie : ou encore, si elle est égale à sa relation réciproque. Exemples : les relations d'équivalence sont les préordres symétriques ; sur l'ensemble des entiers, la relation « forme un produit pair avec » est symétrique, car la multiplication des entiers est commutative. La clôture symétrique d'une relation R est la relation (sur le même ensemble) dont le graphe est l'union de ceux de R et de sa réciproque.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Fonction partiellevignette|Exemple d'une fonction partielle En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé ensemble de définition (ou domaine de définition) de la fonction partielle.
