Moin,
Um zu zeigen, dass a in (ℝ*,d*) genau dann gegen ∞ konvergiert, wenn a in (ℝ,d) bestimmt divergent nach oben ist, müssen wir zwei Aussagen beweisen:
Wenn a in (ℝ,d) bestimmt divergent nach oben ist, dann konvergiert a in (ℝ*,d*) gegen ∞.
Wenn a in (ℝ*,d*) gegen ∞ konvergiert, dann ist a in (ℝ,d) bestimmt divergent nach oben.
Um die erste Aussage zu beweisen, nehmen wir an, dass a in (ℝ,d) bestimmt divergent nach oben ist. Das bedeutet, dass für jedes x in ℝ es eine Nummer N gibt, sodass a_n > x für alle n > N.
Da die Folge a in (ℝ*,d*) gegen ∞ konvergiert, müssen für jedes y in ℝ* es eine Nummer M gibt, sodass d*(a_m, ∞) < y für alle m > M. Wir wissen, dass d*(a_m, ∞) = d(f(a_m), f(∞)) = d(a_m, ∞) = ∞, sodass d*(a_m, ∞) < y für alle m > M das gleiche bedeutet wie a_m > y für alle m > M.
Da y beliebig gewählt werden kann, müssen wir auch für y = x eine Nummer M finden können, sodass a_m > x für alle m > M. Dies ist genau die Bedingung, die erfüllt sein muss, damit a in (ℝ*,d*) gegen ∞ konvergiert.
Um die zweite Aussage zu beweisen, nehmen wir an, dass a in (ℝ*,d*) gegen ∞ konvergiert. Das bedeutet, dass für jedes y in ℝ* es eine Nummer M gibt, sodass d*(a_m, ∞) < y für alle m > M.
Wir wissen, dass d*(a_m, ∞) = d(f(a_m), f(∞)) = d(a_m, ∞) = ∞, sodass d*(a_m, ∞) < y für alle m > M das gleiche bedeutet wie a_m > y für alle m > M.
Da y beliebig gewählt werden kann, müssen wir auch für y = x eine Nummer M finden können, sodass a_m > x für alle m > M. Dies ist genau die Bedingung, die erfüllt sein muss, damit a in (ℝ,d) bestimmt divergent nach oben ist.
Da wir beide Aussagen bewiesen haben, können wir schlussfolgern, dass a in (ℝ*,d*) genau dann gegen ∞ konvergiert, wenn a in (ℝ,d) bestimmt divergent nach oben ist.