Skip to main content
2 of 2
added 6 characters in body
Rami
  • 2.6k
  • 18
  • 29

I think that the answer is positive:

It is enough to show that the set $( x | g(x) < c )$ is Borel. as you saed it is an image under $Proj_x$ of an open set $U$. divide $[0,1]^2$ to a union of its interior $(0,1)^2$ and the boundary. Correspondingly divide $U$ into $U_0:= (0,1)^2 \cap U$ and its complement $Z$. it is enough to show the the image of each of them under $Proj_X$ is Borel. Which is evident.

Rami
  • 2.6k
  • 18
  • 29