Relations
Relations
Exercise 1.
Let E be a nonempty set, A a subset of E and R a relation defined on P(E) by :
Exercise 2.
On R we define the relation R as follows :
∀x, y ∈ R : xRy ⇐⇒ x − y ∈ Z.
Exercise 4.
Let E and F be two sets, and f : E → F a map. We define on E the relation R as follows :
1
2. Consider the map :
f : E/R −→ F
x 7−→ f (x).
(a) Show that f is well-defined.
(b) Show that f is injective.
(c) What can you conclude about the quotient set ?
Exercise 5.
We define on R2 the binary relation R by :
(x, y)R(x0 , y 0 ) ⇐⇒ x + y = x0 + y 0 .
Exercise 6.
On the set of complex numbers C, we define the binary relation R by : ∀z, z 0 ∈ C, zRz 0 ⇐⇒ |z| = |z 0 |.
Show that R is an equivalence relation and determine C/R.
Exercise 8.
We define on N the relation R by :
∀p, q ∈ N : pRq ⇐⇒ ∃n ∈ N, q = pn .
2
3. Let X = {(a, b), (c, d)}. Determine sup X and inf X.
4. Define the lexicographical order of R3 , then generalize to Rn .
Exercise 10.
1. Let R be an equivalence relation on a set E and Cx is the equivalence class of x ∈ E. Show that
∀x, y ∈ E, x 6= y =⇒ (Cx = Cy or Cx ∩ Cy = ∅) .
2. Let E be a set. Show that the inclusion ” ⊂ ” is an order relation on the set P(E). Is (P(E), ⊂) a
totally ordered set ?
3. Let E be a totally ordered set. We say that E is well-ordered if ∀A ⊂ E, A 6= ∅, there is m ∈ A,
such that: ∀x ∈ A, m ≤ x.
(a) Show that the set N0 is well-ordered.
(b) Show that the sets Q and R are not well-ordered.
xS 0 y ⇐⇒ xRy ∧ yRx;
xT 0 y ⇐⇒ xRy ∨ yRx.
1. Show that S 0 is an equivalence relation. Is T 0 also an equivalence relation ?
2. Show that R allows us to define an order on E/S 0 .
Exercise 12 (Trellis).
Let E be a set and ≤ a reflexive and antisymmetric relation over E such that any pair of elements
(a, b) ∈ E 2 has a supremum denoted (a ∧ b) and an infimum denoted by (a ∨ b). A set with such a property
is called trellis, and is denoted by (E, ≤, ∧, ∨).
Show that the following statements are equivalent :
i). (E, ≤, ∧, ∨) is a trellis.
ii). The operations ∧ and ∨ are associative.
3
iii). One of the two operations ∧, ∨ is associative.