2.9. Relations binaires sur un ensemble

Une relation binaire sur un ensemble E est une relation dont les 2 domaines sont égaux à E, donc formalisée par un graphe RE×E. Abrégeons E×E en E2 et (x,y) ∈ R en x R y.

Préimages et produits

Pour toute fonction f : EF et toute relation binaire R sur F, la préimage de R par f est la relation binaire f(R) sur E définie par

{(x,y)∈E2 | f(x) R f(y)}

Pour toute famille de relations binaires (Ri)iI sur des ensembles respectifs Fi, leur produit est la relation binaire sur P = ∏iI Fi définie par

{(x,y)∈P2 | ∀iI, xi Ri yi} = ⋂iI πi(Ri).

(Elle est en fait en bijection canonique avec le produit d'ensembles ∏iI Ri)
En particulier avec une famille constante: toute relation binaire sur un ensemble F en définit une sur tout FI.

Les deux opérations peuvent être combinées en une seule étape: pour toute famille de fonctions fi : EFi, la relation

{(x,y)∈E2 | ∀iI, fi(x) Ri fi(y)} = ⋂iI fi(Ri)

est la préimage de la relation produit des Ri sur P, par la fonction ⊓iI fi : EP.

Ces concepts seront plus tard généralisés à d'autres structures du premier ordre.

Propriétés de base

Une relation binaire sur un ensemble E sera dite

réflexive  ⇔  xExRx ⇔  𝛿ER ⇒ Dom R = Im R = E
antiréflexive  ⇔   ∀xE, ¬(xRx)
symétrique  ⇔  (∀x,yE, xRyyRx) ⇔ RtRR = tR ⇔ (R) = (R)
antisymétrique  ⇔   ∀x,yE, (xRyyRx) ⇒ x = y
transitive  ⇔   ∀x,y,zE, (xRyyRz) ⇒ xRz

Ces propriétés sont conservées par transposition, préimages et produits, sauf que la préimage d'une relation antisymétrique par une fonction non-injective peut ne pas être antisymétrique, et le produit vide (I=∅) n'est pas antiréflexif.
En particulier pour FE, la restriction d'une relation RE×E à F, à savoir R∩(F×F), est sa préimage par IdF : FE, donc préserve toutes les propriétés.

Exemple. Soit AEE et R = fA Gr f. Alors

(IdEA) ⇒ R est réflexive
(∀f,gA, gfA) ⇒ R est transitive
(∀fA, f : EEf -1A) ⇒ R est symétrique

Pour toute relation binaire transitive R on note x R y R z ⇔ (x R yy R z) ⇒ x R z.

Préordre et ordre

Un préordre est une relation binaire réflexive et transitive. Un ordre est un préordre antisymétrique.
Un ensemble préordonné est un ensemble avec un préordre choisi dessus.
Un ensemble ordonné est un ensemble avec un ordre choisi, généralement noté ≤ ou ≤E. La formule xy peut se lire «x est inférieur à y» ou «y est supérieur à x».
Deux éléments x, y dans un ensemble ordonné sont dits comparables lorsque (xyyx).

Sur la classe des ensembles, la méta-relation ⥬ (existence d'une bijection canonique) est un méta-préordre.
La paire booléenne V2 est naturellement ordonnée par ⇒ qui y coïncide avec l'ordre habituel entre les nombres.
L'ordre de produit résultant sur V2E ⥬ ℘(E) (et donc tout ensemble d'ensembles) est celui de l'inclusion (⊂).

Toute relation RE×F définit un préordre sur E comme la préimage par R de l'ordre d'inclusion:

{(x,y)∈E2 | R(x) ⊂ R(y)}.

Inversement, tout préordre R sur un ensemble E est ainsi définissable par lui-même de deux manières (échangées par transposition):

x,yER(y) ⊂ R(x) ⇔ x R y ⇔ R(x) ⊂ R(y)

Preuve. La transitivité est équivalente à (∀x,yE, x R yR(y) ⊂ R(x)) et à (∀x,yE, x R yR(x) ⊂ R(y)).
La réflexivité est équivalente aux réciproques:

xE, (∀yE, R(x) ⊂ R(y) ⇒ y R x) ⇔ x R x ⇔ (∀yER(x) ⊂ R(y) ⇒ x R y). ∎

Donc R est la préimage de ⊂ by (R). De plus,

x,yE, R(x) = R(y) ⇔ (R(x) ⊂ R(y) ∧ R(y) ⊂ R(x)) ⇔ (xRyyRx)

de sorte que (R) est injective si et seulement si R est un ordre.
L'idée de ne considérer qu'un seul ordre noté ≤ sur chaque ensemble E, peut se formaliser en remplaçant l'ensemble ordonné (E,R) par (Im(R), ⊂), quoique cela ne colle pas exactement à la convention suivante: tout sous-ensemble d'un ensemble ordonné sera aussi implicitement ordonné par restriction.

Ordre strict, ordre total

Un ordre strict est une relation binaire transitive et antiréflexive; et donc aussi antisymétrique.

Les ordres stricts < correspondent bijectivement aux ordres ≤ par

x < y ⇔ (xyxy).
xy ⇔ (x < yx = y).

Un ordre total sur E est un ordre où tous les éléments sont comparables: ∀x,yE, xyyx, autrement dit (≤ ∪ t≤) = E×E.
Définitions équivalentes: Un ordre total strict sur un ensemble E, est un ordre strict associé à un ordre total, autrement dit une relation transitive < telle que, de manière équivalente

x,yE, x < y ⇎ (y < xx = y)
x,yE, x = y ⇎ (y < xx < y)

Relations d'équivalence

Une relation d'équivalence est un préordre symétrique.
Sur tout ensemble E, la relation d'égalité 𝛿E est une relation d'équivalence (comme déjà exprimé par les axiomes de l'égalité), et la seule relation à la fois symétrique, antisymétrique et réflexive.
Sur tout produit d'ensembles, le produit des relations d'égalité est aussi l'égalité.
La préimage de l'égalité par tout f : EF est une relation d'équivalence sur E qu'on notera ∼f :

f = {(x,y)∈E | f(x) = f(y)} = ∐(ff)
Inj f ⇔ ∼f = 𝛿E

Inversement, toute relation d'équivalence R est ainsi définissable par elle-même: R = ∼R. En effet

x,yEx R y ⇔ R(y) ⊂ R(x) ⇔ R(x) ⊂ R(y) ⇔ R(x) = R(y)

Fonctions quotient

Proposition.SetE,F,G, ∀f, (f : EF) ⇒ (GFggf) : GF ↔ {hGE | ∼f ⊂ ∼h}.

Preuve : ∀...∀fFE, ∀hGE, H = Im(f×h) ⇒

f ⊂ ∼h(x,x'E, f(x) = f(x′) ⇒ h(x) = h(x′))(∀(y,z), (y′,z′) ∈ H, y=y′ ⇒ z=z)
Dom H = Im f ∧ ∀gGF, h = gfH ⊂ Gr g. ∎

Pour toutes fonctions f,h telles que Dom f = Dom h ∧ ∼f ⊂ ∼h, cet unique g : Im f ↠ Im h tel que h = gf sera appelée le the quotient de h par f:

h/f = (Im fy↦ ℩h[f(y)])
Gr (h/f) = Im (f×h)
Inj f ⇒ (f -1 = IdDom f /fh/f = hf -1)
f = ∼h ⇔ Inj(h/f) ⇒ (h/f)-1 = f/h

Dans le cas plus général Im f ⊂ Dom g (sans surjectivité de f),

h = gf ⇒ (∼f ⊂ ∼hh/f = g|Im f)
(f  = ∼hf = (g|Im f)−1h)

La formule que ∼f est une relation d'équivalence,

x,y ∈ Dom f, xf y ⇔ ∼f(x) =  ∼f(y)

où (∼f) = ff, reflète l'injectivité de (f) qu'on peut directement voir par

y∈Im f, ∀z, f(y) = f(z) ⇒ f(y) ∩ f(z) = f(y) ≠ ∅ ⇒ y = z.

Partitions

Une partition d'un ensemble E est un ensemble d'ensembles non vides, deux à deux disjoints et dont l'union est E.
Autrement dit c'est un ensemble P de parties de E tel que IdP est une partition indexée of E.
L'image de toute partition indexée est une partition du même ensemble: pour toute fonction f d'image E, Im(f) = f[E] = Im(ff) est une partition de E.
RE×E, si P = R[E] alors

(∀x,yE, xR(y) ⇔ R(x) = R(y)) ⇔ (∀xE, ∀AP, xAR(x) = A) ⇔ IdP = (RE)

donc si R est une relation d'équivalence alors P est une partition.
Inversement, toute partition P de E définit une fonction g puis un graphe R par

Dom g = E ∧ (g) = IdPP = Dom (g) = Im g
R = ∐gE×Eg = RE ∴ (P = R[E] ∧ IdP = (RE))

donc R est une relation d'équivalence sur E et

x,yE, xRy ⇔ y∈ ℩{AP | xA} ⇔ (∃AP, xAyA) ⇔ (∀AP, xAyA).

Pour toute relation d'équivalence R sur E, la partition R[E] = Im (R) est appelée le quotient de E par R, et notée E/R :

(R) : EE/R.

Pour tout xE, l'ensemble R(x) = ℩{AE/R | xA} est appelé la classe de x par R.
Pour toute fonction f telle que Dom f = ER ⊂ ∼f, abrégeons f/(R) en f/R:

f/R : E/R ↠ Im f
Inj f/RR = ∼f

Ainsi lorsque R = ∼f le role de E/R peut être joué par Im f.
En particulier tout préordre R sur un ensemble E donne une relation d'équivalence RtR, et le rôle de E/(RtR) peut être joué par Im (R).

Théorie des ensembles et fondements des mathématiques
1. Premiers fondements des mathématiques
2. Théorie des ensembles
2.1. Premiers axiomes de théorie des ensembles
2.2. Principe de génération des ensembles
2.3. Curryfication et uplets
2.4. Quantificateurs d'unicité
2.5. Familles, opérateurs booléens sur les ensembles
2.6. Graphes
2.7. Produits et ensembles des parties
2.8. Injections, bijections
2.9. Propriétés des relations binaires
2.10. Axiome du choix
2.A. Temps en théorie des ensembles
2.B. Interprétation des classes
2.C. Concepts de vérité en mathématiques
3. Algebra - 4. Arithmetic - 5. Second-order foundations