Ein Morphismus eines Objekts zu sich selbst: f: X → X. Im Gegensatz zum Automorphismus muss ein Endomorphismus nicht invertierbar sein; Endomorphismen werden als algebraische Operatoren auf dem Objekt untersucht und bilden unter Komposition ein Monoid.

Prinzip

Endomorphismen kodieren interne Transformationen, die die Objektstruktur erhalten, aber nicht notwendigerweise Inverse besitzen; die Komposition liefert eine algebraische Struktur (Monoid oder Ring), die iteriertes Wirken und lineare Kombinationen, sofern zutreffend, erfasst.

Demonstration

Lineare Operatoren auf einem Vektorraum V (lineare Abbildungen V → V) sind Endomorphismen; die Menge End(V) dieser Abbildungen ist ein Ring, wenn V über einem Körper liegt, mit Addition und Komposition.

Fehlanwendung

Zu erwarten, dass ein Endomorphismus invertierbar sei, oder jeden Endomorphismus als 'struktur-erhaltend' in einem weichen Sinne zu behandeln und erforderliche Kompatibilitäten (bei angereicherten Kategorien oder zusätzlichen Nebenbedingungen) zu vernachlässigen.

Konsequenz

Endomorphismen liefern die grundlegenden algebraischen Operatoren zur Untersuchung von Dynamik, Invarianten und Zerlegungen (Eigenvektoren, invariante Unterräume); ihre algebraische Struktur unterstützt spektrale und darstellungstheoretische Analysen.

Umkehrung

Ein Automorphismus ist ein invertierbarer Endomorphismus; durch Wegfall der Invertierbarkeit erweitert sich das Verhalten um nilpotente, idempotente oder nicht-diagonalisierbare Transformationen.

Abgrenzung

Endomorphismus ist jede Selbstabbildung in der umgebenden Kategorie; ob daraus zusätzliche algebraische Strukturen (Ring, Algebra) resultieren, hängt von Anreicherungen wie additiver Struktur oder Skalarmultiplikation auf Hom-Mengen ab.

Semantische Spannung

Endomorphismus versus beliebige Selbstabbildung: In konkreten Kontexten muss man die Erhaltung der Struktur prüfen (linear, stetig, Algebra-Homomorphismus) — nicht jede Abbildung der zugrunde liegenden Menge ist ein Endomorphismus.

Synthese

Ein Endomorphismus ist eine kategoriale Selbstabbildung, die eine erlaubte interne Transformation eines Objekts erfasst; gemeinsam bilden sie algebraische Strukturen, die Iteration, Zerlegungen und operatorielle Eigenschaften des Objekts kodieren.