Recently, I started reading the book "Topology Without Tears" by Sidney Morris. It is such an exciting adventure. And as always, I write notes about what I learned.
Topology
Definition. Let X be a non-empty set and be a set of subsets of X, i.e. . We call a topology on X if
- The union of any (finite or infinite, countable or uncountable) number of sets that are in also belongs to
- The intersection of any two sets that are in also belongs to .
The pair is called a topological space.
When , it is called the discrete topology on X. Together they form the discrete topological space.
When , it is called the indiscrete topology on X. Together they form the indiscrete topological space.
Notice the article "the (in)discrete topo", it means for a non-empty set X, there is exactly ONE such topo.
Theorem. If is a topological space (from now abbreviated as t.s.) such that for every element , the singleton set , then is a discrete topology (from now abbreviated as topo).
Open sets, closed sets, clopen sets
If is a t.s., each element of is called an open set. Meanwhile, we call a set a closed set if , i.e. X-S is open.
Theorem. If is a t.s.,
- are closed sets
- The intersection of any (finite or infinite) number of closed sets is a closed set
- The union of any two closed sets is a closed set
If S is both an open and a closed set, we call it a clopen set.
- In a discrete t.s., any subset of X is clopen.
- In an indiscrete t.s., only and X are clopen.
- In any t.s., and X are clopen.
The Finite-closed Topology
Definition. Let X be any non-empty set. A topo on X is called the finite-closed topology, or cofinite topology on X if the closed subsets of X consist of X and all finite subsets of X.
which also means that the open sets are and subsets of X that have finite complements.
"consist of" is different from "include". When way say "the closed subsets of X consist of X and all finite subsets of X", it means no sets other than the specified sets are closed, only X and all finite subsets of X are closed.
Infinite sets are not necessarily open sets. If the complement of an infinite set is also an infinite set, it is definitely not an open set.
Let be the cofinite topo on X. If X has at least 3 distinct clopen subsets, X is finite. ▶ Proof
We know that X and are always clopen. Let S be another clopen set. Since it is open, X-S is finite. Since it is closed, S is finite. Hence is finite.
Some other topologies
-space (Fréchet space)
A topo space is called a -space if every singleton set is closed. Another definition is that for every pair of distinct points a and b in X, there exists an open set containing a but not b, and there exists an open set containing b but not a. Examples:
- Any discrete space is a -space, since and , which brings us to (open set), so is closed, .
- An infinite set with the finite-closed topo is a -space, because every singleton set is finite, and in the finite-closed topo space every finite set is closed.
-space (Kolmogorov space)
A topo space is called a -space if for each pair of distinct points a and b in X, there exists an open set containing a but not b, or there exists an open set containing b but not a. Examples:
- Any -space is an -space. For each pair of distinct points a and b, is open and does not contain b.
- With the same explanation, any discrete space is a -space.
Sierpiński space
It is a -space on but not a -space, i.e. or
Countable-closed space
Let X be an infinite set. The countable-closed topology is defined to have X and all countable subsets of X as its closed sets.
Door space
A topo space is called a door space if every subset of X is open or closed.
Some topologies on
- The discrete topology
- The indiscrete topology
- The finite-closed topology
- consists of , and every interval (-n, n) for n positive integer. ▶ Why?
We can safely say that is countable. Let's prove that any union of elements in is also in .
If I is finite, where m is the maximum element in I, hence it is also in . Otherwise, I is infinite and equal to , hence .
It is easy to prove the intersection between two sets in is also in .
- consists of , and every interval [-n, n] for n positive integer.
- consists of , and every interval for n positive integer.
- consists of , and every interval (-r, r) for r positive real.
- consists of , and every interval [-r, r] and interval (-r, r) for r positive real.
- consists of , and every interval [-n, n] and interval (-r, r) for n positive integer and r positive real.
Not a topology on
- consists of , and every interval [-r, r] for r positive real. ▶ Why?
You can always find some infinite monotonic increasing sequence of real number that converges to a real value r, but never precisely reach r. The infinite union of sets derived from the sequence converges to .
</div>
- consists of , and every interval (-q, q) for q positive rational. ▶ Why?
You can find some infinite monotonic increasing sequence of rational number that converges to an irrational number, e.g. partial sums of the Maclaurin series representation of . The infinite union of sets derived from the sequence converges to .
</div>