Overview
A topological space is a basic object of topology, providing an abstract framework for the notions of nearness, continuity and deformation that occur in many areas of mathematics. It consists of a set of elements often called points together with a distinguished collection of subsets, the open sets, chosen so that they capture the intended idea of neighbourhoods and local behaviour.
Definition and axioms
Formally, a topological space is an ordered pair (X, T) where X is a set and T is a collection of subsets of X (the open sets) satisfying three axioms: the empty set and X belong to T; arbitrary unions of members of T belong to T; and finite (finite) intersections of members of T belong to T. From these axioms follow standard notions such as closed sets (complements of open sets), closure, interior, and boundary.
Neighborhoods, bases and subbases
A neighbourhood of a point is typically an open set that contains the point, and much of local analysis is phrased in terms of neighbourhoods. A topology can often be specified concisely by giving a basis of open sets: a family B of subsets of X such that every open set is a union of elements of B and every point of X lies in some basis element. A subbasis is a collection whose finite intersections form a basis. These alternative descriptions are useful for constructing and comparing topologies.
Examples and standard constructions
Important examples include the discrete topology (every subset open) and the indiscrete or trivial topology (only X and the empty set open). Metric spaces induce topologies where open sets are unions of open balls; this connects topology with distance and classical Euclidean intuition. Standard ways to form new topological spaces from old ones include subspace topologies, product topologies, quotient topologies and function space topologies. Those constructions preserve or reflect many properties and enable the assembly of complex spaces from simpler pieces.
Continuity, homeomorphism and maps
A map between topological spaces is continuous if the preimage of every open set is open. This definition generalizes the epsilon–delta idea from analysis and leads to the notion of homeomorphism, a bijective continuous map whose inverse is also continuous: homeomorphic spaces are regarded as the same from a topological viewpoint. Continuous maps and homeomorphisms are central to classification and comparison of spaces.
Convergence, nets and sequences
Convergence in general topological spaces can be described by sequences in some familiar settings, but in full generality sequences are not sufficient. The theory of nets and filters provides a more flexible language for convergence, closure and compactness in arbitrary spaces and recovers sequence-based notions when the space has appropriate countability properties.
Key properties and separation axioms
Topological properties studied include compactness (a space in which every open cover has a finite subcover), connectedness (cannot be separated into two nonempty disjoint open sets), and various separation axioms such as T0, T1 and Hausdorff (T2) which regulate how distinct points can be separated by neighbourhoods. These properties influence the behaviour of continuous functions and the applicability of many theorems.
Applications and further directions
Topological spaces are foundational in algebraic topology, differential geometry, functional analysis and dynamical systems, and they are increasingly used in applied areas such as data analysis and network theory. The same underlying set can support many different topologies depending on the chosen family of open sets; different choices yield different mathematical behaviours and insights. For introductory treatments and visual intuition consult elementary expositions in structure and shapes, while detailed axiomatics and advanced constructions appear in modern textbooks. Historical context and further reading can be found in surveys of the subject that trace the move from concrete metric ideas to the abstract axiomatic language established in the late nineteenth and early twentieth centuries
For concise definitions and examples see resources on basic set concepts and point-set notions, and use the canonical references to explore subspace, product and quotient constructions. Useful starting points include introductory notes and lecture courses available through many educational outlets and reference collections in pure and applied definitions. Further background on sets and elementary point concepts is often indexed under entries on points and set theory, while elementary topical surveys or encyclopedias provide guided overviews and lists of typical examples. Additional expository material is widely available in print and online for readers who wish to study continuity, compactness and separation properties in more depth; introductory tutorials and problem collections remain a reliable way to build intuition about topological spaces and their applications in contemporary mathematics .