Equivalence class

In mathematics, an equivalence class is a way to group together items that are the same or equivalent in some way. This idea comes from an equivalence relation, a rule that tells us when two things are equivalent. When we have a group of items and an equivalence relation, we can split the group into smaller groups called equivalence classes. Each class contains all the items that are equivalent to each other.

For example, imagine you have a set of shapes, and you decide that two shapes are equivalent if they have the same area. All squares with an area of 9 would be in one equivalence class, all rectangles with an area of 9 would be in the same class, and so on. Each class groups together everything that shares this common property.

Equivalence classes are important because they help us simplify complex groups by focusing on what matters. In many areas of math, like quotient spaces in linear algebra or quotient groups, we study these classes to understand deeper structures and patterns. They show us how we can break down big problems into smaller, more manageable pieces.

Definition and notation

An equivalence relation on a set is a way to say when two things are the same in some important way. It has three key rules: every item is related to itself, if item A is related to item B, then B is related to A, and if A is related to B and B is related to C, then A is related to C.

When we have this kind of relation, we can group items into equivalence classes. Items are in the same class if they are related to each other. For example, in modular arithmetic, numbers that leave the same remainder when divided by a number m are in the same class. Each class can be represented by a simpler number, like the remainder itself, making it easier to work with these groups.

Properties

For a set with an equivalence relation, every part belongs to an equivalence class. This means each part is connected to others in its group by the relation.

Two equivalence classes are either the same or completely apart. This makes a clear grouping where every part fits into just one class.

Examples

Imagine you have a group of rectangles. You decide that two rectangles are the same if they have the same area. All rectangles with an area of 5 square units would be in one group. All with an area of 10 square units would be in another group. Each group is called an equivalence class.

Another example is numbers. If we say two numbers are the same if their difference is an even number, then all even numbers like 2, 4, and 6 would be in one class. All odd numbers like 1, 3, and 5 would be in another class. This helps us see how numbers can be grouped by certain rules.

Main article: Modulo

Graphical representation

Main article: Cluster graph

We can use special pictures called graphs to show how things are related. In these pictures, each item is a dot, and lines connect dots that are related. For equivalence classes, we use cluster graphs. In these graphs, any two dots that are connected form a group where every dot is connected to every other dot in that group. This helps us see how items are grouped together.

Invariants

An invariant is a special rule in mathematics. Imagine you have a group of items, and you know when two items are the same or different — this is called an equivalence relation. An invariant is a property that stays the same for all items that are equivalent.

For example, if two numbers are in the same group because they are both even, then being "even" is an invariant. It doesn’t change no matter which even number you pick.

Functions can also be invariants. If a function gives the same result for any two items that are equivalent, we say the function is invariant under that relation. This idea is important in many areas of math, like studying groups and their properties).

Quotient space in topology

In topology, a quotient space is made by grouping parts of a space together using an equivalence relation. This makes a new space where each group is treated as one point.

In abstract algebra and linear algebra, similar ideas are used to create new structures called quotient algebras, quotient spaces, quotient modules, quotient rings, and quotient groups. These help us study patterns in math by seeing how things group together.