Point-Set Topology

The low-level language of Topology, which is not really considered a separate ``branch'' of Topology. Point-set topology, also called set-theoretic topology or general topology, is the study of the general abstract nature of continuity or ``closeness'' on Spaces. Basic point-set topological notions are ones like Continuity, Dimension, Compactness, and Connectedness. The Intermediate Value Theorem (which states that if a path in the real line connects two numbers, then it passes over every point between the two) is a basic topological result. Others are that Euclidean $n$-space is Homeomorphic to Euclidean $m$-space Iff $m=n$, and that Real valued functions achieve maxima and minima on Compact Sets.

Foundational point-set topological questions are ones like ``when can a topology on a space be derived from a metric?'' Point-set topology deals with differing notions of continuity and compares them, as well as dealing with their properties. Point-set topology is also the ground-level of inquiry into the geometrical properties of spaces and continuous functions between them, and in that sense, it is the foundation on which the remainder of topology (Algebraic, Differential, and Low-Dimensional) stands.

See also Algebraic Topology, Differential Topology, Low-Dimensional Topology, Topology

References

Sutherland, W. A. An Introduction to Metric & Topological Spaces. New York: Oxford University Press, 1975.