Definition
A combinatorial pregeometry (also known as a finitary matroid), is a second-order structure:, where (called the closure map) satisfies the following axioms. For all and :
- is an homomorphism in the category of partial orders (monotone increasing), and dominates (I.e. implies .) and is idempotent.
- Finite character: For each there is some finite with .
- Exchange principle: If, then (and hence by Montonicity and Idempotence in Fact ).
A geometry is a pregeometry where the closure map also satisfies:
- The closure of singletons are singletons and the closure of the empty set is the empty set.
It turns out that many fundamental concepts of linear algebra – closure, independence, subspace, basis, dimension – are preserved in the framework of abstract geometries.
Let be a pregeometry. We define a topology on by declaring the closed sets to be the fixed points of the closure map (hence by idempotence and monotonicity is the (topological) closure of .) We say for that generates in case . We declare a subset independent if none of its proper subsets generate it.
For, if is independent and generates, we will say that is a base for . Equivalently, a base for is a minimal -generating set, or a maximal independent Subset of .
Read more about this topic: Pregeometry (model Theory)
Famous quotes containing the word definition:
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)