FAQ 
Calendar 


#1




a=b, b=c, therefore a=c  what theorem is this?
thanks

#2




Transitivity.

#3




Oh, and it's not a theorem; it's more of a postulate. You can't exactly prove it.

#4




How about the C theroem?
int main { int a; int b; int c; a=b=c=0; } 


#5




Yeah, it's not a theorem. In math, you start with axioms or postulates. These are assumed to be true without proof. Transitivity is assumed to hold for equality. In general an equivalence relation is one that has these properties:[list=1][*]Reflexive  a=a[*]Symmetric  If a=b, then b=a[*]Transitive  If a=b and b=c, then a=c[/list=1]
__________________
That's not a tau neutrino in my pocket; I've got a hadron. 
#6




So for instance, for people, "lives in the same country as" would be an equivalence relation.
"Is at least as tall as" would not be an equivalence relation because it's not symmetric. "Has been in the same room as" would not be an equivalence relation because it is not transitive. 
#7




I think that this is one of Euclid's "Common notions" or postulates.
"Things that are equal to the same thing are equal to each other." 
#8




Actually, the transitive property of equality *is* a theorem. If you have reflexivity (for all a, a = a) and the principle of substitution (if t = s and P(t) is a statement about t, then P(s) has the same truth value as P(t)), you can derive symmetry (for all a and b, if a = b then b = a) and transitivity (as in the OP).
But this is an advanced matter. 99% of the mathematicians out there regard it as a postulate. 
#9




The Principle of Substitution doesn't look like math. It looks like logic.



#10




Quote:

#11




Worse, ultrafilter's definition of the principle of substitution uses the equality of t=s, which as DrMatrix mentioned is usually defined by using the idea of transitivity. So, it'd be tough to use that to derive transitivity.

#12




Quote:

#13




Quote:

#14




David Simmons: yes. It's an algebraic equivalent of the first General Axiom from Euclid's 'The Elements'. To Euclid, it was one of a number of selfevident notions on which further his further reasoning was based.



#15




Actually, isn't the transitive property just an application of substitution?
since a=b we can replace any occurance of b with a and still have a true statement. 
#16




Quote:

#17




Messy? You don't know the half of it.
What I should've written is this: For any binary relation R, if R(a, a) for all a, and R(t, s) implies that P(t) has the same truth value as P(s) for any statement P, then R(a, b) implies R(b, a) for all a, b, and R(a, b) and R(b, c) implies R(a, c) for all a, b, c. In such case, R has all the same properties as '=', so that's how we usually denote it. We do use '=' to represent weaker relationsfor instance, most equivalence relations do not have the principle of substitution. That's why this is not just a rearrangement of axioms into theorems and vice versa. You can have reflexivity, transitivity, and symmetry without being able to substitute. Note that for any particular area, the concept of 'a = b' is not undefined, but the symbols are undefined until we're talking about a particular area. Is this a little clearer? 
#18




Quote:

#19




Quote:

Reply 
Thread Tools  
Display Modes  

