Supongamos que $D$ es un subconjunto acotado no vacío de los reales. Sea $f:D \to \mathbb R$ y $g:D \to \mathbb R$ . Definir $(f+g)(x)=f(x)+g(x)$ . Prueba $\sup(f+g)(D) \le \sup f(D) + \sup g(D)$ (demuestre también que $\sup (f+g)$ existe).
Entiendo por qué es así, pero no cómo probarlo. El lado izquierdo es bastante $\sup (f(x)+g(x))$ y el lado derecho es $\sup (f(x) + g(y))$ para $x,\,y \in D$ . Básicamente $f+g$ tiene que utilizar la misma variable y $f(D)+g(D)$ utilizar otros diferentes. Pero no sé cómo hacer para probar esto.
La segunda parte de la pregunta consiste en encontrar un ejemplo concreto en el que se cumpla la desigualdad estricta.
Dejemos que $D=\{a,b\}$ y $f: a \to 1,\, b\to 0, \,g: a \to 0,\, b\to 1$ . $\sup f(D) = 1,\, \sup g(D) = 1,\, \sup f(D) + \sup g(D) = 2.$ $\sup (f+g)(D) = 1$ (si elegimos un, $f+g = 1+0,\, b,\, f+g=0+1$ ).