Теорија скупова

Венов дијаграмкоји илуструјепресекдваскупа.

Теорија скуповаје математичка теорија добро дефинисаних колекција објеката које зовемо скуповима. Ови објекти се зову елементискупа.Чиста теорија скупова је она теорија у којој су елементи скупа опет скупови. Срж теорије скупова је проучавање бесконачних скупова. У теорији скупова скупови су дати аксиоматски, тј њихово постојање и основна својства су дата одговарајућим формалнимаксиомама.Формални језик чисте теорије скупова допуштају да се формализују сви математички појмови. На тај начин теорија скупова постаје стандардна основа математике пошто сваки математички објект може да се види као скуп и свака теорема математике може логички бити изведена предикатским рачуном из аксиома теорије скупова.

Оба аспекта теорије скупова, као математичке науке о бесконачном и као основе математике, имају своје филозофско значење. Да би се могао у потпуности разумети овај чланак, потребно је прво прочитати чланакОснове теорије скупова.

Историја

Георг Кантор

Математички појмови се обично се појављују и развијају путем међусобних интеракција многих истраживача. Теорију скупова је, међутим, утемељио један радГеорга Кантораиз 1874: „О својствима колекције свих реалних алгебарских бројева“.

Од 5. века п. н. е., почевши сагрчкимматематичаромЗеноном из Елејена Западу, и ранихИндијских математичарана Истоку, математичари су се борили са концептомбесконачности.Посебно значајан је радБернарда Болцанау првој половини 19. века.Савремено схватање бесконачности је настало током периода 1867–71, са Канторовим радом натеорији бројева.Један састанак Кантора иРихарда Дедекиндаиз 1872. године је имао утицаја на Канторова размишљања и кулминирао је његовом публикацијом из 1874. године.

Канторов рад су иницијално популаризовали његови савременици. Док суКарл Вајерштраси Дедекинд подржавали Кантора,Леополд Кронекер,који се у данашње време сматра оснивачемматематичког конструктивизма,није. Канторова теорија скупова је временом постала широко прихваћена, због корисности њених концепата, попутбијекцијемеђу скуповима, његовог доказа да постоји вишереалних бројеванегоцелих бројева,и концепата као што је „бесконачност бесконачности “(„Канторов рај“) која произилази из операцијапартитивног скупа.Корисност теорије скупова је довела до чланка „Mengenlehre“,који јеАртур Шенфлиснаписао заКлајнову енциклопедију1898. године.

Следећи талас узбуђења теоријом скупова је наишао око 1900. године, када је откривено да нека тумачења Канторове теорије скупова доводе до извесних противречности, званихантиномијеилипарадокси.Бертранд РаселиЕрнст Цермелосу независно један од другог пронашли најједноставнији и најпознатији парадокс, који се у данашње време зовеРаселовим парадоксом:размотримо „скуп свих скупова који нису чланови самих себе “, што доводи до контрадикторности пошто скуп мора бити члан самог себи, и не може да буде члан самог себе. Године 1899. сам Кантор је поставио питање „Шта јекардиналан бројскупа свих скупова? “, и дошао је до сличног парадокса. Расел је користио свој парадокс као тему у његовом прегледу континенталне математике из 1903.:Принципи математике.

Године 1906. је енглеским читаоцима постала доступна књига „Теорија скупова и тачака “аутораВилијама Хенрија Јангаи његове супругеГрејс Чишолм Јанг.

Моменат теорије скупова је био такав да дебата о парадоксима није довела до њеног напуштања. Рад Зермела из 1908, иАбрахама Френкелаиз 1922. године произвели су сет аксиомаЦермело-Френкелове теорије скупова,који су постали најшире кориштени аксиоми у теорији скупова. Раданалитичара,попутАнрија Лебега,је показао велику математичку корисност теорије скупова, која је од тада постала уткана у модерну математику.

Исходишта

Оцем теорије скупова, као посебне математичке дисциплине, се сматра Георг Кантор (нем.Georg Cantor). Његово фундаментално откриће је било да је скуп реалних бројева непребројив тј. и поред тога да су скупови природних и реалних бројева бесконачни, више је реалних бројева него природних што је довело до закључка да постоје различите вредности бесконачности.

