TEORIJA SKUPOVA matematička teorija sti. Boban Veličković, Aleksandar Perović, Aleksandar Jovanović

Transcription

1 TEORIJA SKUPOVA matematička teorija sti Boban Veličković, Aleksandar Perović, Aleksandar Jovanović

2 2

3 Sadržaj 1 Uvod 7 I Uvod u teoriju skupova 21 2 Logičke osnove O formalnoj metodi Iskazni račun Predikatski račun prvog reda Primeri teorija prvog reda Modeli - relacija zadovoljenja Booleove algebre Gödelova teorema potpunosti Löwenheim Skolem-Tarski teoreme Definabilnost Metod interpretacije Gödelove teoreme nepotpunosti Aksiomatska teorija skupova Generativne aksiome Relacije i funkcije Dobro ured eni skupovi Indukcija i rekurzija Prirodni brojevi

4 4 SADRŽAJ 3.6 Klase Ordinali i kardinali Aksioma izbora Dobro zasnovane relacije Kombinatorna teorija skupova Kardinali Kontinuum funkcija Stacionarni skupovi Jake aksiome beskonačnosti Kompletne Booleove algebre Booleovsko vrednosni modeli V B Ultrafilteri Ultraproizvodi Unutrašnji modeli Apsolutnost Teorema refleksije Gödelove operacije Ordinalna definabilnost Konstruktibilni skupovi Relativna konsistentnost AC i GCH u L Suslinova linija u L Forsing Separativna ured enja Definicija forsinga Generička proširenja Očuvanje kardinala i kofinalnosti Nezavisnost kontinuum hipoteze Nezavisnost aksiome izbora GCH na regularnim kardinalima Levyjev kolaps

5 SADRŽAJ 5 7 Iterirani forsing Kompletna utapanja Iteracija u dva koraka Eastonov forsing Nezavisnost Kurepine hipoteze II Odabrane teme Veličina merljivih kardinala Ulamov ponor Dokaz Ulamove teoreme Kompaktnost infinitarnih jezika Elementarna utapanja Kontinuum problem Pojačanje merljivosti Realno merljivi kardinali RVM - prva ekvikonsistentnost Realno vrednosno veliki kardinali Neregularni ultrafilter Keisler Rudinov poredak Normalni Mooreovi prostori RV merljivost i kontinuum problem Neki komplementarni rezultati PCF - moguće kofinalnosti ultraproizvoda Prava kofinalnost i tačne majorante Silverova teorema Svojstva pcf funkcije Dokaz Shelahove teoreme Von Neumannov problem Introduction Examples

6 6 SADRŽAJ 11.3 Positive results Properties of Maharam algebras Open Questions

7 1 Uvod Pojam skupa predstavlja jedinstveni osnovni pojam kojim se gradi cela matematika. Za ovaj poduhvat dovoljan je prazan skup-ništavakuum-ništavilo kao polazni gradivni element kao i neka fundamentalna svojstva - aksiome teorije skupova. Usredsred enost na ispitivanje beskonačnosti i bogatstvo u rezultatima već na samom početku (kraj XIX veka) izdvajaju ovu oblast u posebnu matematičku teoriju. Rešavanje nekih dosta elementarnih početnih pitanja dovelo je do velikih otkrića od najvećeg značaja za matematiku i matematičku logiku. Problem beskonačnosti, odnos dela i celine, malog i velikog, privlači pažnju najranijih mislilaca i prisutan je u najstarijim sačuvanim tekstovima iz tog vremena. Posebno je interesantna detaljna rasprava izmed u Parmenida, Zenona i Sokrata zabeležena u Platonovom dijalogu Parmenid. Nedugo zatim Euklid sastavlja čuvene Elemente 1, u kojima aksiomatski izlaže geometriju svoga doba. Implicitno se kod Euklida kao primitivni pojmovi javljaju pripadnost, presek, unija, komplement, kretanje i neprekidnost. Tako je tačka ono čiji je deo ništa, tj. atom odnosno osnovni gradivni objekat, a složeniji ge- 1 više od 1700 izdanja do godine 7

8 8 1. UVOD ometrijski objekti se sastoje od tačaka, tj. predstavljaju skupove tačaka. Presek kao geometrijski koncept se javlja npr. kod preseka krugova, unija kod nadovezivanja duži, komplement kod dopunjavanja uglova do pravog ili opruženog ugla itd. Skupovi i operacije sa skupovima dobijaju u geometriji smisao koji je sasvim blizak i usklad en sa konceptima moderne teorije skupova. U moderno vreme, gde dominira aksioma praktičnosti i pragmatičnosti (ne bez razloga), postavlja se pitanje smisla istraživanja u teoriji skupova kao i same teorije skupova u celini. Teorija skupova je verovatno prva matematička teorija za koju se to pitanje postavlja. Tu imamo možda malo čudnu situaciju. S jedne strane, istraživanja u teoriji skupova omogućila su rešavanje i karakterizaciju teških i značajnih matematičkih problema. S druge strane, neka od tih rešenja predstavljaju kumulus višedecenijskih napora i dosta su složena i nepodobna za kratke prezentacije, pa se zato već duže vremena nameće pitanje koliko je to sve uopšte potrebno radnoj matematici, i tu imamo analognu situaciju odnosa izmed u matematike s jedne strane i primenjenih istraživanja, pre svega fizike i tehnike, s druge strane. Primeni nisu potrebni složeni postupci i konstrukcije u dokazima matematičkih teorema kao ni moderna uopštavanja, već pre svega gotove formule i poneki algoritam koji se koriste u praksi. Ako teorija skupova i nije u mogućnosti da se pravda pred ovakvim zahtevima, može se reći da je njen estetski značaj markantan i da se u tom aspektu nazire i opipljivije rešenje pitanja kojima su se bavili sveti Anselmo, sveti Toma, Descartes i drugi mislioci. Savremena teorija skupova nije nastala odjednom, već postepeno tokom više od pola veka, nalazeći svoje korene u velikoj reformi matematike iz XIX veka. Cauchy koristi do tada nevid enu strogost i preciznost u izlaganju, čime počinje aritmetizacija analize, proces u kome su učestvovali mnogi slavni matematičari poput Weierstrassa, Dedekinda, Dirichleta, Cantora, Peana i drugih. Tako u analizi, umesto isključivo izrazovskih funkcija, polako počinju da se razmatraju sve realne i kompleksne funkcije: Weierstrass konstruiše primer neprekidne

9 realne funkcije koja ni u jednoj tački nije diferencijabilna, Dirichlet navodi karakterističnu funkciju skupa racionalnih brojeva kao primer realne funkcije koja nije neprekidna ni u jednoj tački, Peano konstruiše neprekidnu bijekciju segmenta [0, 1] na kvadrat [0, 1] [0, 1] itd. Takod e se uvode i operacije sa familijama skupova - tipičan primer je Boltzano-Weierstrassova teorema po kojoj svaki ograničen niz realnih brojeva ima tačku nagomilavanja, gde se u dokazu koristi metoda polovljenja intervala. Otkriće geometrije Lobačevskog iz godine, koje postaje široko poznato tek nakon posthumnog objavljivanja Gaussovih pisama (šezdesete godine XIX veka), zajedno sa Booleovom algebrom logike iz godine dovodi do ozbiljnog preispitivanja logičkih osnova na kojima je počivala dotadašnja matematika. Pojam formalne teorije i kvantifikatorski račun uvodi Gottlob Frege godine. Hilbertovi Osnovi geometrije iz godine predstavljaju paradigmu savremenog izlaganja jedne aksiomatske teorije. David Hilbert definitivno logiku uspostavlja kao matematičku disciplinu i formuliše osnovna pitanja vezana za formalni sistem poput potpunosti i neprotivrečnosti. Sam početak teorije skupova vezuje se za decembar godine kada je Georg Cantor dokazao da realnih brojeva ima više od prirodnih, tj. da nijedno preslikavanje skupa prirodnih brojeva u skup realnih brojeva nije na. Osim samog rezultata, kojim je pokazano da beskonačnost nije jedinstvena, i način dokaza je izuzetno važan. Naime, tada je prvi put upotrebljena tehnika koju zovemo Cantorov dijagonalni argument. Ubrzo Cantor dokazuje da je X < P (X) za svaki skup X, odakle sledi da, ukoliko za svaki skup X postoji njegov partitivni skup P (X), onda ne samo da beskonačnost nije jedinstvena, već imamo pravu eksploziju različito brojnih beskonačnosti. Nastavljajući svoja istraživanja beskonačnih podskupova skupa realnih brojeva, Cantor uvodi transfinitne brojeve: ordinale kao tipove ured enja i kardinale kao tipove bijektivne korespondentnosti. Ordi- 9

