Skup
Umatematici,skupse može shvatiti kao bilo koja kolekcija različitih apstraktnih objekata smatranim cjelinom. Iako se ovo čini jednostavnom idejom, skupovi su jedan od najvažnijih fundamentalnih koncepata u modernoj matematici.[1]:21Matematička disciplina koja proučava moguće skupove,teorija skupova,je sadržajno bogata i aktivna.[2][3][4][5]
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 shvatiti 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. Ovaj članak predstavlja kratak i osnovni uvod u ono što matematičari zovu "intuitivna" ili "naivna" teorija - za više detalja pogledatinaivna teorija skupova.Za rigorozniji i modernijiaksiomatskipristup skupovima, razvijena je aksiomatska teorija skupova.
Na početku svog djelaBeiträge zur Begründung der transfiniten Mengenlehre,Georg Cantor,principijelni tvorac teorije skupova, je napisao sljedeću definiciju skupa:[5] Pod terminomskupsmatramo bilo koju kolekciju M određenih, različitih objekata m naše zamjedbe ili misli (koji će se zvatielementiskupa M) u cjelinu.
Objekte skupa također zovemo njegovimčlanovimailielementima.Elementi skupa mogu biti raznih vrsta: brojevi, ljudi, slova abecede, drugi skupovi itd. Skupovi se dogovorno označavaju velikim slovimaA,B,C,itd. Za dva skupaAiBkažemo da su jednaka i zapisujemoA=Bako imaju iste članove.
Skup, za razliku odmultiskupa,ne može sadržavati više jednakih elemenata. Sve skupovne operacije čuvaju svojstvo jedinstvenosti elementa u skupu. Slično, redoslijed nabrajanja elemenata skupa je nebitan, za razliku odslijedailitupla.
Nemaju svi skupovi precizan opis - neki mogu jednostavno biti proizvoljne kolekcije, bez nekog jasno izraženog "pravila" koje kazuje koji su elementi unutar ili van skupa.
Neki skupovi mogu biti opisani riječima, na primjer:
- Aje skup čiji su članovi prva četiricijela broja.
- Bje skup čiji su članovi boje hrvatske zastave.
Dogovorno se skup također može definirati eksplicitnim nabrajanjem svih elemenata između vitičastih zagrada, na primjer:
- C= {4, 2, 1, 3}
- D= {crvena, bijela, plava}
Dva različita opisa mogu definirati isti skup. Na primjer, gore definirani skupoviAiCsu identični, pošto imaju jednake članove. Skraćeni zapisA=Cse koristi za izražavanje takve jednakosti. Slično, za gore definirane skupove vrijediB=D.
Identitet skupa ne ovisi o redoslijedu nabrajanja elemenata skupa, kao i o mogućim ponavljanjima elemenata prilikom nabrajanja. Na primjer, {6, 11} = {11, 6} = {11, 11, 6, 11}.
Za skupove s mnogo elemenata ponekad se koristi skraćena lista. Na primjer, prvih tisuću pozitivnih cijelih brojeva se mogu opisati simboličkom kraticom:
- {1, 2, 3,..., 1000},
pri čemu specijalni simbol od tri točke (...) označava da se lista nastavlja na podrazumijevani način.
Slično se skupparnih brojevamože opisati notacijom:
- {2, 4, 6, 8,... }.
Složeniji skupovi se ponekad opisuju različitom notacijom. Na primjer, skupFčiji su članovi prvih dvadeset brojeva koji su za četiri manji od kvadrata cijelog broja, može biti opisan na sljedeći način:
- F= {– 4:njecijeli broj;i 0 ≤n≤ 19}
U ovom opisu, dvotočka (:) znači "takav da", i matematičari interpretiraju ovaj opis kao "Fje skup svih brojeva oblika– 4, takvih da jencijeli broj u opsegu od 0 do 19 uključivo. "(Ponekad se umjesto dvotočke koristi okomita crta|.)
Ako nešto jest ili nije element nekog pojedinačnog skupa, tada to simboliziramo saodnosno.Na primjer, u odnosu na već definirane skupove, vrijedi:
- i(budući da je 285 = 17² − 4); ali
- i.
Svaki gore opisan skup ima konačan broj članova - na primjer, skupAima četiri člana, dok skupBima tri člana.
Skup također može imati nula članova. Takav skup zove seprazni skupi označava simbolom ø. Na primjer, skupAsvih trostranih kvadrata ima nula članova, i stoga jeA= ø. Poput broja nula, iako naizgled trivijalan, prazni se skup pokazao kao poprilično važan u matematici.
Skup također može imati beskonačan broj članova - na primjer, skupprirodnih brojevaje beskonačan.
Kaže se da su dva skupaekvipotentna(imajuisti kardinalitetili sujednakobrojniili subijektivni) ako postojibijekcijaiz jednoga skupa u drugi skup.Relacijaekvipotencije jerelacija ekvivalencije,pa se skupovi svrstavaju u disjunktne klase - klasa kojoj pripada skupSzove sekardinalni brojskupaSi oznčava se saili cardSili#S.
Ako je svaki član skupaAtakođer član skupaB,tada se zaAkaže da jepodskupodB,piše se,te izgovaraA je sadržan u B.Može se, također, zapisatišto se čita kaoB je nadskup od A,B uključuje AiliB sadrži A.Relacija između skupova uspostavljenu sazove seinkluzija.
Ako jeApodskup i nije jednak skupuB,tada se zaAkaže da jepravi podskupskupaB,zapisuje s(A je pravi podskup od B) ili(B je pravi nadskup od A). Međutim, u nekoj literaturi ovi se simboli čitaju isto kao ii,te se stoga češto preferira korištenje eksplicitnijih simbolaiza prave podskupove i nadskupove.
Primjeri:
- Skup svih žena je pravi podskup skupa svih ljudi.
Prazni skup je podskup svakog skupa i svaki skup je sam svoj podskup:
Neki istaknuti skupovi imaju izuzetnu matematičku važnosti i toliko se često koriste da su dobili posebna imena i notaciju. Jedan od njih je već spomenuti prazni skup. Neki od ostalih su:
- označava skup svihprostih brojeva.
- označava skup svihprirodnih brojeva.Drugim riječima,= {1, 2, 3,...}, ili rjeđe= {0, 1, 2, 3,...}.
- označava skup svihcijelih brojeva(bilo pozitivnih, negativnih ili nule). Stoga je= {..., -2, -1, 0, 1, 2,...}.
- označava skup svihracionalnih brojeva(tj. skup svih pravih i nepravih razlomaka). Stoga je= {:a,bib≠ 0}. Na primjer,i.Svi cijeli brojevi su u ovom skupu jer se svaki cijeli brojamože izraziti kao razlomak.
- je skup svihrealnih brojeva.Ovaj skup uključuje sve racionalne i iracionalne brojeve (tj. brojeve koji se ne mogu zapisati u obliku razlomka, kao što sui √2).
- je skup svihkompleksnih brojeva.
Svaki od ovih skupova brojeva jebeskonačan,premda vrijedi,iako se prosti brojevi općenito koriste manje od ostalih skupova izvanteorije brojevai srodnih disciplina.
Međutim, ne postoji samo jedna vrsta beskonačnosti. Za skup koji je ekvipotentan (jednakobrojan) sa skupom prirodnih brojevakažemo da jeprebrojivo beskonačan(kraćeprebrojiv), a "veći" skupovi suneprebrojivo beskonačni(kraćeneprebrojivi).
Prebrojivo beskonačni skupovi su, na primjer, skupovi,kao i skup svih prirodnih brojeva koji su parni, neparni, djeljivi s 3, djeljivi 4, itd. Primjeri neprebrojivo beskonačnih skupova sui.
Postoji nekoliko načina za konstruiranje novih skupova od već postojećih. Dva se skupa mogu "zbrojiti".UnijaskupovaAiB,označena sAUB,je skup svih elemenata koji su članovi ili skupaAili skupaB.
Primjeri:
- {1, 2} U {crvena, bijela} = {1, 2, crvena, bijela}
- {1, 2, zelena} U {crvena, bijela, zelena} = {1, 2, crvena, bijela, zelena}
- {1, 2} U {1, 2} = {1, 2}
Neka osnovna svojstva unije:
- AUB=BUA
- Aje podskup skupaAUB
- AUA=A
- AU ø =A
Novi se skup također može konstruirati određivanjem "zajedničkih" elemenata obaju skupova.PresjekskupovaAiB,označen sA∩B,je skup svih elemenata koji su članovi i skupaAi skupaB.Ako jeA∩B= ø, tada zaAiBkažemo da sudisjunktni.
Primjer:
- {1, 2} ∩ {crvena, bijela} = ø
- {1, 2, zelena} ∩ {crvena, bijela, zelena} = {zelena}
- {1, 2} ∩ {1, 2} = {1, 2}
Neka osnovna svojstva presjeka:
- A∩B=B∩A
- A∩Bje podskup skupaA
- A∩A=A
- A∩ ø = ø
Dva se skupa također mogu "oduzeti".Relativni komplementskupaAu skupuB(još se koristi i nazivskupovna razlikaskupovaBiA), označeno sB−A,(iliB\A), je skup svih elemenata koji su članovi skupaB,ali nisu članovi skupaA.Potrebno je uočiti da je valjana operacija "oduzimanja" članova koji nisu u skupu, poput micanja elementazelenaiz skupa {1,2,3} - takva operacija nema učinka.
U određenim postavkama, svi skupovi koji se promatraju, smatraju se podskupovima nekog danoguniverzalnog skupaU.U takvim slučajevima,U−Azove seapsolutni komplementili jednostavnokomplementskupaA,i označava sA′,ACili.
skupaAu skupuB
Primjeri:
- {1, 2} − {crvena, bijela} = {1, 2}
- {1, 2, zelena} − {crvena, bijela, zelena} = {1, 2}
- {1, 2} − {1, 2} = ø
- Ako jeUskup svih cijelih brojeva,Pskup parnih brojeva, aNskup svih neparnih brojeva, tada komplement skupaPuUiznosiN,ili ekvivalentno,P′ =N.
Neka osnovna svojstva komplementa:
- AUA′=U
- A∩A′= ø
- (A′)′ =A
- A−A= ø
- A−B=A∩B′
- ↑Elementarna matematika I(PDF).Prirodoslovno-matematički fakultet. Zagreb. 2018. Inačica izvorne stranice arhivirana 19. prosinca 2019.Pristupljeno 8. travnja 2021.CS1 održavanje: bot: nepoznat status originalnog URL-a (link)
- ↑Teorija skupova(PDF).Sveučilište u Zagrebu. Siječanj 2015. Inačicaizvorne stranice(PDF)arhivirana 24. srpnja 2019.Pristupljeno 24. listopada 2020.
- ↑Halmos, Paul R. (Paul Richard), 1916-2006,.Naive set theory.New York.ISBN0-387-90092-6CS1 održavanje: dodatna interpunkcija (link) CS1 održavanje: više imena: authors list (link)
- ↑Stoll, Robert Roth. 1979, ©1963.Set theory and logic.Dover Publications. New York.ISBN0-486-63829-4Provjerite vrijednost datuma u parametru:
|date=
(pomoć) - ↑abAllenby, R. B. J. T.,. 1991.Rings, fields, and groups: an introduction to abstract algebra2nd ed izdanje. E. Arnold. London.ISBN978-0-340-54440-2
|edition=
sadrži dodatni tekst (pomoć)CS1 održavanje: dodatna interpunkcija (link) CS1 održavanje: više imena: authors list (link)