Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Verzameling (wiskunde)

Uit Wikisage
Naar navigatie springen Naar zoeken springen
Bestand:Venn A intersect B.svg
De doorsnede <math>A\cap B</math> van twee verzamelingen <math>A</math> en <math>B</math>

In de wiskunde is een verzameling een collectie van verschillende objecten, elementen genoemd, die zelf als een wiskundig object wordt beschouwd. Het begrip verzameling is een wiskundig basisbegrip. Dat wil zeggen dat het niet kan worden gedefinieerd in, herleid tot, termen van andere wiskundige begrippen, maar zelf axiomatisch gedefinieerd moet worden. Verzamelingen vormen het basismateriaal van de verzamelingenleer.

Verzamelingen behoren tot de fundamentele concepten binnen de wiskunde. De grondslag voor het begrip verzameling werd aan het einde van de 19e eeuw gelegd door de Duitse wiskundige Georg Cantor. Hij noemde een verzameling informeel: "een veelheid van elementen, die volgens een bepaalde definitie bij elkaar horen en daardoor een geheel vormen".

De verzamelingenleer is inmiddels alomtegenwoordig in de wiskunde, en kan als theoretische basis dienen om van daaruit bijna de gehele wiskunde af te leiden. In het middelbare wiskundeonderwijs worden elementaire onderwerpen als venndiagrammen onderwezen. Meer geavanceerde concepten komen in een universitaire studie wiskunde aan de orde.

Twee verzamelingen zijn identiek als ze dezelfde elementen bevatten. Een verzameling zonder enig element heet lege verzameling. Bij de beschrijving van een verzameling gaat het uitsluitend om de vraag welke elementen in die verzameling zijn opgenomen. Ieder element komt daarom hooguit één keer in een verzameling voor.

De mandelbrotverzameling is een bekend voorbeeld van een verzameling en bestaat uit de complexe getallen die, nadat er herhaald dezelfde gegeven bewerking op is uitgevoerd, naar een eindige waarde itereren.

Definitie

Hieronder wordt slechts een globaal overzicht gegeven van het begrip 'verzameling'. Dit overzicht wil de lezer helpen om met verzamelingen te kunnen werken en belangrijke begrippen als afbeeldingen, functies, getallen en relaties te kunnen definiëren.

Georg Cantor gaf aan het begin van zijn Beiträge zur Begründung der transfiniten Mengenlehre[1] de volgende definitie van een verzameling:

Met een verzameling bedoelen we elke collectie <math>M</math> uit een geheel van concrete, afzonderlijke objecten <math>m</math>, die de elementen van <math>M</math> worden genoemd, van onze perceptie [Anschauung] of van ons denken.

De elementen of leden van een verzameling kunnen bijvoorbeeld zijn: getallen, letters van het alfabet, andere verzamelingen en zo verder. Verzamelingen worden gewoonlijk met een hoofdletter aangeduid.

Zoals hieronder uitvoeriger wordt besproken, bleek de hierboven gegeven wiskundige definitie van Cantor niet te voldoen binnen het theoretische kader van de formele wiskunde. In plaats daarvan wordt het begrip 'verzameling' in de axiomatische verzamelingenleer als een ongedefinieerde primitieve genomen en worden haar eigenschappen gedefinieerd door de axioma's van Zermelo-Fraenkel. Er zijn twee fundamentele eigenschappen die samen het begrip 'verzameling' typeren. Ten eerste "heeft" een verzameling elementen; ten tweede zijn twee verzamelingen slechts dan aan elkaar gelijk (identiek) als ze beide dezelfde elementen hebben.

Zie ook de paragraaf Symbolen uit de verzamelingenleer in Lijst van wiskundige symbolen

Beschrijving van verzamelingen

Zie Element (wiskunde) voor het hoofdartikel over dit onderwerp.

In het dagelijkse spraakgebruik komt het begrip 'verzameling' ook voor: met "bestek" wordt in een huishouden de verzameling lepels, vorken en messen bedoeld, het "servies" van oma is een verzameling borden, schalen.... Een "pak" speelkaarten is een verzameling speelkaarten.

Er zijn twee manieren om de elementen van een verzameling vast te leggen. Eén manier is door een beschrijving, waarbij gebruik wordt gemaakt van een regel: een semantische beschrijving van de elementen:

<math>A</math> is de verzameling waarvan de elementen de eerste vier positieve getallen zijn.
<math>B</math> is de verzameling van alle kleuren van de Nederlandse vlag: <math>B=\{x\mid x \text{ is een kleur van de Nederlandse vlag}\}</math>. In plaats van de verticale streep schrijft men ook wel een dubbelepunt: <math>B=\{x: x \text{ is een kleur van de Nederlandse vlag}\}</math>.

