(a) Für eine obere Schranke M von A gilt
M = supA ⇐⇒ ∀ ε > 0 : [M − ε, M] ∩ A ≠ ∅
Für "==>" M = supA
==> M ist die kleinste obere Schranke von A.
angenommen es gäbe ein ε > 0 mit [M − ε, M] ∩ A = ∅
dann wäre z.B. M − ε/2 auch eine obere Schranke von A;
denn wäre etwa x∈A mit x >M − ε/2 dann wäre
entweder x ∈ [M − ε, M] ∩ A im Widerspruch zu [M − ε, M] ∩ A = ∅
oder x>M im Widerspruch zu M = supA .
<== Sei M eine obere Schranke von A
mit ∀ ε > 0 : [M − ε, M] ∩ A ≠ ∅
==> M ist die kleinste obere Schranke; denn
wäre m < M auch eine obere Schranke,
dann gibt es wegen m<M ein eps mit
m < M - eps < M und da
in [M-eps ; M] mind. ein Element von x ∈A liegt,
gilt auch m < x im Widerspruch zu
m is obere Schranke von A.