Kaj je nabor moči?

Eno vprašanje v teorija množic ali je množica podmnožica druge množice. Podmnožica A je množica, ki je sestavljena z uporabo nekaterih elementov iz množice A . Da bi za B biti podmnožica A , vsak element B mora biti tudi element A .

Vsak sklop ima več podmnožic. Včasih je zaželeno poznati vse podmnožice, ki so možne. Konstrukcija, znana kot nabor moči, pomaga pri tem prizadevanju. Nabor moči kompleta A je množica z elementi, ki so tudi množice. Ta nabor moči, oblikovan z vključitvijo vseh podmnožic danega niza A .

Primer 1

Upoštevali bomo dva primera nizov moči. Za prvo, če začnemo z nizom A = {1, 2, 3}, kakšen je potem nabor moči? Nadaljujemo s seznamom vseh podmnožic A .

• The prazen niz je podmnožica A . Dejansko prazna množica je podmnožica vsake množice . To je edina podmnožica brez elementov A .
• Nabori {1}, {2}, {3} so edini podnabori A z enim elementom.
• Množice {1, 2}, {1, 3}, {2, 3} so edine podmnožice A z dvema elementoma.
• Vsak niz je podmnožica samega sebe. torej A = {1, 2, 3} je podmnožica A . To je edina podmnožica s tremi elementi.

A A A

Primer 2

Za drugi primer bomo upoštevali nabor moči B = {1, 2, 3, 4}. Veliko tega, kar smo povedali zgoraj, je zdaj podobno, če ne identično:

• Prazen niz in B sta obe podmnožici.
• Ker obstajajo štirje elementi B , obstajajo štiri podmnožice z enim elementom: {1}, {2}, {3}, {4}.
• Ker je vsaka podmnožica treh elementov lahko oblikovana z izločitvijo enega elementa iz B in obstajajo štirje elementi, obstajajo štiri takšne podmnožice: {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}.
• Ostaja še določitev podmnožic z dvema elementoma. Oblikujemo podmnožico dveh elementov, izbranih iz množice 4. To je kombinacija in obstajajo C (4, 2 ) =6 teh kombinacij. Podnabori so: {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}.

B B

Notacija

Obstajata dva načina za nastavitev moči niza A je označeno. Eden od načinov za označevanje tega je uporaba simbola p ( A ), kjer včasih ta slov p je napisana s stilizirano pisavo. Druga oznaka za nabor moči A je 2 ^A . Ta zapis se uporablja za povezavo nabora moči s številom elementov v naboru moči.

Velikost nabora moči

Ta zapis bomo še preučili. če A je končna množica z n elementov, nato pa njegov nabor moči P( A ) bo imela 2 ⁿ elementi. Če delamo z neskončno množico, potem ni koristno razmišljati o 2 ⁿ elementi. Vendar pa nam Cantorjev izrek pove, da kardinalnost niza in njegov niz moči ne moreta biti enaki.

V matematiki je bilo odprto vprašanje, ali se kardinalnost potenčne množice šteto neskončne množice ujema s kardinalnostjo realnih vrednosti. Rešitev tega vprašanja je precej tehnična, vendar pravi, da se lahko odločimo za to identifikacijo kardinalnosti ali ne. Oba vodita do dosledne matematične teorije.

Nabori moči v verjetnosti

Predmet verjetnosti temelji na teoriji množic. Namesto da bi se sklicevali na univerzalne množice in podmnožice, namesto tega govorimo o vzorčne prostore in dogodkov . Včasih, ko delamo z vzorčnim prostorom, želimo določiti dogodke tega vzorčnega prostora. Nabor moči vzorčnega prostora, ki ga imamo, nam bo dal vse možne dogodke.