De tweede manier is door opsomming, dat wil zeggen dat elk element van de verzameling expliciet wordt genoemd. De expliciet genoemde elementen worden tussen accolades geplaatst:

<math>A = \{4, 2, 1, 3\}</math>
<math>B = \{\text{rood,wit,blauw}\}</math>

Als <math>x</math> een element is van de verzameling <math>A</math>, wordt dit genoteerd als <math>x\in A</math>. Is <math>x</math> géén element van <math>A</math>, dan wordt dit wel aangeduid door <math>x\notin A</math>.

Met betrekking tot de verzamelingen <math>A = \{4, 2, 1, 3\}</math> en <math>B = \{\text{rood,wit,blauw}\}</math> bijvoorbeeld, zoals hierboven gedefinieerd, geldt

<math>4\in A</math>

en

<math>\text{groen} \notin B</math>

Twee verzamelingen zijn aan elkaar gelijk, als ze dezelfde elementen bevatten. Dat twee verzamelingen <math>A</math> en <math>B</math> aan elkaar gelijk zijn, noteert men eenvoudigweg als <math>A=B</math>. Formeel:

<math>A=B</math> betekent dat voor alle <math>x</math> geldt: <math>x\in A \Longleftrightarrow x\in B</math>

Ook geldt omgekeerd:

Als voor alle <math>x</math> geldt: <math>x\in A \Longleftrightarrow x\in B</math>, dan is <math>A=B</math>

Anders dan bij een multiset komt elk element van een verzameling maar één keer voor als element van de verzameling, ook al wordt een element meer keren genoemd. Zo is de verzameling letters <math>\{a,b,a,c,a\}</math> dezelfde als de verzameling <math>\{a,b,c\}</math> en de verzameling <math>\{b,a,c,c\}</math>. Ieder element van een verzameling <math>A</math> blijft onder alle bewerkingen op <math>A</math> uniek. De volgorde waarin de elementen van een verzameling worden opgesomd, telt niet, dit in tegenstelling tot bij een rij of een tupel. Elementen staan in een rij opeenvolgend opgesomd en mogen in tegenstelling tot in een verzameling wel meer dan één keer in een rij voorkomen.

Een verzameling objecten in het dagelijks leven, bijvoorbeeld een platenverzameling, of de spullen in een tas, kan identieke objecten bevatten, waarbij de multipliciteit vaak relevant is, en moet dan als een multiset worden beschreven, niet als verzameling.

De lege verzameling, die geen elementen heeft, wordt met het symbool ∅ genoteerd. Minder gebruikelijk is de notaie {}.

Het aantal elementen in een verzameling noemt men de kardinaliteit van de verzameling.

Deelverzamelingen

Zie Deelverzameling voor het hoofdartikel over dit onderwerp.
Bestand:Venn A subset B.svg
<math>A</math> is een deelverzameling van <math>B</math>

Als elk element van de verzameling <math>A</math> ook element is van de verzameling <math>B</math>, zegt men dat <math>A</math> een deelverzameling is van <math>B</math>. Dit wordt genoteerd als <math>A\subseteq B</math> of als <math>A\subset B</math>, en uitgesproken als <math>A</math> is een deel(verzameling) van <math>B</math>, of als <math>A</math> wordt door <math>B</math> omvat. In plaats daarvan kan ook worden geschreven: <math>B \supseteq A</math>, of <math>B \supset A</math> zeg: <math>B</math> omvat <math>A</math>, <math>B</math> sluit <math>A</math> in, of <math>B</math> is een superset van <math>A</math>. De relatie tussen verzamelingen die wordt vastgelegd door ⊆ wordt inclusie of omvatting genoemd.

Als <math>A</math> een deelverzameling is van <math>B</math>, maar niet daaraan gelijk is, wordt <math>A</math> een echte of strikte deelverzameling van <math>B</math> genoemd. Dit wordt wel genoteerd als <math>A</math> ⊊ <math>A</math>, of <math>B</math> ⊋ <math>A</math>: <math>B</math> is een strikte superset van <math>A</math>.

Voorbeeld:

  • De verzameling van alle mannen is een strikte deelverzameling van de verzameling van alle mensen.
  • <math>\{1,3\} \subseteq \{1,2,3,4\}</math>, maar ook <math>\{1,3\} \subset \{1,2,3,4\}</math>
  • <math>\{1,2,3,4\} \subseteq \{1,2,3,4\}</math>

