Dm Relations
Dm Relations
RELATIONS
1. Introduction of relations
2. Domain and Range
3. Methods of describing relations
4. Identity and inverse relations
5. Composition of relations
6. Digraph of relations
7. Partitions and cross partition
1. RELATIONS: INTRODUCTION
- Relations can be used to store information in
the computer databases. Relationships
between people, numbers, events, letters,
sets, and many other entities can be
formalized in the idea of a binary relation. It
is a binary relation because it relates two
objects.
A
B
A x B = SUBSETS = UNIVERSAL
R
- If two ordered pair of elements are written, Note on Relations
separated by comma and enclosed by
parentheses like (a, b), they form a binary Try this one!
relation. In a binary relation (a, b), a- - Let R be a relation from a set A to itself. A
coordinate as called the left component or relation on the set A is a subset of A x A.
the domain and the b- coordinate is called
the right component or the range. Let A = {1, 2, 3, 4}, R = {(a, b) | a divides b}.
Which ordered pairs are in the relation R? Also,
Note: (a , b) ≠ (b, a) unless a = b. describe the sets in terms of an arrow diagram and a
(2,3) ≠ (3,2) matrix.
Final Answer
1. The composition relation remains the same
for R2R^2R2 and R3R^3R3.
2. The arrow diagram is the same as the given
RRR.
Digraph of Relations
Try this!
Let A = {1,2,3,4}; R = {(1,2), (2,2), (2,4), (3,2),
(3,4), (4,1), (4,3)}. Given the relations create a
digraph, list of in-degree and out-degree of all
vertices in a table, and matrix.
ANSWER:
Final Answer
1. Digraph: Shows how elements relate with
arrows.
2. Table: Lists the in-degree and out-degree
of each vertex.
3. Matrix: Represents the relation in a
structured form.
Closure Properties
- The reflexive, symmetric and transitive
closures of a relation R is to be denoted
respectively by: reflexive(R), symmetric
(R), and transitive (R).
▪ Reflexive (R) can be obtained by adding to R
those identity elements (a, a) which do not belong to
R.
▪ Symmetric (R) will be obtained by adding to R all
pairs (b, a) whenever (a, b) belong to R.