Show that f is measurable Let $U$ be a open Set of $\mathbb{R} \times [0,\infty]$ and let f be defined as
$$f: \mathbb{R}\mapsto [0,\infty], \quad f(x) := \max\{0,\sup\{y| (x,y) \in U\}\} $$
How can I show that $f$ is measurable?

Define $g:\mathbb{R}\rightarrow\left[0,\infty\right]$ by $x\mapsto\sup\left\{ y\mid\left(x,y\right)\in U\right\} $ and let $c\in\mathbb R$ be a constant.
If $x\in\left\{ g>c\right\} $ then set $U$ contains an element $\left(x,y\right)$
with $y>c$. 
Find some $\epsilon>0$ s.t. $y-\epsilon>c$ and $\left(x-\epsilon,x+\epsilon\right)\times\left(y-\epsilon,y+\epsilon\right)$
is a subset of $U$. 
This is possible because $U$ is open and leads
to: $\left(x-\epsilon,x+\epsilon\right)\subset\left\{ g>c\right\} $.
Proved is now that set $\left\{ g>c\right\} $ is open, hence Borel-measurable.
This is true for any $c\in\mathbb{R}$ allowing the conclusion that
$g$ is Borel-measurable. 
Then also $f$ prescribed by $x\mapsto\max\left\{ 0,g\left(x\right)\right\} $
is Borel-measurable.