De uitdrukkingen <math>A\subset B</math> en <math>B\supset A</math> worden door verschillende auteurs verschillend gebruikt: sommigen gebruiken deze relatie in de betekenis van <math>A\subseteq B</math> (respectievelijk <math>B\supseteq A</math>), terwijl anderen er <math>A</math> ⊊ <math>B</math> (respectievelijk <math>B</math> ⊋ <math>A</math>) mee bedoelen.

De lege verzameling is een deelverzameling van elke verzameling en elke verzameling is een deelverzameling van zichzelf:

  • <math>\varnothing\subseteq A</math>
  • <math>A\subseteq A</math>

Een duidelijke maar bruikbare identiteit, die vaak kan worden gebruikt om aan te tonen dat twee ogenschijnlijk verschillende verzamelingen toch aan elkaar gelijk zijn:

  • <math>A=B</math> dan en slechts dan als <math>A\subseteq B</math> en <math>B\subseteq A</math>

Kardinaliteit

Zie Kardinaliteit voor het hoofdartikel over dit onderwerp.

De kardinaliteit <math>|A|</math> van een verzameling <math>A</math> is "het aantal elementen van <math>A</math>". Aangezien bijvoorbeeld de Nederlandse vlag drie kleuren kent, is de kardinaliteit van de verzameling <math>B=\{\text{kleuren van de Nederlandse vlag}\}</math> gelijk aan <math>|B|=3</math>.

De lege verzameling ∅ heeft kardinaliteit 0. Hoewel het misschien triviaal lijkt, is de lege verzameling, net zoals het getal nul, belangrijk in de wiskunde; het bestaan van de lege verzameling is zelfs een van de fundamentele concepten uit de axiomatische verzamelingenleer .

Sommige verzamelingen hebben een oneindige kardinaliteit. De verzameling <math>\N</math> van de natuurlijke getallen is bijvoorbeeld oneindig. Men kan echter aantonen dat sommige oneindige kardinaliteiten groter zijn dan andere. De verzameling van de reële getallen bijvoorbeeld heeft een grotere kardinaliteit dan de verzameling van de natuurlijke getallen. Het kan worden aangetoond dat de kardinaliteit van (dat wil zeggen: het aantal punten op) een rechte lijn dezelfde is als de kardinaliteit van enig lijnstuk van die lijn, dezelfde als die van het gehele vlak en ook dezelfde als die van enige eindig-dimensionale euclidische ruimte.

Machtsverzamelingen

Zie Machtsverzameling voor het hoofdartikel over dit onderwerp.

De machtsverzameling van een verzameling <math>A</math> is de verzameling van alle deelverzamelingen van <math>A</math>. Daartoe behoort de verzameling <math>A</math> zelf en de lege verzameling. Als een eindige verzameling <math>A</math> een kardinaliteit <math>n</math> heeft, is de kardinaliteit van de machtsverzameling van <math>A</math> gelijk aan <math>2^n</math>. De machtsverzameling wordt genoteerd als <math>\mathcal{P}(A)</math> of als <math>2^A</math>.

Als <math>A</math> een oneindige verzameling is, is de machtsverzameling van <math>A</math> altijd overaftelbaar, of <math>A</math> nu aftelbaar dan wel overaftelbaar is. Als <math>A</math> bovendien een verzameling is, dan is er nooit een bijectie van <math>A</math> op <math>\mathcal{P}(A)</math> mogelijk. Met andere woorden: de machtsverzameling van <math>A</math> is altijd strikt groter dan <math>A</math> zelf.

<math>\mathcal{P}(\{1, 2, 3\}) = \{ \{1, 2, 3\}, \{1, 2\}, \{1, 3\}, \{2, 3\}, \{1\}, \{2\}, \{3\}, \varnothing \}</math>

De kardinaliteit van de oorspronkelijke verzameling is 3 en de kardinaliteit van de machtsverzameling is 23 = 8. Deze relatie is een van de redenen voor de naam machtsverzameling.

