Zum Inhalt springen

Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Beweis

Aus Wikiversity
Beweis

Sei gegeben. Die einzige Möglichkeit für ist zu setzen. Es muss aber gezeigt werden, dass diese Abbildung überhaupt wohldefiniert ist, also unabhängig von der Wahl des Repräsentanten ist. Es sei hierzu , also . Dann ist nach der Voraussetzung an aber .