Теорија скупова континуума
Теорија скупова континуума од Канторових () времена па до 1940-их бавила се углавном реалним бројевима  тј.  континуумом. Главни предмет истраживања теорије скупова континуума су била својства регуларности као и друга структурна својства скупова реалних бројева дефинабилних на . Овај главни предмет се често зове и дескриптивна теорија скупова.

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

Дескриптивна теорија скупова 
Дескриптивна теорија скупова проучава својства и структуре дефинабилних подскупова у  и у другим пољским просторима, тј. оним који су сепарабилни, метрички и комплетни. Као пример пољских простора поменућемо Беров (франц. René-Louis Baire) простор свих функција , простор комплексних бројева, Хилбертов () простор и сепарабилне Банахове (пољ. Stefan Banach) просторе. Најпростији пример скупа реалних бројева су основни отворени скупови реалних бројева тј. отворени интервали са рационалним границама, те њихови комплементи. Ако се узму основни отворени скупови па се на њих примене операције комплементирања пребројиво много пута и формира се пребројива унија тако добијених скупова, добијају се Борелови (франц. Émile Borel) скупови. Сви Борелови скупови поседују сва својства регуларности. Као пример својства регуларности имамо Лебегову (франц. Henri Léon Lebesgue) мерљивост. Скуп реалних бројева је мерљив по Лебегу ако се разликује од неког Бореловог скупа за празан скуп. Ово значи да се скуп мерљив по Лебегу може прекрити отвореним интервалима произвољно мале дужине. Тиме су сви Борелови скупови мерљиви по Лебегу.

Аналитички скупови, у ознаци , дефинишу се као непрекидне слике Борелових скупова; коаналитички скупови или  скупови су комплементи аналитичких скупова. Пројективни скупови се добијају пројекцијом ( на ) и комплементирањем аналитичких скупова. Пројективни скупови формирају хијерархију растуће комплесности. На пример, ако је  коаналитички скуп, онда је пројекција  пројективни скуп у следећем нивоу комплексности изнад коаналитичких скупова. Ови скупови се зову , а њихови комплементи .

Из изложеног се да закључити да је скуп  реалних бројева пројективан ако и само ако је дефинабилан у следећој структури:

Другим речима, у језику за ову структуру постоји формула првог реда  таква да је за неко :

За неки скуп реалних бројева каже се да има Берово својство ако се разликује од отвореног скупа за неки скуп који је пребројива унија скупова који није густ ни у једном интервалу. Скуп реалних бројева има својство савршености ако је пребројив или ако садржи савршен скуп, тј. затворен скуп који нема изолираних тачака.

Помоћу ЦФИ је могуће показати да је сваки (ко)аналитички скуп мерљив по Лебегу и да има Берово својство, а да сваки аналитички скуп има својство савршености. У ЦФИ се не може показати да сваки коаналитички скуп има својство савршености.

Теорија пројективних скупова чија је комплексност већа од комплексности коаналитичког скупа је потпуно ЦФИ неодређена. На пример, у  постоји   скуп који није мерљив по Лебегу и нема Берово својство, а ако Мартинова () аксиома важи — онда такав скуп има својства регуларности.

Детерминација 
Својство регуларности скупа које у себе укључује сва друга класична својства регуларности се зове својство детерминације. Ово својство се може објаснити користећи Беров простор . Елементи простора  су функције  односно низови природних бројева дужине . Простор  је тополошки еквивалент простора ирационалних тачака у . Пошто је скуп рационалних бројева као подскуп скупа реалних бројева  пребројив а заинтересовани смо само за својство регуларности, уместо  се ради са  пошто је скуп рационалних бројева занемарљив што се тиче својства регуларности.

Практичан пример својства детерминације: Нека је . Игра  дефинисана на  има два играча ( и ), који наизменично играју , тј. играч  игра , затим  игра , па  игра ... Тиме у кораку  играч  игра , а у кораку  играч  игра . После бесконачно много корака, ова два играча ће направити бесконачан низ  природних бројева. Било који играч побеђује ако овај низ припадне  након неког корака његове игре.

Игра  је детерминисана ако постоји победничка стратегија за једног од играча. Победничка стратегија за једног од играча је функција  дефинисана на коначном скупу природних бројева у , таква да ако играч игра у сагласности са овом функцијом, односно ако игра  на -том кораку, тај играч ће увек победити без обзира шта игра његов противник.

Каже се да је подскуп  детерминисан ако и само ако је игра  детерминисана. Користећи ЦФИ може се доказати да постоје недетерминисани скупови. Аксиома детерминације (АД) којим се тврди да су сви подскупови скупа  детерминисани је несагласан са аксиомом избора. Мартин је доказао да је у ЦФ сваки Борелов скуп детерминисан. Аксиомом пројективне детерминације (ПД) тврди се да је сваки пројективни скуп детерминисан. Показало се да ПД имплицира да су сви пројективни скупови реалних бројева регуларни.

Хипотеза континуума 
Хипотезу континуума (ХК) формулисао је Кантор. Овом хипотезом се тврди да сваки бесконачни скуп реалних бројева има кардиналност  или исту кардиналност као и , тј. . Затворени скупови реалних бројева имају својство савршеног скупа, одакле следи да сваки непребројив затворен скуп реалних бројева има исту кардиналност као и . На тај начин ХК важи за затворене скупове. Александров () проширио је ХК на Борелове скупове, а Суслин () на све аналитичке скупове. ХК није проширена на коаналитичке скупове и не може се доказати за ове скупове у ЦФИ. Гедел је доказао да је ХК доследна (конзистентна са) ЦФ. Под претпоставком да је ЦФ доследан, може се конструисати неки ЦФИ модел који се зове конструктибилни универзум, у коме ХК важи. Да се доказати да ако је ЦФ доследан, онда су заједно доследни ЦФ, АИ и ХК. Отуд следи да, ако се претпостави да је ЦФ доследан, онда се АИ не може оборити у ЦФ нити се може оборити ХК у ЦФИ.

Референце

Литература 
 Wilder, R. L. (1965). The Foundations of Mathematics. John Wiley & Sons, Inc. изд. II. стр. 150.
 Judah, H., Just, W., Woodin, H. Set Theory of the Continuum Springer Science & Business Media, Dec 6, 2012

Teorija skupova