{(x,y)∈E2 | f(x) R f(y)}
Pour toute famille de relations binaires (Ri)i∈I sur des ensembles respectifs Fi, leur produit est la relation binaire sur P = ∏i∈I Fi définie par{(x,y)∈P2 | ∀i∈I, xi Ri yi} = ⋂i∈I πi⋆(Ri).
(Elle est en fait en bijection canonique avec le produit d'ensembles ∏i∈I Ri)Les deux opérations peuvent être combinées en une seule étape: pour toute famille de fonctions fi : E → Fi, la relation
{(x,y)∈E2 | ∀i∈I, fi(x) Ri fi(y)} = ⋂i∈I fi⋆(Ri)
est la préimage de la relation produit des Ri sur P, par la fonction ⊓i∈I fi : E → P. Ces concepts seront plus tard généralisés à d'autres structures du premier ordre.Une relation binaire sur un ensemble E sera dite
réflexive ⇔ | ∀x∈E, xRx ⇔ 𝛿E ⊂ R ⇒ Dom R = Im R = E |
antiréflexive ⇔ | ∀x∈E, ¬(xRx) |
symétrique ⇔ | (∀x,y∈E, xRy ⇒ yRx) ⇔ R ⊂ tR ⇔ R = tR ⇔ (R⃗) = (R⃖) |
antisymétrique ⇔ | ∀x,y∈E, (xRy ∧ yRx) ⇒ x = y |
transitive ⇔ | ∀x,y,z∈E, (xRy ∧ yRz) ⇒ xRz |
Exemple. Soit A ⊂ EE et R = ⋃f∈A Gr f. Alors
(IdE ∈ A) ⇒ | R est réflexive |
(∀f,g∈A, g⚬f ∈ A) ⇒ | R est transitive |
(∀f∈A, f : E↔E ∧ f -1∈ A) ⇒ | R est symétrique |
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 (⊂).
{(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,y∈E, R⃗(y) ⊂ R⃗(x) ⇔ x R y ⇔ R⃖(x) ⊂ R⃖(y)
Preuve. La transitivité est équivalente à (∀x,y∈E, x R y ⇒ R⃗(y) ⊂ R⃗(x)) et à (∀x,y∈E, x R y ⇒ R⃖(x) ⊂ R⃖(y)).∀x∈E, (∀y∈E, R⃗(x) ⊂ R⃗(y) ⇒ y R x) ⇔ x R x ⇔ (∀y∈E, R⃖(x) ⊂ R⃖(y) ⇒ x R y). ∎
Donc R est la préimage de ⊂ by (R⃖). De plus,∀x,y∈E, R⃖(x) = R⃖(y) ⇔ (R⃖(x) ⊂ R⃖(y) ∧ R⃖(y) ⊂ R⃖(x)) ⇔ (xRy ∧ yRx)
de sorte que (R⃖) est injective si et seulement si R est un ordre.Un ordre strict est une relation binaire transitive et antiréflexive; et donc aussi antisymétrique.
Les ordres stricts < correspondent bijectivement aux ordres ≤ parx < y
⇔ (x ≤ y ∧ x ≠ y).
x ≤ y ⇔
(x < y ∨ x = y).
∀x,y∈E, x < y
⇎ (y < x ∨ x = y)
∀x,y∈E, x = y ⇎
(y < x ∨ x < y)
∼f = {(x,y)∈E |
f(x) = f(y)} = ∐(f•⚬f)
Inj f ⇔ ∼f = 𝛿E
∀x,y∈E, x R y ⇔ R⃗(y) ⊂ R⃗(x) ⇔ R⃗(x) ⊂ R⃗(y) ⇔ R⃗(x) = R⃗(y)
Preuve : ∀...∀f∈FE, ∀h∈GE, 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 ∧
∀g∈GF, h = g⚬f ⇔ H
⊂ Gr g. ∎
h/f = (Im f ∋y↦ ℩h[f•(y)])
Gr (h/f) = Im (f×h)
Inj f ⇒ (f -1 =
IdDom f /f ∧ h/f = h⚬f -1)
∼f
= ∼h ⇔ Inj(h/f) ⇒ (h/f)-1 = f/h
h = g⚬f ⇒ (∼f ⊂ ∼h
∧ h/f = g|Im f)
⇒ (∼f = ∼h
⇒ f = (g|Im f)−1⚬h)
∀x,y ∈ Dom f, x ∼f y ⇔ ∼⃗f(x) = ∼⃗f(y)
où (∼⃗f) = f•⚬f, 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.
(∀x,y∈E, x∈R⃗(y) ⇔ R⃗(x) = R⃗(y)) ⇔ (∀x∈E, ∀A∈P, x∈A ⇔ R⃗(x) = A) ⇔ IdP = (R⃗E•)
donc si R est une relation d'équivalence alors P est une partition.
Dom g = E ∧ (g•) = IdP
∴ P = Dom (g•)
= Im g
R = ∐g ⊂ E×E ∴ g
= R⃗E ∴ (P
= R⃗[E] ∧ IdP =
(R⃗E•))
∀x,y∈E, xRy ⇔ y∈ ℩{A∈P | x∈A} ⇔ (∃A∈P, x∈A ∧ y∈A) ⇔ (∀A∈P, x∈A ⇒ y∈A).
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⃗) : E ↠ E/R.
Pour tout x ∈ E, l'ensemble R⃗(x) = ℩{A∈E/R | x∈A} est appelé la classe de x par R.f/R : E/R ↠ Im f
Inj f/R ⇔
R = ∼f
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 |