In combinatorial mathematics, given a collection C of sets, a transversal is a set containing exactly one element from each member of the collection. When the sets of the collection are mutually disjoint, each element of the transversal corresponds to exactly one member of C (the set it is a member of). If the original sets are not disjoint, there are two possibilities for the definition of a transversal. One variation, the one that mimics the situation when the sets are mutually disjoint, is that there is a bijection f from the transversal to C such that x is an element of f(x) for each x in the transversal. In this case, the transversal is also called a system of distinct representatives. The other, less commonly used, possibility does not require a one-to-one relation between the elements of the transversal and the sets of C. Loosely speaking, in this situation the members of the system of representatives are not necessarily distinct.
A partial transversal is a set containing at most one element from each member of the collection, or (in the stricter form of the concept) a set with an injection from the set to C.
The transversals of a finite collection C of finite sets form the basis sets of a matroid, the "transversal matroid" of C. The independent sets of the transversal matroid are the partial transversals of C.
A generalization of the concept of a transversal would be a set that just has a non-empty intersection with each member of C. An example of this would be a Bernstein set, which is defined as a set that has a non-empty intersection with each set of C, but contains no set of C, where C is the collection of all perfect sets of a topological Polish space.
In group theory, given a subgroup H of a group G, a right (respectively left) transversal is a set containing exactly one element from each right (respectively left) coset of H. In this case, the "sets" (cosets) are mutually disjoint.
Given a direct product of groups , then H is a transversal for the cosets of K.
- Hall's marriage theorem gives necessary and sufficient conditions for a finite collection of not necessarily distinct, but non-empty sets to have a transversal.
- Brualdi, Richard A. (2010), Introductory Combinatorics (5th ed.), Upper Saddle River, NJ: Prentice Hall, ISBN 0-13-602040-2
- Lawler, E. L. Combinatorial Optimization: Networks and Matroids. 1976.
- Mirsky, Leon (1971). Transversal Theory: An account of some aspects of combinatorial mathematics. Academic Press. ISBN 0-12-498550-5.
- Roberts, Fred S.; Tesman, Barry (2009), Applied Combinatorics (2nd ed.), Boca Raton: CRC Press, ISBN 978-1-4200-9982-9
|This combinatorics-related article is a stub. You can help Wikipedia by expanding it.|