Basis
This is an old revision of this page, as edited by Jaques (talk | contribs) at 05:07, April 12, 2007. It may differ significantly from current revision.
A basis B for a topology T on a set X is a collection of subsets of X (called basis elements) such that
- each x in X, is in at least one basis element.
- if x is in the intersection of 2 basis elements B1 and B2, then it is in some basis element B3, where B3 is a subset of B1 ∩ B2.
If B satisfy the above 2 conditions, then the topology T generated by B is the collection of subsets U of X such that for each x in U, there is a basis element V in B such that x is in V and V is a subset of U.