You are currently browsing the tag archive for the ‘equivalence relation’ tag.

High-school students and undergraduates are (almost) always taught the following definition of an equivalence relation.

A binary relation R on a set A is an equivalence iff it satisfies

  • the reflexive property: for all a  in A, a R a,
  • the symmetric property: for all a, b in A, if a R b, then b R a, and
  • the transitive property: for all a, b, c in A, if a R b and b R c, then a R c.

However, there is another formulation of an equivalence relation that one usually doesn’t hear about, as far as I know. And, it is the following one.

A binary relation R on a set A is an equivalence iff it satisfies

  • the reflexive property: for all a  in A, a R a, and
  • the euclidean property: for all a, b, c in A, if a R b and a R c, then b R c.

Exercise:  Show that a binary relation R on a set A is reflexive, symmetric and transitive iff it is reflexive and euclidean.


Advertisements

Our other blog

Visitors to this blog

Blog Stats

  • 336,455 hits

Wikio Ranking

Wikio - Top Blogs - Sciences

Current Online Readers

Recent Comments

geasuiu on Another elementary number theo…
prof dr mircea orasa… on Another elementary number theo…
prof dr mircea orasa… on Another elementary number theo…
prof dr mircea orasa… on Section 4 – Unions and…
prof drd horia orasa… on Irrationality of nth root of…
prof dr mircea orasa… on TV Documentary on Fermat…
tinincu on Self-referential Paradoxes, In…
prof dr mircea orasa… on Career Advice (by Terry T…
prof drd horia orasa… on Section 5 – Complements…
prof dr mircea orasa… on Career Advice (by Terry T…
prof dr mircea orasa… on A relation is an equivalence i…
prof dr mircea orasa… on POW-1: An “elementary…
prof dr mircea orasa… on “Mirror” Polynomia…
prof dr mircea orasa… on Basic Category Theory, II
prof dr mircea orasa… on Basic Category Theory, III: Re…

Archives

April 2019
M T W T F S S
« Jan    
1234567
891011121314
15161718192021
22232425262728
2930  
Advertisements