Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-11T07:27:16.023Z Has data issue: false hasContentIssue false

Relations on Sets

Published online by Cambridge University Press:  23 January 2015

Des MacHale
Affiliation:
School of Mathematical Sciences, University College Cork, Cork, Ireland
Peter MacHale
Affiliation:
Cork Constraint Computation Centre, University College Cork, Cork, Irelande-mails:, d.machale@ucc.ie , p.machale@4c.ucc.ie

Extract

This paper is dedicated to the memory of George Boole FRS (1815-1864), first Professor of Mathematics at University College Cork.

A relation on a non-empty set K is any subset W of the cartesian product K × K. If (x, x)W for every xK, W is said to be reflexive on K. If for x, y, zK, (x, y) ∈ W implies that (y, x)W, W is said to be symmetric on K. If for x, y, zK (x, y)W and (y, z)W together imply that (x, z)W, W is said to be transitive on K. Finally, if the relation W is reflexive, symmetric and transitive on K, W is said to be an equivalence relation on K. We contend that equivalence relations are of central importance in many areas of mathematics. Many texts on algebra (for example Topics in Algebra [1]) contain as an exercise the following fallacious argument which the reader is challenged to refute.

Type
Articles
Copyright
Copyright © The Mathematical Association 2013

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Herstein, I. N., Topics in algebra, Xerox College Publishing (1975).Google Scholar
2. Jordan, C. R., Transitivity of relations, Math. Gaz. 57 (March 1973) pp.6465.Google Scholar
3. Pfeiffer, G., Counting transitive relations, Journal of Integer Sequences, 2004.Google Scholar
4. Sloane, Neil. The on-line encyclopedia of integer sequences, 1996. http://oeis.orgl.Google Scholar
5. Bosch, Christian van den. Properties of partitions on relations on relations, 2005. http://cjb.ie/cslhtml/relations.shtml Google Scholar