Jump to content

Transitivity: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m Added link to requested article.
Line 1: Line 1:
* In [[grammar]], a verb is '''transitive''' if it takes an object. See [[transitive verb]].
In [[mathematics]], the word '''''transitive''''' admits at least two distinct meanings:


* In [[logic]] and [[mathematics]], a [[binary relation]] ''R'' is '''transitive''' if ''xRy'' and ''yRz'' together imply ''xRz''. For example, the ''less-than'' relation is transitive. See [[transitive relation]], [[intransitivity]].
* A [[group (mathematics)|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]].


* In [[mathematics]], a [[group action]] is '''transitive''' if it has just one [[orbit (group theory)|orbit]]. It is called '''doubly transitive''' if it is transitive on ordered pairs of distinct elements, and so on for '''triply transitive''', etc. An [[ergodic theory|ergodic]] group action is also called ''metrically transitive''.
* 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. See [[transitive relation]].


==See also==
* In [[set theory]], a set is '''transitive''' if it contains all [[Element (mathematics)|element]]s of its elements. See [[transitive set]].
* [[transitive closure]]
* [[intransitivity]]


{{disambig}} [[Category:Mathematical disambiguation]]
* [[Transitive Corporation]] is a [[computer software]] firm based in [[Manchester, England]] and [[Los Gatos]], [[California]].
[[de:Transitivit%C3%A4t_%28Mathematik%29]]

[[uk:Транзитивність]]
{{disambig}}

[[de:Transitivität]]

Revision as of 06:51, 20 August 2005

In mathematics, the word transitive admits at least two distinct meanings:

  • A group G acts transitively on a set S if for any x, yS, there is some gG such that gx = y. See group action. A somewhat related meaning is explained at ergodic theory.
  • 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. See transitive relation.

See also