Relations Flashcards
Une relation (binaire) sur un ensemble E est …
Une partie R ⊂ E2
Soit R ⊂ E2
R est réflexive ssi
∀x∈E, xRx
Soit R ⊂ E2
R est symétrique ssi
∀x,y ∈ E, xRy => yRx
Soit R ⊂ E2
R est transitive ssi
∀x,y,z ∈ E, xRy et yRz => xRz
Soit R ⊂ E2
R est anti-symétrique ssi
∀x,y ∈ E, (xRy et yRx) => x = y
Se représenter un schéma pour la réflexivité d’une relation
Un point x
Une flèche rouge sur lui même
Se représenter un schéma pour une relation symétrique
Deux points x et y
Une flèche bleue de x vers y
Une flèche rouge de y vers x
Se représenter un schéma pour une relation transitive
Trois points x, y, z
Une flèche bleue de x vers y
Une flèche bleue de y vers x
Une flèche rouge de x vers z
Se représenter un schéma pour une relation anti-symétrique
Deux points x et y
Une flèche bleue de x vers y
Une flèche bleue de y vers x
Un égal rouge entre x et y
Une relation d’ordre R sur E est :
- Réflexive
- anti-symétrique
- transitive
Donner trois exemples de relations d’ordre
- ≤ sur ℝ
- ⊂ sur 𝒫(E)
- | sur ℕ
Soit A ⊂ E ordonné
Un minorant de A est …
un x ∈ E tel que ∀y∈A, x ≤ y
Soit A ⊂ E ordonné
Un majorant de A est …
un x ∈ E tel que ∀y∈A, x ≥ y
Soit A ⊂ E ordonné
Le minimum de A est …
Un minorant de A tel que x ∈ A
Soit A ⊂ E ordonné
Le maximum de A est …
Un majorant x de A tel que x ∈ A