#### Vol. 15, No. 1, 1965

 Recent Issues Vol. 311: 1 Vol. 310: 1  2 Vol. 309: 1  2 Vol. 308: 1  2 Vol. 307: 1  2 Vol. 306: 1  2 Vol. 305: 1  2 Vol. 304: 1  2 Online Archive Volume: Issue:
 The Journal Subscriptions Editorial Board Officers Contacts Submission Guidelines Submission Form Policies for Authors ISSN: 1945-5844 (e-only) ISSN: 0030-8730 (print) Special Issues Author Index To Appear Other MSP Journals
Concerning Koch's theorem on the existence of arcs

### L. E. Ward

Vol. 15 (1965), No. 1, 347–355
##### Abstract

A theorem of R. J. Koch asserts that if $X$ is a compact space endowed with a partial order $\Gamma$ such that

(i) $\Gamma$ is a closed subset of $X×X$,

(ii) there exists $0\in X$ such that $\left(0,x\right)\in \Gamma$ for each $x\in X$, and

(iii) for each $x\in X$ the set $L\left(x\right)=\left\{y:y\leqq x\right\}$ 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 $\Gamma$ 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\ne x$ with $\left(y,x\right)\in \Gamma$, 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.

Primary: 54.55
##### Milestones
Received: 13 February 1964
Published: 1 March 1965
##### Authors
 L. E. Ward