Euclidean Relations
Euclid's The Elements includes the following "Common Notion 1":
- Things which equal the same thing also equal one another.
Nowadays, the property described by Common Notion 1 is called Euclidean (replacing "equal" by "are in relation with"). The following theorem connects Euclidean relations and equivalence relations:
Theorem. If a relation is Euclidean and reflexive, it is also symmetric and transitive.
Proof:
- (aRc ∧ bRc) → aRb = (aRa ∧ bRa) → aRb = bRa → aRb. Hence R is symmetric.
- (aRc ∧ bRc) → aRb = (aRc ∧ cRb) → aRb. Hence R is transitive.
Hence an equivalence relation is a relation that is Euclidean and reflexive. The Elements mentions neither symmetry nor reflexivity, and Euclid probably would have deemed the reflexivity of equality too obvious to warrant explicit mention.
Read more about this topic: Equivalence Relation
Famous quotes containing the word relations:
“She has problems with separation; he has trouble with unity—problems that make themselves felt in our relationships with our children just as they do in our relations with each other. She pulls for connection; he pushes for separateness. She tends to feel shut out; he tends to feel overwhelmed and intruded upon. It’s one of the reasons why she turns so eagerly to children—especially when they’re very young.”
—Lillian Breslow Rubin (20th century)