[Search] |

ABOUT:
[Introduction]POINTERS:
[Texts]## 54: General topology |

Topology is the study of sets on which one has a notion of "closeness" -- enough to decide which functions defined on it are continuous. Thus it is a kind of generalized geometry (we are still interested in spheres and cubes, for example, but we might consider them to be "the same", yet distinct from a bicycle tire, which has a "hole") or a kind of generalized analysis (we might think of the functions f(x)=x^2 and f(x)=|x| as being "the same", and yet distinct from f(x)=signum(x)=x/|x|, which has a discontinuity).

More formally, a topological space is a set X on which we have a
*topology* -- a collection of subsets of X which we call the "open" subsets
of X. The only requirements are that both X itself and the empty subset
must be among the open sets, that all unions of open sets are open, and that
the intersection of two open sets be open.

This definition is arranged to meet the intent of the opening paragraph. However, stated in this generality, topological spaces can be quite bizarre; for example, in most other disciplines of mathematics, the only topologies on finite sets are the discrete topologies (all subsets are open), but the definition permits many others. Thus a general theme in topology is to test the extent to which the axioms force the kind of structure one expects to use and then, as appropriate, introduce other axioms so as to better match the intended application.

For example, a single point need not be a closed set in a topology. Does this seem "inappropriate"? Then perhaps you are envisioning a special kind of topological space, say a a metric space. This alone still need not imply the space looks enough like the shapes you may have seen in a textbook; if you really prefer to understand those shapes, you need to add the axioms of a manifold, perhaps. Many such levels of generality are possible.

Since the axioms of topology are stated in terms of subsets of X, it should be no surprise that one branch of topology is closely related to set theory, particularly "descriptive set theory". Here one considers general constructs such as closures of sets, limits, convergence, and nets. One can look at topologies related to order or cardinality, and so create extraordinarily large topological spaces. By using the axiom of choice, one may prove the existence of topological spaces with peculiar properties. In particular, there are questions about topology which can be reduced to questions of set theory, whose answer then depends on the axioms of set theory chosen.

As in other branches of axiomatic mathematics, we may (in category-theoretic style) make some basic constructs. The most important functions between topological spaces are the continuous ones (a definition borrowed from analysis), which we use to define homeomorphisms -- functions which can be used to demonstrate that two spaces are "the same". We can define products of spaces (and coproducts -- unions), subspaces, quotient spaces, and so on. On the one hand, each is a "universal" solution to some problem which can be stated in terms of the existence of maps and spaces related via commutative diagrams; this aspect makes them useful tools for algebraic topology. On the other hand, each can be studied (and generalized) internally, making them useful tools for analysis (including semicontinuous functions for example).

In order to get more significant results, one must restrict to spaces with some additional properties. The precise set of additional axioms depends on the intended results. For example, if we would like to know which spaces might have a topology which is consistent with a metric, we know individual points must be closed; the axiom that this is true (the "T_1" axiom) is but one of a number of separation axioms. A great deal of work has been done to see the independence of these axioms, the extent to which they are preserved under the constructions of the previous paragraph, and so on. The same is true of other types of axioms designed to focus attention on "well-behaved" spaces. For example, there are cardinality axioms (e.g., metric spaces have the additional property that the topology at a point is countable), compactness axioms (e.g. a space would have to be locally compact to be a manifold), connectedness axioms, and so on. In each case, there are a number of choices for how tight the axioms should be: is one interested in weak conclusions about a large family of spaces, or stronger conclusions about a family of more particular interest? Well-known results concerning these properties include a version of the Baire Category Theorem (nowhere dense subsets), Tychonoff's theorem (products of compact spaces), Urysohn's Lemma and Tietze's Theorem (functions on well-separated spaces), and compactness criteria (Bolzano-Weierstrass, Heine-Borel).