10 10 1. UVOD nalni broj (tip) skupa X Cantor je označavao sa X, a kardinalni broj sa X. Sa metodološke strane, posebno je važna Cantor-ova karakterizacija ured enja racionalnih brojeva, po kojoj se svako prebrojivo linearno ured enje može utopiti u ured enje racionalnih brojeva. Konstrukciju utapanja Cantor izvodi tehnikom koju danas zovemo Cantorov back and forth (nazad napred) argument. U prvoj polovini XX veka Cantorovu teoriju skupova nastavljaju da razvijaju Zermelo, Frankel, Hartogs, Hausdorff, von Neumann, Tarski, Banach, Kuratowski, Skolem, Zorn, Kurepa i drugi. Već na samom početku javljaju se pitanja - problemi koji u mnogome odred uju dalji razvoj teorije skupova. Ovde izdvajamo četiri najznačajnija. Aksioma izbora Prvo formalno zasnivanje matematike bazirano na teoriji skupova predložio je Gottlob Frege. Njegov sistem se bazirao na dve aksiome: Aksioma ekstenzionalnosti : dva skupa su jednaka ako i samo ako imaju iste elemente; Shema sveobuhvatnosti: za svako svojstvo (formulu) ϕ postoji skup čiji su elementi tačno oni skupovi koji zadovoljavaju ϕ. Protivrečnost Fregeovog sistema (tačnije sheme sveobuhvatnosti) dokazao je Russell sledećim čuvenim paradoksom: po shemi komprehensije postoji skup S takav da za svaki skup X važi X S ako i samo ako X / X. Odavde sledi da S S ako i samo ako S / S: kontradikcija. Bez obzira na otkriće raznih paradoksa u Cantorovoj teoriji skupova (Cantor 1895., Burali-Forti itd) i kritika intuicionista

11 (Brouwer, Weyl) i konstruktivista, preovladalo je uverenje da za formalni okvir izgradnje matematike treba uzeti neku neprotivrečnu modifikaciju naivne teorije skupova. Hilbertov odgovor na kritike Cantorove teorije skupova je odlučan: Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben könen ili u prevodu: Niko nas ne može isterati iz raja koji je za nas Cantor sazdao. Russell i Whitehead su uveli teoriju tipova i u svojoj knjizi Principia Mathematica iz izložili izgradnju matematike na logičkim osnovama. Ipak, ovaj pristup nije zaživeo med u matematičarima (nisu retka mišljenja po kojima ova knjiga predstavlja krupan korak u nazad u odnosu na Fregea). Prekretnicu u aksiomatizaciji nauke o skupovima predstavlja Zermelova aksioma izbora, formulisana godine: Za svaki skup X postoji funkcija izbora f : X X takva da za svaki neprazan x X važi f(x) x. Pomoću nje Zermelo dokazuje da se svaki skup može dobro urediti. Generativne aksiome, posebno aksioma partitivnog skupa, inspirišu Zermela u formulaciji kumulativne hijerarhije skupova. Definitivan oblik kumulativna hijerarhija dobija nakon von Neumannove kanonske reprezentacije ordinala, kojoj prethodi definicija ured enog para Kuratowskog. Zermelo i Frankel su formulisali aksiome teorije skupova na jeziku drugog reda. Odgovarajuće formulacije u okviru predikatskog računa prvog reda dao je Skolem. Navedimo osnovne sisteme proistekle iz ove aksiomatizacije: ZFC se sastoji od aksioma praznog skupa, ekstenzionalnosti, para, unije partitivnog skupa, beskonačnosti, regularnosti i izbora, kao i shema separacije i zamene, od kojih svaka ima prebrojivo mnogo instanci; ZF se dobija izostavljanjem aksiome izbora iz ZFC; 11

12 12 1. UVOD ZF P se dobija izostavljanjem aksiome partitivnog skupa iz ZF; ZFC se dobija izostavljanjem aksiome regularnosti iz ZFC; ZF P Inf se dobija izostavljanjem aksioma regularnosti, partitivnog skupa i beskonačnosti iz ZF. Aksioma izbora je svakako najpoznatija aksioma teorije skupova, iz prostog razloga što su veoma brojni njeni važni ekvivalenti i posledice koje se javljaju u ostalim matematičkim disciplinama. Navedimo neke od njih: Ekvivalenti Zermelova teorema. Svaki skup se može dobro urediti. Zornova lema. Ako svaki lanac u nekom parcijalnom ured enju ima majorantu, onda to ured enje ima maksimalni element. Hausdorffov stav maksimalnosti. Svaki lanac u proizvoljnom parcijalnom lancu se može produžiti do maksimalnog lanca. Tihonovova teorema o proizvodu. topoloških prostora je kompaktan. Proizvod kompaktnih Posledice Hahn-Banachova teorema. Svaki vektorski prostor ima bazu. Teorema o ultrafilteru. Svaki filter proizvoljne Booleove algebre sadržan je u nekom ultrafilteru te algebre. Stav kompaktnosti. Ako svaka konačna podteorija neke teorije prvog reda ima model, onda i sama ta teorija ima model.

13 Protivnici uglavnom zameraju nekonstruktivnost, inkompatibilnost sa aksiomom determinacije i inkompatibilnost sa totalnošću Lebesgueove mere. O interakciji aksiome izbora i Lebesgueove mere ćemo sa nešto više detalja govoriti nešto kasnije. Relativnu konsistentnost aksiome izbora sa ostalim aksiomama teorije skupova dokazao je Gödel godine metodom unutrašnjih modela, a nezavisnost je dokazao Paul Cohen godine, kombinujući metode forsinga i unutrašnjih modela. Od slabijih oblika aksiome izbora (tvrd enja koja su posledice aksiome izbora ali nisu njeni ekvivalenti) za teoriju skupova je posebno važna aksioma zavisnog izbora DC: Ako je A neprazan skup i ako je R binarna relacija na skupu A takva da za svako a A postoji b A tako da b R a, onda postoji niz elemenata a n n N skupa A takav da za svako n N. a n+1 R a n Aksioma zavisnog izbora je posebno značajna u kombinaciji sa aksiomom determinacije AD, koja je protivrečna sa punom aksiomom izbora. Mnoge važne rezultate teorije ZF+DC+AD dali su Solovay, Woodin i drugi. Kontinuum problem Svakako, najvažniji problem teorije skupova je kontinuum problem. Njegovo rešavanje, koje i dalje traje, dovelo je do izuzetnih otkrića poput konstruktibilnog univerzuma, metode forsinga, pcf teorije, Ω- logike itd. Apstrahujući ideju brojanja kao uspostavljanje bijektivne korespodencije izmed u dva skupa, Cantor uvodi kardinalne brojeve kao klase med usobno istobrojnih skupova. Tako skupovi N, Z i Q imaju isti kardinalni broj, skupovi [0, 1] i R imaju isti kardinalni broj, a skup N ima manji kardinalni broj od skupa R. Ovo poslednje Cantor dokazuje 13

