Endomorphismus - LinkFang.de





Endomorphismus


In der universellen Algebra ist ein Endomorphismus (von griechisch ἔνδον endo innen und griechisch μορφή morphē Gestalt, Form) ein Homomorphismus [math]f\colon A \to A[/math] einer mathematischen Struktur [math]A[/math] in sich selbst. Ist [math]f[/math] zusätzlich ein Isomorphismus, dann wird [math]f[/math] auch Automorphismus genannt.

In der Kategorientheorie heißt jeder Morphismus, dessen Quelle und Ziel übereinstimmen, ein Endomorphismus des fraglichen Objektes.

Die Gesamtheit der Endomorphismen eines Objektes [math]A[/math] wird mit [math]\operatorname{End}(A)[/math] bezeichnet und bildet stets ein Monoid (das Endomorphismenmonoid oder die Endomorphismenhalbgruppe), in additiven Kategorien sogar einen (unitären) Ring.

Definition

Algebraische Strukturen

Sei [math](A,(f_i))[/math] eine algebraische Struktur, also eine Menge [math]A[/math] zusammen mit einer endlichen Anzahl an Verknüpfungen [math](f_i)[/math] mit entsprechenden Stelligkeiten [math]\sigma_i[/math]. Eine solche algebraische Struktur könnte beispielsweise ein Vektorraum [math](A, (+, \cdot))[/math], eine Gruppe [math](A, *)[/math] oder ein Ring [math](A, ( +, *))[/math] sein. Dann versteht man in der Algebra unter einem Endomorphismus [math]\phi \colon A \to A[/math] eine Abbildung der Menge [math]A[/math] auf sich selbst, die ein Homomorphismus ist, das heißt, es gilt

[math]\phi\left(f_i(a_1,\dotsc,a_{\sigma_i})\right) = f_i(\phi(a_1),\dotsc,\phi(a_{\sigma_i})) [/math]

für alle [math]a_1, \dotsc , a_{\sigma_i} \in A[/math].

Kategorientheorie

Sei [math]X[/math] ein Objekt einer Kategorie. Ein Morphismus [math]f\colon X\to X[/math], der auf einem Objekt [math]X[/math] operiert, heißt Endomorphismus.

Für Kategorien von Homomorphismen zwischen algebraischen Strukturen ist die Definition äquivalent zu der im vorherigen Abschnitt.

Spezielle Strukturen

Vektorräume

Allgemeines

In der linearen Algebra ist ein Endomorphismus beziehungsweise Vektorraumendomorphismus eine lineare Abbildung [math]f \colon V \to V[/math]. Hier wird mit [math]V[/math] ein [math]K[/math]-Vektorraum bezeichnet und eine lineare Abbildung meint eine Abbildung, die

[math]f\left(ax + y\right) = af\left(x\right) + f\left(y\right)[/math]

für alle [math]a \in K[/math] und alle [math]x, y \in V[/math] erfüllt. Zusammen mit der Komposition als Multiplikation bildet die Menge aller Endomorphismen einen Ring, welchen man den Endomorphismenring nennt. Werden die linearen Abbildungen durch Matrizen beschrieben, so erhält man mit der Matrizenmultiplikation als Multiplikation den Matrizenring, welcher isomorph zum Endomorphismenring ist.

Ist der zugrundeliegende Vektorraum ein topologischer Vektorraum und betrachtet man den Vektorraum der stetigen Endomorphismen, der im Fall unendlichdimensionaler Vektorräume im Allgemeinen ein echter Unterraum des Endomorphismenraums ist, so kann man auf diesem Vektorraum aller stetiger Endomorphismen eine Topologie induzieren, so dass die Addition und die Multiplikation des Rings stetig sind. Somit ist der Endomorphismenring ein topologischer Ring.

Beispiel

Das Differential [math]\textstyle \frac{\mathrm{d}}{\mathrm{d} x}[/math] ist auf dem Vektorraum der Polynome [math]R[x]_3[/math] maximal dritten Grades mit reellen Koeffizienten ein Endomorphismus. Als Basis von V wählt man die monomiale Basis [math]\textstyle \left\{1, x, x^2, x^3\right\}[/math]. Diese kann man isomorph auf die kanonische Basis des [math]K^4[/math] abbilden, durch [math]\Phi\left(x^i\right) = (0,\dotsc, 1 , \dotsc, 0)^t \in K^4[/math]. Die 1 steht dabei an der i-ten Stelle des 4-Tupels. Also kann man jedes Polynom aus [math]R[x]_3[/math] als 4-Tupel darstellen, so ist zum Beispiel [math] \Phi\left(4x^3 + 2x + 5\right) = (4,0,2,5)^t[/math]. Nun kann man [math]\Phi[/math] mit [math]\textstyle \frac{\mathrm{d}}{\mathrm{d} x}[/math] verketten und erhält für das Differential eine Matrixschreibweise:

[math]\Phi \circ \frac{\mathrm{d}}{\mathrm{d} x} \circ \Phi^{-1} = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 3 & 0 & 0 & 0\\ 0 & 2 & 0 & 0 \\ 0 & 0 & 1 & 0\end{pmatrix} [/math].

Wendet man diese Matrix auf obiges Beispiel [math](4,0,2,5)^t[/math] an, so erhält man [math](0,12,0,2)^t[/math], was dem Polynom [math]12x^2 + 2[/math] entspricht; das hätte man auch durch direktes Anwenden der Ableitung erhalten können.

Gruppen

Ein Endomorphismus auf einer Gruppe [math]G[/math] ist ein Gruppenhomomorphismus [math]\phi[/math] von [math]G[/math] nach [math]G[/math], das heißt für [math]\phi \colon G \to G[/math] gilt [math]\phi(gh)=\phi(g)\phi(h)[/math] für alle [math]g,h\in G[/math].

Siehe auch

Literatur


Kategorien: Algebra | Kategorientheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Endomorphismus (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.