Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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. Sei hierzu , also . Dann ist nach der Voraussetzung an aber .