Zu bearbeitende Seiten

Bearbeiten

https://en.wikibooks.org/wiki/Security_IT/Authenticity

https://en.wikibooks.org/wiki/Mathematical_Methods_of_Physics/Reisz_representation_theorem

Entwurf zum Kapitel Wikibook:Mathe für Nicht-Freaks / Epsilon-Delta-Definition der Stetigkeit

Bearbeiten

Warum ist die anschauliche "Wackeldefinition" äquivalent zur Epsilon-Delta-Definition?

Bearbeiten

Wir nehmen die Intuition des letzten Absatzes. Stell Dir vor, wir haben zu einem   ein   gefunden, für das die Implikation gilt. Dann nehmen wir mal ein richtig großes  . Weiterhin setzen wir  . Dann gilt die Implikation auch für   und  . Also muss man sich intuitiv "nur" um sehr kleine Epsilon-Werte sorgen.

Anschaulich betrachtet: Wenn man beliebig zart an einer x-Stelle wackeln kann, wackelt auch der y-Wert beliebig wenig. Anders formuliert: Zu jedem noch so kleinen Funktionswert-Wackler findet man einen Eingabewackler, sodass der Funktionswertwackler rauskommt.

Anschaulich betrachtet: Wenn man, um höchstens ein bisschen am Funktionswert wackelt und dann weiß, dass auch der  -Wert auch nur ein bisschen wackelt, ist natürlich klar, dass auch, wenn man maximal ein bisschen mehr am Funktionswert wackelt, das herausgefundene Wackeln des Argumentwertes die Stetigkeit erfüllt.

Beweis der Eindeutigkeit der Universellen Eigenschaft -- Konzept

Bearbeiten

Einleitung

Bearbeiten

Seien   und   Objekte. Dann ist die allgemeine Eigenschaft: Es gibt ein geordnetes Paar   aus einem Objekt   und einem Morphismus  , sodass   jedem Morphismus   zwischen   und   einen eindeutig bestimmten induzierten Morphismus   zuordnet, sodass gilt:  .

Beweis der Eindeutigkeit -- Allgemeines Konzept

Bearbeiten

Seien   und   wie in der Einleitung,   beliebig. Grundlegend geht man jetzt von einem zweiten geordneten Paar   aus, das dieselbe universelle Eigenschaft hat. Dann zeigt das folgende kommutative Diagramm die Eindeutigkeit: Dabei wird zum Beweis der Gleichheit die Isomorphie von tau gezeigt.

U <=> (tau, tau') U'

´` ´`

|| phi || phischlange

B


Bewiesen wird (tau' circ tau) circ phi = phi, also die Rechtskürzbarkeit von tau' circ tau, das damit gleich id_U ist. Allgemein wird die Isomorphie über die Rechtskürzbarkeit von tau' circ tau und tau circ tau' gezeigt. Dazu werden als Abbildungen nur die generierten genommen.

Ich kenne mich leider zu wenig mit Kategorientheorie aus, um den vollen Beweis mit korrekter Verwendung der Begriffe führen zu können.