×

Countably tight dual ball with a nonseparable measure. arXiv:2312.02750

Preprint, arXiv:2312.02750 [math.FA] (2023).
Summary: We construct a compact Hausdorff space \(K\) such that the space \(P(K)\) of Radon probabiblity measures on \(K\) considered with the weak\(^*\) topology (induced from the space of continuous functions \(C(K)\)) is countably tight which is a generalization of sequentiality (i.e., if a measure \(\mu\) is in the closure of a set \(M\), there is a countable \(M'\subseteq M\) such that \(\mu\) is in the closure of \(M'\)) but \(K\) carries a Radon probability measure which has uncountable Maharam type (i.e., \(L_1(\mu)\) is nonseparable). The construction uses (necessarily) an additional set-theoretic assumption (the \(\diamondsuit\) principle) as it was already known, by a result of Fremlin, that it is consistent that such spaces do not exist. This should be compared with the result of Plebanek and Sobota who showed that countable tightness of \(P(K\times K)\) implies that all Radon measures on \(K\) have countable type. So, our example shows that the tightness of \(P(K\times K)\) and of \(P(K)\times P(K)\) can be different as well as \(P(K)\) may have Corson property (C) while \(P(K\times K)\) fails to have it answering a question of Pol. Our construction is also a relevant example in the general context of injective tensor products of Banach spaces complementing recent results of Avilés, Martínez-Cervantes, Rodríguez and Rueda Zoca.

MSC:

46B25 Classical Banach spaces in the general theory
03E35 Consistency and independence results
28A33 Spaces of measures, convergence of measures
28A35 Measures and integrals in product spaces
28A60 Measures on Boolean rings, measure algebras
46B26 Nonseparable Banach spaces
54D80 Special constructions of topological spaces (spaces of ultrafilters, etc.)
arXiv data are taken from the arXiv OAI-PMH API. If you found a mistake, please report it directly to arXiv.