Première partie
Cours
1 Relation d’ordre
Le but de cette partie est essentiellement d’étudier la relation 6.
En analyse, la plus grande partie des calculs consiste à obtenir des encadrements, c’est pourquoi il est
essentiel de savoir manipuler rapidement et sans erreur des inégalités. Soyez soigneux, les erreurs d’inattention
sont très fréquentes dans ce domaine.
Bien que vous connaissiez déjà les règles de calcul, nous allons prendre le temps de redonner les règles
fondamentales et d’en déduire les autres règles.
La première partie est plus générale : avant d’étudier spécifiquement la relation 6, on donne du vocabulaire
et des généralités sur les relations en général.
1.1 Relations
Définition 1.1. Soit Eun ensemble. Une relation sur Eest une fonction R:E2→ {vrai, faux}. Si
(e, f)∈E2est tel que R(e, f) = vrai, on note plutôt eRf. Lorsque R(e, f) = faux, on note e6 Rf(Rbarré,
pb de typographie...)
Exemples:
•Sur N:=,6,>,|(divise)
•Sur P(E)pour n’importe quel ensemble E:=,⊂
•Soit I∈ P(R)et a∈¯
I. Sur F(I, R), on a vu les relations =oa() et ∼a.
Proposition 1.2. (admis) N’importe quel ensemble est toujours muni d’au moins une relation : l’égalité
notée =.
Remarque : En un certain sens, il s’agit d’un axiome... La relation =peut être décrite ainsi : étant donnés
un ensemble Eet (x, y)∈E2, on dit que x=ylorsque toute propriété vérifiée par xl’est aussi par y, et que
toute propriété vérifiée par yl’est aussi par x.
Définition 1.3. Soit Eun ensemble muni d’une relation R. On dit que Rest :
•réflexive si ∀x∈E,xRx.
•transitive si ∀(x, y, z)∈E3,(xRyet yRz)⇒xRz.
•symétrique si ∀(x, y)∈E2,xRy⇒yRx.
•antisymétrique si ∀(x, y)∈E2,(xRyet yRx)⇒x=y.
Définition 1.4. Soit Eun ensemble muni d’une relation R.
1. On dit que Rest une relation d’équivalence lorsqu’elle est transitive, réflexive, et symétrique.
2. On dit que Rest une relation d’ordre lorsqu’elle est transitive, réflexive, et antisymétrique.
Exemple: ⇔,⊂,=,6,≡[m], l’ordre alphabétique
1.2 La relation d’ordre de R
1.2.1 Propriétés admises
L’ensemble Rest muni d’une relation d’ordre 6, c’est celle-ci que nous allons étudier maintenant. Elle
vérifie la propriété supplémentaire suivante :
3