Professional Documents
Culture Documents
TOPIC 2 - Functions and Equivalence Relation
TOPIC 2 - Functions and Equivalence Relation
EQ U I VA L E N C E R E L AT I O N
ABSTRACT ALGEBRA
INPUT AND OUTPUT
INPUT FUNCTION OUTPUT
• Each student must complete one worksheet (and the worksheet can only be
completed by one student).
function
EXAMPLES ON SURJECTIVE FUNCTION
• (I) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏, 𝑐, 𝑑} 𝑄 = {(1, 𝑎), (2, 𝑑), (3, 𝑏)}
• (II) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏, 𝑐} 𝑅 = {(1, 𝑎), (2, 𝑏), (3, 𝑐)}
• (III) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏, 𝑐} 𝑆 = {(1, 𝑎), (2, 𝑏), (3, 𝑏)}
• (IV) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏, 𝑐, 𝑑} 𝑇 = {(1, 𝑎), (2, 𝑏), (2, 𝑐), (3, 𝑑)}
• (V) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏} 𝑈 = {(1, 𝑎), (2, 𝑏), (3, 𝑏)}
• (VI) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏} 𝑉 = {(1, 𝑎), (2, 𝑏)}
(I) 𝐴 = {1, 2, 3}, 𝐵 = {𝑎, 𝑏, 𝑐, 𝑑} 𝑄 = {(1, 𝑎), (2, 𝑑), (3, 𝑏)}
•Reflexivity:
•For any integer a in S, the difference a−a=0 is divisible
by n. Thus, a ≡a mod n.
•Hence, congruence modulo n is reflexive.
Congruence modulo n:
• Symmetry:
• Let a and b be any two integers in S such that a≡ b mod n. This
means that n divides a−b, so there exists an integer k such that
a−b=n⋅k.
• Multiplying by -1, we get b−a=n⋅(−k), which implies that n also
divides b−a. Thus, b≡ a mod n.
• Hence, congruence modulo n is symmetric
Congruence modulo n:
• Transitivity:
• Let ,a,b, and c be integers in S such that a ≡b mod n and b ≡ c mod n.
• a≡b mod n implies that there exists an integer k1such that 1a−b=n⋅k1.
• b≡cmodn implies that there exists an integer k2such that b−c=n⋅k2.
• Adding the two equations, we get: (a−b)+(b−c)=n⋅k1+n⋅k2which simplifies to: a−c=n⋅(k1+k2).
• This means n divides a−c and thus a ≡ c mod n.
• Hence, congruence modulo n is transitive
SIMILARITY OF TRIANGLES IN GEOMETRY:
• • Paper beats rock and rock beats scissors, but paper does not beat scissors, so R is
not transitive.
• • X − X = 0 ∈ Z SO R IS REFLEXIVE.
• • IF X − Y ∈ Z THEN Y − X = −(X − Y) ∈ Z SO R IS SYMMETRIC.
• • IF X − Y ∈ Z AND Y − Z ∈ Z THEN X − Z = (X − Y) + (Y − Z) ∈ Z BECAUSE THE SUM OF TWO INTEGERS IS AN
INTEGER.