De krachtset van een set EEN is de verzameling van alle subsets van A. Bij het werken met een eindige set met n elementen, een vraag die we ons kunnen stellen is: "Hoeveel elementen zijn er in de machtset van EEN ?”We zullen zien dat het antwoord op deze vraag 2 isn en wiskundig bewijzen waarom dit waar is.
We zullen een patroon zoeken door het aantal elementen in de machtset van te observeren EEN, waar EEN heeft n elementen:
In al deze situaties is het eenvoudig om voor sets met een klein aantal elementen te zien dat als er een eindig aantal n elementen in EEN, dan het vermogen P (EEN) heeft 2n elementen. Maar gaat dit patroon door? Gewoon omdat een patroon waar is voor n = 0, 1 en 2 betekent niet noodzakelijkerwijs dat het patroon waar is voor hogere waarden van n.
Maar dit patroon gaat door. Om aan te tonen dat dit inderdaad het geval is, zullen we bewijs door inductie gebruiken.
Bewijs door inductie is nuttig om beweringen over alle natuurlijke getallen te bewijzen. We bereiken dit in twee stappen. Voor de eerste stap verankeren we ons bewijs door een echte verklaring te tonen voor de eerste waarde van n dat we willen overwegen. De tweede stap van ons bewijs is om aan te nemen dat de verklaring geldt n = k, en de show dat dit impliceert, houdt de verklaring in n = k + 1.
Om ons bewijs te helpen, hebben we nog een observatie nodig. Uit de bovenstaande voorbeelden kunnen we zien dat P (a) een subset is van P (a, b). De subsets van a vormen exact de helft van de subsets van a, b. We kunnen alle subsets van a, b verkrijgen door element b toe te voegen aan elk van de subsets van a. Deze set-toevoeging wordt bereikt door middel van de set-operatie van unie:
Dit zijn de twee nieuwe elementen in P (a, b) die geen elementen van P (a) waren.
We zien een vergelijkbare gebeurtenis voor P (a, b, c). We beginnen met de vier sets van P (a, b), en aan elk van deze voegen we het element c toe:
En dus eindigen we met in totaal acht elementen in P (a, b, c).
We zijn nu klaar om de verklaring te bewijzen: “Als de set EEN bevat n elementen, dan het vermogen VADER) heeft 2n elementen.”
We beginnen met op te merken dat het bewijs van inductie al verankerd is voor de gevallen n = 0, 1, 2 en 3. We veronderstellen door inductie dat de verklaring geldt k. Laat nu de set EEN bevatten n + 1 elementen. We kunnen schrijven EEN = B U x en overweeg hoe u subsets van kunt maken EEN.
We nemen alle elementen van P (B), en volgens de inductieve hypothese zijn er 2n van deze. Vervolgens voegen we het element x toe aan elk van deze subsets van B, resulterend in nog een 2n subsets van B. Dit put de lijst met subsets van uit B, en dus is het totaal 2n + 2n = 2 (2n) = 2n + 1 elementen van de power set van EEN.