Meaningful formalization of a continuum of Bernoulli random variables [closed]

Question

I was wondering if there is a meaningful formalization for a continuum of Bernoulli random variables. Informally speaking, consider the interval $[0,1]$, and let's say that for every $x \in [0,1]$, you color $x$ blue with probability $p$ and red with probability $1-p$, independently of all other points in the interval. Let $S$ be the set of blue points. My question is: is there a formal way to describe $S$? Thank you.

Answer 1

There exists a probability space $(\Omega,\mathcal{A},P)$ sucht that:

1. For each $x\in[0,1]$ there is a random variable $B_x:\Omega\rightarrow\{0,1\}$ with $P(B_x=1)=p$.

2. The collection $\{B_x,x\in[0,1]\}$ is independant.

The construction is standard: For $x\in[0,1]$ let $$(\Omega_x,\mathcal{A}_x,P_x):=(\{0,1\},\mathcal{P}(\{0,1\}),\text{Bernoulli}(p))$$ be the probability space modelling the toss of a $p$-coin. Then you define $$\Omega:=\prod_{x\in[0,1]}\Omega_x,~~\mathcal{A}:=\bigotimes_{x\in[0,1]}\mathcal{A}_x,$$ where $\bigotimes$ means taking the product sigma field. You can then show that the product measure $P=\bigotimes_{x\in[0,1]}P_x$ exists. The random variables $B_x$ are nothing but the projections. Your random set $S$ would be defined as $$S:=\{x\in[0,1]~:~B_x=1\}.$$ This random set behaves 'badly' (in some sense its not measurable with probability $1$). See https://terrytao.wordpress.com/2007/06/18/the-lebesgue-differentiation-theorem-and-the-szemeredi-regularity-lemma/, 5th paragraph.

Subsets $S\subseteq[0,1]$ that behave like the random set you have in mind should have properties like $\lambda([0,t]\cap S)=pt$ for each $t\in[0,1]$, where $\lambda$ is lebesgue measure. You can show that this can not be done with a measurable set $S$.