Основе теорије скупова
<s></s>

<s>Основе и нотација 
Скупови су добро дефинисисане колекције елемената.</s><s>Основна релација у теорији скупова је припдадност.</s><s>Пишемо  да би рекли да елемент  припада скупу  или да је  елемент из скупа .</s><s>Празан скуп или скуп без елемената означаваћемо симболом .</s>

<s>Кажемо да је  подскуп скупа , односно , ако је сваки елемент  елемент скупа .</s><s>Дакле,  ако и само ако је  и .</s><s>Специјални случај , за сваки скуп .</s>

<s>Базичне операције над два скупа  и :</s>

<s>Скуп  се зове унија скупова  и , елементи уније су елементи скупа  и скупа .</s>

<s>Скуп  се зове пресек скупова  and , елементи пресека су заједнички елемент скупова  и .</s>

<s>Скуп  се зове разлика скупова  и , елементи разлике су сви елементи скупа  који не припадају скупу</s>

<s>Три горе наведене базичне операције теорије скупова имају следећа својства</s>

<s>Комутативност: ;</s>

<s>Асоцијативност: ;</s>

<s>Дистрибутивнност: ;</s>

<s>Нотација  скуп који има само један елемент   скуп чији су елементи  Идемпотенција: ; ; ;</s>

<s>Ако је , тада је ; ;</s>

<s>Ако је  тада је  и</s>

<s>Дефиниција уређеног пара</s>

