Topological Spaces and Open Sets

Topology is the mathematical study of shape and space that focuses on properties preserved under continuous deformation, like stretching or twisting, but not tearing or gluing. At its heart is the concept of a topological space, a profoundly flexible structure defined by a simple set of axioms for open sets. This framework generalizes the familiar notion of openness from calculus and metric spaces, stripping away the reliance on distance to reveal the pure essence of continuity and connectedness. Mastering this abstraction is crucial for advanced work in analysis, geometry, and theoretical physics, where global structure matters more than local measurement.

From Metric Spaces to Topological Spaces

In a metric space $(X, d)$, we define an open set precisely: a set $U$ is open if for every point $x \in U$, there exists some radius $r > 0$ such that the open ball $B_r(x)$ is entirely contained within $U$. This definition depends entirely on the metric $d$. Topology asks: what are the essential properties of this collection of open sets? It turns out they obey three key axioms. We take these axioms as the definition of a general topological space.

A topological space is a pair $(X, \tau)$, where $X$ is a set and $\tau$ is a collection of subsets of $X$, called the open sets, satisfying:

1. The empty set $\emptyset$ and the whole set $X$ are in $\tau$.
2. The union of any collection of sets in $\tau$ is also in $\tau$.
3. The intersection of any finite collection of sets in $\tau$ is also in $\tau$.

The collection $\tau$ is called a topology on $X$. Any set satisfying these rules qualifies. For example, the standard topology on the real line $\mathbb{R}$ is defined by taking $\tau$ to be all unions of open intervals $(a, b)$. This directly generalizes the metric-space definition. However, we can also define wildly different topologies. The discrete topology on any set $X$ declares every subset to be open ($\tau$ is the power set of $X$). The indiscrete topology declares only $\emptyset$ and $X$ to be open. These examples show that topology is about specifying a notion of "closeness" or "neighborhood" without numbers.

Bases and Subbases: Building Blocks of a Topology

Specifying every single open set in a topology can be cumbersome. Instead, we often describe a topology using smaller, more manageable collections. A basis $\mathcal{B}$ for a topology $\tau$ is a collection of open sets such that every open set in $\tau$ can be written as a union of basis elements. For a collection $\mathcal{B}$ to be a basis for some topology on $X$, it must satisfy: (i) for every $x \in X$, there is some $B \in \mathcal{B}$ with $x \in B$, and (ii) if $x \in B_1 \cap B_2$ with $B_1, B_2 \in \mathcal{B}$, then there exists a $B_3 \in \mathcal{B}$ such that $x \in B_3 \subseteq B_1 \cap B_2$. The topology generated by $\mathcal{B}$ is then defined as all possible unions of basis elements. For $\mathbb{R}$, the set of all open intervals $(a, b)$ is a basis for the standard topology.

An even more economical concept is a subbasis $\mathcal{S}$. This is any collection of subsets whose union is $X$. The topology generated by $\mathcal{S}$ is defined by taking all finite intersections of elements of $\mathcal{S}$ to form a basis, and then taking all unions of those finite intersections. Subbases offer maximum flexibility when defining a topology by specifying only a minimal set of "prototype" open sets.

Constructing New Topologies from Old

Given one or more topological spaces, we can build new ones in standard ways. The subspace topology is fundamental. If $(X, \tau)$ is a topological space and $Y \subseteq X$, then the subspace topology on $Y$ is defined as $\tau_Y = \{ U \cap Y \mid U \in \tau \}$. The open sets of $Y$ are essentially the "shadows" of open sets from $X$. For instance, the interval $[0,1)$ is not open in $\mathbb{R}$ with the standard topology, but it is open in the subspace $[0, 2]$ because $[0,1) = (-1, 1) \cap [0,2]$.

The product topology builds a topology on a Cartesian product $X \times Y$ of two spaces. A basis for this topology is the collection of all sets of the form $U \times V$, where $U$ is open in $X$ and $V$ is open in $Y$. This ensures that the projection maps $\pi_X : X \times Y \to X$ and $\pi_Y : X \times Y \to Y$ are continuous. For products of infinitely many spaces, the basis is restricted to products where only finitely many components are not the whole space.

