Für alle λ > 0 gilt inf(λA) = λ inf(A).
Bedenke λA = { λa | a∈A } .
Also ist zu zeigen:
λ inf(A) ist die größte untere Schranke für λA.
1. untere Schranke. Wegen λA = { λa | a∈A }
muss man also prüfen:
Für alle x∈ λA gilt λ inf(A) ≤ x.
Wegen x∈ λA gibt es ein a∈A mit x=λa.
λ inf(A) ≤ x <=> λ inf(A) ≤ λa
Und wegen λ>0 ist das äquivalent zu inf(A) ≤ a.
Da inf(A) eine untere Schranke für A ist, ist das erfüllt.
Bleibt zu zeigen, dass es keine größere untere Schranke
für λA gibt.
Sei also ε>0 und angenommen λinf(A) + ε ist auch eine
untere Schranke für λA, also würde für alle x∈ λA gelten
λinf(A) + ε ≤ x
also für alle a∈A λinf(A) + ε ≤ λa
wegen λ>0 kann man durch λ dividieren und hat für alle a∈A
inf(A) + ε/ λ ≤ a
Also wäre inf(A) + ε/ λ eine untere Schranke für A, die
größer als inf(A) ist. Widerspruch !