Treuer Funktor

Treue Funktoren u​nd die h​ier ebenfalls z​u besprechenden vollen u​nd volltreuen Funktoren, d​ie eng d​amit zusammenhängen, s​ind in d​er mathematischen Theorie d​er Kategorientheorie betrachtete Funktoren m​it speziellen Eigenschaften.

Definitionen

Sei ein Funktor zwischen zwei Kategorien und . Ein solcher Funktor ordnet definitionsgemäß jedem Objekt und jedem Morphismus aus , wobei und Objekte aus seien, ein Objekt beziehungsweise einen Morphismus zu, wobei gewisse Verträglichkeitsbedingungen erfüllt sind.

Zu jedem Paar von Objekten aus hat man (im Falle von lokal kleinen Kategorien) eine Abbildung

Man nennt den Funktor treu (bzw. voll bzw. volltreu), wenn die Abbildungen für jedes Paar von Objekten aus injektiv (bzw. surjektiv bzw. bijektiv) sind. An Stelle von volltreu findet man auch die Bezeichnung völlig treu.

Einbettungen

Ist ein Funktor, so beziehen sich die Begriffe treu, voll und volltreu nur auf Morphismenmengen zwischen je zwei Objekten, sie beziehen sich nicht auf die Klassen aller Objekte bzw. aller Morphismen, insbesondere sagt die Treue des Funktors nicht notwendigerweise aus, dass eine der Abbildungen

injektiv ist. Um den Zusammenhang dieser Begriffe und die Verwendung obiger Definitionen zu beleuchten, wird hier die folgende einfache Aussage bewiesen:

  • Wenn der Funktor treu ist, so ist genau dann injektiv, wenn injektiv ist.

Ist injektiv und sind mit , so folgt , also nach Voraussetzung und damit . Daher ist injektiv.

Sei nun umgekehrt injektiv, und seien mit . Es ist zu zeigen. Zu den Morphismen und gehören Objekte aus der Kategorie mit und . Aus folgt und . Weil nach Voraussetzung injektiv ist, erhalten wir und . Daher ist und die Treue von liefert, wie gewünscht, .

Man nennt einen Funktor eine Einbettung, wenn injektiv ist. Für einen treuen Funktor ist die Einbettungseigenschaft nach Obigem äquivalent zur Injektivität von .

Ist der Funktor eine Einbettung, so bilden die Objekte mit den Morphismen , eine Unterkategorie von , die mit bezeichnet wird. Da das für beliebige Funktoren, die keine Einbettungen sind, im Allgemeinen nicht der Fall ist, spielen Einbettungen eine wichtige Rolle in der Kategorientheorie.

Volltreue Funktoren

Ist der Funktor eine Einbettung, und ist ein voller Funktor, so ist eine volle Unterkategorie von . Dies motiviert die Bezeichnung voller Funktor in obigen Definitionen. Ist also ein volltreuer Funktor, so dass injektiv ist, so definiert eine Einbettung auf eine volle Unterkategorie.

Volltreue Funktoren s​ind auch w​egen der folgenden Aussage wichtig für d​ie Kategorientheorie:

  • Seien ein volltreuer Funktor und ein Morphismus der Kategorie . Dann gilt: ist Isomorphismus ist Isomorphismus.

Die Richtung von links nach rechts ist sehr einfach. Ist nämlich Isomorphismus, so gibt es definitionsgemäß einen weiteren Morphismus mit und . Da Funktor ist, folgt und genauso , das heißt, ist ein Isomorphismus.

Die Volltreue wird für die Umkehrung benötigt. Ist nämlich ein Isomorphismus, so gibt es einen Morphismus mit und . Da voll ist, gibt es einen Morphismus mit . Dann folgt und genauso . Wegen der Treue von folgt nun und , das heißt, ist ein Isomorphismus.

Literatur

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.