3
$\begingroup$

It seems like a simple question, but is actually quite hard to prove. You don't just simply say:

$a = c$ because $a = b$ and $b = c$.

Like I actually want a proof behind it, something like using formulae, arithmetic, etc.

How is this possible?

  • 10
    What's your definition of equality?2012-09-03
  • 1
    You could say that $a = b \Leftrightarrow a-b = b-a = 0$ (of course, this restricts = to numbers). Then $(a-b) + (b-c) = 0 = a-c$. The thing to carry away from this is that any proof depends on your axioms or definitions.2012-09-03
  • 0
    If you want an example where equality is a defined relation and such statements therefore need to be proved try JH Conway "On Numbers and Games" where the same number can have representations which look very different from each other (or look up "surreal numbers"). Normally the axioms you are working with either define equality to be an equivalence relation or make this easy to prove - it wouldn't be called equality otherwise.2012-09-03
  • 2
    [The algebra tag is no longer being used, as "algebra" can mean very different things.](http://math.stackexchange.com/tags/algebra/info)2012-09-03

3 Answers 3

10

In any part of mathematics where one uses equality (and I can't think of any parts where one doesn't) one admits as axioms those that express that equality is an equivalence relation. This means that you can always assume that

  • For any value $x$ one has $x=x$,
  • Whenever $x=y$ then also $y=x$,
  • Whenever $x=y$ and $y=z$ then also $x=z$.

The question you ask is the third axiom, so you can use this without needing to prove it.

Any notion of "equality" that does not satisfy these axioms should not be denoted by "$=$", as this would immediately invite erroneous arguments that do use the above properties. An example of such a relation is "approximately equal" among (for instance) real numbers, formulated using any reasonable precise definition you like.

  • 0
    In addition to the 3 properties above (equivalence), Wikipedia defines $=$ as being antisymmetric, hence an order and that these 4 properties uniquely define equality. However, I asked about isomorphism: http://math.stackexchange.com/questions/285484/distinguishing-equality-and-isomorphism-as-relations which is also a apparently an equivalence and an order just like equality.2013-02-17
  • 0
    @alancalvitti: Saying equality is anti-symmetric is not false but it is disengenious. Literally it means that if $a=b$ and $b=a$ then $a=b$, which cannot be denied. But the final "$=$" is the equality relation built into the definition of anti-symmetric, not the relation that 'anti-symmetric' is talking about. So equality is not on equal footing with other relations that are anti-symmetric.2013-02-18
  • 0
    Understood - however, what exactly is that final "=" equal to, pun intended? And what's the difference if isomorphism is substituted for all of them?2013-02-18
  • 0
    @alancalvitti: I don't quite follow the last part of your comment. Being isomorphic is _not_ an anti-symmetric relation (even though $a\cong b$ and $b\cong a$ imply $a\cong b$ trivially, they do not imply $a=b$).2013-02-18
  • 0
    But you haven't completely characterized what $a=b$ means. Suppose "=" and isomorphism are the same relation, then anti-symmetry is also expressed in terms of isomorphism.2013-02-18
  • 0
    Goldblatt in *Topoi* (and I assume a definition in quite general use) writes that a skeletal category is one where isomorphic objects are identical. So in a skeletal cat, if equality is anti-symmetric so is isomorphism, since they are the same thing.2013-02-22
  • 0
    @alancalvitti: So you see that if isomorphic objects are identical then two objects cannot be mutually isomorphic unless they are the same. Great. The same implication is true with any relation in the place of "isomorphic". And what is the relation to the current question (the one at the top of the page)?2013-02-22
  • 0
    The Q asks about relational property of equality and we were discussing categorical formalization of antisymmetry in pre-orders. A poset is a skeletal pre-order category.2013-02-22
2

I'd just like to point out that at least in ZF set theory, a current standard foundation for mathematics, equality is defined in terms of membership and simple logic, so this becomes a theorem.

Definition:

$$A = B \iff (x \in A \iff x \in B)$$

Theorem (Transitivty of Equality):

$$(A = B \wedge B = C) \implies A = C$$

Proof:
Suppose: $$A = B \wedge B = C$$ Applying the definition of equality: $$(x \in A \iff x \in B) \wedge (x \in B \iff x \in C)$$ By transitivity of logical equivalence (which I believe is a theorem of elementary logic): $$(x \in A \iff x \in C)$$ Which by definition is, $$A = C$$

  • 0
    Isn't equivalence an equality as per Marc's definition?2013-02-17
  • 0
    Logical equivalence is an equivalence relation on propositions, yes, in some sense. I'm not sure if that statement really makes sense, formally speaking, but intuitively, it's correct.2013-02-17
  • 0
    Check my comment to Marc's answer - in the link I ask about the distinction between equality and isomorphim; you may be interested in, no one has answered it so far.2013-02-17
  • 0
    Logical equivalence is usually defined as an abbreviation: $x\leftrightarrow y$ means $(x\to y)\land(y\to x)$. Since $(x\to y)\land(y\to z)\implies(x\to z)$ is either an axiom or easily derivable, one can prove without difficulty $(x\leftrightarrow y)\land(y\leftrightarrow z)\implies(x\leftrightarrow z)$.2013-03-17
1

This is the transitive property. Many relations depend on the transitive property, such as partial order relations and equivalence relations. You can read more about relations here http://en.wikipedia.org/wiki/Binary_relation or for example, Munkres Topology gives a nice little introduction good enough for many practical purposes.