I'm working on the following problem. I have found some definitions, that I think I can use. But I'm unsure how to implement them logically, so hope someone can help me proceed.
Problem:
Let f : R → R be a function such that f(x) ≤ f(y) for all x ≤ y, and let g : R → R be a function such that g(x) ≥ g(y) for all x ≤ y. Show that the function f + g is Borel measurable.
My attempt:
Using the proposition (X, A) is a measurable space, f , g ∈ M. Then f ± g are also measurable
Using the concept of monotiniticy since we have:
f(x) ≤ f(y) for all x ≤ y and g(x) ≥ g(y) for all x ≤ y