2
$\begingroup$

We say a function f is Borel measurable if for all $\alpha \in \mathbb{R}$ the set $\{x \in \mathbb{R} : f(x) > \alpha \}$ is Borel.

If f, g are Borel measurable, then f+g is Borel measurable.

First since f and g are Borel measurable then $\{x \in \mathbb{R}: f(x) > \alpha \}$ and $\{x \in \mathbb{R}: g(x) > \alpha \}$.

So f+g being Borel measurable, then I need to prove that $\{x \in \mathbb{R}: f(x)+g(x) > \alpha \}$ is Borel.

Isn't the last set just a union of $\{x \in \mathbb{R}: f(x) > \alpha \}$ and $\{x \in \mathbb{R}: g(x) > \alpha \}$ which are individually Borel measurable (I've proven this).

  • 1
    $2+2 > 3$ but $2 < 3$2011-09-21

2 Answers 2

1

HINT: Write $\{x \in \mathbb{R}: f(x)+g(x) > \alpha \}$ as a countable union of sets easily seen to be Borel sets.

  • 1
    Does this follow from the fact that if we just assume that f(x) and g(x) are measurable, then: $f(x) > c - g(x)$, thus we can find a $q \in \mathbb{Q}$ such that $f(x) > q > c - g(x)$. This is just $\{f(x) > q\} \cap \{q > c-g(x)\}$. Take the union through all $q \in \mathbb{Q}$.2011-09-21
  • 1
    Furthermore it's the countable union of Borel sets. I believe each of those is already a Borel set.2011-09-21
2

You might try to show first that $(f,g)$ is a Borel function from $\mathbb R$ to $\mathbb R^2$ and then that, for every $\alpha$, $\{(u,v)\in\mathbb R^2\mid u+v>\alpha\}$ is a Borel subset of $\mathbb R^2$.

  • 0
    Probably not helpful for EMKA.2011-09-21
  • 0
    @GEdgar: What is the use of this comment of yours?2011-09-21