Definition
Robert M. Sorgenfrey (1916 – 1996) was an American mathematician recognized for his contributions to general topology, most notably the introduction of the lower limit topology on the real line, which is commonly referred to as the Sorgenfrey line.
Overview
Sorgenfrey earned his doctorate in mathematics from the University of Michigan in the early 1940s. He spent a significant portion of his academic career as a professor at the University of Minnesota, later joining the faculty of the University of Arizona, where he continued his research and teaching until his retirement. His work focused on point‑set topology and its interplay with set theory. The lower limit topology, presented in a 1947 paper, generated a considerable amount of subsequent research, influencing the study of separability, normality, and product spaces within topology.
Etymology/Origin
The surname Sorgenfrey is of Germanic origin, derived from the elements Sorgen (“worries”) and frei (“free”), literally meaning “free from worry.” The name does not bear any special significance to his mathematical work beyond its identification of the author of the lower limit topology.
Characteristics
-
Lower limit topology (Sorgenfrey line):
- Constructed on the set of real numbers ℝ by taking as a basis all half‑open intervals of the form $[a,b)$ with $a<b$.
- The resulting space is first‑countable, hereditarily normal, and separable, yet it is not second‑countable and fails to be Lindelöf.
- The product of two Sorgenfrey lines, known as the Sorgenfrey plane, exhibits striking counter‑intuitive properties; for example, it is not normal.
-
Academic contributions:
- Published several papers on separation axioms, compactness, and related topics in topology.
- Mentored graduate students who continued work in set‑theoretic topology.
-
Recognition:
- The terminology “Sorgenfrey line” and “Sorgenfrey plane” has become standard in textbooks and research articles dealing with counterexamples in topology.
Related Topics
- General topology – the broader field encompassing the study of topological spaces and their properties.
- Sorgenfrey line – the specific topology introduced by Sorgenfrey; a classic example in the study of separation axioms.
- Sorgenfrey plane – the product space $\mathbb{R}_S \times \mathbb{R}_S$, where $\mathbb{R}_S$ denotes the Sorgenfrey line.
- Counterexamples in Topology – a well‑known reference work that lists the Sorgenfrey line among its notable examples.
- Separation axioms (T₁, T₂, normality, etc.) – properties illuminated by the behavior of the Sorgenfrey line and its products.
Robert Sorgenfrey’s introduction of the lower limit topology remains a foundational element in the study of topological spaces, providing essential examples that illustrate the nuanced relationships among various topological properties.