In Logic and Mathematics
- Transitive relation. A binary relation is transitive if whenever A is related to B and B is related to C, then A is related to C, for all A, B, and C in the domain of the relation.
- Arc-transitive graph
- Edge-transitive graph
- Ergodic theory, a group action that is metrically transitive
- Vertex-transitive graph
- A group G acts transitively on a set S if for any x, y ∈ S, there is some g ∈ G such that gx = y. See group action. A somewhat related meaning is explained at ergodic theory.
- A transitive set is a set A such that whenever x ∈ A, and y ∈ x, then y ∈ A. The smallest transitive set containing a set A is called the transitive closure of A.
- A discrete dynamical system f is topologically transitive if every open subset U' of the phase space intersects every other open subset V, when going along trajectory, i.e. there exists an integer n, for which .
Read more about this topic: Transitivity
Famous quotes containing the words logic and/or mathematics:
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)
“The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.”
—Willard Van Orman Quine (b. 1908)