General Topology Basics
General topology is the foundation of modern mathematics. It defines what continuity, convergence, and compactness actually mean without relying on distance. You start with a set X and a collection of subsets called open sets that satisfy three rules: the empty set and X itself are open, arbitrary unions of open sets are open, and finite intersections of open sets are open. That is the entire structure. Once you have a topological space, everything else builds from there. A neighborhood of a point is any set containing an open set that contains that point. Closure, interior, and boundary are defined purely in terms of open sets. You do not need metrics or distances. The real power comes when you start comparing spaces through continuous functions, which are maps where the preimage of every open set is open.
Introduction To General Topology
I ran into a specific problem while teaching this material to undergraduates. Students consistently confused the subspace topology with the product topology on subsets of R². They would take the interval [0,1] × [0,1] and assume open sets looked like products of open intervals in the same way they do in R. That is wrong. The subspace topology on the square uses intersections of open sets in R² with the square itself. A basic open set in the subspace looks like (a,b) [0,1] × (c,d) [0,1], which gives you half-open intervals along the boundary. I spent an entire week drilling this distinction with explicit examples. The workaround that finally clicked was having them write out every open set as an intersection U [0,1]² where U is open in R². That forced the connection to the definition. Here is something most textbooks do not emphasize early enough: second-countability implies separability, but separability does not imply second-countability. The Sorgenfrey line is the standard counterexample. It is separable because Q is dense, but it is not second-countable. Beginners miss this because they conflate countable density with countable bases. The takeaway is that separability is strictly weaker than second-countability in general topological spaces. Compactness is where things get interesting. In metric spaces, compactness equals sequential compactness equals limit point compactness. In general topological spaces, those equivalences break down. Limit point compactness does not imply compactness unless you add the Hausdorff condition. I recommend proving that every closed subset of a compact space is compact before moving to quotient spaces. The proof is six lines and establishes the logic you will use repeatedly.
Connectedness follows a similar pattern. Path-connectedness implies connectedness, but not vice versa. The topologist's sine curve is the classic counterexample. The set {(x, sin(1/x)) : x (0,1]} {(0,y) : y [-1,1]} is connected but not path-connected. When you work through the proof that it is connected, you see exactly why the closure of a connected set is connected. That single example carries a lot of conceptual weight. Quotient spaces require careful handling. The quotient topology is defined so that a map from the original space to the quotient is continuous if and only if the composition with the quotient map is continuous. This is the universal property. I learned this the hard way when a student tried to construct a quotient that identified all rational points in [0,1]. The resulting topology was trivial because every open set containing a rational point had to contain all rationals. The space became indiscrete. That example demonstrates why quotient constructions need explicit verification of separation axioms. Tychonoff's theorem states that the product of any collection of compact spaces is compact. The proof requires the axiom of choice. Without it, the theorem fails. I wish this were stated more explicitly in introductory courses because students encounter non-Hausdorff products all the time and assume compactness works the same way. It does not. The product of compact Hausdorff spaces is compact and Hausdorff. Drop the Hausdorff condition and you lose uniqueness of limits.
Get the Full Details
If you are studying this material, start with Munkres. Chapters 2 through 4 cover the core definitions and the first major theorems. Do not skip the exercises on subspace and product topologies. They are where the intuition either clicks or collapses. The field has no shortcuts.
