CAT « 0,1,2,3,…

Zusammenfassung July 16, 2007

Filed under: CAT,Tagebuch — abi007 @ 2:55 am

Es begann mit den Dimensionsformeln in der linearen Algebra, ich fand raus, dass sich die Formeln nicht nur mit diversen Basisergänzung beweisen lassen, sondern auch allgemeiner, eleganter mit den Ergebnissen aus der Algebra.

Die Isomorphiesätzen zum Beispiel, besonders der nullte Isosatz, also der Homomorphiesatz, dass der Quotient $G/ker f \cong im f$ ist, lässt sich anwenden in der Linearen Algebra bei der Dimensionsformel.

Der Beweis des Homomorphiesatzes kannte ich immer nur flüchtig, aber diesmal habe ich ihn ordentlich aufgeschrieben, es ging um drei Dingen:

1. die Wohldefiniertheit

2. die Homomorphismuseigenschaft

3. die Bijektivität

Dabei bereitet mir die Wohldefiniertheit am Meisten Schwierigkeiten. Der Quotient $G/ker f$ ist eine Gruppe aus Linksnebenklassen, das ist wie bei den anschaulichen Restklassenringen. Wenn also eine Nebenklasse repräsentiert wird, so braucht man einen Repräsentanten, nach Definition der Wohldefiniertheit ist die muss folgendes gelten:

$f: A\rightarrow B$ induziert eine Abbildung $g:A/\sim_1\rightarrow B/\sim_2, g([a]_1)=[f(a)]_2$ , dann ist die Abbildung g wohldefiniert, wenn die Implikation gilt:

$[x]_1=[y]_1 \Rightarrow [f(x)]_2=[f(y)]_2$

Schon hier tauchen viele Begriffe auf, bei denen ich denke, dass es eine Verallgemeinerung geben muss. So bin ich wieder auf die Kategorientheorie gelandet. Mein erster Eindruck von ihr ist, dass sie viel mit Abbildung arbeitet, aber das kann eine Täuschung sein, die unterschiedlichen Eigenschaften, die ein Morphismus haben kann, tauchten wirklich überall in der Mathematik auf, wo ich auch bin. Surjektion, Injektion, Bijektion, Mono-, Epi-, Endo-, Auto-, Isomorphismus. Neue Begriffe sind zum Beispiel Retraktion und Coretraktion, alle diese kann man wiederum mit dem Begriff “Dualität” klassifiziert werden. Ich muss mich noch an die Verwendung von Pfeilen gewöhnen, z.B. bei der Definition von Retraktion.

Morgen werde ich alle dieser Begriffe noch mal unter Lupe schauen und die Liste unten mit Definitionen und Beispielen ergänzen.

Und auch die Wohldefiniertheit muss ich noch mal mit Definitionen und Beispielen durch den Kopf gehen lassen.