Aufgabe:
Zu einer Teilmenge M von R definieren wir die Menge aller Maxima als
Max:=({m∈M :[∀x∈M :x≤m]})M∈P(R)
Zeigen Sie:
(a)Ist a: N→R, dann gilt [∀n∈N0 :[∃m∈Max(M(n))]], wobei M definiert ist als
M:= ({a(i)|i ∈ {1..n + 1}})n∈N0.
(b) Ist E ⊂ R endlich und nichtleer, dann gilt [∃m ∈ Max(E)].
