Diagonal conditions in ordered spaces

Volume 153 / 1997

Harold R. Bennett, David J. Lutzer Fundamenta Mathematicae 153 (1997), 99-123 DOI: 10.4064/fm-153-2-99-123


For a space X and a regular uncountable cardinal κ ≤ |X| we say that κ ∈ D(X) if for each $T ⊂ {X^2} - Δ(X)$ with |T| = κ, there is an open neighborhood W of Δ(X) such that |T - W| = κ. If $ω_1 ∈ D(X)$ then we say that X has a small diagonal, and if every regular uncountable κ ≤ |X| belongs to D(X) then we say that X has an H-diagonal. In this paper we investigate the interplay between D(X) and topological properties of X in the category of generalized ordered spaces. We obtain cardinal invariant theorems and metrization theorems for such spaces, proving, for example, that a Lindelöf linearly ordered space with a small diagonal is metrizable. We give examples showing that our results are the sharpest possible, e.g., that there is a first countable, perfect, paracompact Čech-complete linearly ordered space with an H-diagonal that is not metrizable. Our example shows that a recent CH-result of Juhász and Szentmiklóssy on metrizability of compact Hausdorff spaces with small diagonals cannot be generalized beyond the class of locally compact spaces. We present examples showing the interplay of the above diagonal conditions with set theory in a natural extension of the Michael line construction.


  • Harold R. Bennett
  • David J. Lutzer

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image