<s>Уређени пар се дефинише као  Својства уређеног пара: ако је  онда је  и ; ако је  онда је(.</s>

<s>Уређена тројка:  Уређена -торка: .</s>

<s>Дефинифија картезијанског производа</s>

<s>Картезијски производ  два скупа  и  је скуп свих уређених парова  таквих да је  и .</s>

<s>Картезијски производ  скупова  је скуп свих -торки за које је  за свако .</s>

<s>Релације 
Бинарна релација на скупу  је скуп уређених парова елемената из  који је подскуп скупа .</s><s>У општем случају, -арна релација дефинисана на  је подскуп скупа .</s>

<s>Својства бинарне релације</s>

<s>рефлексивност:  важи за свако</s>

<s>симетричност:  кад год је</s>

<s>транзитивност:  кад год је  и .</s>

<s>Ако је релација у исто време рефлексивна, симетрична и транзитивна онда се таква релација зове релација еквиваленције.</s>

<s>Ако је  релација еквиваленције на скупу  и  тада се каже да су  и  are -еквивалентни.</s><s>За свако  a класа еквиваленције, означена са , је скуп свих елемената скупа  који су -еквивалентни .</s><s>Скуп свих -еквивалентних класа се зове скуп количник и означава се са .</s><s>Лако се може показати да је  партиција скупа ,тј. ни један елемент из  није празан, било која два елемента из  су дисјунктна, а сваки  припада тачно једном елементу скупа , тј. класи .</s>

<s>Ако је  бинарна релација онда се често пише  уместо .</s>

<s>За бинарну релацију  дефинисану на скупу  се каже да је антисиметрична ако је  кад год је  и .</s><s>Релација  дефинисана на скупу  и која је рефлекцивна, антисиметрична и транзитивна се зове (рефлексивни) парцијални поредак.</s><s>Ако из  одстранимо све парове  за свако  тада ћемо добити строги рефлексивни поредак.</s>

<s>Функције 
(Унарном, 1-арном) функцијом на скупу  се назива бинарна релација  на  таква да за свако  постоји тачно један пар .</s><s>Елемент  се зове вредност релације  у , и означава са .</s><s>Скуп  је домен функције .</s><s>Ознака  се чита као  је функција на домену  и вредностима у скупу .</s><s>За , -арна функција на  је функција , за неко .</s>

<s>Функција  се зове један-у-један функција ако за све елементе  и  из  и  важи да је .</s><s>Функција  је пресликавање скупа  на скуп  ако и само ако за свако  постоји неко  такво да је .</s><s>Функција  је бијективна ако је један-у-један и на.</s><s>Бијекција  успоставља један-у-један пресликавање елемената из  у елементе из .</s><s>Функција идентичности на скупу , записана као , а коју чине сви парови , где је  је пример тривијалне бијекције.</s>

<s>Ако су дате функције  и , кажемо да је композиција функција  и , записана као , она функција  чији су елементи сви парови , где је .</s><s>Ако су  и  бијекције, онда је  бијекција.</s>

<s>Формуле 
Формални језик теорије скупова је језик логике првог реда чији је једини не-логични симбол симбол бинарне релације припадности .</s>

<s>Ако је дата формула  у језику теорије скупова и скупови , онда се може формирати скуп свих елемената из  који задовољава формулу .</s><s>Овај скуп се записује са .</s><s>Следи неколико примера формуле
 
 
 
 
Ако су  и  подскупови скупа , онда важи формула
 
Ако је дат подскуп  каже се да је пројекција  (на прву координату) скуп
 
Ако су дати формула  и скупови , онда се не може формирати скуп свих скупова који задовољава формулу .</s><s>Нека је  формула и .</s><s>Ако би  био скуп свих скупова који задовољава формулу , тада  ако и само ако . (Раселов парадокс, 1901).</s>

<s>Ординали 
Ординале, који спадају у трансфинитне бројеве, а служе као типови уређења, је увео Кантор.</s><s>Први ординал се диефинише као .</s><s>Ако је дат ординал  онда је следећи већи ординал, који се зове и непосредни следбеник ординала , скуп .</s><s>Коначни ординални бројеви су они ординали који се добију почевши са  а затим се конструишу следећи ординали.</s>

<s>У теорији скупова природни бројеви су дефинисани као коначни ординали, тј.:
 
 
 
 
 ...</s><s>Примећује се да је , , , ...,   тј. сваки природни број је скуп својих претходника.</s>

<s>За скуп  се каже да је коначан ако постоји 1-у-1 пресликавање између неког природног броја  и елемената скупа , тј. бијекција , у ком се случају каже да скуп  има  елемената.</s><s>За неки скуп се каже да је бесконачан ако није коначан.</s>

<s>Скуп свих коначних ординала ћемо означавати са .</s><s>На тај начин је  скуп , тј. скуп природних бројева при чему је  први бесконачни ординал.</s><s>Ординал  није следбеник ни једног ординала и назива се гранични ординал.</s><s>Техника рачунања ординала следбеника је већ описана.</s><s>Треба уочити да је немогуће имати скуп свих ординала јер би у томе случају имали нови гранични ординал што је немогуће, јер смо већ дефинисали гранични ординал.</s>

<s>Као што је случај са коначним ординалима, сваки бесконачни ординал је скуп својих претходника.</s><s>Последица ове чињенице је да је релација  релација стриктног добро дефинисаног поретка ординала, тј. за било која два ординала  и  кажемо да је  ако и само ако је .</s>

<s>Пребројиви и непребројиви скупови 
Ако је  коначан скуп онда постоји бијекција  између скупа природних бројева  и скупа .</s><s>Сви коначни скупови су пребројиви, тј.  је први елемент скпа ,  други, итд.</s><s>Било који бесконачни скуп  је пребројив ако постоји бијекција  између скупа природниh бројева и скупа .</s><s>Лако је показати да је
 сваки бесконачни подскуп пребројивог скупа такође пребројив
 унија два пребројива скупа пребројив скуп
 Декартов производ два пребројива скупа пребројив скуп
Директна послеdица последње тврдње је да је скуп рационалних бројева  пребројив јер се сваки рационални број може да представи као количник два цела броја  и , , где је  ( скуп целих бројева).</s><s>Кантор је показао да је скуп реалних бројева  непребројив.</s>

<s>Као што постоје непребројиви скупови тако постоје непребројиви ординали.</s><s>Скуп свих коначних и пребројивих ординала је ординал, који се означава са , и представља први непребројиви ординал.</s>

<s>Кардинални број, као трансфинитни број и тип бијективне коресподентности, је такође увео Кантор.</s><s>Кардинални број коначног скупа  је јединствани природни број  дефинисан бијекцијом .</s>

<s>Код бесконачних скупова кардиналност је дефинисана бесконачним ординалом.</s><s>Пошто су ординали добро уређени, можемо рећи да је кардиналност неког бесконачног скупа као најмањи ординал који се бијекцијом пресликава у поменути скуп.</s>

<s>Кардиналност ординала  је најмањи ординал  који се бијекцијом пресликава на .</s><s>При томе  се не може пресликати бијекцијом на неки мањи ординал.</s><s>Ординални бројеви који се не могу бијекцијом пресликати на мањи ординал се зову кардинални бројеви.</s>

<s>Бесконачне кардиналне бројеве означавамо са .</s><s>Најмањи бесконачни кардинални број је , следећи је  који је уједно и први непребројиви кардинал, затим , итд.</s>

<s>Извори 
 Paul R. Halmos: Naive Set Thery, Springer Verlag, New York.</s><s>A.K Shen, N. K. Vereshchagin: Basic Set Theory, AMS.</s><s>Aleksandar Perović, Aleksandar Jovanović, Boban Veličković: Teorija skupova.</s><s>Matematički fakultet, Beograd</s>

<s>Teorija skupova</s>

