Партитивни скуп
У математици, за дати скуп S, партитивни скуп од S, што се записује као , P(S), или 2S, је скуп свих подскупова од S. У аксиоматској теорији скупова (на пример у Зермело-Френкел теорија скупова са аксиомом избора), постојање партитивног скупа било ког скупа је постулат аксиоме партитивног скупа.
Сваки подскуп F од се назива фамилијом скупова над S.
На пример, ако је S скуп {a, b, c} тада је потпун списак подскупова од S следећи:
- { } (празан скуп)
- {a}
- {b}
- {c}
- {a, b}
- {a, c}
- {b, c}
- {a, b, c}
и стога је партитивни скуп од S
Ако је S коначан скуп са S| = n елемената, тада партитивни скуп од S садржи елемената. (Елементи партитивног скупа се могу - као што се у рачунарству некада чини - представити као n-битни бројеви; n-ти бит одређује присуство или одсуство n-тог елемента од S. Има тачно 2n таквих елемената.)
Канторов дијагонални поступак показује да партитивни скуп неког скупа (био он бесконачан или не), увек има строго већу кардиналност од самог скупа (неформално, партитивни скуп мора бити 'већи' од оригиналног скупа). Партитивни скуп природних бројева се на пример може ставити у бијекцију са скупом реалних бројева (види кардиналност континуума).
Партитивни скуп скупа S, заједно са операцијама уније, пресека и комплемента се може посматрати као прототипски пример Булове алгебре. У ствари, може се показати да је свака коначна Булова алгебра изоморфна Буловој алгебри партитивног скупа коначног скупа. За бесконачне Булове алгебре ово више не важи, али је свака бесконачна Булова алгебра подалгебра Булове алгебре партитивног скупа (мада ово није увек посебно практично за представљање бесконачне Булове алгебре).
Партитивни скуп скупа S гради Абелову групу када се посматра са операцијом симетричке разлике (са празним скупом као јединицом и сваким скупом као својим инверзом) и комутативну полугрупу када се посматра са операцијом пресека. Стога се може показати (доказивањем дистрибутивног закона) да партитивни скуп кад се посматра са обе ове операције гради комутативни прстен.
Литература
уреди- Ayres, Frank (1965). Schaum's Outline of Modern Abstract Algebra. McGraw-Hill. ISBN 978-0-07-002655-1.