Operaties

  • De vereniging van twee verzamelingen <math>A</math> en <math>B</math> wordt gevormd door de elementen die in <math>A</math> of in <math>B</math> (of in beide) zitten. Notatie: <math>A\cup B</math>.
  • De doorsnede van twee verzamelingen <math>A</math> en <math>B</math> wordt gevormd door de verzameling van gemeenschappelijke elementen, dus alle elementen die zowel in <math>A</math> als in <math>B</math> zitten. Notatie: <math>A\cap B</math>.
  • Een verzameling is een deel van het universum <math>U</math>, waarmee in dit verband wordt bedoeld de verzameling met alle mogelijke relevante elementen. De complementaire verzameling van een verzameling <math>A</math> is dan de verzameling van alle elementen in <math>U</math> die niet in <math>A</math> zitten, notatie: <math>A^c=\{x\in U\mid x\notin A\}</math>. <math>A^c</math> wordt in het algemeen als het complement van <math>A</math> aangeduid. Andere notaties voor het complement zijn <math>\bar{A}</math> en <math>A'</math>.

Er gelden de volgende eigenschappen:

Eigenschap Doorsnede Vereniging
commutatief A ∩ B = B ∩ A A ∪ B = B ∪ A
associatief A ∩ (B ∩ C) = (A ∩ B) ∩ C A ∪ (B ∪ C) = (A ∪ B) ∪ C
distributief A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
neutraal element A ∩ U = A voor alle A A ∪ ∅ = A voor alle A
'kleinste' en 'grootste'
verzameling
A ∩ ∅ = ∅ voor alle A A ∪ U = U voor alle A

Een partitie is een opdeling van een verzameling in niet-lege, onderling disjuncte, deelverzamelingen, die wel blokken worden genoemd. Bijvoorbeeld: als <math>A=\{1,2,3,4,5,6,7,8\}</math>, dan vormen de deelverzamelingen <math>\{1,3\}</math>, <math>\{2,4,5,7\}</math> en <math>\{6,8\}</math> een partitie van <math>A</math> met drie blokken.

De deelverzamelingen van een gegeven verzameling vormen een booleaanse algebra onder doorsnede en vereniging.

Bekende verzamelingen

Voorbeelden van getallenverzamelingen zijn:

  1. De natuurlijke getallen die in het algemeen aantallen voorstellen en gesloten zijn onder optelling en vermenigvuldiging.
  2. De gehele getallen, die ook gesloten zijn onder aftrekking
  3. De rationale getallen, die bestaan uit de gehele getallen en de breuken.
  4. De reële getallen, waaronder ook de transcendente getallen vallen.
  5. De complexe getallen verschijnen als oplossing van vergelijkingen als <math>x^2+1=0</math>.

Venndiagrammen

Met behulp van venndiagrammen, genoemd naar John Venn, kunnen verzamelingen aanschouwelijk voorgesteld worden. In de bovenstaande afbeelding van een venndiagram is de doorsnede van twee verzamelingen <math>A</math> en <math>B</math> lichtpaars weergegeven.

Relatief complement

Het relatieve complement van <math>B</math> ten opzichte van <math>A</math> is[2] de verzameling van de elementen van <math>A</math> die niet tot <math>B</math> behoren. Het wordt genoteerd als:

<math>A\setminus B = \{x\in A\mid x\notin B\}</math>

(lees: A met daaruit weggelaten B). Het relatieve complement wordt ook wel genoteerd als: <math>A-B</math>

Wetten van De Morgan

De wetten van De Morgan luiden:

  • <math>(A\cup B)^c = A^c\cap B^c</math>
  • <math>(A\cap B)^c = A^c\cup B^c</math>
  • <math>A\setminus(B\cup C) = (A\setminus B)\cap (A\setminus C)</math>
  • <math>A\setminus(B\cap C) = (A\setminus B)\cup (A\setminus C)</math>

Modellering

Men dient voorzichtig te zijn met verbale beschrijvingen van verzamelingen, omdat deze gemakkelijk tot paradoxen kunnen leiden. De axiomatische verzamelingenleer is geconstrueerd om deze paradoxen te vermijden.

Relaties met andere takken van de wiskunde

Vrijwel alle andere takken van de wiskunde worden gebaseerd op de verzamelingenleer. Zo is bijvoorbeeld in de kansrekening de uitkomstenruimte de universele verzameling van alle mogelijkheden en zijn de gebeurtenissen de (deel)verzamelingen. Ook andere elementaire begrippen in de wiskunde, zoals functies worden gedefinieerd in termen van verzamelingen. Hierbij wordt gebruikgemaakt van het cartesisch product.

Zie ook Bovengrens en ondergrens.

Toepassingen

Bronnen, noten en/of referenties

literatuur
voetnoten
  1. º Geciteerd in Dauben, pag. 170
  2. º Verzameling, reader Systeemmodellering, TU Delft
rel=nofollow
rel=nofollow

Wikimedia Commons  Zie ook de categorie met mediabestanden in verband met Set op Wikimedia Commons.

rel=nofollow