Today we are going to be discussing three topologies that are seemingly “standard” among all others: the Order Topology, Product Topology, and Subspace Topology. They are easily predictable by their names and individual properties. We start with the Order Topology.
The Order Topology is a topology defined by some order relation like on the set . The only subsets of are intervals given :
- Open interval
- Half-open intervals
- Closed interval
To form our desired topology, we must form a basis collection . This collection contains all open intervals in set , if it exists, the smallest element of the half-open interval , and, if it exists, the largest element of the half-open interval . The subbasis for this topology is the finite intersection of open rays:
Let us consider the Order Topology on . Then we get the basis for the topology to be the collection of all open intervals of the for . We can also think of the product or the real numbers to form a Product Topology.
The Product Topology is defined on the cartesian product where and are both topological spaces. To form our basis for this topology, we consider the collection of all products such that and are open subsets of and respectively. So, we can think of each topological space and having their own bases themselves. Therefore, given the basis for and the basis for , we get the following basis for the Product Topology :
To consider the -example again, we essentially have the product of two open intervals which serves as the basis for the topology. Graphically, it will show the intersections between these open intervals forming the topology on . However, to form a subbasis for this topology, we must consider functions called projections.
The projection of are the functions and . These functions can be defined by equations such that and . If we take to be an open subset of , then we get the set . The same is with being an open subset of : . As this might be already obvious, both of these sets are open subsets of and their intersection is :
Therefore, we define the subbasis collection for to be
We now move to the final “standard” topology: the Subspace Topology.
The Subspace Topology is essentially a subspace of a topology such that
which defines the topology on .
We can now define the basis for such that
From here, it should be quite easy to form our subbasis for this Subspace Topology of . So I will leave it as an exercise for the reader.