Concerning koch′s theorem on the existence of arcs

Abstract

A theorem of R. J. Koch asserts that if X is a compact space endowed with a partial order Γ such that (i) Γ is a closed subset of X × X, (ii) there exists O ∈ X such that (0, x)∈Γ for each x∈X, and (iii) for each x∈X the set L(x) = [y:y ≦ x] is connected, then each point of X lies in a connected chain containing 0. In particular, X is arcwise connected. This is a corollary of the theorem: if X is a compact space and Γ is a partial order satisfying (i), and if W is an open subset of X such that each neighborhood of each point x of W contains a point y ≠ x with (y, x) ∈ Γ, then each point of W is the supremum of a connected chain which meets X − W. A new proof of these results is presented. The first of these theorems is generalized in several ways. The compactness is relaxed to local compactness and the assumption that each closed chain has a zero. Moreover, the existence of a zero need not be assumed. If the set E of minimal elements is closed, then E is joined by connected chains to all other points of X. If the set function L is continuous, then E is necessarily closed. © 1965 by Pacific Journal of Mathematics.