๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The unique midpoint property of a subspace of the real line

โœ Scribed by Haruto Ohta; Jin Ono


Book ID
104295609
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
113 KB
Volume
104
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.

โœฆ Synopsis


A metric space X is said to have the unique midpoint property (UMP) if there is a metric d on X which induces the topology of X and such that for each pair of distinct points x, y โˆˆ X, there is one and only one point p โˆˆ X with d(x, p) = d(y, p). We consider the problem: Which subspaces of the real line R have the UMP. We prove theorems which imply the following:

(1) Let I and J be separated intervals. Then, the sum I โˆช J has the UMP if and only if at least one of I and J is not compact.

(2) The sum of an odd number of disjoint closed intervals has the UMP.

(3) The spaces [0, 1] โˆช Z and [0, 1] โˆช Q do not have the UMP. (4) Let X be the sum of at most countably many subspaces X n of R. If each X n is either an interval or totally disconnected and if at least one of X n is a noncompact interval, then X has the UMP.


๐Ÿ“œ SIMILAR VOLUMES


Representing set-inclusion by embeddabil
โœ A.E. McCluskey; T.B.M. McMaster; W.S. Watson ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 54 KB

We establish that the powerset P(R) of the real line R, ordered by set-inclusion, has the same ordertype as a certain subset of P(R) ordered by homeomorphic embeddability. This is a contribution to the ongoing study of the possible ordertypes of subfamilies of P(R) under embeddability, pioneered by

Subspaces of the Sorgenfrey Line
โœ Dennis K. Burke; J.Tatch Moore ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 814 KB

We study three problems which involve the nature of subspaces of the Sorgenfrey Line 8. It is shown that no integer power of an uncountable subspace of 9 can be embedded in a smaller power of 9. We review the known results about the existence of uncountable X & 9 where X2 is Lindel6f. These results