General topology

From Wikipedia, the free encyclopedia

In mathematics, general topology or point-set topology is the branch of topology which studies properties of topological spaces and structures defined on them. It is distinct from other branches of topology in that the topological spaces may be very general, and do not have to be at all similar to manifolds.

1 History
2 Scope
3 See also
4 References

[edit] History

General topology grew out of a number of areas, most importantly the following:

the detailed study of subsets of the real line (once known as the topology of point sets, this usage is now obsolete)
the introduction of the manifold concept
the study of metric spaces, esp. normed linear spaces, in the early days of functional analysis

General topology assumed its present form around 1940. It captures, one might say, almost everything in the intuition of continuity, in a technically adequate form that can be applied in any area of mathematics.

[edit] Scope

More specifically, it is in general topology that basic notions are defined and theorems about them proved. This includes the following:

open and closed sets;
interior and closure;
neighbourhood and closeness;
compactness and connectedness;
continuous functions;
convergence of sequences, nets, and filters;
separation axioms
countability axiom

Other more advanced notions also appear, but are usually related directly to these fundamental concepts, without reference to other branches of mathematics. Set-theoretic topology examines such questions when they have substantial relations to set theory, as is often the case.

Other main branches of topology are algebraic topology, geometric topology, and differential topology. As the name implies, general topology provides the common foundation for these areas.

An important variant of general topology is pointless topology, which, rather than using sets of points as its foundation, builds up topological concepts through the study of lattices, and, in particular, the category-theoretic study of frames and locales.