Komplementti (joukko-oppi)

Joukon A komplementti perusjoukossa U

Komplementti tai komplementtijoukko on joukko-oppiin liittyvä termi. Joukon A komplementti sisältää kaikki ne alkiot, jotka eivät kuulu joukkoon A. Komplementti otetaan perusjoukon suhteen. Joukon A komplementtia merkitään A^C. Joskus käytetään myös merkintöjä A′,$\overline{A}$ sekä ${\complement }_{E}A$ (missä E on perusjoukko) tai $\complement A$.

Muodollisesti komplementti määritellään seuraavasti:

$A^c=\{x\in E|x\in ̸A\}$, missä E on perusjoukko.

Komplementti voidaan määritellä myös joukkoerotuksena perusjoukosta E:

$A^c=E\setminus A$

Esimerkkejä

• Jos perusjoukko on {0,1,2,3,4,5}, on {1,2,3}^C = {0,4,5}.
• Jos perusjoukkona on reaalilukujen joukko, on rationaalilukujen joukon komplementti irrationaalilukujen joukko.

Katso myös

• Joukkoerotus
• Yhdiste
• Leikkaus

Kirjallisuutta

• Malline:Kirjaviite