This is my notes for the second chapter of the book "Topology without Tears" by Sidney Morris. We're going to discuss the Euclidean topology. During the writing of this note, I also had the first sense of the close relationship between geometry and topology. This is one of the rare notes that have GeoGebra visualizations, so keep reading! You will find one in a proof somewhere in this post!
The Euclidean Topology on
Definition. A subset S in is said to be open in the Euclidean topology on if for each , there exist such that
It is common that if we say the topology on without defining the topology, we mean the Euclidean topology.
Properties
Let .
- (r,s), and are open sets.
- [r,s], , , , and are closed sets.
- [r,s), (r,s], , are neither closed nor open.
- The only clopen sets are the trivial sets, i.e. .
- Not all open sets are intervals (r,s). Some open sets may be the union of several intervals.
If F is a non-empty countable subset of , then F is not open, but it can be closed or not closed, depends on the choice of F.
Proof
Suppose F is open, then for each , there exist such that . However, F is countable and (a,b) is uncountable, contradicts . Hence F is not open.
F can be closed or not, dependently on F itself. For example, if F is the set of all primes, is the infinite union of open sets, hence an open set.
On the other hand, suppose the set of all rationals. F is still countable because it is isomorphic to , which is the Cartesian product of two countable sets. However, we cannot use the same argument as presented when F is the set of all primes, because we basically cannot "sort" F (between any two rational numbers there are infinitely many other rational numbers). We shall check if is open using the definition and proof by contradiction. Suppose it is open, then for every we can find an interval containing and is a subset of . However, such an interval will never exist because in the interval there are rational numbers, so it can't be a subset of . Hence is not open and is not closed.
-set
Definition. In a topology space , a subset S is said to be an -set if it is the union of countable number of closed sets.
Corollary. In the Euclidean topology on , all intervals (a,b) and [a,b] are -sets.
-set
Definition. In a topology space , a subset S is said to be an -set if it is the intersection of countable number of open sets.
Corollary. In the Euclidean topology on , all intervals (a,b) and [a,b] are -sets.
Examples
1 - Let . Prove that S is closed.
is the union of open intervals, hence open. is closed.
2 - Is the set closed?
This is not an open set because by definition, when we cannot find any open interval containing 0 and is a subset of . Hence is not closed. (This is another example of a countable set not being a closed set.)
Basis of a Topology
Theorem. A subset S in is open iff it is a union of open intervals.
Just like a vector space, in a topological space, the notion "basis" also appears and is defined below:
Definition. Let be a topo space. A collection is said to be a basis for the topology if every open set of can be represented as the union of members of .
Some examples:
- is the basis of the Euclidean topo on .
- is the basis of the Euclidean topo on .
- is the basis of the discrete topo space on X.
By definition, there can be many bases for the same topo. It can easily be seen that if is a basis, then any that is also a basis. However, one cannot arbitrarily choose a set and generate and call a topology. There are certains conditions so that is a basis.
Theorem. Let X be a non-empty set and let be a collection of subsets of X. The collection of all unions of members of is a topology iff:
- , and
- is a union of members of .
The relationship between the class of basis and the class of topology is a well-defined surjective mapping.
If a collection satisfies these conditions, there is a unique topology for which is the basis. This topology consists of all unions of members of . Otherwise, is not a basis for any topology.
Why unique? Let's call the topology generated by (i.e. is the set of all possible unions of members of ). Assume that there exists a topology in which each open set is a union of members of . That means . Suppose that , so there is a subset of X that is a union of members of (because ), but is not in , so is not a topology. By contradiction, we conclude and the topology that has as its basis is unique.
If is a basis of , then: a subset S of X is open iff S is a union of members of .
Sum up: One topology can have many bases, but a topology is unique to its basis. It is a well-defined surjective mapping from the class of basis to the class of topology.
Open rectangle
We define an open rectangle (whose sides parallel to the axes) on the plane to be:
The collection of all open rectangles is the basis for the Euclidean topology on .
In general, let's define an n-orthotope (whose sides parallel to the axes) in an space to be:
The collection of all n-orthotopes is the basis for the Euclidean topology on .
Open disc
Theorem. Every disc is an open subset of .
Proof:
Consider a disc . Choose an arbitrary point within this disc. Let . Construct an open rectangle with be the vertices. We need to prove this rectangle lies completely within the disc, i.e. its four vertices lie in the disc.
Let be the greatest distance from the center of the disk to the rectangle's vertices. By the triangle inequality, we have smaller than the total distance from the center to the point and the distance from there to the furthest vertex.
On the other hand, since , we have
Hence .
In the visualization below, you can drag the point C around. As long as C lies in the disc, you can see that the rectangle (or more precisely, the square) always lie in the disc.
That means we can say that this disc is composed of the infinite uncountable union of open rectangles, hence it is an open set. In a general case, we can also prove any disc is open by applying similar arguments as above.
Theorem. The collection of all open discs is a basis for a topology on .
Proof idea: It's easy to see that the union of all open discs form . We need to prove that the intersection of any two discs can be decomposed into a (uncountable and infinite) union of open discs. We use a similar technique as the proof for the previous theorem. Consider a point . Find a way to draw a disc that takes this point as its center, such that the disc completely lies within . Then we conclude the intersection is composed of an infinite uncountable union of open discs. Hence the set of all open discs is a basis.
Note:
- The circumference of a disc is a closed set in .
- An n-sphere is a closed set in .
- An n-ball (the surface of the n-sphere and the space within it) is a closed set in
Second axiom of countability
If one basis of a topology is countable, we say that the topology is second countable and satisfies the second axiom of countability.
Examples:
- is second countable. The collection of all open intervals whereas is the basis of . The basis is countable.
- is second countable.
- The discrete topology on an uncountable set is not second countable.Why?We need to prove that any basis for this topology is uncountable. First, we concede that the singleton sets are open sets, so each must be a union of members of (the basis). That means each singleton set must also appear in itself. The set on which this topology is defined is uncountable, so there are uncountably many singleton sets. is uncountable.
- The finite-closed topology on is second countable.Why?We first prove that there is countably many finite closed sets. As is countable, it can be written in the form . A finite set has the form whereas . We shall have a binary representation for S. It is obvious now that there is a one-to-one correspondence between the class of finite subset of and the class of natural number. Hence the class of finite subset of is countable. Furthermore, there is also a one-to-one correspondence between the class of closed sets and the class of open sets (by definition S is closed iff X-S is open). We can conclude that there are countable number of open sets. The basis of the topology is a subset of the topology itself, so the basis is also countable. Hence the topology satisfies the second axiom of countability.
Basis for a given topology
Theorem. Let be a topological space. A set is a basis of iff , there exist such that .
Proof:
1. Prove that if is a basis of , then , there exist such that .
Since U is an open set, it is the union of , where and is some index set. But implies that there exists some such that , and obviously .
2. Prove that is a basis of if there exist such that .
This case is pretty obvious, any open set can be written:
where is the member of that contains the point x.
Theorem. Let be a basis of the topo space . A subset U of X is an open set iff , there exists such that .
Proof:
1. Prove that if is open then , there exists such that .
This is basically the same as the first part of the previous theorem's proof.
2. Prove that is open if , there exists such that .
Again, very similar to the previous proof, we can show that is the union of members of , and therefore open.
To sum up: Given a topo space
- is the proposition " is a basis"
- is the proposition "U is an open set"
- is the proposition ", there exists such that "
We have:
- (note: must consider all open sets)
When do two bases generate the same topology?
Theorem. Let be the bases for topologies , respectively, on a non-empty set X. Then iff:
- , there exists such that . (i.e. is a basis of )
- , there exists such that . (i.e. is a basis of )
Subbasis
Definition. Let be a topo space. A non-empty collection of subsets of X is called a subbasis if the collection of all finite intersections of memebers of forms a basis of .
Examples:
- The collection of all open intervals and is a subbasis for (the Euclidean topo) .
- The collection of all closed intervals where is a subbasis for the discrete topology on .
- The collection of all sets is a subbasis for the finite-closed topology on X, where X has at least 2 points.
Proof idea: We see that the finite intersection of some sets , is , which is an open set of the finite-closed topology on X. Let be the collection of all such intersections. We concede that contains all open sets of X, except that . However, covers X, hence any open set is a union of members of . And by definition of a basis, we conclude is a basis of the finite-closed topo.