Pregeometry, and in full combinatorial pregeometry, are essentially synonyms for "matroid". They were introduced by G.C. Rota with the intention of providing a less "ineffably cacophonous" alternative term. Also, the term combinatorial geometry, sometimes abbreviated to geometry, was intended to replace "simple matroid". These terms are now infrequently used in the study of matroids.
In the branch of mathematical logic called model theory, infinite finitary matroids, there called "pregeometries" (and "geometries" if they are simple matroids), are used in the discussion of independence phenomena. The study of how pregeometries, geometries, and abstract closure operators influence the structure of firstorder models is called geometric stability theory.
A combinatorial pregeometry, also known as a finitary matroid, consists of a set X, and a function cl (called closure) which maps subsets of X to subsets of X, that is: , and satisfies the following conditions, for all and all :
A geometry is a pregeometry such that cl({a}) = {a} for all and also .
It turns out that many fundamental concepts of linear algebra – closure, independence, subspace, basis, dimension – are preserved in the framework of abstract geometries.
Let (X,cl) be a pregeometry, and B,Y be subsets of X. We will say that Y is closed if cl(Y) = Y, and that B generates Y if Y = cl(B). Also we will say that B is independent if no proper subset generates cl(B), that is, for all , .
If B is independent and generates Y, then we will say that B is a base for Y. Equivalently, a base for Y is a minimal Ygenerating set, or (by Zorn's Lemma) a maximal independent subset of Y.
For example, let V be a vector space over a field, and, for , define cl(Y) to be the span of Y, that is, the set of linear combinations of elements of Y. Then the pair (V,cl) is a pregeometry, as it is easy to see.
In contrast, if X is a topological space and we define cl to be the topologicalclosure function, then the pair (X,cl) will not necessarily be a pregeometry, as the finite character condition (4) may fail.
H.H. Crapo and G.C. Rota (1970), On the Foundations of Combinatorial Theory: Combinatorial Geometries. M.I.T. Press, Cambridge, Mass.
Pillay, Anand (1996), Geometric Stability Theory. Oxford Logic Guides. Oxford University Press.
