Book contents
- Frontmatter
- Contents
- CONTRIBUTORS
- NOTES
- Obituary: Clifford Hugh Dowker
- Knot tabulations and related topics
- How general is a generalized space?
- A survey of metrization theory
- Some thoughts on lattice valued functions and relations
- General topology over a base
- K-Dowker spaces
- Graduation and dimension in locales
- A geometrical approach to degree theory and the Leray-Schauder index
- On dimension theory
- An equivariant theory of retracts
- P-embedding, LCn spaces and the homotopy extension property
- Special group automorphisms and special self-homotopy equivalences
- Rational homotopy and torus actions
- Remarks on stars and independent sets
- Compact and compact Hausdorff
- T1 - and T2 axioms for frames
Compact and compact Hausdorff
Published online by Cambridge University Press: 05 May 2013
- Frontmatter
- Contents
- CONTRIBUTORS
- NOTES
- Obituary: Clifford Hugh Dowker
- Knot tabulations and related topics
- How general is a generalized space?
- A survey of metrization theory
- Some thoughts on lattice valued functions and relations
- General topology over a base
- K-Dowker spaces
- Graduation and dimension in locales
- A geometrical approach to degree theory and the Leray-Schauder index
- On dimension theory
- An equivariant theory of retracts
- P-embedding, LCn spaces and the homotopy extension property
- Special group automorphisms and special self-homotopy equivalences
- Rational homotopy and torus actions
- Remarks on stars and independent sets
- Compact and compact Hausdorff
- T1 - and T2 axioms for frames
Summary
INTRODUCTION In this paper, separation axioms are not assumed without explicit mention; thus ‘compact’ means ‘quasi-compact’ in the sense of Bourbaki (every open cover has a finite subcover). Non-Hausdorff compact spaces arise, for example, in algebraic geometry (via the Zariski topology). In the summer of 1980, S. Eilenberg raised (orally) a question equivalent to the following: Is every compact space a quotient of some compact Hausdorff space? An affirmative answer, he said, would have interesting consequences. Unfortunately the answer is negative, as C.H. Dowker soon showed with the elegant example (hitherto unpublished) that follows. The present paper discusses various relations (some known, some new) between ‘compact’ and ‘compact Hausdorff’, suggested by Eilenberg's question and Dowker's answer to it.
EXAMPLE (Dowker) There exists a countable compact T1 space D. satisfying the second axiom of countability, that is not a quotient of any compact Hausdorff space.
The space D consists of points a, b, cij (where i,j ε N = {1,2,3, …}), all distinct, topologized so that each cij is isolated, a neighbourhood base at a consists of the sets Un = {cij: j≥ n} ⊂ {a}, nεN, and a neighbourhood base at b consists of the sets Vn = { cij: i ≥ n} ⊂ {b}, n ε N. Clearly this produces a compact T1 topology; and D, being countable and first-countable, is also second-countable.
- Type
- Chapter
- Information
- Aspects of TopologyIn Memory of Hugh Dowker 1912–1982, pp. 315 - 324Publisher: Cambridge University PressPrint publication year: 1985
- 1
- Cited by