中文

Up till now we have focused almost entirely on the role of algebraic structures in mathematical physics. Occasionally, as in the previous chapter, it has been necessary to use some differential calculus, but this has not been done in any systematic way. Concepts such as continuity and differentiability, central to the area of mathematics known as analysis, are essentially geometrical in nature and require the use of topology for their rigorous definition. In broad terms, a topology is a structure imposed on a set to allow for the definition of convergence and limits of sequences or subsets. A space with a topology defined on it will be called a topological space, and a continuous map between topological spaces is one that essentially preserves limit points of subsets. The most general approach to this subject turns out to be through the concept of open sets.

Consider a two-dimensional surface embedded in Euclidean three-dimensional space . In this case we have an intuitive understanding of a ‘continuous deformation’ of the surface as being a transformation of the surface that does not involve any tearing or pasting. Topology deals basically with those properties that are invariant under continuous deformations of the surface. Metric properties are not essential to the concept of continuity, and since operations such as ‘stretching’ are permissible, topology is sometimes called ‘rubber sheet geometry’. In this chapter we will also define the concept of a metric space. Such a space always has a naturally defined topology associated with it, but the converse is not true in general – it is quite possible to define topology on a space without having a concept of distance defined on the space.

Contents

Concept index

Terms by section. Links lead to the brown underlined definitions in the Chinese reading text.

10.1 Euclidean topology

10.2 General topological spaces

10.3 Metric spaces

10.4 Induced topologies

10.5 Hausdorff spaces

10.6 Compact spaces

10.7 Connected spaces

10.8 Topological groups

10.9 Topological vector spaces