Seien X und Y nichtleere und nach unten beschränkte Teilmengen der reellen Zahlen.
(a) X∪Y und X+Y={x+y| x∈X, y∈Y} sind nichtleer und nach unten beschränkt.
(i) Wegen X ⊆ X∪Y und X ≠∅ gilt auch X∪Y ≠∅
(ii) X ≠∅ und Y ≠∅ ==> ∃ a∈X ∃ b∈Y
==> a+b ∈ X+Y ==> X+Y ≠∅
(iii) X,Y nach unten beschränkt
Dann gibt es untere Schranke a für X und b für Y, also
==> ∃ a∈ℝ ∀x∈X a≤ x und
∃ b∈ℝ ∀y∈Y b≤ y
==> a+b ≤ x+y
Sei nun z∈ X+Y ==> ∃ x∈X ∃ y∈Y z = x+y also a+b ≤ z
Also ist a+b eine untere Schranke für X+Y, also X+Y nach
unten beschränkt.
(iv) wie bei (iii) zeigst du:
==> ∃ a∈ℝ ∀x∈X a≤ x und ∃ b∈ℝ ∀y∈Y b≤ y
Sei nun m das Minimum von a und b. Also gilt
sowohl für alle x∈X als auch für alle y∈Y m≤ x und m≤y .
Also ist m eine untere Schranke für X∪Y .