Separoid
![]() | This article includes a improve this article by introducing more precise citations. (September 2008) ) |
In
In this general framework, some results and invariants of different categories turn out to be special cases of the same aspect; e.g., the pseudoachromatic number from graph theory and the
The axioms
A separoid[2] is a set endowed with a binary relation on its power set, which satisfies the following simple properties for :
A related pair is called a separation and we often say that A is separated from B. It is enough to know the maximal separations to reconstruct the separoid.
A mapping is a morphism of separoids if the preimages of separations are separations; that is, for
Examples
Examples of separoids can be found in almost every branch of mathematics.[3][4][5] Here we list just a few.
1. Given a
2. Given an oriented matroid[5] M = (E,T), given in terms of its topes T, we can define a separoid on E by saying that two subsets are separated if they are contained in opposite signs of a tope. In other words, the topes of an oriented matroid are the maximal separations of a separoid. This example includes, of course, all directed graphs.
3. Given a family of objects in a Euclidean space, we can define a separoid in it by saying that two subsets are separated if there exists a hyperplane that separates them; i.e., leaving them in the two opposite sides of it.
4. Given a topological space, we can define a separoid saying that two subsets are separated if there exist two disjoint open sets which contains them (one for each of them).
The basic lemma
Every separoid can be represented with a family of convex sets in some Euclidean space and their separations by hyperplanes.
References
- Zbl 1291.05036.
- Zbl 1090.52005.
- .
- ^ Nešetřil, Jaroslav; Strausz, Ricardo (2006). "Universality of separoids" (PDF). Archivum Mathematicum (Brno). 42 (1): 85–101.
- ^ Zbl 1109.52016.
Further reading
- Strausz, Ricardo (1998). "Separoides". Situs, Serie B, No 5. Universidad Nacional Autónoma de México.
- Montellano-Ballesteros, Juan José; Por, Attila; Strausz, Ricardo (2006). "Tverberg-type theorems for separoids". .
- Bracho, Javier; Strausz, Ricardo (2006). "Two geometric representations of separoids". Periodica Mathematica Hungarica. 53 (1–2): 115–120. .
- Strausz, Ricardo (2008). "Erdös-Szekeres 'happy end'-type theorems for separoids". .