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.