The foundational theory of topological spaces focused on open sets, continuity, convergence, separation axioms, countability, and the basic point-set properties that underlie geometric and analytic constructions.

Principle

Define topological structure by collections of open sets (or equivalent notions) and study properties that depend only on this point-set data rather than additional geometric or smooth structure.

Demonstration

A standard demonstration is establishing that metric spaces induce topologies where notions of convergence, compactness, and connectedness can be analyzed via open sets and sequences or nets, yielding general theorems like Tychonoff's theorem.

Misapplication

Applying point-set reasoning to questions that require manifold, smooth, or homotopical structure can be misleading; for instance, topological invariants may ignore differentiable or PL structures essential to a problem.

Consequence

When used properly, point-set topology supplies the language and lemmas for continuity, compactness, and separation used across analysis, algebraic topology, and geometry, and it sets hypotheses for stronger structures.

Reversal

The reverse focus is on geometric, smooth, or combinatorial structures (manifolds, foliations, simplicial complexes) where additional data beyond open sets determines behavior and classification.

Boundary

Scope covers general topological spaces, subspaces, product and quotient topologies, separation and countability axioms, and general compactness/connectedness notions; it excludes inherently smooth, PL, or categorical refinements unless restated in topological terms.

Semantic Tension

Tension exists between coarse topological descriptions that ignore additional structure and refined theories (differential topology, geometric topology) that require more data; deciding which level is appropriate is context-dependent.

Synthesis

Point-set topology codifies the minimal open-set framework for continuity and convergence, providing universal point-level tools and conditions that support and delimit more structured theories like smooth manifolds or homotopy-theoretic frameworks.