Према Кантору два скупа$A$и$B$су исте величине, тј. кардиналности, ако се елементи скупа$A$могу 1-у-1 пресликати у елементе скупа$B$.На тај начин скупови$\mathbb {N}$природних и реалних$\mathbb {R}$бројева имају различите кардиналности. Тиме је Кантор дефинисао његову хипотезу континуума која тврди да сваки бесконачни скуп реалних бројева је или пребројив или није тј. има кардиналност скупа$>\mathbb {N}$,или кардиналност скупа$\mathbb {R}$.До данас, Канторова хипотеза континуума нити је оборена нити доказана. Покушаји да се ова хипотеза докаже довели су до сазнања да се сама хипотеза не може нити доказати нити оборити на основи постојеће аксиоматике модерне теорије скупова.

Наивно схватање да скуп мора да има увек неко својство или карактеристику довело је до открића тзв. Раселовог (енгл.Bertrand Russell) парадокса (који је пре Расела био познат Цермелоу (нем.Ernst Zermelo)) који гласи:

Нека је дато својство скупова по коме скупови нису елементи самих себе. Ако ово својство дефинише скуп, назовимо га скуп$A$,тада је$A$елемент самога себе ако није елемент самога себе.

На тај начин неке колекције као што су колекција свих скупова, колекција свих ординалних бројева, колекција свих кардиналних бројева, нису скупови. Овакве колекције се зову праве класе.

Да би се избегли парадокси и добила чврста основа теорије, теорија скупова је аксиоматизована. Прву аксиоматизацију теорије је дао Цермело који је избегао Раселов парадокс аксиомом раздвајања која квантифицира својства скупа преко тврдње другог реда. Сколем (норв.Thoralf Skolem) и Френкел (енгл.Abraham Fraenkel) су аксиому раздвајања формализовали формулама првог реда а затим увели аксиому замене која је била нужна да би се подупро развој теорије трансфинитних ординала и кардинала. Даљи рад у циљу побољшања Цермелове теорије је био на доказивању основних чињеница теорије скупова као што је тврдња да се сваки скуп садржи у неком транзитивном скупу, тј. скупу који садржи све елементе сопствених елемената. Фон Нојман (енгл.John von Neumann) је додао аксиому основе чиме је створен стандардни аксиоматички систем теорије скупова који се зове Цермело-Френкел аксиоме са аксиомом избора.

Аксиоме теорије скупова

У овој секцији изложићемо, у кратким цртама, Цермело-Френкел аксиоме са аксиомом избора (ЦФИ). Цела аксиоматика ће бити изложена улогици првог редаса само једном бинарном релацијом припадности$\in$.

• Аксиома проширења:
  • Два скупа$A$и$B$су једнаки ако имају исте елементе.
• Аксиома пара:
  • Ако су дати скупови$A$и$B$,тада постоји скуп${A,B}$који садржи само$A$и$B$као своје елементе. Постоји такође скуп$\{A\}$чији је један једини елемент скуп$A$.
• Аксиома партитивног скупа:
  • За сваки скуп$A$постоји скуп${\mathcal {P}}(A)$који се зове партитивни скуп скупа$A$чији су елементи сви подскупови скупа$A$.
• Аксиома уније:
  • За сваку скуп$A$постоји скуп$\cup A$који се зове унија скупа$A$а чији су елементи елементи скупа$A$.
• Аксиома бесконачности:
  • Постоји бесконачан скуп, тј. постоји скуп$Z$који садржи$\emptyset$и такав да ако је$A\in Z$тада је$\cup \{A,\{A\}\}\in Z$.
• Аксиома раздвајања:
  • За сваки скуп$A$и свако дато својство скупа постоји скуп који садржи елементе скупа$A$који имају поменуто својство скупа. Својство скупа је дефинисано формулом$\phi$у логици првог реда теорије скупова. На тај је начин аксиом раздвајања у суштини аксиом шема тј. бесконачна листа аксиома, где је свака аксиома дата формулом$\phi$.
• Аксиома замене:
  • За сваку функцију која се може дефинисати на скупу$A$као свом домену постоји скуп чији су елементи све вредности ове функције. Замена је такође аксиома шема јер су функције дефинисане формулама.