A number of families of spaces are defined by the presence of some extra structure which is related to the topology in a natural way. In each case, one can for example ask, given a topological space, whether the extra can be imposed on that space. We have already mentioned metric spaces: spaces on which there is a distance function; the latter question is then the question of whether a space is metrizable. Other categories include measure spaces (spaces with a given real-valued measure on families of subsets), manifolds (spaces with a given collection of coordinate charts), simplicial complexes (a generalization of polyhedra), CW-complexes (spaces with a given decomposition into subsets homeomorphic to balls of various dimensions), ordered topological spaces, topological groups or vector spaces, and so on. The distinction between this and the previous paragraph is that additional axioms are assumed about a new construct provided at the outset, rather than additional axioms about the topology; thus the questions asked about these structures can be about either the topology or about the new construct. (The discussion of these additional properties gives us subdisciplines Metric Topology, Combinatorial Topology, and so on.)

Moving toward applications, we can ask about topological spaces which arise in some fairly common way. One significant family of examples is sets S of functions between topological spaces X and Y. Depending on the properties or additional structures possessed by X and Y, S may be given one or more topologies, and in some cases itself possesses an additional structure. Many questions of functional analysis, for example, are most conveniently expressed in terms of the topology or metric on families of functions on the real line (Is a periodic function "equal" to its Fourier series? That's asking whether the original function lies in the closure of the sequence of partial sums, which depends on the topology.) Thus we see in topology some treatments of the Arzelà-Ascoli theorem and the Stone-Weierstrass theorem.

Other families of examples include the Euclidean spaces themselves and various subspaces (curves and surfaces, spheres, and so on). Here we may use the combined structures of the Lebesgue measure, the Euclidean metric, and the natural coordinate charts to ask and answer questions of a generally topological nature. Well-known results on Euclidean spaces include the Peano curves covering the square (Hahn-Mazurkiewicz theorem), the Jordan curve theorem, and the Banach-Tarski paradoxical volume-altering decompositions; it's nontrivial even to that R^n and R^m are not homeomorphic unless n=m. Results on spheres include Borsuk-Ulam separation results, Lyusternik-Shnirel´man covering results, and the whole of degree theory (which can count the Fundamental Theorem of Algebra among its consequences!). Much of the topological nature of these spaces is developed in the branches of topology known as Algebraic Topology and Differential Topology.

Other important applications of topology include a number of fixed-point theorems and the topological nature of dynamical systems. The Brouwer fixed-point theorem is perhaps the best-known example, but arguably everything from Newton's method to fractals is a study of the stability and convergence of iterates of functions from a topological space to itself. Clearly many of the most-applicable research in this area is limited to metric spaces or manifolds, but some of the topics may be approached in a fairly general way.

This section is limited to what is sometimes known as "point-set topology". Some important topological results can be proved with substantial algebraic machinery; particularly strong topological results can be expected of spaces which have additional structure, especially manifolds.

See 55: Algebraic Topology for the definitions, and computations, and applications of fundamental groups, homotopy groups, homology and cohomology. This includes topics in homotopy theory -- studies of spaces in the homotopy category -- whether or not they involve algebraic invariants.

The study of 57: Manifolds and Cell Complexes is roughly the part of the topological category most amenable to nice pictures. This includes differential topology -- what happens when we add differential or other structures? -- actions of groups on spaces, knot theory, low-dimensional topology, and so on.

Simplicial complexes are essentially polyhedra.

Problems specific to Euclidean space may be treated in the geometry pages, particularly if the questions themselves center heavily on the metric.

Aspects of real analysis (differentiation and integration) treated topologically are the purview of global analysis. This includes both the topological study of spaces of maps (e.g. the space of embeddings of one manifold into another) and the study of differential equations and so on with manifolds other than Euclidean space as the domain. In particular, this includes the more detailed studies of dynamical systems, although the related area of fractals is most likely in Measure Theory.

The study of topological vector spaces is treated in detail in functional analysis and related fields such as operator theory. There is also a separate classification for topological groups. In most other cases, "topological xxx theory" is treated as a subset of "xxx theory"

Use of the word "category" (e.g. in the Lyusternik-Shnirel´man theorem) is unrelated to its use in category theory

- 54A: Generalities
- 54B: Basic constructions
- 54C: Maps and general types of spaces defined by maps
- 54D: Fairly general properties
- 54E: Spaces with richer structures especially metric spaces.
- 54F: Special properties
- 54G: Peculiar spaces
- 54H: Connections with other structures, applications
- 54J05: Nonstandard topology, See also 03H05

Until 1958 an additional classification 56.0X was used for general topology.

Browse all (old) classifications for this area at the AMS.

There are a number of good textbooks, with varying perspectives on topology.

- A good, commonly-used, general text is Munkres, James R., "Topology: a first course", Prentice-Hall, Inc., Englewood Cliffs, N.J., 1975. 413 pp.
- Another text aging gracefully: Kelley, John L., "General Topology", Springer-Verlag, New York-Berlin, 1975. 298 pp.
- Engelking, Ryszard; Sieklucki, Karol, "Introduction to topology", Heldermann Verlag, Berlin, 1992. 429 pp. ISBN 3-88538-004-8 MR94d:54001 -- a nice undergraduate text covering many of the branches of topology.
- Edgar, Gerald A., "Measure, topology, and fractal geometry", Springer-Verlag, New York, 1990. 230 pp. ISBN 0-387-97272-2 -- focuses on metric spaces, accessible to undergraduates.
- Jänich, Klaus, "Topology", Springer-Verlag, Berlin, 1994. 239 pp. ISBN 3-540-57471-9[German] and 0-387-90892-7 [English] -- a pleasant introduction; almost chatty.
- Two welcome Dover reprints are the books by Mendelson, Bert, "Introduction to topology" Dover Publications, Inc., New York, 1990. 206 pp. ISBN 0-486-66352-3, and
- Kahn, Donald W., "Topology, An introduction to the point-set and algebraic areas", Dover Publications, Inc., New York, 1995. 217 pp. ISBN 0-486-68609-4
- Good texts discussing topology from the perspective an an analyst include Dixmier, Jacques, "General topology", Springer-Verlag, New York-Berlin, 1984. 140 pp. ISBN 0-387-90972-9 (MR85f:54001) and
- Wilansky, Albert, "Topology for analysis", Robert E. Krieger Publishing Co., Inc., Melbourne, Fla., 1983. 383 pp. ISBN 0-89874-343-5 (MR85d:54001)
- (Older yet but still used: Willard, Stephen, "General topology", Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1970, 369 pp. MR 41 #9173)

An online textbook provides a nice development of the basic theory. [Aisling McCluskey and Brian McMaster]

The definitive axiomatic development is of course by Bourbaki, Nicolas, "General topology" (2 volumes), Springer-Verlag, Berlin-New York, 1989. 363+437 pp. ISBN 3-540-19372-3 and 3-540-19374-X (MR90a:54001a,b)

The foundational aspects of the subject are thoroughly reviewed in "Handbook of set-theoretic topology", edited by Kenneth Kunen and Jerry E. Vaughan. North-Holland Publishing Co., Amsterdam-New York, 1984. 1273 pp. ISBN 0-444-86580-2, 85k:54001

There is an excellent, if somewhat dated, collection of "Reviews in Topology" by Norman Steenrod, a sorted collection of the relevant reviews from Math Reviews (1940-1967). Many now-classical results date from that period. Most of the reviews in that collection are of algebraic and differential topology, however.

Some survey articles:

- Kline, J. R.: "What is the Jordan curve theorem?", Amer. Math. Monthly 49, (1942). 281--286. MR3,318d
- Borsuk, Karol; Dydak, Jerzy: "What is the theory of shape?", Bull. Austral. Math. Soc. 22 (1980), no. 2, 161--198. MR82d:54015
- Borsuk, K.: "What is topology?" (Polish) Wiadom. Mat. (2) 1, (1955). 65--74. MR16,1041f

Got a question in this area? Ask a Topologist (bulletin board).

It is difficult to imagine software or tables for topology distinct from those for algebraic topology (e.g. tables of homotopy groups) or what is essentially (numerical) analysis (e.g. implementations of fixed-point routines)! Perhaps the most appropriate candidate would be tables outlining the implications and interplay among the various axioms on topologies; this is essentially the intent of

- Steen, Lynn Arthur; Seebach, J. Arthur: "Counterexamples in topology", Dover Publications, Inc., Mineola, NY, 1995. ISBN 0-486-68735-X, MR 96k:54001

- The Topology Atlas (York University) provides an excellent overview of further summaries, professional information, preprints, and related links.
- There is a separate page for Fixed Point Theory [University of Texas at El Paso]
- The topology page at the UTK archive includes many links to this and the other subject areas of topology.
- Here are the AMS and Goettingen resource pages for area 54.

- Various musings on the question, What is topology?
- What are general (non-metric) topologies good for?
- What are the general themes of point-set topology? [Henno Brandsma]
- Aren't (continuous) bijections the same as homeomorphisms? (no) (This spawned a discussion about compactifications.)
- Invariance of Domain: any continuous bijection
*is*a homeomorphism if the domain is an open subset of Euclidean space and the codomain is also in Euclidean space. - What is the topology induced by maps?
- Cluster points are limits of subsequences?
- What is a Lusin space in topology?
- Compactly generated topologies and products
- KC spaces (all compact subsets are closed)
- A topology finer than the infinite product topology on R^I
- Symmetric product of (sets or) spaces
- Cancellation in topological categories (X^2=Y^2 implies X=Y?)
- Topologies on a power set (Vietoris topology, Pixley-Roy topology)
- The compact-open topology on function spaces X^Y
- A question about writing a sphere as a union of compact pieces (good chance to think about what a "component" is.)
- Difference between compactness and closedness; different topologies on a single set.
- Failure of uniqueness of limits in non-Hausdorff spaces
- Statements equivalent to normality
- Products of normal spaces which are not normal.
- Using Tietze's theorem to extend statements of fixed-point theorems.
- A free-for-all on fixed-point theorems
- An applied (?) questions which boils down to: when can an ordered topological space be embedded into R?
- A topological proof (!) of the infinitude of primes
- The topological space of integers (basis=arithmetic progressions)
- If all points in a space have homeomorphic neighborhoods, is the space homogeneous?
- Compare and contrast the countability axioms
- What is the use of paracompactness (e.g. for metrization)?
- The long line (non-paracompact)
- What is the compact-open topology good for?
- What does Tychonoff's Theorem say? (The product of compact spaces is compact.)
- Peano curves (mappings [0,1] \mapsto [0,1]^2 (or [0,1]^n ) which are really close to being homeomorphisms.)
- No homeomorphisms are possible between [0,1] and [0,1]^2.
- Illustration of a space-filling curve.
- Using space-filling curves to compress images.
- Might Peano curves be good for image compression?
- Some hints on the Kuratowski "14" problem (How many sets can you make from one set A using complement and closure?)
- Generalizing the Kuratowski problem: how many sets can be generated with complement, closure
*and union*? - Sets generated from one set using closure, complement, and union
- How many finite topologies are there?
- Citations for the enumeration of finite topologies.
- Maple program to find all topologies on a (small!) finite set
- Listing of the 33 distinct topologies on a 4-element set
- Knots and the category TOP^2 of pairs of spaces
- The "sum" of two closed sets need not be closed.
- Finding a T1 space with no connected open subsets.
- Separating disconnected subspaces in e.g. the Moore plane.
- General remarks about connectivity and topology
- Totally disconnected and zero-dimensional spaces
- Generalizations of Kuratowski embedding theorem to higher-dimensional complexes: citations to literature.
- Countability of set of accumulation points.
- What is (are) topological dimension(s)?
- From the sci.math FAQ: How can you chop up a ball and reassemble the parts (the Banach Tarski paradox, and related issues).
- Outline of Banach-Tarski construction and generalizations
- No Banach-Tarski paradox for subsets of the line or plane
- Which set-theory axioms are needed to prove there is no Banach-Tarski paradox in the plane?
- A Banach-Tarski-like decomposition of the unit interval (using countably many subsets)
- Citation for decomposition H=A u B u C of the hyperbolic plane with A, B, C all congruent and A congruent to B u C
- Nowhere dense subsets of R
- Who was "Stone"?
- Hilbert's 13th problem: continuous functions of several variables can always be reduced to functions of one variable, and addition.
- Hilbert's 13th problem (all multivariable functions may be obtained from univariate ones)

Last modified 2000/01/14 by Dave Rusin. Mail: