Quotientenabbildung

Quotientenabbildung, kanonische Surjektion oder kanonische Projektion ist ein mathematischer Begriff, der in vielen mathematischen Teilgebieten auftritt. Es handelt sich dabei um eine Abbildung, die jedem Element einer Menge, auf der eine Äquivalenzrelation vorliegt, seine Äquivalenzklasse zuordnet. In der Kategorientheorie wird der Begriff für Quotientenobjekte verallgemeinert.

Beispiele

Ist ein Vektorraum und $U\subset V$ ein Untervektorraum, so kann man den Faktorraum bilden, der aus allen Nebenklassen mit $x\in V$ besteht. Die Abbildung $V\rightarrow V/U$ , die den Vektor $x\in V$ auf abbildet, nennt man die Quotientenabbildung.
Ist allgemeiner eine Gruppe mit einem Normalteiler $N\subset G$ , so kann man die Faktorgruppe der Nebenklassen bilden, wobei $x\in G$ . Wieder nennt man die kanonische Abbildung $G\rightarrow G/N,x\mapsto xN$ die Quotientenabbildung.

Beiden Beispielen liegt eine Äquivalenzrelation $\sim$ zu Grunde. Im Vektorraumbeispiel hat man $x\sim y$ genau dann, wenn $x-y\in U$ , und ganz analog im Gruppenbeispiel $x\sim y$ genau dann, wenn $xy^{-1}\in N$ . Daher verallgemeinert die folgende Konstruktion obige Beispiele.

Es sei eine Menge und $\sim$ eine Äquivalenzrelation auf . Dann sei $X/\!\!\sim$ die Menge der Äquivalenzklassen . Die Abbildung $X\rightarrow X/\!\!\sim ,\,x\mapsto [x]$ heißt Quotientenabbildung.
Ist $f:X\rightarrow Y$ eine surjektive Abbildung, so ist durch $x\sim y\;:\Leftrightarrow \;f(x)=f(y)$ eine Äquivalenzrelation gegeben. In diesem Falle ist die Abbildung $X/\!\!\sim \,\rightarrow Y,\,[x]\mapsto f(x)$ bijektiv. Man nennt dann auch eine Quotientenabbildung.
Ist $f:X\rightarrow Y$ eine surjektive Abbildung auf einem topologischen Raum , so gibt es eine feinste Topologie auf , bzgl. der stetig ist, die sogenannte Quotiententopologie. Daher nennt man die Abbildung auch in diesem Fall eine Quotientenabbildung.

Diese Beispiele werden in der Kategorientheorie zu sogenannten Quotientenobjekten verallgemeinert. In der Tat sind solche Quotientobjekte gewisse Epimorphismen, so dass es sich dabei im Wesentlichen um die hier vorgestellten Quotientenabbildungen handelt, allerdings müssen Morphismen in der Kategorientheorie keine Abbildungen sein.

Siehe auch

Basierend auf einem Artikel in:

Wikipedia.de