14 14 1. UVOD na sledeći način: ako je a n n N proizvoljan niz realnih brojeva, onda realan broj a R \ {a n n N} definišemo na sledeći način: ceo deo broja a je 0; n-ta decimala broja a jednaka je 1 ukoliko je n-ta decimala broja a n različita od 1, a inače je 0. Cantorova kontinuum hipoteza CH doslovno glasi: izmed u kardinalnih brojeva skupova N i R nema drugih kardinalnih brojeva. Njena savremena reformulacija glasi 2 ℵ 0 = ℵ 1, pri čemu je ℵ 0, ℵ 1, ℵ 2,... transfinitni niz alefa, tj. kanonskih predstavnika kardinalnih brojeva. Prvi rezultat vezan sa kontinuum hipotezu dokazao je upravo Cantor: ako je X zatvoreni beskonačan podskup skupa realnih brojeva, onda je ili X = N, ili je X = R = c. Suslin dokazuje da kontinuum hipoteza važi za Borelove i analitičke skupove, tj. da za beskonačan analitički skup X važi X = N ili X = c. Njegovi radovi predstavljaju početak deskriptivne teorije skupova. Kontinuum hipoteza posebno dobija na značaju posle čuvenog Hilbertovog predavanja na svetskom kongresu matematičara iz godine, gde je kao prva uvrštena u spisak problema koje XIX vek ostavlja XX veku. Od tada je kontinuum hipoteza poznata i kao prvi Hilbertov problem. Cantorova teorema, po kojoj je X < P (X) za svaki skup X, nameće i potrebu da se generalno odrede vrednosti kardinalne funkcije X P (X). Bez aksiome izbora, već na samom početku nailazimo na teškoću: P (N) = R = c nalazi se van alef linije, koja predstavlja najbolju skalu za odmeravanje veličine beskonačnih skupova. Uz aksiomu izbora svaki beskonačan skup postaje dobro ured en, pa se za svaki skup X, X i P (X)

15 smeštaju na alef pravu i zadatak se može zapisati kao odred ivanje funkcija F i f datih u identitetu 2 ℵα = ℵ F (α) = ℵ α+f(α). Navedimo samo najslavnije rezultate vezane za kontinuum problem: Gödel Ako je teorija ZF neprotivrečna, onda je i teorija ZFC + GCH neprotivrečna; Cohen Ako je teorija ZF neprotivrečna, onda je i teorija ZFC + CH neprotivrečna; Easton Na regularnim kardinalima kontinuum funkcija može imati maksimalnu moguću slobodu. Jedina ograničenja proističu iz Cantorove teoreme i Königove leme: 2 κ > κ i cf 2 κ > κ; Silver Ako je κ singularan kardinal neprebrojive kofinalnosti i ako je 2 λ = λ + za skoro sve (stacionarno mnogo) kardinala λ < κ, onda je i 2 κ = κ + ; Shelah Ako je ℵ ω jako granični kardinal, onda je 2 ℵ ω < ℵ ω4. Brojni primeri interferencije kontinuum problema sa raznim delovima teorije skupova su obrad eni u ovoj knjizi. Suslinov problem Suslinov problem je vezan za karakterizaciju ured enja realnih brojeva. Naime, Cantor je pokazao da je ured enje realnih brojeva do na izomorfizam jedinstveno gusto linearno ured enje bez krajeva koje je povezano u topologiji ured enja i separabilno. Suslin je postavio pitanje da li se uslov separabilnosti može zameniti uslovom CCC 2 i 2 Countable Chain Condition. U ovom kontekstu u pitanju je prebrojiva celularnost, tj. uslov da nema neprebrojivo mnogo med usobno disjunktnih otvorenih intervala. 15

16 16 1. UVOD da tako dobijeno ured enje ostane izomorfno ured enju realnih brojeva. Ukoliko je odgovor negativan, tako dobijeno ured enje se naziva Suslinovom linijom. Suslinova hipoteza SH doslovno glasi: Ne postoji Suslinova linija. Prve rezultate vezane za Suslinov problem dao je naš matematičar -Duro Kurepa, koji je definisao pojmove Aronszajnovog, Suslinovog i Kurepinog drveta i dokazao da postoji Suslinova linija ako i samo ako postoji Suslinovo drvo. Preciziranje ovih pojmova zahteva sledeće definicije. Pod drvetom podrazumevamo parcijalno ured en skup T, takav da je za svako x T skup {y T y x} dobro ured en. Za proizvoljan ordinal (kanonsko dobro ured enje) α definišemo α-ti sloj lev(α, T ) drveta T kao skup svih x T takvih da je {y y x}, = α,. Visina ht(t ) je najmanji ordinal α takav da je lev(α, T ) =. Skup A T je antilanac ako su svaka dva med usobno različita elementa skupa A neuporediva. Maksimalne lance u drvetu zovemo i granama. Neka je κ beskonačan kardinal. Drvo T je κ drvo ako je ht(t ) = κ i ako za svako je lev(α, T ) < κ za svako α < κ. Sada možemo definisati pojmove Aronszajnovog, Suslinovog i Kurepinog drveta: κ-aronszajnovo drvo je κ drvo u kome nema lanaca dužine κ. Posebno, Aronszajnovo drvo je ω 1 -Aronszajnovo drvo; κ-suslinovo drvo je κ drvo u kome nema ni lanaca ni antilanaca dužine κ. Posebno, Suslinovo drvo je ω 1 -Suslinovo drvo, a Suslinova hipoteza SH je ekvivalentna rečenici Ne postoji Suslinovo drvo; κ-kurepino drvo je κ-drvo koje ima bar κ + grana. Posebno, Kurepino drvo je ω 1 -Kurepino drvo, a Kurepina hipoteza KH glasi Postoji Kurepino drvo.

17 Aronszajn je dokazao egzistenciju Aronszajnovog drveta. Jech i Tennenbaum su metodom forsinga dokazali da iz konsistentnosti teorije ZFC sledi konsistentnost teorije ZFC + SH, a Solovay i Tennenbaum su metodom iteriranog forsinga dokazali da iz konsistentnosti teorije ZFC sledi konsistentnost teorije ZFC + SH. Što se tiče Kurepine hipoteze, Levy je metodom forsinga dokazao da iz konsistentnosti teorije ZFC sledi konsistentnost teorije ZFC + KH, a Silver je metodom iteriranog forsinga dokazao da iz konsistentosti teorije ZFC + postoji jako nedostiživ kardinal sledi konsistentnost teorije ZFC + KH. Problem mere Kada je Lebesgue uveo pojam mere skupa, što u stvari predstavlja apstrakciju dužine za skupove na realnoj pravoj, sigurno da niko nije razmišljao da može biti nemerljivih skupova. Bez aksiome izbora i nema problema mere. Uz pomoć aksiome izbora Vitali je godine konstruisao primer Lebesgue nemerljivog skupa. Navedimo Vitalijevu konstrukciju. Na [0, 1] definišimo binarnu relaciju sa x y x y Q. Lako se proverava da je relacija ekvivalencije, kao i da je klasa ekvivalencije svakog x Q prebrojiva. Na osnovu aksiome izbora postoji skup A takav da za svako x [0, 1] važi A {y y x} = 1. Tada je skup A Lebesgue nemerljiv. Zaista, u suprotnom bi svaki od skupova q + A = {x + q x A}, 1 q 1 q Q, imao istu meru kao i skup A (translatorna invarijantnost Lebesguove mere), a kako su skupovi q + A med usobno disjunktni i kako je [0, 1] (q + A) [ 1, 2], q [ 1,1] Q 17

