Equivalence class

In mathematics, an equivalence class is a way to group together elements that are considered 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 set of items and an equivalence relation, we can split the set into smaller groups called equivalence classes. Each class contains all the elements 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 sets 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 element belongs to an equivalence class. This means each element is linked to others in its class by the relation.

Two equivalence classes are either exactly the same or completely separate. This creates a clear grouping where every element fits into just one class.

Examples

Imagine you have a group of rectangles, and you decide that two rectangles are the same if they have the same area. This means all rectangles with an area of 5 square units would be in one group, and 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, and 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 a special kind of picture, called a graph, to show how things are related. In these pictures, each item is a dot, and lines connect dots that are related. When we talk about equivalence classes, the graphs we use are called 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 by equivalence.

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 both are even, then being "even" is an invariant because 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 from grouping parts of a space together using an equivalence relation. This creates a new space where each group is treated as a single 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 and relationships in math by looking at how things group together.