Topological Spaces and Continuity

A topological space encodes which points are near which others through a family of open sets, and a continuous map is one that respects this nearness — pulling open sets back to open sets.

Definition

A topological space is a set X together with a topology — a family of open subsets closed under arbitrary unions and finite intersections and containing the empty set and X; a function between topological spaces is continuous if the preimage of every open set is open, and a homeomorphism is a continuous bijection with continuous inverse.

Scope

This topic defines topological spaces via open-set axioms and the equivalent languages of closed sets, neighborhoods, closure, and interior. It develops bases and subbases as economical ways to specify a topology, the subspace, product, and quotient topologies, and the central notions of continuity, homeomorphism, and topological invariants. It treats convergence of sequences and nets where metric intuition fails.

Core questions

• How can the same topology arise from different bases, and how do we compare topologies by fineness?
• What does continuity mean when no metric is available, and how is it characterized via closures and neighborhoods?
• When are two spaces homeomorphic, and which properties serve as invariants to tell them apart?
• How do subspace, product, and quotient constructions inherit or fail to inherit a parent topology's properties?

Key concepts

• Open sets, closed sets, neighborhoods, closure, and interior
• Basis and subbasis generating a topology
• Continuity, homeomorphism, and topological invariants
• Subspace, product, and quotient topologies
• Convergence via sequences and nets; the role of first countability

Clinical relevance

These definitions are the entry point to every later structure in geometry and topology: manifolds are locally Euclidean topological spaces, homotopy and homology act on continuous maps, and analysis on spaces rests on this notion of continuity.

History

The open-set definition generalized Fréchet's metric spaces (1906) and Hausdorff's neighborhood axioms (1914); the now-standard formulation in terms of arbitrary unions and finite intersections became the textbook norm through Bourbaki and mid-century American texts.

Key figures

• Felix Hausdorff
• Maurice Fréchet
• James Munkres

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Is every continuous bijection a homeomorphism?

No. A continuous bijection can fail to have a continuous inverse; a homeomorphism additionally requires the inverse to be continuous, which is what makes it an isomorphism of topological spaces.

Why do nets generalize sequences in topology?

In spaces that are not first countable, sequences cannot detect all closure and continuity behavior; nets (and equivalently filters) index convergence over arbitrary directed sets and recover the full theory.