Jump to content

General Topology/Bases

From Wikibooks, open books for an open world

Definition (subbasis of a topology):

Suppose that is the topology on generated by a set . Then is called a subbasis of the topology .

Definition (basis of a topology):

Let be a topological space, where is its topology. A basis of is a set so that every may be written as a union of elements of , that is,

, where .

Proposition (basis criterion):

Let be a set of subsets of a set . forms the basis of the topology generated by it if and only if for all and there exists such that .

Proof: Suppose first that does form a basis of the topology generated by it. Then whenever , the set is open, so that we may write it as a union

, where .

In particular, if , we find a such that . Upon setting , we obtain . Suppose conversely that satisfies the given condition. By the characterisation of the topology generated by a set, for every we may write

,

where is an index set and for all and . Let be fixed, and let be arbitrary. Suppose that for , we found a set so that and . Then by the condition, we pick so that and , so that finally we end up with a set that is in , in and contains . For each , choose an so that and then set to be the corresponding as constructed above. Then

.

Proposition (basis from subbasis via finite intersections):

Let be a set and let . Let be the topology generated by (ie. is a subbasis of ) and let

.

Then is a basis for the topology .

Proof: Since , clearly the topology generated by is a superset of . On the other hand, since is closed under finite intersections, all elements of are contained in , so that generates the same topology as . Finally, by the basis criterion, is a basis of the topology .

Proposition (basis of the initial topology):

Let be a topological space, let be topological spaces, and let be functions. If we denote the topology of each by , then a basis for the initial topology on is given by

.

Proof: First we note that is contained within the initial topology. Further, the initial topology is also the smallest topology that contains , since any topology that contains contains all the individual initial topologies . Then, using the characterisation of the generated topology we gave, we note that we may write a set which is in the topology generated by the individual topologies as , , .

Proposition (basis of the product topology):

Let be a family of topological spaces, and suppose that is the topology of for each . Set . Then the set

constitutes a basis for the product topology on .

Proof: By inspecting the form of the canonical basis of the initial topology, and noting that

,

we conclude.