18 18 1. UVOD zbog σ aditivnosti Lebesgueove mere mora biti i µ([0, 1]) = 1 µ( q [ 1,1] Q (q + A)) = µ(a) µ([ 1, 2]) = 3, što je nemoguće, jer iz 1 µ(a) sledi da je µ(a) > 0, a iz n=0 µ(a) 3 sledi da je µ(a) = 0. n=0 Ovaj Vitalijev primer je možda bio i prvi veliki razlog za odbacivanje aksiome izbora od strane samog Lebesgua i drugih velikana toga doba. Ipak, aksioma izbora, koja najlepše (dobro) ured uje moći skupova i unosi dosta reda u skupovni univerzum V opstala je kao princip koji se nikako ne može poništiti, a sa njom i nemerljivi skupovi tamo gde ona važi. Posebno za verovatnoću na realnim brojevima, to znači da obavezno postoje dogad aji bez verovatnoće kao i npr. da se svaki dogad aj može umetnuti izmed u dva dogad aja bez verovatnoće. Da li i koje to posledice može eventualno da ima u naukama koje se bave realnim svetom, verovatno da niko još nije razmatrao. Dakle, mera na R koja je totalna, σ-aditivna i translatorno invarijantna ne može da postoji uz aksiomu izbora. Pošto je opstala snažna želja da se sve nekako premeri, to se skupilo u tzv. problem mere. Prvo je još dvadesetih godina prošlog veka Banach dokazao da postoji mera koja širi Lebesgueovu meru na sve skupove realnih brojeva (tj. na ceo P (R)), ali da je ta totalna mera na Lebesgue nemerljivim skupovima samo konačno aditivna. Znači, slabljenjem σ-aditivnosti, dobijena je totalna mera koja širi Lebesgueovu meru i koja je saglasna sa aksiomom izbora. Ulam i Banach su dobili jedan neobičan rezultat. Uz ispuštanje translatorne invarijantnosti (dva skupa koji se translacijom dovode do poklapanja imaju istu meru), dokazali su da za totalnu σ-aditivnu meru µ na X mora da važi dihotomija (i) X c i µ je bezatomična, a X ikontinuum su veći ili jednaki od prvog slabo nedostižnog kardinala, ili n=0

19 (ii) X > c i µ je atomična - ultrafilter i X je veći ili jednak od prvog jako nedostiživog kardinala. Pitanje egzistencije ovakvih mera je ostalo otvoreno još blizu 40 godina. Prvo je prikupljena evidencija o stvarnoj veličini skupa nosača binarne σ-aditivne netrivijalne mere u slučaju (ii), što je povezano sa izuzetno jakim aksiomama beskonačnosti. Potom je Robert Solovay došao do sledećih otkrića. Dokazao je da ako je teorija ZF neprotivrečna, onda je neprotivrečna i teorija ZF + DC + svaki skup realnih brojeva je Lebesgue merljiv. Time je tačno odred en stepen konflikta aksiome izbora i želje da Lebesguova mera bude totalna. S druge strane, Solovay je dokazao ekvikonsistenciju sledećih teorija 1. ZFC + postoji totalna σ-aditivna mera koja širi Lebesguevou meru i 2. ZFC + postoji merljiv kardinal, čime je problem mere doveden u direktnu vezu sa vrlo jakom aksiomom beskonačnosti. Posledično, (i) i (ii) iz Ulam-Banach teoreme su ekvikonsistetni do na ZFC. Solovayev metod je omogućio i rešenje preko pedeset godina otvorenog problema metrizacije topoloških prostora (Kunen, Nykos, Fleissner 80/84). Napomenimo da u modelu za 1. nastupa veliko nadimanje realnog kontinuuma R, da tamo važi 2 ℵ 0 = 2 ℵ 1 = = 2 λ za svaki kardinal λ < c, da izmed u ℵ 0 i c ima c mnogo različitih beskonačnosti i da je kontinuum veći ili jednak od prvog slabo nedostiživog kardinala. Kao što neko reče, sve je povezano. O samoj knjizi Sadržaj ove knjige obuhvata elemente logike neophodne u prezentaciji značajnih rezultata teorije skupova, polazna aksiomatska pitanja 19

20 20 1. UVOD i transfinitnu aritmetiku, kombinatornu teoriju skupova sa Booleovim algebrama i Booleovsko vrednosnim modelima, ultrafilterima i ultraproizvodima. U poglavlju o unutrašnjim modelima prezentovan je pre svega Gödelov metod za dokaz da su teorije ZFC + GCH i ZFC neprotivrečne ako je neprotivrečna osnovna teorija skupova ZF, tj. da su ove teorije ekvikonsistentne. U poglavlju o forsingu izložena je Cohenova konstrukcija kojom se dokazuje da iz pretpostavke neprotivrečnosti ZF sledi neprotivrečnost teorija ZFC + negacija kontinuum hipoteze, kao i teorije ZF + negacija aksiome izbora, odakle se dobija da su sve navedene teorije ekvikonsistentne. Potom se izlaže razrada Cohenove metode forsinga u pravcu dokaza nezavisnosti drugih značajnih svojstava. Time se prilično zaokružuje moderna osnovna teorija skupova. U drugom delu sažetije su prikazani neki značajni doprinosi moderne teorije skupova. U glavi o merljivim kardinalima imamo značajna svojstva raznovrsnog porekla koja se koncentrišu na ove objekte. U poglavlju o realno - velikim kardinalima prikazana je Solovayova metoda kojom je dokazana ekvikonsistentnost teorija ZFC + postoji totalno σ-aditivno proširenje Lebesgueove mere i ZFC + postoji merljiv kardinal, kao i uopštenja i primene njegovih rezultata, posebno na Keisler Rudin klasifikaciju složenosti ultrafiltera, rešenje problema metrizacije topoloških prostora, veza sa problemom kontinuuma. Teorija Shelaha i Magidora o mogućim kofinalnostima ultraproizvoda sa glavnom primenom na rešenje teškog slučaja kontinuum problema izloženo je u odvojenom poglavlju - PCF. U glavi o forsing aksiomama prezentovano je... Na taj način u ovoj knjizi, osim osnova i razvoja fundamentalnih metoda, prikazani su neki značajni dometi teorije skupova, čime je knjiga, nadamo se ostala unutar prihvatljivog obima, na račun kompletnosti. Priložena literatura upućuje čitaoca na šira i sveobuhvatnija dela.

21 Deo I Uvod u teoriju skupova 21

22

23 2 Logičke osnove 2.1 O formalnoj metodi Analizirajući strukturu svake definicije, vidimo da se novi pojmovi uvode preko nekih ranije uvedenih, što nužno dovodi do zaključka da neki pojmovi moraju ostati nedefinisani. Takve pojmove zovemo osnovnim ili primitivnim pojmovima. Slično, u dokazu nekog tvrd enja pozivamo se na neka druga (ranija) tvrd enja, pa opet vidimo da se sva tvrd enja ne mogu dokazati. Polazna tvrd enja koja ne dokazujemo zovemo aksiomama. Matematizacija deduktivne metode je dovela do pojma formalne teorije kao čisto sintaksnog okvira u kome se izlaže matematika Definicija Formalna teorija (formalni sistem) se sastoji od sledećih komponenti: Nepraznog skupa simbola, koji zovemo i jezikom formalne teorije; Skupa svih konačnih nizova simbola jezika formalne teorije, koji zovemo i skupom reči formalne teorije; 23

24 24 2. LOGIČKE OSNOVE Skupa formula, koji je najčešće rekurzivan podskup skupa svih reči; Skupa aksioma, koji je podskup skupa formula; Pravila izvod enja, koja su neke relacije med u formulama. Ako je R n + 1-arno pravilo izvod enja, onda se za formulu ϕ kaže da se dobija iz formula ϕ 1,..., ϕ n po pravilu R ukoliko je R(ϕ 1,..., ϕ n, ϕ). Uobičajeno je da se pravila izvod enja zapisuju na sledeći način: ϕ 1,..., ϕ n ϕ R Definicija Neka je T proizvoljna teorija (podskup skupa svih formula) nekog fiksiranog formalnog sistema. Dokaz iz hipoteza T u datoj formalnoj teoriji je svaki konačan niz formula takav da je svaka formula u nizu ili aksioma, ili pripada teoriji T, ili se dobija iz nekih prethodnih članova niza po nekom pravilu izvod enja. Sa T ϕ se označava činjenica da postoji dokaz iz hipoteza T koji se završava formulom ϕ. Za formulu ϕ kažemo da je teorema teorije T. Sam zapis T ϕ zovemo sekventom. Ako je T = {ϕ 1,..., ϕ n }, onda umesto T ϕ pišemo ϕ 1,..., ϕ n ϕ. Dalje, umesto T 1 T 2 ϕ pišemo T 1, T 2 ϕ. Konačno, ako je T =, onda umesto T ϕ pišemo ϕ.

