Helly spaces and Radon measures on complete lines
type: Item
instance of: scholarly article
title: Helly spaces and Radon measures on complete lines
zbMATH Open document ID: 1268.03068
author: Marianne Morillon
published in: Order
publication date: 2012-11-07T00:00:00Z
review text: The author works in \textbf{ZF} (without \textbf{AC} (= axiom of choice)). Apart from proving some results in \textbf{ZF}, a few results are noted to be not provable in \textbf{ZF}. A line is a linearly ordered set (with order topology). \(I = [0, 1]\), \(\mathbb R\) = real numbers. For an ordinal \(\alpha\), \(L_\alpha = \{0, 1\}^\alpha\) with lexicographic order. A Loeb-function on a space \(X\) is a choice function on the collection of nonempty closed sets of \(X\). A compact \(X\) with Loeb-function on it is Loeb-compact. The results of the first part of the paper concern lines. For lines \(X\) and \(Z\), the generalised Helly space is the (closed) subspace \(H(X, Z)\) of the product space \(ZX\) consisting of isotonic mappings from \(X\) to \(Z\). \(H(X, L_\omega)\) is proved to be Loeb-compact. It turns out that the Helly space \(H(X, I)\) is Loeb-compact (in \textbf{ZF}). (It easily follows, when using a weaker form of \textbf{AC}). Using the result (proved here) that, for an ordinal \(\alpha\) and a line \(X\) satisfying a certain condition, which \(\mathbb R\) is shown to satisfy when \(\alpha = \omega\), if \(H(X, L_{\alpha+1})\) is compact (Loeb-compact), then \(\{0, 1\}^X\) is compact (Loeb-compact), compactness of \(H(\mathbb R, L_{\omega+1})\) is shown to be not provable in \textbf{ZF}. Some of the results of the second part are proved for a compact Hausdorff space. They apply to a line which is complete (as a poset), as it holds (in \(\mathbf{ZF}\)) that a line is compact (Loeb-compact) iff it is complete. For a compact Hausdorff space \(X\) satisfying a certain condition, the `dual ball' of the Banach space \(C(X)\) over \(\mathbb R\) is compact (Loeb-compact) in the weak\({^\ast}\) topology. It is shown that if \(X\) equals the one-point compactification of a discrete space whose underlying set is equipotent with the power set of \(\mathbb R\), then there exists a model of \textbf{ZF} where the compactness of the dual ball of \(C(X)\) is not provabl…
reviewed by: Vinod Kumar
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 06A05
Mathematics Subject Classification ID: 06F30
Mathematics Subject Classification ID: 46B50
Mathematics Subject Classification ID: 54B10
Mathematics Subject Classification ID: 54D30
zbMATH DE Number: 6102619
zbMATH Keywords: ZF
zbMATH Keywords: axiom of choice
zbMATH Keywords: compactness
zbMATH Keywords: product topology
zbMATH Keywords: Helly space
zbMATH Keywords: Hahn-Banach property
zbMATH Keywords: complete lines
zbMATH Keywords: Stieltjes-Radon measures
MaRDI profile type: Publication
full work available at URL: s11083-011-9212-6
OpenAlex ID: W2078431836
cites work: Q3748810
cites work: Q4104968
cites work: The Hahn-Banach Property and the Axiom of Choice
cites work: Q3994935
cites work: The Baire Category Property and Some Notions of Compactness
cites work: Topology in Lattices
cites work: L'axiome de normalité pour les espaces totalement ordonnés
cites work: Q4210469
cites work: Q3852172
cites work: The axiom of choice
cites work: The Tychonoff product theorem implies the axiom of choice
cites work: Tychonoff Products of Two-Element Sets and Some Weakenings of the Boolean Prime Ideal Theorem
cites work: On Loeb and weakly Loeb Hausdorff spaces
cites work: Auswahlaxiom in der Algebra
cites work: A New Proof of the Tychonoff Theorem
cites work: Notions of compactness for special subsets of ℝI and some weak forms of the axiom of choice
cites work: UG-Differentiability Entails Hahn-Banach
cites work: Q4167271
cites work: Horrors of Topology Without AC: A Nonnormal Orderable Space
DOI: 10.1007/S11083-011-9212-6
description: scientific article; zbMATH DE number 6102619