Voraussetzung ist natürlich, dass A und B nach unten beschränkt sind.
Da inf(M) nach Definition die größte untere Schranke von M ist, gilt mit a∈A und b∈B
für jedes ε ∈ ℝ+: a > inf(A) - ε und b > inf(B) - ε
→ a + b > inf(A) + inf(B) - 2ε
Da ε und damit auch 2∈ beliebig klein sein kann, ist inf(A) + inf(B) die größte untere Schranke von A+B
→ inf(A+B) = inf(A) + inf(B)
Gruß Wolfgang