• Аксиома основе (регуларности):
  • Сваки непразни скуп$A$садржи неки$\in$-минимални елемент тј.елемент који не садржи ни један други елемент скупа$A$.
• Аксиома избора:
  • За сваки скуп$A$узајамно дисјунктних непразних скупова постоји скуп који садржи тачно један елемент из сваког скупа који припада скупу$A$.

Аксиома празног скупа није укључена у горњу листу јер се ова аксиома може извести из Аксиоме бесконачности. Проблеми и сумње у ваљаност ове аксиоме потичу од чињенице да аксиома тврди да постоје скупови који не могу бити експлицитно дефинисани. Ове сумње су уклоњене Геделовим (нем.Kurt Gödel) доказом да је аксиома избора сагласна са осталим Цермело-Френкел аксиомама. Аксиома избора је еквивалентна принципу добре уређености који тврди да сваки скуп може да се добро уреди тј. сваки скуп може да се линеарно уреди тако да сваки његов непразан подскуп има неки минимални елемент.

У теорији скупова се поред симбола$\in$користе помоћни симболи подскупа$(\subseteq )$,уније$(\cup )$,пресека$(\cap )$,уређеног пара$((A,B))$и Декартовог производа$(A\times B)$који нису нужни. Детаљније о овим помоћним симболима види уОснове теорије скупова,

Теорија трансфинитних ординала и кардинала

Цермело-Френкелове аксиоме (ЦФ) заједно са аксиомом избора могу се користити при развоју Канторове теорије трансфинитних (тј. бесконачних) типова уређења: ординала и кардинала.

Први ординални број је$\emptyset$.Ако је дат ординал$\alpha$,онда је његов непосредни следбеник$\alpha +1$дефинисан као скуп$\alpha \cup \{\alpha \}$.Ако је дат непразан скуп$X$ординала такав да је за свако$\alpha \in X$његов следбеник$\alpha +1$такође у$X$,може се добити гранични ординал$\cup X$.Лако се показује да је сваки ординал строго добро уређен преко релације$\in$,тј. линеарно је уређен преко$\in$и не постоји бесконачно$\in$-опадајући низ. Сваки добро уређени скуп јеизоморфаннеком јединственом ординалу који се зове тип уређења.

Операције сабирања и множења природних бројева се могу проширити на ординале. Ординал$\alpha +\beta$је тип уређења доброг уређења које се добија спајањем добро уређеног скупа типа уређења$\alpha$и добро уређеног скупа типа уређења$\beta$.Низ ординала добро уређених по$\in$,је

$0,1,2,\dots,n,\dots,\omega,\omega +1,\omega +2,\dots,\omega +\omega,\dots,n.\omega,\dots,\omega.\omega,\dots,\omega ^{n},\dots,\omega ^{\omega },\dots$

Ординали задовољавају принцип трансфинитне индукције: претпоставимо да је$C$класа ординала таква да кад год$C$садржи све ординале$\beta$који су мањи од неког ординала$\alpha$,тада је$\alpha$такође у$C$.На тај начин класа$C$садржи све ординале. Користећи трансфинитну индукцију може се у ЦФИ (за шта је потребна и аксиома замене) доказати принцип трансфинитне рекурзије који каже да ако је дата класа-функција која се може дефинисати$G:V\leftarrow V$,онда се може дефинисати класа-функција$F:Ord\leftarrow V$,где је$Ord$класа свих ординала, таква да$F(\alpha )$је вредност функције$G$примењене на функцију$F$која је ограничена на$\alpha$.$V$је универзум свих скупова дефинисан у следећој секцији. Трансфинитна рекурзија се користи, на пример, да се дефинишу аритметичке операције сабирања, множења и експонента на ординалима.

Било који бесконачни скуп је пребројив ако се може 1-у-1 пресликати у$\omega$,тј. који је бијективан са$\omega$.Сви ординали које смо споменули горе су или коначни или пребројиви. Скуп свих коначних и пребројивих ординала је такође ординал, означен са$\omega ^{1}$,који није пребројив. На исти начин скуп свих ординала који су бијективни са неким ординалом који је мањи од ординала$\omega ^{1}$је такође ординал, означен са$\omega ^{2}$,и који није бијективан са$\omega ^{1}$,итд.

