Een vraag in de settheorie is of een set een subset is van een andere set. Een subset van EEN is een set die wordt gevormd door enkele elementen uit de set te gebruiken EEN. Om B om een subset van te zijn EEN, elk element van B moet ook een element zijn van EEN.
Elke set heeft verschillende subsets. Soms is het wenselijk om alle mogelijke subsets te kennen. Een constructie die bekend staat als de power set helpt bij dit streven. De vermogensset van de set EEN is een set met elementen die ook sets zijn. Deze vermogensset wordt gevormd door alle subsets van een bepaalde set op te nemen EEN.
We zullen twee voorbeelden van power sets beschouwen. Ten eerste, als we met de set beginnen EEN = 1, 2, 3, wat is dan het ingestelde vermogen? We gaan door met een lijst van alle subsets van EEN.
Voor het tweede voorbeeld zullen we de vermogensset van beschouwen B = 1, 2, 3, 4. Veel van wat we hierboven zeiden is vergelijkbaar, zo niet nu identiek:
Er zijn twee manieren waarop de power set van een set EEN wordt aangegeven. Een manier om dit aan te geven is het symbool gebruiken P( EEN), waar soms deze brief P is geschreven met een gestileerd script. Nog een notatie voor de vermogensset van EEN is 2EEN. Deze notatie wordt gebruikt om de power set te verbinden met het aantal elementen in de power set.
We zullen deze notatie verder onderzoeken. Als EEN is een eindige set met n elementen en vervolgens het vermogen VADER ) heeft 2n elementen. Als we met een oneindige set werken, is het niet nuttig om aan 2 te denkenn elementen. Een stelling van Cantor vertelt ons echter dat de kardinaliteit van een set en zijn krachtset niet hetzelfde kunnen zijn.
Het was een open vraag in de wiskunde of de kardinaliteit van de machtset van een ontelbaar oneindige reeks overeenkomt met de kardinaliteit van de werkelijkheid. De oplossing van deze vraag is vrij technisch, maar zegt dat we ervoor kunnen kiezen om deze identificatie van kardinaliteiten te maken of niet. Beide leiden tot een consistente wiskundige theorie.
Het onderwerp waarschijnlijkheid is gebaseerd op verzamelingenleer. In plaats van te verwijzen naar universele sets en subsets, praten we in plaats daarvan over voorbeeldruimten en gebeurtenissen. Soms willen we bij het werken met een voorbeeldruimte de gebeurtenissen van die voorbeeldruimte bepalen. De power set van de voorbeeldruimte die we hebben zal ons alle mogelijke gebeurtenissen geven.