Realisierung und Auswahlaxiom
An example of a non-zero non-atomic translation-invariant Borel measure on the Banach space is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition "-almost every element of has a property P" implies that “almost every” element of (in the sense of [4]) has the property P. It is also shown that the converse is not valid.
In ZF, i.e., the Zermelo-Fraenkel set theory minus the Axiom of Choice AC, we investigate the relationship between the Tychonoff product , where 2 is 2 = 0,1 with the discrete topology, and the Stone space S(X) of the Boolean algebra of all subsets of X, where X = ω,ℝ. We also study the possible placement of well-known topological statements which concern the cited spaces in the hierarchy of weak choice principles.