Кардинал се дефинише као ординал који није бијективан са неким мањим ординалом. Тиме је сваки коначни ординал и кардинал. Бесконачни кардинали се записују словом алеф ($\aleph$) и индексирају ординалима.

$\aleph _{0},\aleph _{1},\aleph _{2},\dots,\aleph _{\omega },\aleph _{\omega +1},\dots,\aleph _{\omega +\omega },\dots,\aleph _{\omega +\omega ^{2}},\dots,\aleph _{\omega ^{\omega }},\dots,\aleph _{\omega _{1}},\dots,\aleph _{\omega _{2}},\dots$

За сваки кардинал постоји већи кардинал и граница растућег низа кардинала је опет кардинал. Класа свих кардинала није скуп него права класа.

Бесконачни кардинал$\kappa$је регуларан ако није унија мање од$\kappa$мањих кардинала.$\aleph _{0}$је регуларни кардинал као и сви његови бесконачни следбеници кардинали као што је$\aleph _{\aleph _{n}}$.Не-регуларни бесконачни кардинал се зове сингуларни кардинал. Први сингуларни кардинал је$\aleph _{\omega }$и унија је пребројиво много мањих кардинала, тј.$\aleph _{\omega }>=\cup _{n<\omega }\aleph _{n}$.

Кофиналност кардинала$\kappa$,у ознаци$cf(\kappa )$,је најмањи кардинал$\lambda$такав да је$\kappa$унија$\lambda$-много мањих ординала, тј.$cf(\aleph _{\omega })=\aleph _{0}$.

По аксиоми избора сваки скуп$A$се може добро уредити, тј. бијектван је са неким јединственим кардиналом који се зове кардиналност скупа$A$.Сума$\kappa +\lambda$двају кардинала$\kappa$и$\lambda$се дефинише као кардиналност скупа који је унија било која два дисјунктна скупа где је кардиналност једнога$\kappa$а другога$\lambda$.Производ$\kappa \times \lambda$се дефинише као кардиналност Декартовог производа$\kappa \times \lambda$.Операције суме и производа двају бесконачних кардинала$\kappa$и$\lambda$се дефинишу као$\kappa +\lambda =\kappa.\lambda =max\{\kappa,\lambda \}$.

Експонент кардинала је изузетно комплексан проблем па ћемо га изоставити.

Универзум$V$свих скупова

ЦФ аксиоме, са изузетком аксиоме проширивости, служе при градњи кумулативне хијерархије скупова. Користећи трансфинитну рекурзију дефинишемо класу-функцију која која додељује сваком ординалу$\alpha$скуп$V_{\alpha }$на следећи начин:

$V_{0}=\emptyset$

$V_{\alpha +1}={\mathcal {P}}(V_{|alpha})$

$V_{|alpha}=\cup _{\beta <\alpha }V_{\beta }$кад год је$\alpha$гранични ординал.

Аксиома партитивног скупа се користи да се од$V_{\alpha }$добије$V_{\alpha +1}$.Аксиоме замене и уније се користе да се добије$V_{\alpha }$за$\alpha$гранични ординал. Аксиома бесконачности се користи да се докаже постојање$\omega$а тиме и трансфинитни низ ординала. Аксиома основе, уз претпоставку важења осталих аксиома, је еквивалентна тврдњи да сваки скуп припада неком$V_{\alpha }$за неки ординал$\alpha$.На тај начин ЦФ доказује да теоретски универзални скуп, означен са$V$,је унија свих$V_{\alpha }$,где је$\alpha$неки ординал.

Права класа$V$,заједно са релацијом$\in$,задовољава све ЦФИ аксиоме а је тиме и један модел ЦФИ. ЦФИ није комплетан опис што ћемо управо показати.

Доказано и значајно својство$V$које се може доказати помоћу ЦФИ је такозвани принцип рефлексије. За сваку формулу$\phi (x_{1},\dots,x_{n})$ЦФИ доказује да постоји неки ординал$\alpha$такав да га$V_{\alpha }$рефлектује, тј за сваки$a_{1},\dots,a_{n}\in V_{\alpha }$

