Treue Funktoren und die hier ebenfalls zu besprechenden vollen und volltreuen Funktoren die eng damit zusammenhangen sind in der mathematischen Theorie der Kategorientheorie betrachtete Funktoren mit speziellen Eigenschaften Inhaltsverzeichnis 1 Definitionen 2 Einbettungen 3 Volltreue Funktoren 4 LiteraturDefinitionen BearbeitenSei T C D displaystyle T colon mathcal C rightarrow mathcal D nbsp ein Funktor zwischen zwei Kategorien C displaystyle mathcal C nbsp und D displaystyle mathcal D nbsp Ein solcher Funktor ordnet definitionsgemass jedem Objekt X Ob C displaystyle X in operatorname Ob mathcal C nbsp und jedem Morphismus f X Y displaystyle f colon X rightarrow Y nbsp aus Mor C X Y displaystyle operatorname Mor mathcal C X Y nbsp wobei X displaystyle X nbsp und Y displaystyle Y nbsp Objekte aus C displaystyle mathcal C nbsp seien ein Objekt T X Ob D displaystyle T X in operatorname Ob mathcal D nbsp beziehungsweise einen Morphismus T f Mor D T X T Y displaystyle T f in operatorname Mor mathcal D T X T Y nbsp zu wobei gewisse Vertraglichkeitsbedingungen erfullt sind Zu jedem Paar X Y displaystyle X Y nbsp von Objekten aus C displaystyle mathcal C nbsp hat man im Falle von lokal kleinen Kategorien eine Abbildung T X Y Mor C X Y Mor D T X T Y f T f displaystyle T X Y colon operatorname Mor mathcal C X Y rightarrow operatorname Mor mathcal D T X T Y f mapsto T f nbsp Man nennt den Funktor T displaystyle T nbsp treu bzw voll bzw volltreu wenn die Abbildungen T X Y displaystyle T X Y nbsp fur jedes Paar X Y displaystyle X Y nbsp von Objekten aus C displaystyle mathcal C nbsp injektiv bzw surjektiv bzw bijektiv sind An Stelle von volltreu findet man auch die Bezeichnung vollig treu Einbettungen BearbeitenIst T C D displaystyle T colon mathcal C rightarrow mathcal D nbsp 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 T displaystyle T nbsp nicht notwendigerweise aus dass eine der Abbildungen T Ob Ob C Ob D X T X displaystyle T text Ob colon operatorname Ob mathcal C rightarrow operatorname Ob mathcal D X mapsto T X nbsp T Mor Mor C Mor D f T f displaystyle T text Mor colon operatorname Mor mathcal C rightarrow operatorname Mor mathcal D f mapsto T f nbsp injektiv ist Um den Zusammenhang dieser Begriffe und die Verwendung obiger Definitionen zu beleuchten wird hier die folgende einfache Aussage bewiesen Wenn der Funktor T displaystyle T nbsp treu ist so ist T Ob displaystyle T text Ob nbsp genau dann injektiv wenn T Mor displaystyle T text Mor nbsp injektiv ist Ist T Mor displaystyle T text Mor nbsp injektiv und sind X Y Ob C displaystyle X Y in operatorname Ob mathcal C nbsp mit T X T Y displaystyle T X T Y nbsp so folgt T id X id T X id T Y T id Y displaystyle T operatorname id X operatorname id T X operatorname id T Y T operatorname id Y nbsp also nach Voraussetzung id X id Y displaystyle operatorname id X operatorname id Y nbsp und damit X Y displaystyle X Y nbsp Daher ist T Ob displaystyle T text Ob nbsp injektiv Sei nun umgekehrt T Ob displaystyle T text Ob nbsp injektiv und seien f g Mor C displaystyle f g in operatorname Mor mathcal C nbsp mit T f T g displaystyle T f T g nbsp Es ist f g displaystyle f g nbsp zu zeigen Zu den Morphismen f displaystyle f nbsp und g displaystyle g nbsp gehoren Objekte X 1 X 2 Y 1 Y 2 displaystyle X 1 X 2 Y 1 Y 2 nbsp aus der Kategorie C displaystyle mathcal C nbsp mit f X 1 Y 1 displaystyle f colon X 1 rightarrow Y 1 nbsp und g X 2 Y 2 displaystyle g colon X 2 rightarrow Y 2 nbsp Aus T f T g displaystyle T f T g nbsp folgt T X 1 T X 2 displaystyle T X 1 T X 2 nbsp und T Y 1 T Y 2 displaystyle T Y 1 T Y 2 nbsp Weil T Ob displaystyle T text Ob nbsp nach Voraussetzung injektiv ist erhalten wir X 1 X 2 displaystyle X 1 X 2 nbsp und Y 1 Y 2 displaystyle Y 1 Y 2 nbsp Daher ist T X 1 Y 1 f T f T g T X 1 Y 1 g displaystyle T X 1 Y 1 f Tf Tg T X 1 Y 1 g nbsp und die Treue von T displaystyle T nbsp liefert wie gewunscht f g displaystyle f g nbsp Man nennt einen Funktor T displaystyle T nbsp eine Einbettung wenn T Mor displaystyle T text Mor nbsp injektiv ist Fur einen treuen Funktor ist die Einbettungseigenschaft nach Obigem aquivalent zur Injektivitat von T Ob displaystyle T text Ob nbsp Ist der Funktor T C D displaystyle T colon mathcal C rightarrow mathcal D nbsp eine Einbettung so bilden die Objekte T X X Ob C displaystyle T X X in operatorname Ob mathcal C nbsp mit den Morphismen T f f Mor C displaystyle T f f in operatorname Mor mathcal C nbsp eine Unterkategorie von D displaystyle mathcal D nbsp die mit T C displaystyle T mathcal C nbsp bezeichnet wird Da das fur beliebige Funktoren die keine Einbettungen sind im Allgemeinen nicht der Fall ist spielen Einbettungen eine wichtige Rolle in der Kategorientheorie Volltreue Funktoren BearbeitenIst der Funktor T C D displaystyle T colon mathcal C rightarrow mathcal D nbsp eine Einbettung und ist T displaystyle T nbsp ein voller Funktor so ist T C displaystyle T mathcal C nbsp eine volle Unterkategorie von D displaystyle mathcal D nbsp Dies motiviert die Bezeichnung voller Funktor in obigen Definitionen Ist also T displaystyle T nbsp ein volltreuer Funktor so dass T Ob displaystyle T text Ob nbsp injektiv ist so definiert T displaystyle T nbsp eine Einbettung auf eine volle Unterkategorie Volltreue Funktoren sind auch wegen der folgenden Aussage wichtig fur die Kategorientheorie Seien T C D displaystyle T colon mathcal C rightarrow mathcal D nbsp ein volltreuer Funktor und f X Y displaystyle f colon X rightarrow Y nbsp ein Morphismus der Kategorie C displaystyle mathcal C nbsp Dann gilt f displaystyle f nbsp ist Isomorphismus displaystyle Leftrightarrow nbsp T f displaystyle Tf nbsp ist Isomorphismus Die Richtung von links nach rechts ist sehr einfach Ist namlich f displaystyle f nbsp Isomorphismus so gibt es definitionsgemass einen weiteren Morphismus g Y X displaystyle g colon Y rightarrow X nbsp mit f g id Y displaystyle fg operatorname id Y nbsp und g f id X displaystyle gf operatorname id X nbsp Da T displaystyle T nbsp Funktor ist folgt T f T g T f g T id Y id T Y displaystyle T f circ T g T fg T operatorname id Y operatorname id T Y nbsp und genauso T g T f id T X displaystyle T g circ T f operatorname id T X nbsp das heisst T f displaystyle T f nbsp ist ein Isomorphismus Die Volltreue wird fur die Umkehrung benotigt Ist namlich T f T X T Y displaystyle T f colon T X rightarrow T Y nbsp ein Isomorphismus so gibt es einen Morphismus w T Y T X displaystyle w colon T Y rightarrow T X nbsp mit T f w id T Y displaystyle T f circ w operatorname id T Y nbsp und w T f id T X displaystyle w circ T f operatorname id T X nbsp Da T displaystyle T nbsp voll ist gibt es einen Morphismus g Y X displaystyle g colon Y rightarrow X nbsp mit T g w displaystyle T g w nbsp Dann folgt T f g T f T g T f w id T Y T id Y displaystyle T fg T f circ T g T f circ w operatorname id T Y T operatorname id Y nbsp und genauso T g f T id X displaystyle T gf T operatorname id X nbsp Wegen der Treue von T displaystyle T nbsp folgt nun f g id Y displaystyle fg operatorname id Y nbsp und g f id X displaystyle gf operatorname id X nbsp das heisst f displaystyle f nbsp ist ein Isomorphismus Literatur BearbeitenHorst Schubert Kategorien Heidelberger Taschenbucher 65 66 ISSN 0073 1684 Band 1 2 Springer Berlin u a 1970 Abgerufen von https de wikipedia org w index php title Treuer Funktor amp oldid 155675939
