Recall the  relation on the set

One of the equivalence classes is which is equivalent to writing 

We could do this because the equivalence class collects all the natural numbers that are related to zero under the relation 

The following theorem generalises this idea for any relation on the set for the integer

Let  be an equivalence relation on set If  then

Essentially, equivalence classes   are equal if the elements   are related under the relation And simultaneously, knowing that elements  are related under means their equivalence classes   are equal.

An equivalence class   divides set a into equivalence classes. We call this situation a partition of set

A partition of a set is defined as a set of non-empty subsets of such that both these conditions are simultaneously satisfied:

 (i) the union of all these subsets equals

(ii) the intersection of any two different subsets is

Let’s return to our example: on the set We could represent this set as:

• NOTE: Each equivalence class above represents an infinite set and despite the drawing suggesting is larger than for instance, this is not true.

Let’s find the equivalence classes of the following finite set S:

Given we can form the following relation

Note: writing the relation on set in the following ways is equivalent:

or

This relation, has been given the symbol but it means “the same sign and parity” in this case. For instance, or tells us that one and three are both odd and both have the same sign in set (both positive).

The equivalence classes for this relation are the following sets:

We obtained the above equivalence classes by asking ourselves:

• How is the element related to any other element in the set under the definition of

Since R is defined as “the same sign and same parity,” then we’re really asking ourselves whether has the same sign as any other element in Since all the other elements are positive, then has the equivalence class containing only itself. Another question we would’ve asked ourselves is whether is even or odd. …

Let’s recall the definition of an equivalence relation:

 A relation R on a set A is termed an equivalence relation if it is simultaneously reflexive, symmetric and transitive.

Let’s look at more examples:

Example One: Let be a set with the following relation:

The relation described by R is termed “the same parity.” Elements x and y are said to have the same parity if they are both odd or both even. In our case, the elements 11 and 17 are both odd – hence have the same parity. Similarly, 20 and 2 have the same parity because they are both even. An element will always have the same parity as itself.

The elements that share the same parity as 11 can be grouped together to form a set: This is the set of all odd elements from A.

Similarly, the even elements can be grouped together to form the set:

The new sets, O and E, form the equivalence classes of the relation R on set A.…

We know that a relation is called an Equivalence Relation when it is reflexive, symmetric AND transitive on some set A. Let’s look at some examples.

Example One: Let Suppose we have that a is related to b (i.e. a ~ b) if We want to show that our relation ~ is an equivalence relation.

First, let’s unpack what the question requires us to prove: It wants us to show that the relation ~ on set A is an equivalence relation. Hence, we need to show that ~ is reflexive, symmetric and transitive.

The relation ~ (in this case) is defined as follows: IF any two real numbers, a and b, are related THEN we know that a – b is some integer.

It’s important to note that the order in which a relation is important! Always write your equations as they’ve been given in the question to avoid confusion and mistakes

Ok, let’s prove this.…

Note: Do not confuse binary operations (+, x, -, …) with relations. Recall the definition for a relation as:

A relation R on a set A is a subset R ⊆ A × A. We often abbreviate the statement (x, y) ∈ R as xRy.

For instance, the binary operation “x” has a numeric value: Yet a mathematical relation, for example “<“, has a True/False value: are both False expressions.

We want to look at some properties of relations. We will look at three properties for relation expressions:

Suppose A is a set with relation R, then

1. Relation R is Reflexive if
2. Relation R is Symmetric if
3. Relation R is Transitive if

The first property tells us that if every element, x, in set A is related to itself, then the relation R acting on the set A is termed “reflective.”

The second property tells us that if “x is related to y” from set A implies that “y is also related to x,” then R is termed “symmetric.”

Lastly, if “x is related to y” and “y is related to z” implies that “x is also related to z,” then the relation R is termed “transitive.”

Let’s look at the following examples: with relation Then:

In other words is reflexive since every number in set A is equal to itself (i.e.…

What are relations?

In every day life, a person is related to their parents, siblings, cousins, teachers, friends, etc. in some way. Similarly in mathematics, mathematical objects like numbers and sets are related to one another in some way. Many relations (symbols) will be familiar already:

Consider the following set We can compare the numbers in A using the symbol “<” as follows: etc. We can write this as a set in the following way:

Each pair in this new set R expresses the relationship x < y (where x and y are numbers from A).

In other words, So if asked whether is true,  one only needs to look into our set R to find the pair If we didn’t find it, then the relation would be considered false for the given set. The above example is intuitive because we are already comfortable with the relation <. In more abstract cases, thinking of the relationship between mathematical objects in this way may be a little trickier!…

Recall the definition of a group:

A set G is “upgraded” into a group if it satisfied the following axioms under one binary operation (*) :

1. Closure:
2. Associativity:
3.  Identity:
4. Inverse: 

An Abelian group is a group that is follows the axioms 1 – 4 with the addition of one property: 

1. Commutativity:

In addition to the axioms, the following properties of groups are important to note:

1. Uniqueness of the identity element
2. Uniqueness of the inverse element
3. Cancellation law
4. Inverse property (extended)

Uniqueness of an element in mathematics means there exists only one such element with that property. We prove uniqueness by making an assumption that there are two elements in the set that satisfy the property, and show that if such a situation holds, then the two elements must be equal!

We use * to denote the binary operation between elements and “QED” to signal the end of the proof.

The remainder of the post aims to go through the proofs of these properties!…

Binary operations are operations such as addition, subtraction, multiplication, division, modulus etc. that are applied to two quantities.

example 1:  is an example of an expression with addition as the binary operation

example 2: Let f and g be functions defined on sets A to B. Then the composition of the functions is a binary operation

We will use * to denote an arbitrary (general) binary operation.

A set G is “upgraded” into a group if it satisfied the following axioms under one binary operation (*) :

1. Closure:
2. Associativity:
3.  Identity:
4. Inverse: 

An Abelian group is a group that is follows the axioms 1 – 4 with the addition of one property: 

1. Commutativity:

For the remainder of this post, we will explore these axioms and look at some examples

Closure:

This means we can take any elements in the set G and perform the operation defined by * and the result will also be an element in the group.…

We know we can use binary operations to add two numbers, x and y: Furthermore there are other operations such as or any other root and exponents. Operations can involve other mathematical objects other than numbers, such as sets.

Given two sets, A and B, we can define multiplication of these two sets as the Cartesian product. The new set is defined as

Before looking at abstract examples, consider this case:

e.g.1. Assume there is a student in a self-catering residence and they want to make food preps for the first four days in the week. They want to know how many possible combinations they can make using fruits (between grapes and apples) and meals (pasta and meatballs, chicken wrap).

To solve this, let 

Then the possible meal options are: (grapes, pasta and meatballs), (grapes, chicken wrap), (apples, pasta and meat balls) and (apples, chicken wrap).

The Cartesian Product of sets A and B would be:

We can think of the above example in more abstract terms.…

Recall powers (or exponents) of numbers:

Similarly, sets have the power operation to create new sets.

If A is a set, then the power set of A is another set denoted as

Recall: A is a subset of B if every element in A is also in B. Furthermore, if A is a finite set with n-elements, then we can find the number of subsets in A by using this formula:

To find the power set of A, we write a list of all the subsets of A first – remembering that:

• the empty set is a subset of every set,
• and every set is a subset of itself

Let’s look at some examples:

e.g.1.

Using the formula , we know that there are possible subsets of A, namely:

Hence the power set is the set that contains all the above subsets:

Note: The cardinality (size) of   where size of A= 3 elements

e.g.2.