Show a subset of $\mathbb{R}^2$ is a Borel set

measure-theoryprobability theoryreal-analysis

How to show the following subset is a Borel set?
$$
\{(x,y)\in \mathbb{R}^2:y=x,0\leq x \leq 1\}.
$$

In How to show this set is a Borel set?, the answer is to write the set as intersection of an open set and a closed set.

I tried to do this. The problem is how to make sure $y=x$ when writting intersections and unions of open/close sets. It seems that I need uncountable union or intersection.

Best Answer

I presume that you want to use precisely the definition from your comment.

The proof may go as follows. First show that the closed rectangles are Borel. Use the quite obvious fact that the sets of the form $(a,b]\times (c,d]$ are Borel and approximate from above. Then consider the following sequence of coverings for your set: $$A_n = \bigcup\limits_{k=0}^{n-1}[k/n,(k+1)/n)]\times[k/n,(k+1)/n].$$