Hi,
dass \( f_-, g_- \in T[a,b]\) gilt, kannst du mit eurer Definition und Charakterisierung von Treppenfunktionen bestimmt schnell zeigen.
Der andere Teil verkümmert dann zu einem Einzeiler, da es sich darauf reduziert, dass
$$ g_-(x) - f_-(x) \leq g(x) - f(x) \quad \forall x \in [a,b] $$
zu zeigen ist.
Gruß