Topological Space
A set of points, along with a set of neighborhoods for each point, satisfying axioms relating points and neighborhoods.
Topological Spaces
A topological space is a set X together with a collection τ of subsets (called open sets) satisfying: the empty set and X are open; arbitrary unions of open sets are open; finite intersections of open sets are open. This abstraction captures the notion of "nearness" without requiring a metric.
Continuity and Homeomorphism
A function between topological spaces is continuous if the preimage of every open set is open. A homeomorphism is a continuous bijection with a continuous inverse — it is the topological notion of equivalence. Famously, a coffee cup and a donut are homeomorphic (both have one hole).
Compactness and Connectedness
A space is compact if every open cover has a finite subcover. In ℝⁿ, compactness is equivalent to being closed and bounded (Heine-Borel theorem). A space is connected if it cannot be split into two disjoint non-empty open sets. Path-connectedness is a stronger condition: any two points can be joined by a continuous path.
Fundamental Group
The fundamental group π₁(X, x₀) captures information about loops in a topological space. It is the set of homotopy classes of loops based at x₀, with composition as the group operation. Simply connected spaces (like ℝⁿ) have trivial fundamental group; the circle S¹ has fundamental group ℤ, reflecting the winding number of loops.