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 $V$ ein Vektorraum und $U\subset V$ ein Untervektorraum, so kann man den Quotientenvektorraum $V/U$ bilden, der aus allen Nebenklassen $x+U$ mit $x\in V$ besteht. Die Abbildung $V\to V/U$, die den Vektor $x\in V$ auf $x+U$ abbildet, nennt man die Quotientenabbildung.
• Ist allgemeiner $G$ eine Gruppe mit einem Normalteiler $N\subset G$, so kann man die Quotientengruppe $G/N$ der Nebenklassen $xN$ bilden, wobei $x\in G$. Wieder nennt man die kanonische Abbildung $G\to 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 $x{y}^{-1}\in N$. Daher verallgemeinert die folgende Konstruktion obige Beispiele.

• Es sei $X$ eine Menge und $\sim$ eine Äquivalenzrelation auf $X$. Dann sei $X/\sim$ die Menge der Äquivalenzklassen $[x]$. Die Abbildung $X\to X/\sim ,x\mapsto [x]$ heißt Quotientenabbildung.
• Ist $f:X\to Y$ eine surjektive Abbildung, so ist durch $x\sim y:\iff f(x)=f(y)$ eine Äquivalenzrelation gegeben. In diesem Falle ist die Abbildung $X/\sim \to Y,[x]\mapsto f(x)$ bijektiv. Man nennt dann auch $f$ eine Quotientenabbildung.
• Ist $f:X\to Y$ eine surjektive Abbildung auf einem topologischen Raum $X$, so gibt es eine feinste Topologie auf $Y$, bzgl. der $f$ 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

• Faktorring
• Homomorphiesatz
• Quotientennorm