Endomorphismus

Endomorphismus

In der universellen Algebra ist ein Endomorphismus (von griechisch ἔνδον endo innen und griechisch μορφή morph Gestalt, Form) ein Homomorphismus f: A \to A einer mathematischen Struktur A in sich selbst. Ist f zusätzlich ein Isomorphismus, dann wird f 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 A wird mit End(A) bezeichnet und bildet stets ein Monoid, in additiven Kategorien sogar einen (unitären) Ring.

Inhaltsverzeichnis

Definition

Algebraische Strukturen

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

\phi\left(f_i(a_1,\ldots,a_{\sigma_i})\right) = f_i(\phi(a_1),\ldots,\phi(a_{\sigma_i}))

für alle a_1, \ldots , a_{\sigma_i} \in A.

Kategorientheorie

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

Für algebraische 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 f \colon V \to V. Hier wird mit V ein K-Vektorraum bezeichnet und eine lineare Abbildung meinte eine Abbildung die

f\left(ax + y\right) = af\left(x\right) + f\left(y\right)

für alle a \in K und alle x, y \in V erfüllt. Zusammen mit der Komposition als Multiplikation bildet die Menge aller Endomorphismen einen Ring, welchen man den Endomorphismenring nennt. 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 \textstyle \frac{\mathrm{d}}{\mathrm{d} x} ist auf dem Vektorraum der Polynome R[x]3 maximal dritten Grades mit reellen Koeffizienten ein Endomorphismus. Als Basis von V wählt man die monomiale Basis \textstyle \left\{1, x, x^2, x^3\right\}. Diese kann man isomorph auf die kanonische Basis des K4 abbilden, durch \Phi\left(x^i\right) = (0,\ldots, 1 , \ldots 0)^t \in K^4. Die 1 steht dabei an der i-ten Stelle des 4-Tupels. Also kann man jedes Polynom aus R[x]3 als 4-Tupel darstellen, so ist zum Beispiel  \Phi\left(4x^3 + 2x + 5\right) = (4,0,2,5)^t. Nun kann man Φ mit \textstyle \frac{\mathrm{d}}{\mathrm{d} x} verketten und erhält für das Differential eine Matrixschreibweise:

\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} .

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

Gruppen

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

Siehe auch

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Endomorphismus — endomorfizmas statusas T sritis fizika atitikmenys: angl. endomorphism vok. Endomorphismus, n rus. эндоморфизм, m pranc. endomorphisme, m …   Fizikos terminų žodynas

  • Endomorphismus — Endomorphịsmus   der, ,. ..men, ein Homomorphismus einer algebraischen Struktur (z. B. Gruppe, Ring) in sich. Die Endomorphismen eines Ringes bilden einen Ring (Endomorphismenring), wenn man als Multiplikation die Hintereinanderausführung von… …   Universal-Lexikon

  • Endomorphismus — En|do|mor|phịs|mus 〈m.; Gen.: , Pl.: men; Math.〉 Homomorphismus einer Menge in sich selbst …   Lexikalische Deutsches Wörterbuch

  • Endomorphismus — En|do|mor|phis|mus der; , ...men <zu ↑...ismus> Abbildung einer algebraischen Struktur in sich, Sonderform des ↑Homomorphismus (Math.) …   Das große Fremdwörterbuch

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”