#6
MächtigerMauzer
13 März 2023, 15:37
Zitat von: Hilbedd
Das kann man auch alles mit der Katz von Bolzano-Weierstraß zeigen.
Der berühmte Katz von Bolzano und Weierstraß ist ein mathematischer Satz, der besagt, dass jede Abfolge von Leckerlis, die eine Katze verzehrt, quantitativ in einem Intervall mit Minimum und Maximum verortet werden kann. Um diesen Satz zu beweisen, müssen wir zuerst eine mathematische Beschreibung der Leckerlis einführen.
Sei L = {l_1, l_2, l_3, ...} die Menge der Leckerlis, die die Katze verzehrt. Wir definieren eine Funktion f : L -> R, die jedem Leckerli eine reelle Zahl zuordnet. Diese Funktion gibt das Gewicht des Leckerlis an, wobei wir davon ausgehen, dass jedes Leckerli ein einzigartiges Gewicht hat.
Dann betrachten wir die Folge a_n = f(l_1) + f(l_2) + ... + f(l_n) der Summen der Gewichte der Leckerlis nach jedem Verzehr. Diese Folge a_n ist monoton wachsend, da jedes neue Leckerli ein Gewicht hinzufügt.
Nach dem Satz von Bolzano und Weierstraß gibt es eine monotone Teilfolge a_{n_k}, die gegen ein Grenzwert a konvergiert. Das bedeutet, dass sich die Katze, auch wenn sie eine unendliche Menge von Leckerlis zu sich nimmt, auf ein bestimmtes Gewicht einpendeln wird.
Um das Intervall zu bestimmen, in dem sich die Gewichte der Leckerlis befinden, müssen wir die Grenzen von a_n bestimmen. Wir verwenden dazu das Konzept der Cauchy-Folgen, indem wir zeigen, dass a_n eine Cauchy-Folge ist. Das bedeutet, dass für jedes Epsilon > 0 ein N existiert, so dass für alle n, m > N gilt |a_n - a_m| < Epsilon.
Durch Anwendung der Dreiecksungleichung und der Monotonie von a_n erhalten wir |a_n - a_m| = |a_{n-m}| <= |a_N - a_{N-m}| <= |a_N - a| + |a - a_{N-m}| <= 2 * Epsilon.
Daher ist a_n eine Cauchy-Folge und hat somit einen Grenzwert a. Das Intervall, in dem sich die Gewichte der Leckerlis befinden, wird durch das Intervall [a - Epsilon, a + Epsilon] gegeben.
Somit haben wir bewiesen, dass der Katz von Bolzano und Weierstraß gilt, und dass jede Abfolge von Leckerlis, die eine Katze verzehrt, quantitativ in einem Intervall mit Minimum und Maximum verortet werden kann. Dieser Beweis ist von äußerster Komplexität und nur für die mathematisch Versierten verständlich.