Is union of intersections of horizontal lines and a closed set in the plane a borel set?

41 Views Asked by At

Let $F$ be a closed set in the plane $\mathbb{R}^2$, define $F_y=\{x\in\mathbb{R}|(x,y)\in F\}$, is $\bigcup_{y\in \mathbb{R}}F_y$ a borel set in $\mathbb{R}$? Intuitively, it is just like compressing a closed set in the plane into a set in the real line. I become interested in this problem for this is the last step that I need to finish an exercise, but I struggle to figure out whether it is true or not. Any help will be appreciated.

1

There are 1 best solutions below

0
On BEST ANSWER

It is actually an $F_{\sigma}$ set (i.e. a countbale union of closed sets). In fact, $\{x: x \in F_y \,\,\text {for some } y \in [-N,N]\}$ is a closed set for each $N$.

Indeed, if $(x_n,y_n) \in F$ with $|y_n|\leq N$ and $x_n \to x$ then there is a subsequence $y_{n_i}$ converging to some $y \in [-N,N]$ and $(x,y) \in F$.