On separable supports of Borel measures.
We investigate some geometrical properties of squares of special Sierpiński sets. In particular, we prove that (under CH) there exists a Sierpiński set S and a function p: S → S such that the images of the graph of this function under π'(⟨x,y⟩) = x - y and π''(⟨x,y⟩) = x + y are both Lusin sets.
We give necessary and sufficient conditions for a totally ordered by extension family (Ω, Σx, μx)x ∈ X of spaces of probability to have a measure μ which is an extension of all the measures μx. As an application we study when a probability measure on Ω has an extension defined on all the subsets of Ω.