Was ist eine kanonische surjektive Abbildung?
Hallo :), ich habe mich gerade mit Faktorräumen in Mathematik beschäftigt und bin in dem Wikipedia-Artikel unter Eigenschaften auf Folgendes gestoßen:
Es gibt eine kanonische surjektive lineare Abbildung π: V --> U/V , v --> [v].
Ich weiß was eine surjektive Abbildung ist, aber was ist eine kanonische surjektive Abbildung? Also was heißt kanonisch?
Ich würde mich sehr über eine Antwort freuen. LG :)
1 Antwort
![](https://images.gutefrage.net/media/user/Dukkha/1485291284373_nmmslarge__0_7_575_575_2b35acfebd6bb42911196735f87c715e.png?v=1485291284000)
Hallo,
Hast du eine Äquivalenzrelation R, dann nennt man die Abbildung eines Elementes v auf die Klasse V in der es sich befindet, die kanonische Projekt. (auch Quotientenabbildung)
Deine Abbildung sollte natürlich von V --> V/U oder von U --> U/V sein.
Das Wort kanonisch bedeutet so viel wie "natürlich". Zum Beispiel ist die kanonische Basis eines Vektorraumes die Basis mit den Einheitsvektoren und nicht eine beliebige (komplizierte?) Basis
![](https://images.gutefrage.net/media/default/user/14_nmmslarge.png?v=1551279448000)
![](https://images.gutefrage.net/media/user/Dukkha/1485291284373_nmmslarge__0_7_575_575_2b35acfebd6bb42911196735f87c715e.png?v=1485291284000)