< Äquivalenzklassen < Partition < Quotientenmenge < Eigenschaften
Es sei eine Menge und eine Äquivalenzrelation auf mit den Äquivalenzklassen und der Quotientenmenge . Dann gelten folgende Aussagen.
![{\displaystyle {}[x]}](../../../../../I/5c77e93ebf488c686ab4b8693c04bdaae7e8446c.svg)
- Es ist genau dann, wenn ist, und dies gilt genau dann, wenn .
- ist eine disjunkte Vereinigung.
- Die
kanonische Projektion
ist surjektiv.
- Es ist .
![{\displaystyle {}[x]=[y]}](../../../../../I/b0e31c58238c766c691394b82eb0fc87a5ee0e3f.svg)
![{\displaystyle {}[x]\cap [y]\neq \emptyset }](../../../../../I/b8deabd43cb75143b1c1b9f06f0e36376615fbc8.svg)
![{\displaystyle {}M=\bigcup _{[x]\in M/\sim }[x]}](../../../../../I/9668500885987f8eed93223ae4a06593789272d8.svg)
![{\displaystyle q\colon M\longrightarrow M/\sim ,\,x\longmapsto [x],}](../../../../../I/93aad292fedc3d5bea8bf5fda10c02c2fc88b15e.svg)
![{\displaystyle {}q^{-1}([x])=[x]}](../../../../../I/0bb173ce09d3ad591f00a1f6c6c00b0302da17c8.svg)
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.