The quotient topology is perhaps the most subtle construction. It is used to glue spaces together or to collapse parts of a space to points. Formally, if $(X, \tau)$ is a space and $q: X \to Y$ is a surjective map onto a set $Y$, the quotient topology on $Y$ is defined as: a set $U \subseteq Y$ is open if and only if its preimage $q^{-1}(U)$ is open in $X$. This is the finest topology that makes the map $q$ continuous. A classic example is taking the interval $[0,1]$ and identifying (gluing) the endpoints $0$ and $1$; the resulting quotient space is homeomorphic to a circle.

Comparing Topologies: Fineness and Coarseness

On a fixed set $X$, we can have many different topologies. We can compare them. If $\tau_1$ and $\tau_2$ are topologies on $X$, we say $\tau_1$ is finer (or stronger) than $\tau_2$ if $\tau_2 \subseteq \tau_1$. Equivalently, $\tau_2$ is coarser (or weaker) than $\tau_1$. A finer topology has more open sets. For example, the discrete topology is the finest possible topology on $X$, and the indiscrete topology is the coarsest. The standard topology on $\mathbb{R}$ is finer than the co-finite topology (where open sets are complements of finite sets). Fineness has direct implications: if $\tau_1$ is finer than $\tau_2$, then the identity map $id: (X, \tau_1) \to (X, \tau_2)$ is continuous, but its inverse is not.

Separation and Countability: Key Properties

Not all topological spaces are well-behaved. Separation axioms (denoted $T_0, T_1, T_2$, etc.) classify spaces by their ability to "separate" points and closed sets using open sets. The most important is the Hausdorff property (or $T_2$ axiom): a space is Hausdorff if for any two distinct points $x, y$, there exist disjoint open sets $U$ and $V$ such that $x \in U$ and $y \in V$. This property guarantees that limits of sequences (or nets) are unique. Most "geometric" spaces, like metric spaces, are Hausdorff.

Countability properties deal with the "size" of the topology's foundation. A space is first-countable if every point has a countable local basis—a countable collection of neighborhoods such that any neighborhood of the point contains one from the collection. Every metric space is first-countable (use balls of radius $1/n$). A space is second-countable if its topology has a countable basis. The real line $\mathbb{R}$ with the standard topology is second-countable (use intervals with rational endpoints). Second-countability is a stronger, global condition with major consequences, such as implying the existence of a countable dense subset (separability).

Common Pitfalls

1. Confusing "open in a subspace" with "open in the larger space." A set can be open in a subspace $Y$ without being open in the ambient space $X$. Always remember the definition: $A$ is open in $Y$ if $A = U \cap Y$ for some open $U$ in $X$. For example, $[0, 1)$ is open in the subspace $[0, 2]$ of $\mathbb{R}$ but not open in $\mathbb{R}$ itself.
2. Assuming all topologies come from a metric. Many important topologies are non-metrizable. The quotient topology formed by gluing the ends of a strip with a twist (to form a Möbius strip) is not metrizable if the original space wasn't. The Zariski topology in algebraic geometry is almost never Hausdorff and rarely metrizable. Do not rely on metric intuition like sequences for all topological arguments.
3. Misunderstanding the quotient map. The quotient topology is defined by the preimages of sets being open, not their images. A common error is to assume the image of an open set under a quotient map $q$ is open. This is false; a quotient map is not necessarily an open map. The map must be surjective, and we define openness in the target specifically to make $q$ continuous.
4. Overlooking the "finite" condition in topology axioms. The intersection of open sets is only guaranteed to be open if the intersection is over a finite collection. For example, in $\mathbb{R}$, the intersection of infinitely many open intervals $\bigcap_{n=1}^{\infty} (-1/n, 1/n)$ is the singleton $\{0\}$, which is not open. This distinction is crucial and different from the rule for unions.

Summary

• A topological space is defined by a set $X$ and a collection $\tau$ of open sets satisfying three axioms: the whole set and empty set are open, arbitrary unions of open sets are open, and finite intersections of open sets are open.
• Bases and subbases provide efficient ways to generate a topology without listing all open sets. A basis consists of "building block" open sets, while a subbasis consists of sets whose finite intersections form a basis.
• Fundamental constructions include the subspace topology (restricting to a subset), the product topology (on Cartesian products), and the quotient topology (formed by collapsing parts of a space via an equivalence relation).
• Topologies on a set can be compared via fineness: $\tau_1$ is finer than $\tau_2$ if it contains more open sets. The discrete topology is the finest, and the indiscrete topology is the coarsest.
• Separation axioms like the Hausdorff ($T_2$) property ensure points can be separated by disjoint open sets, while countability properties (first- and second-countability) constrain the topological "size" and have important implications for convergence and density.