4

Is the idea of a continuous map in the point-set model of topological spaces, i.e. that the preimages of opens are open, due to Hausdorff (Grundzüge der Mengenlehre)?

For example, does the notion of fibers of a ring morphism predate the said book (Kronecker died before the said publication)?

Some discussion in Chinese: https://www.zhihu.com/question/561581120/answer/2732719832.

1 Answers1

8

Roughly it goes like this.

Hausdorff (and others at the time) considered "manifolds" $M$, where for each point $p \in M$ there are "coordinate neighborhoods" which are in 1-1 correspondence with neighborhoods in Euclidean space. A function $f : M \to N$ is continuous at a point $p \in M$ if there are coordinate neighborhoods $U$ of $p$ and $V$ of $f(p)$ so that the corresponding map in Euclidean space is continuous.

Then Hausdorff made the leap that you did not need the coordinates to define continuity, it was enough to have "neighborhoods" that mapped into one another appropriately. Hausdorff's definition of such spaces was in terms of neighborhoods, not in terms of open sets.

Hausdorff

When other abstract definitions of "topology" were proposed (in terms of open sets, in terms of convergence, in terms of closure operation, etc.) it turned out that Hausdorff's definition was equivalent to theirs, except for the need of an additional restriction (which is nowadays called the Hausdorff condition).

Gerald Edgar
  • 10,307
  • 1
  • 25
  • 42