25 2.1. O FORMALNOJ METODI Teorema Neka su T 1 i T 2 teorije unutar fiksiranog formalnog sistema. Tada važi: 1. Ako T 1 ϕ, onda i T 1, T 2 ϕ; 2. Ako T 1 ϕ i ϕ ψ, onda i T 1 ψ. Dokaz Ako je niz ϕ 1,..., ϕ n, ϕ dokaz formule ϕ iz hipoteza T 1, onda je direktno po definiciji isti taj niz dokaz formule ϕ iz hipoteza T 1 T 2, pa imamo da iz T 1 ϕ sledi da T 1, T 2 ϕ. Prelazimo na dokaz preostalog dela tvrd enja. Neka je niz dokaz iz hipoteza T 1 formule ϕ i neka je niz ϕ 1,..., ϕ n, ϕ (2.1) ψ 1,..., ψ m, ψ (2.2) dokaz formule ψ iz hipoteze ϕ. Sada dokaz formule ψ iz hipoteza T 1 dobijamo tako što umesto svakog javljanja formule ϕ u nizu (2.2) stavimo niz (2.1). Ključno pitanje vezano za formalne sisteme jeste pitanje deduktivnih posledica teorija unutar formalnog sistema, tj. pitanje da li je izvesna formula ϕ teorema neke teorije T. Formalni dokazi su uglavnom veoma dugački i jako teški za čitanje (izuzetno nepregledni), pa nas često zanima samo implicitno utvrd ivanje postojanja formalnog dokaza, a ne i nalaženje konkretnog niza. Ovakva ispitivanja se obavljaju izvan formalnog sistema u okruženju koje zovemo metateorija. Za samu metateoriju preciziramo koliki je fragment matematike inkorporiran u nju, tj. koje sve matematičke koncepte na ovom nivou uzimamo zdravo za gotovo. Kod iole ozbiljnijih formalnih sistema

26 26 2. LOGIČKE OSNOVE taj fragment je totalan - u metateoriju moramo uključiti kompletnu teoriju skupova i kvantifikatorsku logiku prvog reda. Važne koncepte vezane za formalne teorije ilustrovaćemo na primeru iskaznog računa. 2.2 Iskazni račun Jezik iskaznog računa čine beskonačan skup P koji zovemo i skupom iskaznih slova, simboli i i interpunkcijski znaci (zagrade i zarez). Formule iskaznog računa (iskazne formule) rekurzivno definišemo na sledeći način: Iskazna slova su iskazne formule; Ako su ϕ i ψ proizvoljne iskazne formule, onda su i zapisi takod e iskazne formule; ϕ (ϕ ψ) Iskazne formule se mogu dobiti isključivo konačnom primenom prethodne dve stavke. Radi preglednosti zapisa uglavnom ćemo izostavljati spoljne zagrade i podrazumevati da ima viši prioritet od. Preostale veznike uvodimo na sledeći način: ϕ ψ je formula (ϕ ψ); ϕ ψ je formula ϕ ψ; ϕ ψ je formula (ϕ ψ) (ψ ϕ). Aksiome iskaznog računa su date sa sledeće tri sheme:

27 2.2. ISKAZNI RAČUN 27 S1 ϕ (ψ ϕ); S2 (ϕ (ψ θ)) ((ϕ ψ) (ϕ θ)); S3 ( ψ ϕ) (ϕ ψ). Jedino pravilo izvod enja je modus ponens: ϕ ϕ ψ ψ MP. Napomenimo da redosled formula sa gornje strane nije bitan, tj. da podrazumevamo da važi MP(ϕ, ϕ ψ, ψ) i MP(ϕ ψ, ϕ, ψ) Primer Pokažimo da je ϕ ϕ. Zaista: a (ϕ ((ϕ ϕ) ϕ)) ((ϕ (ϕ ϕ)) (ϕ ϕ)) S2 b ϕ ((ϕ ϕ) ϕ) S1 c (ϕ (ϕ ϕ)) (ϕ ϕ) MP(a, b, c) d ϕ (ϕ ϕ) S1 e ϕ ϕ MP(c, d, e) Lema Neka je T proizvoljna iskazna teorija i neka su ϕ i ψ proizvoljne iskazne formule. Tada: 1. Ako T ϕ i T ϕ ψ, onda T ψ; 2. Ako T ψ ϕ, onda T ϕ ψ. Dokaz Neka su nizovi ϕ 1,..., ϕ n, ϕ i ψ 1,..., ψ m, ϕ ψ redom dokazi formula ϕ i ϕ ψ iz hipoteza T. Tada je niz ϕ 1,..., ϕ n, ϕ, ψ 1,..., ψ m, ϕ ψ, ψ

28 28 2. LOGIČKE OSNOVE dokaz formule ψ iz hipoteza T jer je MP(ϕ, ϕ ψ, ψ). Prelazimo na dokaz drugog dela tvrd enja. Ako T ψ ϕ, onda zbog T ( ψ ϕ) (ϕ ψ) (instanca S3) na osnovu prvog dela tvrd enja sledi da T ϕ ψ. Sledeća teorema nam daje značajnu tehniku formalnog dokazivanja u slučaju konačnih iskaznih teorija Teorema Neka je T proizvoljna iskazna teorija i neka su ϕ, ψ i θ proizvoljne iskazne formule. Tada važi: 1. T, ϕ ϕ; 2. T, ϕ, ϕ ψ; 3. T ϕ ψ ako i samo ako T, ϕ ψ; 4. T ϕ ako i samo ako T ϕ; 5. T (ϕ ψ) ako i samo ako T ϕ i T ψ; 6. T, ϕ ψ ako i samo ako T, ϕ ψ; 7. T, (ϕ ψ) θ ako i samo ako T, ϕ, ψ θ; 8. T, ϕ ψ θ ako i samo ako T, θ ϕ i T, θ ψ. Dokaz 1: Očigledno. 2: Kako T, ϕ, ϕ ϕ i T, ϕ, ϕ ϕ ( ψ ϕ), po lemi 2.2.2(1) imamo da T, ϕ, ϕ ψ ϕ, odakle po lemi 2.2.2(2) sledi da T, ϕ, ϕ ϕ ψ. Pošto T, ϕ, ϕ ϕ, na osnovu leme 2.2.2(1) imamo da T, ϕ, ϕ ψ.

29 2.2. ISKAZNI RAČUN 29 3: Prvo pretpostavimo da T ϕ ψ. Tada i T, ϕ ϕ ψ, a kako T, ϕ ϕ, po lemi 2.2.2(1) imamo da T, ϕ ψ. Pretpostavimo sada da T, ϕ ψ. Potpunom indukcijom po dužini d(ψ) najkraćeg dokaza formule ψ iz hipoteza T, ϕ dokazujemo da T ϕ ψ. Neka je d(ψ) = 1. Tada je formula ψ ili jednaka formuli ϕ, ili pripada teoriji T, ili je instanca neke od shema S1, S2 i S3. Slučaj kada su formule ψ i ϕ jednake je već obrad en u primeru 2.2.1, pa prelazimo na preostala dva slučaja. Tada T ψ, a kako T ψ (ϕ ψ), po lemi 2.2.2(1) imamo da T ϕ ψ. Neka je d(ψ) > 1 i pretpostavimo da tvrd enje važi za svaku formulu sa kraćim dokazom iz hipoteza T, ϕ. U ovom slučaju je najkraći dokaz formule ψ iz hipoteza T, ϕ oblika ϕ 1,..., ϕ n, ϕ n ψ, ψ. Sada je d(ϕ n ), d(ϕ n ψ) < d(ψ), pa po induktivnoj hipotezi imamo da T ϕ ϕ n i T ϕ (ϕ n ψ). Kako T (ϕ (ϕ n ψ)) ((ϕ ϕ n ) (ϕ ψ)), dvostrukom primenom leme 2.2.2(1) dobijamo da T ϕ ψ. 4, 6: Primetimo da je dovoljno pokazati da ϕ ϕ i ϕ ϕ. S jedne strane, kako ϕ ϕ i na osnovu leme 2.2.2(1) imamo da ϕ ϕ ( ϕ ϕ), ϕ ϕ ϕ, odakle dvostrukom primenom leme 2.2.2(2) dobijamo da ϕ ϕ ϕ.

