Caractérisation des mesures qui intègrent toutes les fonctions réelles mesurables
We show that the cardinality of a compact convex set W in a topological linear space X satisfies the condition that . We also establish some relations between the cardinality of W and that of extrW provided X is locally convex. Moreover, we deal with the cardinality of the convex set E(μ) of all quasi-measure extensions of a quasi-measure μ, defined on an algebra of sets, to a larger algebra of sets, and relate it to the cardinality of extrE(μ).
We prove that if K is a compact space and the space P(K × K) of regular probability measures on K × K has countable tightness in its weak* topology, then L₁(μ) is separable for every μ ∈ P(K). It has been known that such a result is a consequence of Martin's axiom MA(ω₁). Our theorem has several consequences; in particular, it generalizes a theorem due to Bourgain and Todorčević on measures on Rosenthal compacta.