$\phi (a_{1},\dots,a_{n})$важи у$V$ако и само ако$\phi (a_{1},\dots,a_{n}$) важи у$V_{\alpha }$

Отуд$V$се не може описати неком реченицом, пошто било која реченица која важи у$V$мора да такође важи у неком иницијалном сегменту од$V_{\alpha }$.Отуд долазимо до закључка да ЦФИ није финално аксиоматизована јер би у противном ЦФИ доказала да, за неограничено много ординала$\alpha$,$V_{\alpha }$је неки модел ЦФИ, што противречи другој Геделовој теореми.

Принцип рефлексије је суштина ЦФ теорије скупова пошто је овај принцип еквивалентан аксиомама бесконачности и замене уз важење осталих ЦФ аксиома.

Теорија скупова као основа математике

Цела математика се може формализовати унутар ЦФИ што значи да је могуће саму математику проучавати математички. Сваком питању о постојању неког математичког објекта или могућности доказивања неке претпоставке или хипотезе може се дати прецизна математичка формулација. Питање о могућности доказа неке математичке тврдње постаје смислено математичко питање. Кад је већ реч о нерешеном математичком проблему или дилеми има смисла да се упитамо да ли је могуће решити их унутар формалног ЦФИ система. Одговор може не бити ни да ни не јер је ЦФИ некомплетан систем.

Наведимо неколико примера где је могуће формализовати математичке објекте унутар ЦФИ. Скуп природних бројева се може идентификовати са коначним ординалима, тј.$>\mathbb {N} =\omega$.Скуп целих бројева$\mathbb {Z}$може да се дефинише као скуп класа еквиваленције парова природних бројева где је релација еквиваленције$(n,m)\equiv (n\prime,m\prime )$ако и само ако$n+m\prime =m+n\prime$.Ако се сваки природни број$n$идентификује са класом еквиваленције пара$(n,0)$онда се операције суме и производа природних бројева могу природно проширити на скуп целих бројева$\mathbb {Z}$.Скуп рационалних бројева$\mathbb {Q}$се може да дефинише као скуп класа еквиваленције парова$(n,m)$целих бројева при чему је$m\neq 0$и при релацији еквиваленције$(n,m)\equiv (n\prime,m\prime )$ако и само ако је$n.m\prime =m.n\prime$.Операције суме и производа на$\mathbb {Z}$могу се природно проширити на$\mathbb {Q}$.Поредак$\leq _{\mathbb {Q} }$на скупу рационалних бројева је дефинисан са:$r\leq _{\mathbb {Q} }s$ако и само ако постоји$t\in \mathbb {Q}$такво да је$s=r+t$.Реални бројеви се могу дефинисати као Дедекиндови пресеци у$\mathbb {Q}$,тј. реални број је дат паром$(A,B)$двају дисјунктних непразних скупова таквих да је$A\cup B=\mathbb {Q}$,и$a\leq _{\mathbb {Q} }b$за свако$a\in A$и$b\in B$.Операције суме, производа и уређености$\leq _{\mathbb {Q} }$на$\mathbb {Q}$,се могу проширити на скуп реалних бројева$\mathbb {R}$.

ЦФИ модел је пар$(M,E)$где је$M$непразан скуп а$E$је бинарна релација на$M$таква да су све ЦФИ аксиоме истините ако се интерпретирају у$(M,E)$.На тај начин ако је$\phi$нека тврдња у теорији скупова онда се може наћи неки ЦФИ модел за који је тврдња$\phi$важећа, тада се негација$\neg \phi$не може доказати у ЦФИ. Ако се може наћи модел за$\phi$и модел за$\neg \phi$,тада се$\phi$не може доказати нити оборити у ЦФИ. У том се случају каже да је$\phi$независна од ЦФИ. Геделова теорема комплетности логике првог реда каже да је ЦФИ консистентна аксиоматика ако се може наћи ЦФИ модел. Консистентност овде значи да ЦФИ аксиоме нису противречне једна другој.

