The transitive property in its most common form is: when given numbers and and being true implies Also popular: and being true implies that
In general, the transitive property indicates that given some comparative relationship and implies that The transitive property may seem trivial with equality and inequality, but there are many other relationships that seem transitive but are not. That is, the transitive property is useful to study in order to avoid mistakes in situations where it doesn't hold.
There are also formal mathematical structures (like partial ordering) which require transitivity, so transitivity may need to be proven.
The transitive property of equality is if and then
The transitive property of inequality is if and then Note this also works with the symbols and
Suppose Aki, Brigid, and Caliana are playing tennis. Their Foot Movement, Hand Dexterity, and Stamina are each rated on a scale from 1 to 4. If the rating on two categories of player exceed two categories of player player wins the match.
|Foot Movement||Hand Dexterity||Stamina|
Notice that Aki beats Brigid (Movement, Dexterity), Brigid beats Caliana (Movement, Stamina), but Caliana beats Aki (Dexterity, Stamina). In symbols, but it is not the case that the reverse is true. Therefore this is a non-transitive relationship.
This can happen whenever the "ranking" of things is done in a way that can't be arranged on a single number line. This issue also comes up with voting:
Suppose three people rank the ice cream flavors C, S, and V (chocolate, strawberry, and vanilla) in the following way:
Chet: S > C > V
Omari: C > V > S
Taj: V > S > C
Only one flavor can be bought for a party, so they're going up for a series of runoff votes. That is, two of the flavors will be pitted against each other in a vote, and the winner will face the remaining flavor in a final vote.
For example, if C faces V in a vote, Chet and Omari prefer C to V so that C will win. Then C faces off against S in a vote; since Chet and Taj prefer S to C, S wins the final vote.
If the runoffs can happen in any order, is there a way for chocolate (C) to win the final vote?
Justifying the transitivity property formally is a matter of showing given a relation and implies that This needs to be shown true for any choice of and in the given set.
Suppose we have a set with a relation defined by the input-output pairs Is this relationship transitive?
While we have a transitivity relationship with and all being true, it doesn't hold for every possible trio of and For example, and but it is not the case that Therefore the relation is not transitive.