Za ostala značenja, vidi Skup (razvrstavanje).

Skup je osnovni matematicki pojam koji se ne definiše. Iako nema definiciju skup se može shvatiti kao bilo koja kolekcija različitih objekata smatranim cjelinom. Iako se ovo čini jednostavnom idejom, skupovi su svejedno jedan od najvažnijih fundamentalnih koncepata u modernoj matematici. Matematička disciplina koja proučava moguće skupove, teorija skupova, je sadržajno bogata i aktivna.

Intersekcija od dva skupa Vennova dijagrama

Teorija skupova, stvorena tek krajem 19. stoljeća, je danas sveprisutni dio matematičkog obrazovanja, te se stoga u većini zemalja uvodi već u osnovnoj školi. Teorija skupova se može da se shvati kao osnova nad kojom može biti izgrađena gotovo cijela matematika, te kao ishodište iz kojeg gotovo cijela matematika može biti izvedena.

Osnovni pojmovi

uredi

Pojam skupa se obično ne definiše i nema zvaničnu definiciju, već se uzima kao osnovni pojam, a često se umjesto tog termina koriste razni sinonimi, kao što su, na primjer, mnoštvo, familija, kolekcija isl.

Za označavanje skupova najčešće koristimo velika slova latinice  . Ako je neki skup konačan ili prebrojivo beskonačan, pa se njegovi elementi mogu nabrojati, koristimo se zapisom.

 , odnosno  ;

takođe, elemente nekog skupa možemo opisati ako koristimo neko svojstvo   koje oni (i samo oni) zadovoljavaju:

 

Dakle, skup je određen svojim elementima; pripadnost elementa   skupu   označava se sa  , a nepripadnost sa  .

Između skupova se uvode dvije osnovne relacije - jednakost i inkluzija:

 

 

Neposredno iz ovih definicija je jasno da je

 

Posebno izdvajamo prazan skup, koji označavamo sa   i možemo definisati, na primjer, pomoću  . Taj skup ima osobinu da je   za bilo koji skup  . Takođe, ako su u okviru neke teorije svi skupovi sa kojima operišemo podskupovi nekog fiksiranog skupa, taj skup nazivamo univerzalnim i često obilježavamo sa  . Takav skup znači ima osobinu da je   za sve skupove   sa kojima operišemo u datom problemu, pri čemu treba naglasiti da nije ispravno koristiti termin "skup svih skupova" - on može dovesti do neželjenih paradoksa.

Istorija

uredi

Savremena teorija skupova nastaje krajem 19. veka kada nemački matematičar Georg Kantor daje opisnu matematičku teoriju koja se još naziva i intuitivna ili naivna teorija skupova.

Definicija
Skup je objedinjenje izvesnih elemenata u jednu celinu.

Ovde će biti predstavljen sistem aksioma kakvog ga je postavio Gotlob Frege u knjizi "Osnovni zakoni aritmetike" 1893. godine

Aksioma o jednakosti dva skupa
Dva skupa su jednaka ako i samo ako imaju iste elemente.
Aksioma apstrakcije
Za unapred zadato svojstvo P(x) postoji skup {x|P(x)} čiji su elementi upravo oni objekti koji imaju to svojstvo.
Aksioma izbora
Za svaki neprazan skup S postoji funkcija f čiji su originali neprazni podskupovi tog skupa, a slike su elementi originala, tj.
 

Poslednja aksioma kaže da svako svojstvo definiše skup. Međutim, već 1902. godine će Bertran Rasel pokazati primer koji vodi kontradikciji. To dobija naziv Raselov paradoks, a teorija skupova se našla pred velikim problemima.

Operacije sa skupovima

uredi

Sa skupovima se mogu izvoditi razne operacije. Dajemo definicije nekoliko osnovnih:

 

 

 

Osobine skupova

uredi

Osnovne osobine skupova su zadate u sljedećoj listi:

  (zakoni komutacije)

  (zakoni asocijacije)

  (zakoni distribucije)