Relations and Functions

Maths · Class 12

Simulation · Maths · Class 12

Build a relation on {1, 2, 3}

"Build a relation on {1, 2, 3}" is a free, interactive Class 12 Maths simulation for JEE, built on the lesson "Equivalence relations" in Relations and Functions. Each cell is one pair (a, b) of A × A for A = {1, 2, 3}; orange means the pair is in R. The dashed diagonal holds (1, 1), (2, 2), (3, 3). The readouts test all three properties as you tap. Reflexive: whole diagonal. Symmetric: every cell has its mirror across the diagonal. Transitive: every chain (a, b), (b, c) has (a, c). All three together: an equivalence relation, whose classes split A into disjoint blocks.

From the lesson Equivalence relations in Relations and Functions. Change the values and watch what happens.

Build a relation on {1, 2, 3}Maths · Class 12

The idea behind it

NCERT §1.2

  • A relation that is reflexive, symmetric and transitive at once is an equivalence relation.
  • Congruence of triangles in a plane is one: every triangle is congruent to itself, T₁ ≅ T₂ gives T₂ ≅ T₁, and T₁ ≅ T₂, T₂ ≅ T₃ give T₁ ≅ T₃.
  • On the integers Z, a R b ⇔ 2 divides a − b is an equivalence relation. Reflexive: a − a = 0 is divisible by 2. Symmetric: if 2 divides a − b it divides b − a = −(a − b). Transitive: a − c = (a − b) + (b − c) is a sum of two even numbers, hence even.
  • The same argument works with any fixed divisor: a R b ⇔ 3 divides a − b is also an equivalence relation on Z.
  • Relations of the form 'has the same … as' are equivalence relations: the same parity, the same number of pages, the same distance from the origin. More generally, for any function f on X, a R b ⇔ f(a) = f(b) is an equivalence relation on X.
  • If R₁ and R₂ are equivalence relations on A, then R₁ ∩ R₂ is one too, because each of the three properties survives the intersection.
  • The smallest equivalence relation containing a given pair: on {1, 2, 3}, the one containing (1, 2) must hold the three diagonal pairs and the mirror pair (2, 1), five pairs in all. Adding any further pair forces, by symmetry and transitivity, all the rest, so only two equivalence relations on {1, 2, 3} contain (1, 2): this one and the universal relation.

Questions

2 answers

What does the "Build a relation on {1, 2, 3}" simulation show?
Each cell is one pair (a, b) of A × A for A = {1, 2, 3}; orange means the pair is in R. The dashed diagonal holds (1, 1), (2, 2), (3, 3). The readouts test all three properties as you tap.
Is this simulation free?
Yes. It is free and runs in the browser on a phone or a laptop. It belongs to the lesson "Equivalence relations" in Relations and Functions (Class 12 Maths).

Embed this simulation

Free, with a link back

Teaching this idea? Put the simulation on your own page or LMS with this code.