Геделове теореме некомплетности показују да било који формални систем у математици који има смисла је обавезно некомплетан. Ако је ЦФИ консистентан онда у ЦФИ постоје тврдње које су независне од ЦФИ. Геделова друга теорема некомплетности доказује да формална аритметичка тврдња CON(ЦФИ) која показује да је ЦФИ консистентан систем не може бити доказана у ЦФИ као што не може бити доказана њена негација, тј. CON(ЦФИ) је независна од ЦФИ.

Ако је ЦФИ консистентан, тада није могуће доказати постојање ЦФИ модела јер би у супротном било могуће да се у ЦФИ докаже консистентност самог ЦФИ. На тај начин је доказ консистентности или независности неке тврдње$\phi$увек доказ релативне консистентности, тј. ако се претпостави да је ЦФИ консистентан онда ЦФИ има модел а тиме се може конструисати други модел за коју је тврдња$\phi$истинита.

Лебег (фр.Henri Léon Lebesgue) је увео појам мере скупа као апстракцију дужине за скупове на реалној правој. ЦФИ показује да постоје скупови који немају Лебегову меру што практично значи да за вероватноћу на реалним бројевима постоје догађаји без вероватноће и да се сваки догађај може уметнути између два догађаја без вероватноће. Да ли и које последице ова чињеница има у наукама које се баве реалним светом, нико још није размишљао.

Види још

• Аксиоматска теорија скупова
• Зермело-Френкел теорија скупова
• Теорија скупова континуума

Литература

• Jech, T. (2006).Set Theory,The Third Millennium Edition, revised and expanded,4th edition, Springer-Verlag, Berlin-Heidelberg-New York
• Bolzano, Bernard(1975). Berg, Jan, ур.Einleitung zur Größenlehre und erste Begriffe der allgemeinen Größenlehre.Bernard-Bolzano-Gesamtausgabe, edited by Eduard Winter et al. Vol. II, A, 7. Stuttgart, Bad Cannstatt: Friedrich Frommann Verlag. стр. 152.ISBN978-3-7728-0466-3.
• Cantor, Georg(1874).Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen.J. Reine Angew. Math.77.стр. 258—262.doi:10.1515/crll.1874.77.258.
• Godehard Link (editor): One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy, Walter de Gruyter, Berlin-New York 2004
• Aleksandar Perović, Aleksandar Jovanović, Boban Veličković: Teorija skupova.ISBN978-86-7589-058-4Matematički fakultet, Beograd
• Andras Hajnal, Peter Hamburger: Set Theory, Cambridge University Press, Nov 11, 1999
• Devlin, Keith (1993).The Joy of Sets.New York: (2nd ed.). Springer Verlag.ISBN978-0-387-94094-6.
• Ferreirós, Jose (2007).Labyrinth of Thought: A history of set theory and its role in modern mathematics.Basel: Birkhäuser.ISBN978-3-7643-8349-7.
• Johnson, Philip (1972).A History of Set Theory.Prindle: Weber & Schmidt.ISBN978-0-87150-154-7.
• Kunen, Kenneth (1980).Set Theory: An Introduction to Independence Proofs.North-Holland.ISBN978-0-444-85401-8.-
• Potter, Michael, 2004.Set Theory and Its Philosophy: A Critical Introduction.Oxford University Press.
• Tiles, Mary (1989).The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise.Dover Publications.ISBN978-0-486-43520-6.

Спољашње везе

• Stanford Encyclopedia of Philosophy Archive/Set Theory
• Foreman, Matthew,Akihiro Kanamori,eds.Handbook of Set Theory.3 vols., 2010. Each chapter surveys some aspect of contemporary research in set theory. Does not cover established elementary set theory, on which see Devlin (1993).
• Hazewinkel Michiel, ур. (2001). „Axiomatic set theory”.Encyclopaedia of Mathematics.Springer.ISBN978-1556080104.
• Hazewinkel Michiel, ур. (2001). „Set theory”.Encyclopaedia of Mathematics.Springer.ISBN978-1556080104.
• Bagaria, Joan (2019). "Set Theory",Stanford Encyclopedia of Philosophy.
• Schoenflies, Arthur(1898).MengenlehreinKlein's encyclopedia.