In diesem kurzen Artikel werden wir formell beweisen, dass die Funktion, die wir in Die Unendlichkeit und noch viel weiter - Teil 2 gefunden haben, eine bijektive Funktion ist. Das Folgende ist nur gedacht für Leser, die gerne einen formellen Beweis sehen würden. In dem ursprünglichen Artikel haben wir bereits informell bewiesen, dass die Funktion bijektiv ist.
Die gefundene Funktion war definiert wie folgt.
Wir erinnern uns, dass
Die mathematische definition einer injektiven Funktion:
Man ließt "Für alle
Dies können wir leicht zeigen, indem wir uns von der einen zur anderen Seite durcharbeiten.
Die mathematische definition einer surjektiven Funktion.
Man ließt "Für alle y aus B existiert ein x aus A, sodass f(x) = y."
Dies können wir nicht direkt zeigen, also versuchen wir die Funktion zu invertieren und zeigen, dass die Invertierung korrekt ist.
Dies führt zu der inversen Funktion
Hier können wir wieder einfach von der einen zur anderen Seite arbeiten.
Q.E.D.
Wir haben soeben bewiesen, dass unsere Funktion sowohl injektiv als auch surjektiv und damit bijektiv ist.
PS: Die Abkürzung "Q.E.D." steht für den lateinischen Ausdruck "quod erat demonstrandum", welcher übersetzt "was zu beweisen war" bedeutet.Source Diese Abkürzung ist oft unter mathematischen Beweisen zu finden. Es ist quasi die mathematische Version von "Das Ende".
