Hva er kraftsettet

Ett spørsmål i settteori er om et sett er en undergruppe av et annet sett. En delmengde av EN er et sett som er dannet ved å bruke noen av elementene fra settet EN. For å B å være en undergruppe av EN, hvert element av B må også være et element av EN.

Hvert sett har flere undergrupper. Noen ganger er det ønskelig å vite alle undergruppene som er mulige. En konstruksjon kjent som kraftsettet hjelper i denne bestrebelsen. Strømmen til settet EN er et sett med elementer som også er sett. Dette kraftsettet dannet ved å inkludere alle undergruppene til et gitt sett EN.

Vi vil vurdere to eksempler på kraftsett. For det første, hvis vi begynner med settet EN = {1, 2, 3}, hva er så kraften satt? Vi fortsetter med å liste opp alle undergruppene til EN.

• De tomt sett er en undergruppe av EN. Faktisk tomt sett er en undergruppe av hvert sett. Dette er den eneste undergruppen uten elementer av EN.
• Settene {1}, {2}, {3} er de eneste undergruppene av EN med ett element.
• Settene {1, 2}, {1, 3}, {2, 3} er de eneste undergruppene av EN med to elementer.
instagram viewer
• Hvert sett er en undergruppe av seg selv. Dermed EN = {1, 2, 3} er en undergruppe av EN. Dette er den eneste undergruppen med tre elementer.

For det andre eksemplet vil vi vurdere kraftsettet til B ={1, 2, 3, 4}. Mye av det vi sa ovenfor er likt, om ikke identisk nå:

• Det tomme settet og B er begge undergrupper.
• Siden det er fire elementer av B, er det fire undergrupper med ett element: {1}, {2}, {3}, {4}.
• Siden hver delmengde av tre elementer kan dannes ved å eliminere ett element fra B og det er fire elementer, det er fire slike undergrupper: {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}.
• Det gjenstår å bestemme undergruppene med to elementer. Vi danner et delsett av to elementer valgt fra et sett med 4. Dette er en kombinasjon og det er det C (4, 2) = 6 av disse kombinasjonene. Undergruppene er: {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}.

Det er to måter kraftsettet til et sett på EN er betegnet. En måte å betegne dette på er å bruke symbolet P( EN), hvor noen ganger dette brevet P er skrevet med et stilisert manus. En annen notasjon for kraftsettet av EN er 2^EN. Denne notasjonen brukes til å koble kraftsettet til antall elementer i kraftsettet.

Vi vil undersøke denne notasjonen nærmere. Hvis EN er et begrenset sett med n elementer, deretter kraftsettet P (A ) vil ha 2ⁿ elementer. Hvis vi jobber med et uendelig sett, er det ikke nyttig å tenke på 2ⁿ elementer. Et teorem fra Cantor forteller oss imidlertid at kardinaliteten til et sett og dets kraftsett ikke kan være den samme.

Det var et åpent spørsmål i matematikk om kardinaliteten til kraftsettet til et utallig uendelig sett stemmer med kardinaliteten til realene. Oppløsningen av dette spørsmålet er ganske teknisk, men sier at vi kan velge å identifisere kardinaliteter eller ikke. Begge fører til en konsistent matematisk teori.

Emnet for sannsynlighet er basert på settteori. I stedet for å referere til universelle sett og delsett, snakker vi i stedet om prøve mellomrom og arrangementer. Noen ganger når vi jobber med en prøveplass, ønsker vi å bestemme hendelsene i det utvalgte rommet. Kraftsettet til prøveområdet vi har vil gi oss alle mulige hendelser.