Transitive Property
Thetransitive propertyin 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 itdoesn'thold.
There are also formal mathematical structures (likepartial ordering) which require transitivity, so transitivity may need to be proven.
Equality and Inequality
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 | |
Aki | 4 | 2 | 1 |
Brigid | 2 | 1 | 4 |
Caliana | 1 | 3 | 3 |
Notice that Aki beats Brigid (Movement, Dexterity), Brigid beats Caliana (Movement, Stamina), but Caliana beats Aki (Dexterity, Stamina). In symbols, but it isnotthe 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?
Formal Transitivity
Justifying the transitivity property formally is a matter of showing given a relation and implies that This needs to be shown true foranychoice of and in the given 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 isnotthe case that Therefore the relation is not transitive.