30 30 2. LOGIČKE OSNOVE Sada na osnovu leme 2.2.2(1) sledi da ϕ ϕ. S druge strane, na osnovu upravo pokazanog imamo da važi ϕ ϕ, odakle po 3 sledi da je ϕ ϕ, pa na osnovu leme 2.2.2(2) imamo da ϕ ϕ, odakle po 3 sledi ϕ ϕ. 5, 7: Primetimo da je dovoljno pokazati da važi (ϕ ψ) ϕ, (ϕ ψ) ψ i ϕ, ψ (ϕ ψ). Metodologija dokazivanja je sasvim slična u sva tri slučaja, pa ćemo stoga ovde samo dokazati da važi (ϕ ψ) ϕ. ϕ, ϕ ψ 2 ϕ ϕ ψ 3 ϕ (ϕ ψ) 4, 6 ϕ (ϕ ψ) 3 (ϕ ψ) ϕ lema 2.2.2(2) (ϕ ψ) ϕ 3 (ϕ ψ) ϕ 4 8: Primetimo da je na osnovu već dokazanih tačaka 5 i 7 dovoljno pokazati da ϕ ψ θ ako i samo ako θ (ϕ ψ). S jedne strane, θ (ϕ ψ) hipoteza θ (ϕ ψ) 3 (ϕ ψ) θ lema 2.2.2(2) ϕ ψ θ 3 S druge strane, ϕ ψ θ hipoteza (ϕ ψ) θ 4, 6 (ϕ ψ) θ 3 θ (ϕ ψ) lema 2.2.2(2) θ (ϕ ψ) 3

31 2.2. ISKAZNI RAČUN 31 Najavljenu metodu formalnog dokazivanja ilustrujmo sledećim primerom Primer Pokažimo da je (ϕ ψ) ( ψ ϕ). Imamo sledeći lanac ekvivalencija: (ϕ ψ) ( ψ ϕ) akko ϕ ψ ψ ϕ teorema 2.2.3(3) akko ϕ ψ, ψ ϕ teorema 2.2.3(3) akko ϕ, ψ ϕ i ϕ, ψ ψ teorema 2.2.3(8) akko ϕ, ψ ϕ i ϕ, ψ ψ teorema 2.2.3(6) Kako po teoremi 2.2.3(1) važi ϕ, ψ ϕ i ϕ, ψ ψ, na osnovu prethodnog mora biti i (ϕ ψ) ( ψ ϕ). U svetlu prethodnog primera razmotrimo sledeći problem: ispitati da li za datu iskaznu formulu ϕ važi ϕ. Primenom stavki 3 8 teoreme polazni sekvent transformišemo u konačan niz sekvenata oblika ±p 1,..., ±p n ±p, (2.3) pri čemu su, p i i p iskazna slova, +q je q i q je q za ma koje iskazno slovo q. Pritom je polazni sekvent tačan ako i samo ako je svaki od odgovarajućih sekvenata oblika (2.3) tačan. Na ovaj način smo pitanje dokazivosti iskazne formule sveli na pitanje važenja sekvenata oblika (2.3). O rešenju ovog problema govori sledeća teorema Teorema Sekvent (2.3) je tačan jedino u sledeća dva slučaja: 1. Literal ±p je jedan od literala ±p 1,..., ±p n ;

32 32 2. LOGIČKE OSNOVE 2. Med u literalima ±p 1,..., ±p n postoje dva suprotna, tj. postoje 1 i < j n takvi da je ±p i = p j. Dokaz Neka je sekvent (2.3) tačan i neka ne važi 2. Kako je svaka od instanci shema S1, S2 i S3 tautologija (trivijalno se proverava formiranjem odgovarajućih istinitosnih tablica) i kako formula ψ pri nekoj valuaciji mora biti tačna ukoliko su pri istoj valuaciji tačne formule ϕ i ϕ ψ, zaključujemo da je literal ±p tačan pri svakoj valuaciji iskaznih slova u kojoj su svi literali ±p 1,..., ±p n tačni. No odavde sledi da je literal ±p jedan od literala ±p 1,..., ±p n, jer bi u suprotnom pri valuaciji v : P {, } definisanoj sa v(q) =, q = p i i ± p i = p i, q = p i i ± p i = p i, q = p i ± p = p, q = p i ± p = p, inače svi literali ±p 1,..., ±p n bili tačni, ali bi literal ±p bio netačan Definicija Neka je T proizvoljna iskazna teorija i neka je ϕ proizvoljna iskazna formula. Kažemo da je formula ϕ semantička posledica teorije T i pišemo T = ϕ ukoliko je formula ϕ tačna pri svim valuacijama pri kojima su tačne sve formule teorije T. Sasvim lako se dokazuje da važi sledeća teorema: Teorema Neka je T proizvoljna iskazna teorija i neka su ϕ, ψ i θ proizvoljne iskazne formule. Tada važi: 1. T, ϕ = ϕ;

