Abstruse algebra Adequation relations and accordance classes
10 June 15:49
We generally ambition to call how two algebraic entities aural a set are related. For example, if we were to attending at the set of all humans on Earth, we could ascertain is a adolescent of as a relationship. Similarly, the ge abettor defines a affiliation on the set of integers. Formally speaking, a affiliation is a bifold hypothesis authentic on two elements of a set, and is about accounting with an bury operator. We will address a sim b for some a,bin G and for some affiliation sim.
However, there are actual some types of relations. Indeed, added analysis of our beforehand examples reveals that the two relations are absolutely different. In the case of the is a adolescent of relationship, we beam that there are some humans A,B area neither A is a adolescent of B, nor B is a adolescent of A. In the case of the ge operator, we understand that for any two integers m,nin Z absolutely one of mge n or nge m is true. In adjustment to apprentice annihilation about relations, we haveto attending at a abate chic of relations.
In particular, we affliction about the afterward backdrop of relations:
One should agenda that in all three of these properties, we quantify beyond _all_ elements of the set.
A absolute adjustment affiliation which exhibits the backdrop of reflexivity, agreement and transitivity is alleged an adequation relation. Two elements accompanying beneath an adequation affiliation are alleged equivalent.
Example: For a anchored accumulation p, we ascertain a affiliation sim_p on the set of integers such that a sim_p b if and alone if a-b = k p for some k in Z. Prove that this defines an adequation affiliation on the set of integers.
Proof:
Q.E.D.
Remark. In elementary amount approach we denote this affiliation a equiv b (mod p) and say a is agnate to b modulo p.
Congruence classes (sometimes alleged adequation classes) are partitionings of a set according to an adequation relation. In additional words, for any aspect ain G we ascertain a subset leftsubseteq G as:
left = left
Theorem: b in left implies left = left
Proof: Accept b in left. Then, by architecture a sim b.
As left subseteq left and as
left subseteq left, it haveto be the
case that left = left.
Q.E.D.
However, there are actual some types of relations. Indeed, added analysis of our beforehand examples reveals that the two relations are absolutely different. In the case of the is a adolescent of relationship, we beam that there are some humans A,B area neither A is a adolescent of B, nor B is a adolescent of A. In the case of the ge operator, we understand that for any two integers m,nin Z absolutely one of mge n or nge m is true. In adjustment to apprentice annihilation about relations, we haveto attending at a abate chic of relations.
In particular, we affliction about the afterward backdrop of relations:
One should agenda that in all three of these properties, we quantify beyond _all_ elements of the set.
A absolute adjustment affiliation which exhibits the backdrop of reflexivity, agreement and transitivity is alleged an adequation relation. Two elements accompanying beneath an adequation affiliation are alleged equivalent.
Example: For a anchored accumulation p, we ascertain a affiliation sim_p on the set of integers such that a sim_p b if and alone if a-b = k p for some k in Z. Prove that this defines an adequation affiliation on the set of integers.
Proof:
Q.E.D.
Remark. In elementary amount approach we denote this affiliation a equiv b (mod p) and say a is agnate to b modulo p.
Congruence classes (sometimes alleged adequation classes) are partitionings of a set according to an adequation relation. In additional words, for any aspect ain G we ascertain a subset leftsubseteq G as:
left = left
Theorem: b in left implies left = left
Proof: Accept b in left. Then, by architecture a sim b.
As left subseteq left and as
left subseteq left, it haveto be the
case that left = left.
Q.E.D.
|
Tags: child, abstract, classes, elements, called, relations, properties left, relation, ight, relations, equivalence, integers, classes, child, define, subseteq, called, properties, congruence, elements, operator, , equivalence relation, ight left, congruence classes, algebra equivalence relations, abstract algebra equivalence, |
Share Abstruse algebra Adequation relations and accordance classes:
Text link code :
Hyper link code:
Also see ...
PermalinkArticle In : Reference & Education - Book