33 2.2. ISKAZNI RAČUN T, ϕ, ϕ = ψ; 3. T = ϕ ψ ako i samo ako T, ϕ = ψ; 4. T = ϕ ako i samo ako T = ϕ; 5. T = (ϕ ψ) ako i samo ako T = ϕ i T = ψ; 6. T, ϕ = ψ ako i samo ako T, ϕ = ψ; 7. T, (ϕ ψ) = θ ako i samo ako T, ϕ, ψ = θ; 8. T, ϕ ψ = θ ako i samo ako T, θ = ϕ i T, θ = ψ Teorema Neka je ϕ proizvoljna iskazna formula. Tada je ϕ ako i samo ako je formula ϕ tautologija. Dokaz Direktna posledica teorema 2.2.3, i Posledica Neka je ϕ iskazna formula, p 1,..., p n sva iskazna slova koja se javljaju u formuli ϕ i neka su v 1,..., v m sve valuacije pri kojima je formula ϕ tačna. Tada je ϕ m (± v i(p 1 ) p 1 ± v i(p n ) p n ), i=1 pri čemu je ± v i(p j ) p j = { pj, v i (p j ) = p j, v i (p j ) =. Dokaz Direktna posledica prethodne teoreme i činjenice da je formula sa desne strane rampe (znaka dedukcije ) tautologija.

34 34 2. LOGIČKE OSNOVE 2.3 Predikatski račun prvog reda Jezik L prvog reda (ili relacijsko operacijski jezik) je skup simbola koji pored logičkih simbola (,,, =), interpunkcijskih znakova i prebrojivog skupa promenljivih (x 0, x 1, x 2,...) eventualno sadrži i simbole konstanti, relacijske simbole i funkcijske simbole. Uz svaki relacijski i funkcijski znak koji se nalazi u jeziku L data je i njegova arnost, odnosno broj argumentnih mesta. Kako bi čitanje bilo nedvosmisleno, pomenute grupe simbola su med usobno disjunktne i nijedan simbol nije pravi početni komad ma kog drugog simbola Primer Jezik Peanove aritmetike L P A sastoji se od dva binarna funkcijska simbola + i, jednog unarnog funkcijskog simbola i jednog simbola konstante Primer Jezik teorije skupova L ZF C sastoji se od jednog binarnog relacijskog simbola. Terme (izraze) jezika L rekurzivno definišemo na sledeći način: Promenljive i simboli konstanti su termi jezika L; Za proizvoljan funkcijski znak F jezika L i proizvoljne terme t 1,..., t n jezika L zapis takod e je term jezika L; F (t 1,..., t n ) Svaki term jezika L se može dobiti isključivo konačnom primenom prethodne dve stavke. Složenost terma je po definiciji broj (računajući višestrukost) funkcijskih znakova koji se javljaju u njemu. Ako je F binarni funkcijski znak, onda umesto F (t 1, t 2 ) pišemo uobičajeno t 1 F t 2. Formule jezika L rekurzivno uvodimo na sledeći način:

35 2.3. PREDIKATSKI RAČUN PRVOG REDA 35 Za proizvoljna dva terma t 1 i t 2 jezika L zapis je formula jezika L; (t 1 = t 2 ) Za proizvoljan relacijski znak R arnosti n jezika L i ma koje terme t 1,..., t n jezika L, zapis je formula jezika L; (R(t 1,..., t n )) Neka su ϕ i ψ proizvoljne formule jezika L i neka je x proizvoljna promenljiva. Tada je svaki od zapisa formula jezika L; ϕ (ϕ ψ) xϕ Formule jezika L se mogu dobiti isključivo konačnom primenom prethodnih stavki. Radi preglednijeg zapisa, podrazumevamo uobičajenu konvenciju o brisanju zagrada i prioritetu logičkih veznika: najviši prioritet ima negacija, zatim univerzalni kvantor i na kraju implikacija. Ostale logičke veznike uvodimo na isti način kao i u iskaznom računu. Dodatak je egzistencijalni kvantor, koji formalno uvodimo na sledeći način: xϕ je formula x ϕ. Ako je R binarni relacijski znak, onda umesto R(t 1, t 2 ) pišemo uobičajeno t 1 R t 2. Složenost formule je broj logičkih veznika i kvantora, (računajući višestrukost) koji se javljaju u njoj. Posebno, formule složenosti 0 zovemo i atomičnim formulama. Za promenljivu x koja se javlja u formuli ϕ kažemo da je vezana ukoliko je svako njeno javljanje pod dejstvom nekog kvantora. U suprotnom kažemo da je promenljiva x slobodna u formuli ϕ. Formule koje nemaju slobodne promenljive zovemo rečenicama.

36 36 2. LOGIČKE OSNOVE Primer Neka je x proizvoljna promenljiva. U formuli x(x = x) x = x promenljiva x je slobodna, jer njeno javljanje u potformuli sa desne strane nije pod dejstvom kvantora. Sa ϕ(x 1,..., x n ) ćemo označavati činjenicu da su sve slobodne promenljive formule ϕ neke od promenljivih x 1,..., x n. Dalje, sa ϕ x t ćemo označavati formulu koja nastaje iz formule ϕ zamenom svih slobodnih javljanja promenljive x termom t. Pritom kažemo da je zamena regularna ako odgovarajuća mesta pri zameni ostanu slobodna. Aksiome predikatskog računa delimo u nekoliko grupa: Iskazne aksiome: U pitanju su sheme S1, S2 i S3 navedene u sekciji o iskaznom računu; Aksiome jednakosti: Ovu grupu aksioma čine sledeće sheme: Za proizvoljne promenljive x, y i z formule su aksiome; x(x = x) x y(x = y y = x) x y z((x = y y = z) x = z) Neka su x i y proizvoljne promenljive i neka je ϕ formula u kojoj je promenljiva x slobodna i u kojoj se promenljiva y ne javlja. Tada je formula (x = y) (ϕ(..., x,...) ϕ(..., y,...)), aksioma, pri čemu formula ϕ(..., y,...) nastaje iz formule ϕ zamenom nekih slobodnih javljanja promenljive x promenljivom y.

37 2.3. PREDIKATSKI RAČUN PRVOG REDA 37 Aksiome kvantora: Ovu grupu aksioma čine sledeće dve sheme: Neka je x promenljiva, ϕ formula jezika L i neka je t term jezika L takav da je zamena u ϕ x t regularna. Tada je formula aksioma; xϕ ϕ x t Neka se promenljiva x ne javlja slobodno u formuli ψ. Tada je formula x(ψ ϕ) (ψ xϕ) aksioma. Pored modus ponensa, predikatski račun ima još jedno pravilo izvod enja, koje zovemo pravilom generalizacije: ψ ϕ ψ xϕ GEN, pri čemu se promenljiva x ne javlja slobodno u formuli ψ Definicija Modelsko-teoretsku hijerarhiju formula rekurzivno definišemo na sledeći način: Skupove Σ 0 = Π 0 čine formule bez kvantora; Skup Σ n+1 formula čine formule koje nastaju dodavanjem bloka egzistencijalnih kvantora na Π n formule; Skup Π n+1 formula čine formule koje nastaju dodavanjem bloka univerzalnih kvantora na Σ n formule. Osnovne stavove o formalnom dokazivanju u predikatskom računu navodimo bez dokaza. Prethodno napomenimo da skupove rečenica u predikatskom računu zovemo i teorijama.

38 38 2. LOGIČKE OSNOVE Lema o novoj konstanti Neka je ϕ proizvoljna formula jezika L, T teorija jezika L i neka je c nov simbol konstante. Tada T xϕ ako i samo ako T ϕ x c Skolemizacija Neka jezik L nastaje proširenjem jezika L novim simbolom konstante c i neka je ϕ formula jezika L takva da T xϕ. Tada za proizvoljnu rečenicu ψ jezika L važi T ψ ako i samo ako T, ϕ x c ψ Preneksna normalna forma Neka je ϕ proizvoljna formula jezika L. Tada postoje prirodan broj n i Σ n ili Π n formula ψ tako da ϕ ψ Teorema dedukcije Neka je T proizvoljna teorija jezika L i neka su ϕ, ψ i θ proizvoljne formule jezika L. Tada važi: 1. T, ϕ ϕ; 2. T, ϕ, ϕ ψ; 3. Ako je ϕ rečenica, onda T ϕ ψ ako i samo ako T, ϕ ψ; 4. T ϕ ako i samo ako T ϕ; 5. T (ϕ ψ) ako i samo ako T ϕ i T ψ; 6. T, ϕ ψ ako i samo ako T, ϕ ψ; 7. T, (ϕ ψ) θ ako i samo ako T, ϕ, ψ θ; 8. Ako su ϕ, ψ i θ rečenice, onda T, ϕ ψ θ ako i samo ako T, θ ϕ i T, θ ψ;

39 2.4. PRIMERI TEORIJA PRVOG REDA Ako T ϕ i T ϕ ψ, onda T ψ; 10. T ψ ϕ ako i samo ako T ϕ ψ. Napomenimo da treća stavka prethodne teoreme ne mora da važi ukoliko ϕ nije rečenica. Primera radi, neka je L = {c, d} pri čemu su c i d simboli konstanti i neka su x i y različite promenljive. Tada ali (c = d) x = c y = c. (c = d), x = c y = c, Definicija Neka je T teorija jezika L. Za teoriju T kažemo da je: Neprotivrečna, ako postoji formula ϕ jezika L takva da T ϕ; Kompletna, ako za svaku rečenicu ϕ jezika L važi da T ϕ ili T ϕ. 2.4 Primeri teorija prvog reda U ovoj sekciji ćemo ukratko prikazati sledeće teorije prvog reda: 1. ZFC (Zermelo-Frankelova teorija skupova sa aksiomom izbora); 2. PA (Peanova aritmetika); 3. BA (teorija Booleovih algebri). 1 ZFC je formalna teorija u predikatskom računu prvog reda koja od nelogičkih simbola ima jedan binarni relacijski znak. Promenljive se označavaju sa x 0, x 1, x 2 itd. Logički simboli su redom: (negacija), (konjunkcija), (disjunkcija), (implikacija), (ekvivalencija), (univerzalni kvantor), (egzistencijalni kvantor), = (jednakost) i leva i desna zagrada. Pojam formule ZFC sistema rekurzivno uvodimo na sledeći način:

40 40 2. LOGIČKE OSNOVE Za proizvoljne promenljive x i i x j zapisi x i x j x i = x j su formule ZFC teorije skupova; Ako su ϕ i ψ formule ZFC teorije skupova, onda su za ma koju promenljivu x i zapisi ϕ (ϕ ψ) (ϕ ψ) (ϕ ψ) (ϕ ψ) x i ϕ x i ϕ takod e formule ZFC teorije skupova; Formule ZFC teorije skupova se mogu dobiti isklučivo konačnom primenom prethodne dve stavke. Radi preglednijeg pisanja usvaja se uobičajena konvencija o prioritetu logičkih simbola, brisanju i dopisivanju zagrada. Teoriju ZFC čine osam aksioma i dve sheme, svaka sa prebrojivo mnogo instanci. Prvo ćemo navesti aksiome, a zatim i sheme. Aksiome 1. x 0 x 1 (x 0 = x 1 x 2 (x 2 x 0 x 2 x 1 )) 2. x 0 x 1 (x 1 x 0 ) 3. x 0 x 1 x 2 x 3 (x 3 x 2 x 3 = x 0 x 3 = x 1 ) 4. x 0 x 1 x 2 (x 2 x 1 x 3 (x 3 x 0 x 2 x 3 )) 5. x 0 x 1 x 2 (x 2 x 1 x 3 (x 3 x 2 x 3 x 0 )) 6. x 0 (0 x 0 ( x 1 x 0 )(x 1 {x 1 } x 0 )), pri čemu: 0 x 0 je formula x 2 (x 2 x 0 x 3 (x 3 x 2 )); x 1 {x 1 } x 0 je formula x 2 (x 2 x 0 x 3 (x 3 x 0 (x 3 x 1 x 3 = x 1 )));

41 2.4. PRIMERI TEORIJA PRVOG REDA 41 ( x y)ϕ je formula x(x y ϕ). 7. ( x 0 0)( x 1 x 0 )(x 0 x 1 = 0), pri čemu: x / y je formula (x y); x = 0 je formula y(y / x); x 0 je formula y(y x); ( x y)ϕ je formula x(x y ϕ); x y = 0 je formula z((z x z / y) (z y z / x)). 8. x 0 x 1 x 2 (x 2 x 0 x 3 (x 3 x 2 ) 1 x 4 (x 4 x 2 x 4 x 0 )), pri čemu je 1 xϕ(x) skraćeni zapis formule x(ϕ(x) y(ϕ(y) x = y)). Aksiome 1-8 redom zovemo i aksiomom ekstenzionalnosti, aksiomom praznog skupa, aksiomom para, aksiomom unije, aksiomom partitivnog skupa, aksiomom beskonačnosti, aksiomom regularnosti i aksiomom izbora. Shema separacije Neka je ϕ formula ZFC teorije skupova u kojoj se promenljiva x 2 javlja slobodno i u kojoj promenljiva x 1 nema slobodnih javljanja. Tada je univerzalno zatvorenje formule instanca sheme separacije. x 0 x 1 x 2 (x 2 x 1 x 2 x 0 ϕ) Shema zamene Neka je ϕ formula ZFC teorije skupova u kojoj se promenljive x 2 i x 3 javljaju slobodno i u kojoj promenljiva x 1 nema slobodnih javljanja. Tada je univerzalno zatvorenje formule x 0 ( x 2 (x 2 x 0 1 x 3 ϕ) x 1 x 3 (x 3 x 1 x 2 (x 2 x 0 ϕ)))

42 42 2. LOGIČKE OSNOVE instanca sheme zamene. 2 PA je teorija prvog reda na jeziku L P A koji se sastoji od dva binarna funkcijska znaka + i, jednog unarnog funkcijskog znaka i jednog simbola konstante 0. Teoriju PA čini šest aksioma i jedna shema (shema indukcije) sa prebrojivo mnogo instanci. Navedimo aksiome i shemu indukcije: Aksiome 1. x(x 0); 2. x y(x = y x = y); 3. x(x + 0 = x); 4. x y(x + y = (x + y) ); 5. x(x 0 = 0); 6. x y(x y = x + (x y)). Shema indukcije Neka je ϕ(x, ȳ) proizvoljna formula jezika L P A. Tada je univerzalno zatvorenje formule (ϕ(0, y) x(ϕ(x, ȳ) ϕ(x, ȳ)) xϕ(x, ȳ) instanca sheme indukcije. 3 BA je teorija prvog reda na jeziku L BA koji se sastoji od dva binarna funkcijska simbola i, jednog unarnog funkcijskog simbola c, jednog binarnog relacijskog znaka i dva simbola konstanti 0 i 1. Univerzalna zatvorenja sledećih jedanaest formula su aksiome teorije BA: 1. x y = y x; 2. x y = y x

43 2.5. MODELI - RELACIJA ZADOVOLJENJA x (y z) = (x y) z; 4. x (y z) = (x y) z; 5. x (x y) = x; 6. x (x y) = x; 7. x (y + z) = (x y) (x z); 8. x (y z) = (x y) (x z); 9. x x c = 1; 10. x x c = 0; 11. x y x y = x. 2.5 Modeli - relacija zadovoljenja Neka je L jezik prvog reda i neka je M neprazan skup. Preslikavanje I sa domenom L je interpretacija jezika L u skupu M ako važi: Za svaki simbol konstante c imamo da I(c) M; Za svaki funkcijski znak F arnosti n je I(F ) funkcija sa domenom M n i kodomenom M; Za svaki relacijski znak R arnosti n je I(R) podskup skupa M n. Model jezika L je par M, I, pri čemu je M neprazan skup a I je interpretacija jezika L u skupu M. Ako je jezik L konačan, onda eksplicitno navodimo interpretacije svih simbola. Ako je M = M,... model jezika L, onda interpretaciju proizvoljnog simbola s jezika L često označavamo sa s M.

44 44 2. LOGIČKE OSNOVE Primer Model jezika teorije skupova je par oblika M, E, pri čemu je M neprazan skup a E je binarna relacija na skupu M. Neka je L jezim prvog reda, t term jezika L, n broj promenljivih koje se javljaju u termu t i neka je M = M,... proizvoljan model jezika L. Interpretacija terma t u modelu M je funkcija t M : M n M koju rekurzivno po složenosti definišemo na sledeći način: Ako je t simbol konstante c, onda je n = 0, pa uzimamo da je t M = c M ; Ako je t promenljiva x, onda je n = 1, pa uzimamo da je t M = id M, tj. za svako a M po definiciji je t M (a) = a; Ako je t term F (t 1,..., t m ), onda uzimamo da je t M (a 1,..., a n ) = F M (t M 1 (a 1,..., a n ),..., t M m (a 1,..., a n )). Neka su M = M,... i N = N,... modeli istog jezika L. Kažemo da je model M podmodel modela N ako važi: M N; Za svaki konstantski simbol c jezika L je c M = c N ; Za svaki funkcijski znak F arnosti n jezika L i proizvoljne elemente a 1,... a n M je F M (a 1,..., a n ) = F N (a 1,..., a n ); Za svaki relacijski znak R arnosti n jezika L i proizvoljne elemente a 1,... a n M imamo da R M (a 1,..., a n ) ako i samo ako R N (a 1,..., a n ).

45 2.5. MODELI - RELACIJA ZADOVOLJENJA 45 Neka su M = M,... i N = N,... modeli istog jezika L. Funkcija f : M N je homomorfizam ako važi: f(c M ) = c N ; f(f M (a 1,..., a n )) = F N (f(a 1 ),..., f(a n )); R M (a 1,..., a n ) ako i samo ako R N (f(a 1 ),..., f(a n )). Posebno, modeli M i N su izomorfni, u oznaci M = N, ako postoji bijektivni homomorfizam izmed u njih Definicija Neka je M = M,... model jezika L, ϕ( x) proizvoljna formula jezika L i neka a 1,..., a n M. Predikat u modelu M važi formula ϕ pri valuaciji x i a i, u oznaci M = ϕ[ā], definišemo rekurzivno po složenosti na sledeći način: Ako je ϕ formula t 1 = t 2, onda M = ϕ(ā) akko t M 1 (ā) = t M 1 (ā); Ako je ϕ formula R(t 1,..., t m ), onda M = ϕ[ā] akko važi R M (t M 1 (ā),..., t M m (ā)); Ako je ϕ formula φ, onda M = ϕ[ā] akko nije M = φ[ā]; Ako je ϕ formula φ ψ, onda M = ϕ[ā] akko iz M = φ[ā] sledi da M = ψ[ā]; Ako je ϕ formula yφ(y, x), onda M = ϕ[ā] akko za svako b M, M = φ[b, ā].