Logica

Facultatea de Matematic, Universitatea Al. I.
CuzaIai a s
Logic i teoria multimilor as

de Claudiu Volf & Ioan I. Vrabie
2012
NOTE DE CURS
Cuprins
Capitolul 1. Elemente de logic a 1.1. Principiile logicii 1.2. Rolul limbajului. 1.3. Denitii, propozitii 1.4. Operatii cu propozitii. 1.5. Expresii 1.6. Predicate 1.7. Variabile libere. Variabile legate 1.8. Reguli de negatie 1.9. Exercitii i probleme s Capitolul 2. Elemente de teoria demonstratiei 2.1. Argumente 2.2. Teoreme. 2.3. Demonstratii directe 2.4. Demonstratii indirecte 2.5. Relatii de tip functie 2.6. Relatii de echivalent a 2.7. Relatii de ordine 2.8. Solutii Capitolul 3. Elemente de teoria multimilor 3.1. Logic, multimi, axiome a 3.2. Sisteme axiomatice. Teorii 3.3. Limbajul formal al teoriei axiomatice ZF a multimilor 3.4. Axiomele extensionalitii, reuniunii, multimii prtilor at a 3.5. Relatii, functii 3.6. Relatii de ordine. Relatii de echivalent a 3.7. Axioma innitii. Multimea N. Inductie at 3.8. Exercitii i probleme s Capitolul 4. Comentarii i completri s a 4.1. Clase 4.2. Axioma alegerii 4.3. Cardinali 4.4. Axiomatica ZFS 4.5. Consistent, independent, modele a a Bibliograe 1 1 2 4 5 8 13 14 15 17 21 21 23 25 29 31 33 36 38 41 41 42 46 50 54 60 62 65 67 67 68 68 70 72 75
iii
CAPITOLUL 1
Elemente de logic a
Spune ntotdeauna adevrul i a s nu va trebui s ii minte nimic. at Mark Twain
1.1. Principiile logicii Logica este tiinta demonstratiei, avnd drept obiecte de studiu legile generale s a de rationament corect. Pe scurt, logica se ocup de studiul sistematic al adevrului. a a Obiectele cu care ea opereaz sunt propozitiile i predicatele, iar mijloacele de lucru a s utilizate sunt limbajul i regulile de deductie. Mai precis, logica opereaz cu denitii, s a propozitii, predicate, operatori logici, cuanticatori i reguli de deductie. s Incepem prin a formula patru principii fundamentale ale logicii matematice: Principiul identitii at Principiul non-contradictiei Principiul tertului exclus Principiul ratiunii suciente Conform principiului identitii, cadrul oricrui proces de rationament, at n a notiunile, propozitiile, predicatele, notatiile, etc., trebuie utilizate ntr-o singur a acceptiune i numai una. Orice abatere de la aceast regul este o surs de neadevr s a a a a i confuzie. Este binecunoscut replica cred c vorbim de spre lucruri diferite s a a pe care unul dintre participantii la o discutie o d altuia atunci cnd, cel putin a a aparent, pornind de la aceeai premis adevrat, ajung la concluzii contradictorii. s a a a Aceasta replic este de fapt o atentionare asupra unei posibile alcri a principa nc a iului identitii, alcare cunoscut drept cea mai frecvent surs de contradictii. at nc a a a Un rationament eronat de tipul Cinele este mamifer. Mamifer este substan a tiv. Deci cinele este substantiv. este bazat pe alcarea principiului identitii a nc at prin utilizarea termenului mamifer dou acceptiuni diferite: prima de nume n a de notiune i cea de-a doua de parte de vorbire. Subliniem c acest principiu are s a drept consecint c un acelai simbol, cadrul unui rationament, nu poate nota a a s n obiecte diferite. De aici decurge regula substitutiei , care arm c substituirea unei a a variabile ntr-o expresie trebuie fcut peste tot unde apare cu unul i acelai simbol. a a s s Pe de alt parte, traditia gndirii corecte ne spune c o propozitie nu poate i a a a s adevrat i fals, cerint cunoscut sub numele de principiul non-contradictiei. a as a a a Propozitiile pot adevrate sau false, iar logica matematic se bazeaz pe a a a cerinta c o a treia posibilitate nu exist. Acesta este principiul tertului exclus. a a Logica pretinde justicri fundamentate i complete. Aceast cerint este fora s a a mulat de principiul ratiunii suciente: exceptnd axiomele, toate armatiile a a acceptate drept adevrate se bazeaz doar pe demonstratii corecte, care folosesc a a
Capitolul 1 Elemente de logic a
numai adevruri deja cunoscute, sucient de a ntemeiate. In plus, concluziile trebuie obtinute doar pe cale deductiv. Cu alte cuvinte, pentru a stabili faptul c o a a propozitie este adevrat sau fals trebuie s ne sprijinim pe o argumentatie rig a a a a uroas, deductiv, bazat pe o cantitate sucient de adevr . Aceasta revine la a a a a a a spune c logica nu accept argumente care se bazeaz pe: propozitii false, argumente a a a de autoritate de tipul pentru ca aa vreau, nici argumente care pot corecte, dar s sunt incomplete precum cele inductive. Aparitia cadrul limbajelor naturale (mai trziu, chiar interiorul unor teorii n a n matematice) a unor propozitii ce nu respect principiul necontradictiei, propozitii a numite e antinomii 1 termen folosit cu precdere de loso e paradoxuri 2, a a impulsionat att logica ct i matematica spre rezolvarea cu prioritate a problemelor a a s proprii de fundament. Matematica este cu sigurant disciplina care, pn la un anumit punct, s-a a a a format, dezvoltat i formalizat pe baza logicii, ulterior observndu-se i o inversare s a s de roluri: logica s-a formalizat utiliznd metode matematice. Demn de subliniat este a faptul c exist o corespondent perfect a a a a ntre calculul propozitiilor i operatiile cu s submultimile unei multimi nevide date. De exemplu, disjunctiei a dou propozitii a i corespunde reuniunea a dou multimi, i reciproc. Din acest motiv, nu de putine ori, a s elementele de logic matematic se prezint a a a mpreun cu cele de teoria multimilor, a suportul intuitiv al celei din urm ind de un real folos elegerea i aprofundarea a n nt s a numeroase constructii logice abstracte. Nu este lipsit de interes s subliniem c au a a existat logicieni precum Bertrand Russell care au sustinut teza c matematica a este o ramur a logicii. a 1.2. Rolul limbajului. Un prim scop al acestui curs este de a trece de la limbajul natural, obinuit, s la limbajul matematic, modern. Instrumentul principal cu care opereaz orice tip a de tiint, particular i logica, este limbajul. afar de limbajul natural s a n s In a n cazul nostru limba romn exist multe alte limbaje specice diferitelor tiinte. a a a s Aceaste limbaje au fost create din mai multe ratiuni dintre care amintim: Evitarea problemelor de natur logic: antinomiile semantice vezi mai a a jos antinomia mincinosului i cea a lui Grelling; formulrile echivoce; utis a lizarea dublei negatii cu rol de negatie simpl folosit multe limbi a a n naturale precum romna i franceza, dar nu englez utilizare care a s n a este de natur s perverteasc gndirea corect. La a a a a a ntrebarea: Ce faci ? cei mai multi prefer s aleag varianta de rspuns, ilogic: Nu fac nimic!, a a a a locul celei perfect logice: Nimic 3. Alturarea lui nu cu nimic, vrem, n a nu vrem, are drept eles ceva. Ca urmare, Nu fac nimic! se traduce nt termenii logicii aristotelice prin Fac ceva! Ceea ce trebuie s retinem n a din acest exemplu simplu este c, dac limbajul comun, din motive a a n traditionale4, nu putem renunta la unele exprimri care utilizeaz dubla a a
1Constnd dintr-o contradictie aparent insolubil dintre dou teze, legi sau principii care, a a a
dei se exclud reciproc, pot demonstrate, ecare parte, la fel de convingtor. s n a 2Termenul de paradox este utilizat special de logica matematic i denumete orice n a s s propozitie corect construit care este adevrat dac i numai dac este fals. a a a as a a 3Si care, din pcate, pentru unii, exprim un adevr incontestabil. a a a 4La care s-ar putea renunta cu o mare dicultate i cu pretul unor costuri educationale s enorme.
Introducere
negatie pe post de negatie simpl cu scop de a sublinia caracterul negativ a al unei asertiuni, cadrul limbajului matematic aceast practic este in n a a terzis cu desvrire. Oricum, este de dorit ca i limbajul de toate zilele a a a s s n s evitm, prin intermediul unor formulri echivalente pe deplin corecte, a a a utilizarea dublei negatii pe post de negatie simpl. a Simplicarea i standardizarea exprimrii, e.g.5 chimia folosete o sims a s bolistic proprie pentru a scurta expunerea i a descrie ct mai precis a s a obiectele cu care opereaz. loc de termenul sare de buctrie chimistul a In aa folosete termenul simbolic NaCl care descrie foarte precis i, acelai s s n s timp, concis compozitia chimic a substantei mai sus mentionate. Tot a n scopul simplicrii i al standardizrii exprimrii, att matematica ct i a s a a a a s logica fac apel la o multime de simboluri proprii precum: , , , , , , , , , , i multe altele pe care le vom deni i despre care vom s s discuta mai trziu. a Fiecare tiint are limbajul propriu i drept urmare, cnd formulm es a s a a nunturi care intervin notiuni i rezultate din mai multe tiinte, trebuie n s s s specicm cu claritate semnicatia simbolurilor utilizate. Altminteri a a se poate ajunge la confuzii sau la asertiuni absurde. Reamintim c, a n chimie, N este simbolul numelui elementului Azot, zic N reprezint n a a acronimul unitii de msur pentru putere, i.e. Newton, iar matemat a a n atic este simbolul multimii numerelor naturale. Analog, chimie C a n reprezint acronimul elementului Carbon, zic C este simbolul sisa n a temului de msur pentru temperatur bazat pe scara Celsius, muzic a a a n a C desemneaz nota Do, iar matematic C noteaz multimea numerelor a n a a complexe (i nu numai). s Este locul s subliniem importanta utilizrii corecte a limbii, o atentie special a a a trebuind a acordat semnelor de punctuatie. Lipsa sau prezenta acestora (i.e.6 a plasarea lor neinspirat) pot modica dramatic elesul unei propozitii. S lum a nt a a drept exemplu propozitia (culeas dintr-o emisiune televizat): Stm de vorb cu a a a a Florin, de 19 ani student anul ai. Lipsa virgulei n nt ntre ani i student virgul s a care ine locul conjunctiei i modic radical elesul dorit, anume c: Florin t s a nt a are 19 ani i este anul ai preciznd fr nici un dubiu c: perioada care s n nt a aa a n Florin a fost i a mai este student anul ai este de 19 ani, ceea ce . . . s nc n nt este cu totul altceva. Un alt exemplu de acelai tip (cules chiar dintr-o carte de s matematic) evidentiaz nu numai importanta plasrii corecte a virgulei, dar i a a a s dependenta elesului unei propozitii de ordinea termenilor: Teorema de uniform nt a convergenta a lui Weierstrass dorete s exprime de fapt Teorema lui Weierstrass s a de uniform convergent. Putem exprima corect acelai lucru plasnd virgula la a a s a locul cuvenit, adic Teorema de uniform convergenta, a lui Weierstrass. a a De asemenea, unele permutri de cuvinte sau de grupuri de cuvinte pot schimba a radical elesul pe care intentionm s-l atribuim unui enunt. De exemplu, sensul nt a a propozitiei: Ursul a mai atacat o femeie care se aa la pscut, cu vacile. (Reali a tatea TV, 15.09.2012, ora 18:25) este cu totul altul dect cel avut vedere: Ursul a n a mai atacat o femeie care se aa cu vacile la pscut. a
5Prescurtarea e.g. provine de la expresia latin exempli gratia i a s nseamn: de exemplu, ca a exemplu, spre exemplu. 6Prescurtarea i.e. provine de la expresia latin id est i a s nseamn: altfel spus, cu alte cuvinte, a adic. a
1.3. Denitii, propozitii Logica opereaz cu denitii , propozitii (pe care le vom mai numi i enunturi ), a s predicate (numite i functii propozitionale), operatori logici , cuanticatori i reguli s s de deductie. O denitie este o delimitare precis a unei familii particulare de obiecte a dintr-una mai ampl, deja cunoscut (numit gen proxim), prin intermediul unei a a a proprieti comune tuturor obiectelor nou denite i numai acestora (proprietate at s numit diferent specic ). Desigur, aceasta este o descriere a ceea ce se elege a a a nt printr-o denitie i nicidecum o denitie a denitiei. Numele generic dat unui obiect s din familia nou denit este numele conceptului (notiunii) denit(e). a denitia: Se numete triunghi dreptunghic un triunghi care are un unghi In s drept., numele conceptului denit este triunghi dreptunghic, genul proxim este triunghi iar diferenta specic este proprietatea de a avea un unghi drept. O a cerint esential pe care trebuie s o respecte o denitie este de a consistent. a a a a Aceasta nseamn c genul proxim trebuie s contin mcar un obiect care s aib a a a a a a a toate proprietile cerute de diferenta specic. Un astfel de obiect se numete at a s exemplu pentru denitia respectiv. cazul denitiei notiunii de grup un astfel de a In exemplu este grupul (Z, +). Este uor de eles c, din moment ce pentru a deni un nou concept, e.g. cel s nt a de triunghi dreptunghic, trebuie s ne bazm pe un altul deja denit, e.g. cel de a a triunghi, mergnd a napoi, din denitie denitie, vom ajunge la concepte (notiuni) n pentru care nu putem gsi nici un gen proxim pre-existent la care s ne raportm, a a a i.e. de la care s construim denitia. Aadar, trebuie s considerm cele din a s a a n urm notiuni care nu se denesc (notiuni primare); cu ajutorul lor vom putea a deni alte obiecte. Aceasta este un principiu de baz orice teorie axiomatic. a n a Cele mai importante notiuni primare pe care le vom utiliza cadrul acestui curs n sunt notiunea de multime i de relatie de apartenenta . Pentru descrierea acestora s suntem nevoiti s apelm la intuitie. a a O propozitie sau un enunt este o constatare spus, scris, gndit, sau expri a a a a mat orice alt mod, care este e adevrat e fals. Adevrul, notat pe scurt cu a a n a a a a sau 1 i falsul, notat pe scurt cu f sau 0, poart numele de valori de adevr ale unei s a a propozitii. De exemplu: Mihai are prul blond. este o propozitie acceptiunea a n logicii, a crei valoare de adevr, a sau f , poate stabilit e prin vericare dia a a rect observarea subiectului, Mihai, e indirect prin observarea unei fotograi a color a subiectului. Dimpotriv, formulrile: Cnd plou? , Du-te acas ! nu sunt a a a a a propozitii sensul logicii, dei, acceptiunea gramatical, prima este o propozitie n s n a interogativ iar cea de-a doua o propozitie imperativ. Trebuie s mentionm de la a a a a bun nceput c, pentru ca o anumit formulare s e o propozitie, nu este necesar a a a s m stare a-i stabili valoarea de adevr. De asemenea, este foarte important a n a s subliniem c exist o distinctie a a a ntre modul de exprimare, i.e. expresia unei propozitii i propozitia ai. Mai precis, una i aceeai propozitie poate expri s nss s s mat mai multe moduri. De exemplu propozitia Mihai are prul blond. admite a n a formularea echivalent Prul lui Mihai este blond. Este uor de constatat c, dei a a s a s aceste dou formulri sunt distincte, ele exprim aceeai constatare. a a a s 1.3.1. Exercitii. Exercitiul 1.3.1. Pentru denitiile de mai jos s se pun evident: a a n a (i) numele conceptului denit; (ii) genul proxim;
Introducere
(iii) diferenta specic; a i apoi s precizeze cteva forme echivalente. Exemplu. cazul denitiei Poligonul s a a In cu trei laturi se numete triunghi. avem s (i) numele conceptului denit:triunghi (ii) genul proxim: poligon (iii) diferenta specic: cu trei laturi. a Formulri echivalente: Triunghiul este un poligon cu trei laturi., Numim a triunghi un poligon cu trei laturi. Aceast din urm formulare este preferabil a a a deoarece evidentiaz de la bun a nceput c avem de-a face cu o denitie i nu cu o a s teorem. a (1) Se numete dreptunghi un patrulater cu trei unghiuri drepte. s (2) Se numete functie injectiv o functie cu proprietatea c transform orice s a a a dou puncte distincte din domeniu dou puncte disticte din codomeniu. a n a (3) Se numete grup comutativ un grup (G, ) cu proprietatea c pentru orice s a dou elemente x, y din G avem x y = y x. a (4) Se numete numr prim un numr natural, mai mare dect 1, ai crui s a a a a singuri divizori sunt 1 i numrul si. s a nsu (5) Se numete multime s nchis o multime de numere reale care este complea mentara unei multimi deschise. Exercitiul 1.3.2. Care dintre urmtoarele expresii sunt propozitii i care nu? a s (1) Pomii sunt verzi. (2) Fie ABC un triunghi isoscel. (3) Ptratul are toate laturile congruente. a (4) Ptratul are exact dou laturi congruente. a a (5) Cine este autorul teoremei: o paralel dus la una din laturile unui tria a unghi determin pe celelalte dou laturi segmente proportionale? a a (6) De ce ABC este echilateral? (7) Orice functie continu este derivabil. a a (8) Toate functiile continue sunt derivabile. (9) Exist o functie continu care nu este derivabil. a a a (10) Nici o functie continu nu este derivabil a a (11) Nu exist o functie continu care s e derivabil. a a a a (12) Nu exist o functie continu care s nu e derivabil. a a a a (13) Dac x 3 atunci x10 > 10. a (14) x 3. (15) (a + b) (a b) = a2 b2 . (16) Pentru orice a C, (a + b) (a b) = a2 b2 . (17) Pentru orice a, b C, (a + b) (a b) = a2 b2 . a (18) Dac x 3 atunci y 2 > 0. (19) x x1 = 1. 1.4. Operatii cu propozitii. Fiind date dou propozitii p, q, putem forma altele noi prin intermediul opera atorilor logici de: disjunctie, conjunctie, negati e i implicatie. s s a 1.4.1. Disjunctia. Propozitia p q, care se citete p sau q, poart numele de disjunctia propozitiilor p i q, propozitie care este adevrat exact atunci cnd s a a a
cel putin una dintre propozitiile p sau q este adevrat. Aadar, p q este fals a a s a exact atunci cnd att p ct i q sunt false. Aceast denitie a valorii de adevr a a a a s a a lui p q se poate da cu ajutorul tabelului de adevr : a p q pq 1 1 1 1 0 1 0 1 1 0 0 0 S-au scris pe linii toate combinatiile posibile de valori de adevr pentru p i a s q. Tabelul se citete pe linii: de exemplu, linia 3 a tabelului spune, c, dac p are s a a valoarea de adevr 0, iar q are valoarea de adevr 1, atunci p q are valoarea de a a adevr 1. a Exemplul 1.4.1. Florin nu este acas sau telefonul lui este defect este un enunt de forma a p q, unde p este Florin nu este acas, iar q este Telefonul lui Florin a este defect. Patrulaterul ABCD este ptrat sau patrulaterul ABCD este romb. a Aceast propozitie este adesea enuntat mai pe scurt Patrulaterul ABCD a a este ptrat sau romb. Este important de identicat structura logic a a a unei propozitii compuse de acest tip. 1.4.2. Conjunctia. Propozitia p q, care se citete p i q, poart numele s s a de conjunctia propozitiilor p i q, propozitie care este adevrat exact atunci cnd s a a a ambele propozitii p i q sunt adevrate. Deci, p q este fals exact atunci cnd s a a a mcar una dintre ele este fals. Corespunztor, avem tabelul de adevr: a a a a p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0
Exemplul 1.4.2. Trenul oprete i cltorii coboar. s s aa a Patrulaterul ABCD este romb i are un unghi drept. s 1.4.3. Negatia. Dat o propozitie p, putem forma propozitia p, numit a a negatia propozitiei p, care este adevrat exact atunci cnd p este fals. Deci, p a a a a este fals dac p este adevrat. Propozitia p se citete non p sau nu este a a a a s adevrat c p. a a p p 1 0 0 1 Exemplul 1.4.3. Negatia propozitiei Orice om este muritor este Nu orice om este muri tor. Forme echivalente: Exist un om care nu este muritor preferat a a i Nici un om nu este muritor pe care o vom evita. Vezi comentariul s de mai jos.
Introducere
Negatia propozitiei Exist triunghiuri cu dou unghiuri drepte este a a Nu exist un triunghi care s aib dou unghiuri drepte preferat a a a a a sau formele echivalente Orice triunghi nu are dou unghiuri drepte a preferat i Nici un triunghi nu are dou unghiuri drepte pe care o a s a vom evita. Comentariul 1.4.1. ambele exemple, ultima form, dei folosit i accepIn a s as tat limbajul curent, va evitat limbajul matematic tocmai pentru a nu a n a n permite utilizarea dublei negatii cu rol de negatie simpl, utilizare avnd drept a a scop de a accentua caracterul negativ al constatrii, dar generatoare de posibile a ambiguiti. at S analizm cteva exemple. a a a Exemplul 1.4.4. Negatia propozitiei: dreptele d1 i d2 sunt paralele sau s necoplanare este dreptele d1 i d2 nu sunt paralele i nu sunt necoplanare, ceea s s ce, virtutea pricipiului dublei negatii, se reformuleaz: dreptele d1 i d2 nu n a s sunt paralele i sunt coplanare de unde deducem c dreptele d1 i d2 sunt s a s concurente. Aceeai negatie mai poate exprimat i sub forma: dreptele d1 i s as s d2 nu sunt paralele i nici necoplanare. s Exemplul 1.4.5. Negatia propozitiei: patrulaterul ABCD este romb i are s un unghi drept este patrulaterul ABCD nu este romb sau nu are un unghi drept sau, echivalent: patrulaterul ABCD nu este romb sau orice unghi al su nu este a drept sau a: patrulaterul ABCD nu este romb sau nu exist un unghi al su nc a a care s e drept. a 1.4.4. Implicatia. Denim propozitia p q, care se citete p implic q ca s a ind o notatie prescurtat pentru propozitia (p) q. Scriind tabelul de adevr a a pentru (p) q, se vede imediat c p q este adevrat dac q este adevrat a a a a a a sau att p ct i q sunt false, i fals numai dac p este adevrat i q fals. a a s s a a a a s a In expresia p q, p poart numele de ipotez , iar q de concluzie . Operatorul logic a a se numete implicatie. s Tabelul su de adevr este: a a p 1 1 0 0 q pq 1 1 0 0 1 1 0 1
Se justic intuitiv c p q este acelai lucru cu (p) q, astfel: p q a a s nseamn a dac p este adevrat, atunci q este adevrat. Altfel spus, sau p este fals (adic a a a a a a a are loc p), sau p este adevrat i atunci automat q este adevrat (adic are loc a as a a a q); pe scurt, (p) q. Faptul c p q este acelai lucru din punct de vedere logic a s cu (p) q este foarte important i util cnd trebuie negat o implicatie (lucru care s a a intervine frecvent, de exemplu cazul demonstratiilor prin reducere la absurd). n Exemple: a a ntr-un minut atunci vom ajunge la timp. Dac plecm Dac ABC este triunghi cu toate laturile congruente dou cte dou a a a a atunci unghiurile triunghiului ABC sunt congruente dou cte dou. a a a
Propozitia p q se mai poate exprima prin frazele urmtoare, des alnite a nt n textele matematice sau limbajul natural: n dac p atunci q a ipoteza p are loc q n p este o conditie sucient pentru q a q este o conditie necesar pentru p a q dac p a p numai dac q a q ipoteza c p n a este sucient ca p pentru ca q q este o consecint a lui petc. a Invitm cititorul s reformuleze limbaj natural exemplele de mai sus, folosind a a n toate variantele posibile. De pild, Dac plecm a a a ntr-un minut atunci vom ajunge la timp se mai poate exprima prin Plecm a ntr-un minut implic c vom ajunge a a la timp7, Este sucient s plecm a a ntr-un minut pentru ca s ajungem la timp, a Vom ajunge la timp dac plecm a a ntr-un minut etc. 1.5. Expresii S denim riguros cum putem construi noi propozitii din propozitiile deja exa istente. Pornim de la trei multimi de simboluri: V = {p, q, . . . }, numit multimea a variabilelor propozitionale, O = {, , , } numit multimea operatorilor logici a i A = {(, )}, numit multimea simbolurilor auxiliare. O expresie propozitional , s a a sau, pe scurt, expresie 8, este un ir de simboluri alese din multimile V, O sau A, s construit dup regulile de mai jos: a (E1 ) orice variabil propozitional este o expresie; a a (E2 ) dac E i F sunt expresii atunci (E) (F ), (E) (F ), (E) (F ) i (E) a s s sunt expresii; (E3 ) singurele expresii corecte sunt cele construite respectnd regulile (E1 ) i a s (E2 ). Pentru un plus de claritate, se admite folosirea, afar de parantezele rotunde, n a i a parantezelor ptrate [, ] i a acoladelor {, }. cele ce urmeaz vom numi cuvnt s a s In a a o succesiune de elemente din cele trei multimi precizate mai sus. Pentru simplitatea scrierii, ori de cte ori nu apare pericol de confuzie, loc a n de (E) (F ) vom scrie, mai simplu, E F . Aceeai observatie se aplic pentru s a (E) (F ), (E) (F ) i (E). De asemenea, operatorul actioneaz numai asupra s a expresiei imediat urmtoare. De exemplu, p reprezint scrierea simplicat a a a a (p). Analog, p q este scrierea simplicat a (p) q. a Exemplu. conformitate cu cele precizate mai sus, dac E i F sunt expresii, In a s atunci cuvintele (E F ) (E) i (E F ) sunt expresii, timp ce (E F )E s n i EF F nu sunt expresii. s a s n a Remarca 1.5.1. Dup cum este de ateptat, (E F ) negatia se refer la disjunctia E F , timp ce expresia E F , ea se refer doar la E. Uneori, cnd n n a a vom utiliza mai multe rnduri de paranteze, pentru a scoate evident ordinea a n a operatiilor efectuate, vom utiliza i alte semne s nafar de parantezele rotunde, (, ), a
7Din multiplele moduri de exprimare, este indicat totui s le alegem pe cele care evit s a a cacofoniile... 8Sau formul. a
Introducere
anume: [, ] i chiar {, }. De exemplu, expresia {[(E F ) G] H} L se s n efectueaz ordine: E F , (E F ) G, [(E F ) G] H i, sfrit, a n s n a s {[(E F ) G] H} L. Denitia 1.5.1. Dou expresii propozitionale E i F se numesc echivalente a s dac, pentru orice valori de adevr ale variabilelor propozitionale care apar E i a a n s F, expresiile au aceeai valoare de adevr. Notm acest lucru prin E F. s a a Remarca 1.5.2. Au loc urmtoarele reguli de negatie exprimate prin intera mediul echivalentelor logice: (p q) (p) (q) (p q) (p) (q), numite legile lui DeMorgan. Exemplul 1.5.1. Au loc urmtoarele echivalente (demonstrati-le cu ajutorul a tabelelor de adevr): a (i) p q (p) q. Aceast echivalent nu este dect o transcriere a a a a denitiei implicatiei. (ii) p (q r) (p q) (p r) (distributivitatea lui fat de ). a (iii) p (q r) (p q) (p r) (distributivitatea lui fat de ). a (iv) (p) p (legea negrii negatiei). a Pentru ilustrare, demonstrm distributivitatea lui fat de . a a Intruct sunt a 3 variabile propozitionale, trebuie s avem 8 linii tabel, corespunztoare celor a n a 8 = 23 combinatii al valorilor de adevr ale p, q, r : a p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r pq 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 pr 1 0 1 0 0 0 0 0 (p q) (p r) 1 1 1 0 0 0 0 0 qr 1 1 1 0 1 1 1 0 p (q r) 1 1 1 0 0 0 0 0
Egalitatea coloanelor (p q) (p r) i p (q r) demonstreaz echivalenta s a cerut. a Revenim asupra negrii implicatiei. Intuitiv, cnd spunem c p q este fals? a a a a Desigur, atunci cnd ipoteza p este adevrat i totui concluzia q este fals (adic a a as s a a are loc p q). Aceasta este acord cu urmtorul calcul propozitional: n a (p q) ((p) q) (p) (q) p (q). Am aplicat legile de negare ale lui DeMorgan. Vezi Remarca 1.5.2. Pentru importanta sa, trebuie retinut aceast regul de negare a implicatiei : a a a (p q) p (q) . general, concluziile bazate pe un calcul logic formal trebuie totdeauna inIn terpretate intuitiv (conform bunului simt). Acest fapt evit aparitia unor greeli a s datorate aplicrii defectuoase a regulilor logicii i, totodat, este un proces absolut a s a
10
necesar elegerea unor demonstratii (sau gsirea unor solutii la o problem n nt n a a dat). a Echivalenta. Pentru dou expresii propozitionale E i F, denim E F ca a s ind o notatie prescurtat a expresiei (E F ) (F E) . Simbolul poate a deci considerat un operator logic. Tabelul su de adevr este (demonstrati): a a p 1 1 0 0 q pq 1 1 0 0 1 0 0 1
concluzie, p q este adevrat atunci cnd p i q au aceeai valoare de adevr, In a a a s s a i fals caz contrar. Observm c p q este acelai lucru cu faptul c p q este s a n a a s a adevrat. Propozitia p q se citete: a a s p este echivalent cu q a p dac i numai dac q as a p este o conditie necesar i sucient pentru q. as a Denitia 1.5.2. Se numete tautologie o expresie care este adevrat, indifer s a a ent de valorile de adevr ale variabilelor propozitionale. Se numete contradictie o a s expresie care este fals, indiferent de valorile de adevr ale variabilelor propozitionale. a a Astfel, dac E, F sunt expresii, atunci: E F este o tautologie este exact a acelai lucru cu E F . Orice echivalent E F genereaz tautologia E F : s a a folosind Exemplul 1.5.1, obtinem tautologiile [p (q r)] [(p q) (p r)] etc. Denitia 1.5.3. Fie E iF expresii. Dac propozitia E F este adevrat, s a a a scriem E F. Dac propozitia E F este adevrat, scriem E F. a a a Insistm asupra distinctiei dintre E F i E F. Astfel, E F este o a s propozitie (care poate adevrat sau fals), pe cnd scrierea E F a a a a nseamn a E F este o propozitie adevrat, adic F este o consecint logic a lui E. a a a a a Analog, E F poate adevrat sau fals, pe cnd E F a a a a nseamn E F a este o propozitie adevrat (adic E F ). Evident, E F a a a nseamn c E F a a i F E. s De aceste lucruri trebuie s se in cont redactarea demonstratiilor sau a t a n n diverse enunturi matematice: vom scrie E F doar cazul care F este o n n consecint logic a lui E. La fel, scriem E F doar cnd E F i F E au loc a a a s simultan. O greeal frecvent este folosirea abuziv a notatiei , cnd ar trebui s a a a a s se foloseasc (de exemplu cursul rezolvrii unor ecuatii). a a n a Exemplul 1.5.2. Pentru orice propozitii p, q avem: ((p q) p) q. Demonstratie. Trebuie s artm c propozitia ((p q) p) q este adevrat, a aa a a a indiferent de valorile de adevr ale p, q. Examinnd denitia operatorului , avem a a de artat c, dac ((p q) p) este adevrat, atunci q este adevrat. a a a a a a a Presupunnd deci ((p q) p) adevrat, rezult din tabela de adevr pentru a a a a a c p este adevrat i p q adevrat. Dar p q pq, deci p (p q) este a a as a a adevrat. Folosind distributivitatea, deducem c p (p q) (p p) (p q) a a a este adevrat. Cum p p este a a ntotdeauna fals (este o contradictie), (p q) a trebuie s e adevrat, deci q este adevrat. a a a a a
Introducere
11
Mai exist dou variante de demonstratie: folosind tabele de adevr sau folosind a a a calculul propozitional. Lsm seama cititorului demonstratia bazat pe tabelele a a n a de adevr, mrgninindu-ne s exemplicm metoda calculului propozitional (care a a a a necesit cunoaterea unor formule din calculul cu propozitii). a s Demonstratie. Folosind denitia implicatiei (p q p q), avem: ((p q) p) q ((p q) p) q ((p q) p) q ( (p q) p) q ((p q) p) q ((p q) p) q ((p p) (q p)) q Dar p p este totdeauna adevrat, deci (p p) (q p) q p. a a Continum: a ((p p) (q p)) q (q p) q (p q) q p (q q) Am folosit c disjunctia este asociativ i comutativ. Aceast propozitie este a as a a o tautologie (cci q q este tautologie). a Urmtoarea propozitie colecteaz o serie de tautologii, dintre care unele sunt a a folosite rationamente i au primit nume distinctive. Cteva au mai fost alnite n s a nt text, sub forma unor echivalente logice. Invitm cititorul s demonstreze cteva n a a a dintre ele (mcar (6), (7), (13), (19), (23), (24), (25)), folosind una din metodele a descrise mai sus. Propozitia 1.5.1. Fie p, q, r variabile propozitionale. Au loc urmtoarele tau a tologii : (1) (p q) (q p) (Comutativitatea disjunctiei). (2) (p q) (q p) (Comutativitatea conjunctiei). (3) [(p q) r] [p (q r)] (Asociativitatea disjunctiei).9 (4) [(p q) r] [p (q r)] (Asociativitatea conjunctiei).10 (5) p (q r) [(p q) (p r)] (Distributivitatea lui fat de ). a (6) p (q r) [(p q) (p r)] (Distributivitatea lui fat de ). a (7) [(p q)] (p q) ; [(p q)] (p q) (Legile lui DeMorgan sau legile de dualitate). (8) (p q) [(p q) (q p)] (9) (p q) (q p) (10) (p q) (p q) (11) p p (12) (p p) (13) (p p) q (Pornind de la o contradictie, deducem c orice este adevrat)11. a a (14) (p) p (Legea dublei negatii). (15) p p (Legea tertului exclus). (16) (p p) p (17) (p p) p
9Asociativitatea disjunctiei ne permite s scriem p q r loc de (p q) r sau de p (q r), a n fr pericol de confuzie deoarece valoarea de adevr nu este inuentat de pozitia parantezelor. a a a a 10Asociativitatea conjunctiei ne permite s scriem pq r loc de (pq)r sau de p(q r), a n fr pericol de confuzie deoarece valoarea de adevr nu este inuentat de pozitia parantezelor. a a a a 11Este deci esential ca o teorie matematic s nu contin contradictii: dac orice armatie a a a a este adevrat, atunci cercetarea adevrului este inutil... a a a a
12
(18) p (q p) (Dac p este adevrat, atunci p este adevrat orice a a a a a n ipotez). a (19) [p (q r)] [(p q) r] (20) (p) (p q) (21) (p q) (q p) (22) (p q) (p q) (23) (p q) (q p) (Principiul de demonstratie prin reducere la ab surd: pentru a demonstra q ipoteza p, presupunem c q este fals i n a a s demonstrm p.) a (24) (p q) [(p q) (r r)] (O variant a principiului de demonstraa ie prin reducere la absurd: pentru a demonstra c p q, se presupune c t a a are loc p i totui q este fals. De aici se deduce o contradictie: (r r) .) s s a (25) [p (q r)] [(p q) r] (Pentru a demonstra c p implic o cona a cluzie de forma q r, se presupun adevrate p i q i se demonstreaz a s s a r.) (26) [(p q) (q r)] (p r) (Tranzitivitatea implicatiei, cunoscut sub a numele de regula silogismului) (27) (p q) (p q) (Regula de negare a implicatiei) . 1.5.1. Exercitii. Exercitiul 1.5.1. Fie p = Ana are mere, q = Ana este blond i r = Ana a s cnt frumos. Traduceti limbaj natural urmtoarele propozitii: a a n a (1) q r (2) p q (3) q (4) (p q) (5) (p) (q) (6) (r q) p (7) (r q) p (8) r (q p) (9) r (p q) (10) (r q) (r p) (11) r (q p) (12) (p (q)) (r (p)) Exercitiul 1.5.2. Scrieti expresiile logice corespunztoare enunturilor: a (1) Ana nu este blond, dar cnt frumos. a a a (2) Ana nu are mere, i nu este blond sau cnt frumos. s a a a (3) Ana nu are mere i nu este blond, sau cnt frumos. s a a a a a a (4) Nu este adevrat c Ana este blond sau are mere. (5) Nu este adevrat c Ana este blond, sau are mere. a a a s a s a a a (6) Ana are mere i este blond, sau are mere i cnt urt. (7) Dac Ana are mere i este blond, atunci ea cnt frumos. a s a a a a a a a a (8) O conditie necesar ca Ana s cnte frumos este s e blond. (9) O conditie sucient ca Ana s cnte frumos este s e blond. a a a a a (10) Chiar dac Ana cnt frumos, nu are mere. a a a a a s a a a a (11) Ana are mere dac este blond, i nu cnt urt dac are mere. Exercitiul 1.5.3. Fie p, q, r propozitii. S se demonstreze c: a a
Introducere
13
(1) (2) (3) (4) (5) (6) (7)
ppq (p q) p (p q) p (p q) (p q) p (p (q r)) (p q) r (p q) (q p) (p q) r (p r) (q r).
Exercitiul 1.5.4. Formulati negatia ecreia dintre propozitiile: a (1) Patrulaterul ABCD este romb i are aria de 2m2 . s a s (2) Numrul 8 este par i x8 = 2. (3) Raza sferei este din [ 1, 3 ] i baza conului este pe sfer s a (4) Ecuatia x2 + 2x = 0 cu x N are solutia x = 0 i solutia x = 2. s a s a n s (5) Functia f este pozitiv pe (0, 1) i se anuleaz x = 0 i x = 1. (6) Patrulaterul ABCD este ptrat sau romb. a (7) Functia exponential este strict cresctoare sau strict descresctoare. a a a (8) Sirul (an )nN este monoton cresctor sau monoton descresctor. a a (9) Functia f este continu i monoton. as a (10) ABC este drept sau BCA este drept. 1.6. Predicate S considerm urmtoarele propozitii a a a 22+10 23+10 2 (2) + 1 0. Observm c toate cele trei propozitii de mai sus sunt de forma 2 x + 1 0, a a unde x este un numr care, cazurile considerate, este din Z. Suntem condui a n s la a deni notiunea de propozitie depinznd de un parametru care, terminologia a n consacrat, poart numele de predicat de o variabil. De fapt, un predicat este o a a a functie denit pe multimea (clasa12) unde se gsete variabila (parametrul), e a a s aceasta , cu valori multimea P a propozitiilor. Adic, un predicat de o variabil n a a este o functie p : P. Pentru a evita confuziile, accentum c, dac p : P este un predicat i a a a s b , atunci p(b) este o propozitie i nu un predicat. s Analog, se poate vorbi despre predicate de mai multe variabile. De exemplu, x2 y 2 = (x y)(x + y), x, y R este un predicat de dou variabile. a Subliniem c, pentru a evita confuziile, oricrui predicat trebuie s i se precizeze a a a clar multimea care se pot mica variabilele, i.e. domeniul de denitie al n s functiei p. Se admite omiterea scrierii multimii doar dac aceasta este clar din a a context. Astfel, x2 + 1 = 0 poate considerat un predicat numai dac precizm a a x , unde este de exemplu una din multimile N, Z, Q, R sau C. Intr-adevr, a este uor de observat c s a p(x) : x2 + 1 = 0 cu x R este un predicat ale crui valori sunt toate false, timp ce a n q(x) : x2 + 1 = 0 cu x C
12O clas este o colectie de obiecte care nu este neaprat multime. Orice multime este o a a clas dar nu i reciproc. De exemplu clasa tuturor multimilor. Vezi Capitolul Teoria multimilor. a s
14
este un predicat pentru care q(i) i q(i) sunt adevrate, iar restul valorilor sunt s a false. Prin traditie, un predicat de tipul celui prezentat, care are toate valorile (adic a propozitiile) egaliti, se numete ecuatie. O solutie a ecuatiei este o valoare pentru at s care egalitatea este satisfcut, i.e. propozitia obtinut prin a a a nlocuirea variabilei cu solutia este adevrat. A rezolva o ecuatie a a nseamn a gsi multimea tuturor a a solutiilor ei. Aadar, multimea solutiilor ecuatiei q(x) : x2 + 1 = 0 cu x C s este {i, i}. Pentru simplitatea scrierii, pentru ecuatii se renunt la notarea de a tip predicatul q(x) : . . . , precizndu-se doar egalitatea i domeniul variabilei. De a s exemplu, ecuatia de mai sus se alnete sub forma x2 + 1 = 0 cu x C. Alte nt s exemple de ecuatii sunt: x = 2x, x {y; y : R R, cu y functie derivabil}, a numit ecuatie diferential cu functia necunoscut x. Se poate arta c multimea a a a a a solutiilor acestei ecuatii este {xc ; xc : R R, xc (t) = c e2t , t R, c R}. S considerm acum a a 2 x + 3 y = 24, (x, y) Z Z, care variabila este o pereche (x, y) ZZ, numit ecuatie diofantic 13. Multimea n a a solutiilor ecuatiei diofantice de mai sus este o multime de perechi de numere ntregi. O solutie este (0, 8). Puteti gsi toate solutiile? a 1.7. Variabile libere. Variabile legate S considerm un predicat de o singur variabil p(x), x . Pornind de la el, a a a a putem forma urmtoarele dou propozitii : a a (1) Pentru orice x , p(x) este adevrat. a a (2) Exist x astfel at p(x) este adevrat. a nc a a Subliniem c acestea sunt propozitii i nu predicate. a s Pentru simplicarea scrierii, introducem dou simboluri corespunztoare celor a a dou tipuri de propozitii de mai sus. a Incepem cu simbolul , care se va citi pentru orice, sau oricare ar , sau a pentru toti (toate) i pe care vom numi cuanticanc s l tor universal . Cu ajutorul lui, propozitia: pentru orice x din p(x) este adevrat a a se rescrie, fr a se mai specica este adevrat, adic aa a a a (x ) p(x). Scrierea (x ) p(x) poate interpretat ca o conjunctie extins a tuturor a a propozitiilor p(x) dup x , mai precis a (x ) p(x) = x p(x). (1.7.1) Intr-adevr, dac = {1, 2, 3, . . . , n}, atunci a a x p(x) are aceeai valoare de adevr cu p(1) p(2) p(n). s a sfrit, s introducem cuanticatorului existential, notat , i care se citete In a s a s s exist un/o, mcar pentru un/o, cel putin pentru un/o. Cu ajutorul lui, propozitia: a a exist x pentru care p(x) este adevrat se rescrie a a a (x )p(x).
13Numele ecuatiei provine de la Diofant din Alexandria (cca. 325-410), care a studiat acest tip de ecuatie.
Introducere
15
Similar, scrierea (x ) p(x) poate interpretat ca o disjunctie extins a a a tuturor propozitiilor p(x) dup x , mai precis a (x ) p(x) = x p(x). Intr-adevr, dac = {1, 2, 3, . . . , n}, atunci a a x p(x) are aceeai valoare de adevr cu p(1) p(2) p(n). s a concluzie, pornind de la un predicat de o variabil, p(x) cu x din , obtinem dou In a a propozitii: una, utiliznd cuanticatorul , i.e. (x ) p(x) i cealalt, utiliznd a s a a cuanticatorul , i.e. (x ) p(x). Astfel, lund predicatul 2 x + 1 0, unde x a este din Z se obtin propozitiile (x Z)(2 x + 1 0) (x Z)(2 x + 1 0) din care prima este fals iar cea de-a doua adevrat. a a a Dup cum am constatat, variabila x are roluri diferite predicatul p(x), x a n i respectiv propozitia (x )p(x). primul caz, x este o variabil liber s n In a a n sensul c x poate lua valori arbitrare , obtinndu-se diverse propozitii, adevrate a n a a sau false. cel de-al doilea caz, propozitia (x )p(x) are o valoare de adevr In a bine determinat, independent de variabila x. Din acest motiv, (x )p(x), a a n se spune c variabila x este variabil legat. Consideratii similare au loc i pentru a a a s cuplul: predicatul p(x), x i propozitia (x )p(x), variabila x ind legat s a propozitia (x )p(x). n sfrit, subliniem c numele variabilei, liber sau legat, nu are nici o important. In a s a a a a Mai precis, propozitia (x )p(x) nseamn exact acelai lucru cu propozitia a s (y )p(y), dar nu cu (y )p(x). Cu alte cuvinte, schimbarea numelui unei variabile trebuie s e fcut peste tot unde apare aceasta (cu un nume diferit de a a a numele celorlalte variabile care apar predicat sau propozitie). cazul care n In n este sub nteleas din context i nu exist pericol de confuzie, loc de (x )p(x) a s a n se poate scrie x p(x). Analog, loc de (x )p(x) se poate scrie x p(x). n 1.8. Reguli de negatie Au loc urmtoarele reguli de negatie pentru cuanticatori (a se compara cu a legile lui DeMorgan, innd cont de (1.7.2) i (1.7.1)): t a s [(x V ) (p(x))] (x V ) (p(x)) [(x V ) (p(x))] (x V ) (p(x)) Exemplul 1.8.1. Negatia propozitiei: exist un numr natural n astfel at a a nc f (n) > 1 este: pentru orice numr natural n avem f (n) 1. a Exemplul 1.8.2. Negatia propozitiei: pentru orice numr real a, a4 este a strict pozitiv este: exist un numr real a astfel at a4 nu este strict pozitiv a a nc sau, echivalent: exist un numr real a astfel at a4 este negativ . a a nc Pornind de la un predicat de dou variabile P (x, y) , se pot lega variabilele a n mai multe moduri cu ajutorul cuanticatorilor i . S lum exemplul predicatului s a a P (x, y) : x y, unde x i y sunt multimi. Se pot forma predicatele de o variabil s a i apoi propozitiile urmtoare: s a (1.7.2)
16
(1) Legnd mai ai pe x cu ajutorul lui , obtinem Q (y) = x (x y). a nt Faptul c Q (y) este adevrat pentru o anumit multime y a a a nseamn c a a y contine toate multimile, ceea ce este imposibil (nu exist o multime a a tuturor multimilor). Legnd apoi pe y cu , obtinem y (x (x y)) , o propozitie fals. a a Dac legm pe y cu , obtinem yx (x y) , de asemenea o propozitie a a fals. a (2) R (x) = y (x y). Pentru o anumit multime x, R (x) adevrat a a nseamn a c x apartine tuturor multimilor. Nu exist astfel de x (de exemplu, x a a este fals). a x (y (x y)) este echivalent cu y (x (x y)) . Ordinea care a n aplicm cuanticatori de acelai fel nu are important. a s a x (y (x y)) este o propozitie fals. a (3) Legnd x cu ajutorul lui , obtinem S (y) = x (x y). Faptul c S (y) a a este adevrat pentru o anumit multime y a a nseamn c y este nevid. a a a y (x (x y)) nseamn c toate multimile sunt nevide (fals). a a y (x (x y)) este adevrat (exist o multime nevid). a a a a (4) Legnd y cu ajutorul lui , obtinem T (x) = y (x y). Pentru orice a multime x, T (x) este adevrat: P (x) (x P (x)) . a a x (y (x y)) este adevrat. a a x (y (x y)) este adevrat. a a Observm c: a a - x (y (P (x, y))) este echivalent cu y (x (P (x, y))) . Se poate scrie mai a pe scurt yx (P (x, y)) . - x (y (P (x, y))) este echivalent cu y (x (P (x, y))) . Se poate scrie mai a pe scurt yx (P (x, y)) . Ordinea de aplicare a cuanticatorilor de acelai s tip nu are important. a - x (y (P (x, y))) nu este echivalent cu y (x (P (x, y))). a Subliniem c a ntre propozitiile care provin dintr-un predicat de dou sau mai a multe variabile exist o relatie de implicare precizat de schema de mai jos. a a (x)(y)P (x, y) (x)(y)P (x, y) (y)(x)P (x, y) (x)(y)P (x, y) (y)(x)P (x, y) (y)(x)P (x, y) (x)(y)P (x, y) (y)(x)P (x, y)
Remarca 1.8.1. Propozitiile obtinute una din alta prin schimbarea ordinii cuanticatorilor de tipuri diferite nu sunt, general, echivalente logic. De exemplu, n pornind de la predicatul Q(x, y): x are nota y, cu x din multimea studentilor anului I i y din {1, 2, . . . 10}, se obtine propozitia xyQ(x, y) care, tradus s a n limbajul natural, nseamn orice student din anul I are o not cuprins a a a ntre 1 i s 10. Prin inversarea ordinii cuanticatorilor se obtine xyQ(x, y) care nseamn a exist o not comun tuturor studentilor din anul I, sau toti studentii din anul a a a I au aceeai not. Este clar c cele dou propozitii nu sunt echivalente logic. s a a a Analog xy (x + y = 1) i yx (x + y = 1) nu sunt logic echivalente. s
Introducere
17
Au loc regulile de calcul: q (xP (x)) x (q P (x)) , q (xP (x)) x (q P (x)) , unde q este o propozitie (sau un predicat care nu depinde de x). Ce legtur puteti a a stabili ntre aceste reguli i distributivitatea lui fat de ? s a 1.9. Exercitii i probleme s a a a Exercitiul 1.9.1. [5] Se consider urmtoarele predicate (se presupune c variabilele iau valori multimea oamenilor): n B (x) =x este un brbat a F (x) =x este o femeie xT y =x este mai tnr dect y a a a xCy =x este copilul lui y xM y =x este cstorit cu y aa I (x) =x locuiete la Iai s s D (x) =x locuiete la Dej s Folosind notatiile de mai sus, s se scrie expresiile limbaj formal pentru a n urmtoarele propozitii sau predicate: a (1) Fiecare are un tat i o mam. as a (2) x este cstorit. aa (3) Fiecare este mai tnr dect printii si. a a a a a (4) Fiecare este mai tnr dect bunicii si. a a a a (5) Oricine care are un tat, are i o mam. a s a (6) Exist un om cu o nor mai vrst dect el. a a n a a a (7) x i y sunt frati ( sensul i de mam i de tat). s n s as a (8) Dac exist o femeie la Iai cu un frate la Dej, atunci exist un brbat la a a s a a Dej cu o sor la Iai. a s (9) Un brbat cstorit poate s nu locuiasc la Iai. a aa a a s (10) Nu ecare femeie din Iai nu are un u la Dej. s (11) Toti copiii lui x sunt cstoriti. aa (12) Exist cineva ai crui copii sunt toti cstoriti. a a aa (13) Fiecare copil al lui x este cstorit cu un copil al lui y. aa (14) Exist un copil al lui x care nu este cstorit cu un copil al lui y. a aa (15) Exist dou persoane astfel at ecare copil al uneia dintre ele este a a nc cstorit cu un copil al celeilalte. aa (16) x i y sunt veri. s S se traduc limbaj natural: a a n (17) xy [(xM y B (x)) F (y)] . (18) xy [B (x) F (y) xM y z (zCy (zCx))] . (19) y (F (y) xM y) z (F (z) yCz) zT x. Exemplu de rezolvare: 5. Oricine care are un tat, are i o mam se traduce a s a astfel: mai ai observm c este vorba de o implicatie: Dac cineva are un tat, nt a a a a atunci are i o mam, sau, mai precis, Pentru orice persoan x, dac x are un s a a a tat, are i o mam. Traducem predicatul x are un tat: y (B (y) xCy) . La a s a a concluzie, traducerea enuntului este fel,x are o mam este z (F (z) xCz) . In a x [(y (B (y) xCy))] [z (F (z) xCz)]
18
Exercitiul 1.9.2. S se reformuleze propozitiile de mai jos limbaj matematic a n (LM ) utiliznd cuanticatorii i , s se precizeze negatiile lor limbaj matema s a n atic (N LM ) i apoi s se formuleze negatiile gsite limbajul natural (N LN ). s a a n Exemplu. Propozitia: pentru orice x A exist y B astfel at f (x) = y se a nc reformuleaz limbajul matematic (LM ) prin: (x A) (y B) (f (x) = y), a n propozitie a crei negatie limbajul matematic (N LM ) este (x A) (y B) a n (f (x) = y) care, limbajul natural (N LN ), are formularea: exist x A astfel n a at, pentru orice y B, f (x) = y. nc (1) Exist a A astfel at f (a) = b. (Ecuatia f (x) = b are solutia a A.) a nc (2) Pentru orice y B exist x A astfel at f (x) = y. (O functie f : A a nc B cu proprietatea enuntat se numete surjectiv.) a s a (3) Pentru orice x, y A, cu x = y, avem f (x) = f (y). (O functie f : A B cu proprietatea enuntat se numete injectiv.) a s a (4) Exist M R astfel at, pentru orice x A, f (x) M . (O functie a nc f : A R cu proprietatea enuntat se numete mrginit superior pe A, a s a a iar numrul M R ca mai sus se numete margine superioar pentru f a s a pe multimea A.) (5) Exist m R astfel at, pentru orice x A, m f (x). (O functie a nc f : A R cu proprietatea enuntat se numete mrginit inferior pe A, a s a a iar numrul m R ca mai sus se numete margine inferioar pentru f pe a s a multimea A.) (6) Exist M > 0 astfel at, pentru orice x A, |f (x)| M . (O functie a nc f : A R cu proprietatea enuntat se numete mrginit pe A, iar a s a a numrul M R ca mai sus se numete margine pentru f pe multimea A.) a s (7) Pentru orice x R exist r > 0 i M > 0 astfel at, pentru orice a s nc y (x r, x + r), |f (y)| M . (O functia f : R R cu proprietatea enuntat se numete local mrginit pe A.) a s a a (8) Pentru orice > 0 exist k() N astfel at, pentru orice n N, a nc n k(), avem |an a| . (Conditia de convergent cu .) a (9) Pentru orice n N avem an an+1 . (Un ir (an )nN cu proprietatea de s mai sus se numete monoton cresctor.) s a (10) Pentru orice > 0 exist k() N astfel at, pentru orice n, m N a nc cu n k() i m k(), s avem |an am | . (Un ir (an )nN cu s a s proprietatea de mai sus se numete ir Cauchy sau ir fundamental.) s s s (11) Pentru orice > 0 exist () > 0 astfel at, pentru orice x, y [ a, b ] a nc cu |x y| (), s avem |f (x) f (y)| . (O functia f : [ a, b ] R cu a proprietatea de mai sus se numete uniform continu pe [ a, b ].) s a (12) Prin orice punct din planul trece o dreapt i numai una paralel cu a s a dreapta d. a a (13) Prin orice dou puncte distincte A, B de pe sfer, care nu sunt diametral opuse, se poate duce un cerc i numai unul singur cu proprietatea c arcul s a mic de cerc care le unete are lungimea minim. s a (14) orice triunghi exist mcar dou unghiuri ascutite. In a a a (15) Pentru orice plan i orice punct din spatiu se poate duce o singur s a perpendicular pe plan. a a nscris el. n (16) Pentru orice cerc C(O, r) exist cel putin un patrulater
Introducere
19
Exercitiul 1.9.3. S se reformuleze, utiliznd cuanticatorii i i conectorii a a s s logici , , , urmtoarele armatii limbaj logic i, apoi, s se formuleze a n s a negatiile acestor armatii. (1) a = max{a1 , a2 , . . . , an }. Aceasta nseamn c a a exist i {1, 2, . . . , n} cu a = ai i aj a pentru orice j {1, 2, . . . , n}. a s (2) a = min{a1 , a2 , . . . , an }. Aceasta nseamn c a a exist i {1, 2, . . . , n} cu a = ai i aj a pentru orice j {1, 2, . . . , n}. a s (3) Sirul (an )n este mrginit superior. Aceasta a nseamn c a a exist M R astfel at an M pentru orice n N. a nc (4) Sirul (an )n este mrginit inferior. Aceasta a nseamn c a a exist m R astfel at an m pentru orice n N. a nc (5) Sirul (an )n este cresctor. Aceasta a nseamn c a a an an+1 pentru orice n N. a nseamn c a a (6) Sirul (an )n este descresctor. Aceasta an an+1 pentru orice n N. (7) Sirul (an )n este strict cresctor. Aceasta a nseamn c a a an < an+1 pentru orice n N. (8) Sirul (an )n este strict descresctor. Aceasta a nseamn c a a an > an+1 pentru orice n N. (9) Numrul real a este limita irului (an )n . Aceasta a s nseamn c pentru orice a a V V (a), exist k N astfel at pentru orice n N, n k rezult a nc a an V . (10) Sirul (an )n este convergent. Aceasta nseamn c a a exist a R astfel at limn an = a. a nc nseamn c a a (11) Sirul (an )n are limita +. Aceasta pentru orice a > 0, exist k N astfel at pentru orice n N, n k a nc rezult an a. a (12) Sirul (an )n are limita +. Aceasta nseamn c a a pentru orice b < 0, exist k N astfel at pentru orice n N, n k a nc rezult an a. a (13) Functia f : [ a, b ] R este mrginit pe [ a, b ]. Aceasta a a nseamn c a a exist M R astfel at |f (x)| M pentru orice x [ a, b ]. a nc (14) Functia f : R R este local mrginit pe R. Aceasta a a nseamn c a a pentru orice x0 R exist > 0 i M R astfel at |f (x)| M a s nc pentru orice x [ x0 , x0 + ]. (15) Functia f : R R este cresctoare. Aceasta a nseamn c a a pentru orice x R i orice y R cu x y rezult f (x) f (y). s a (16) Functia f : R R este descresctoare. Aceasta a nseamn c a a pentru orice x R i orice y R cu x y rezult f (x) f (y). s a a nseamn c a a (17) Functia f : R R este monoton. Aceasta f : R R este cresctoare sau descresctoare. a a a n nseamn c a a (18) Functia f : E R este continu x0 E. Aceasta x0 este izolat, sau x0 este punct de acumulare al multimii E i limxx0 f (x) = s f (x0 ). a a nseamn c a a (19) Numrul T R este perioad a functiei f : R R. Aceasta f (x + T ) = f (x) pentru orice x R. (20) Functia f : R R este periodic. Aceasta a nseamn c a a f : R R are o cea mai mic perioad strict pozitiv. a a a
20
(21) Functia f : R R este par. Aceasta a nseamn c a a f (x) = f (x) pentru orice x R. (22) Functia f : R R este impar. Aceasta a nseamn c a a f (x) = f (x) pentru orice x R. (23) Fie f : E R i e x0 un punct de acumulare al lui E. Dac exist s a a M R astfel at f (x) M pentru orice x E i limxx0 f (x) = nc s atunci M . (24) Orice polinom cu coecienti corpul C al numerelor complexe are cel n putin o rdcin C. a a a n (25) Fie V un spatiu liniar peste R. Vectorii x1 , x2 , . . . , xn din V sunt liniar independenti. Aceasta nseamn c a a n pentru orice 1 , 2 , . . . , n , din R din a i=1 i xi = 0 rezult 1 = 2 = = n = 0. (26) Fie V un spatiu liniar peste R. Vectorii x1 , x2 , . . . , xn din V sunt liniar independenti dac orice vector x V se exprim mod unic sub forma a a n n x = i=1 i xi , cu 1 , 2 , . . . , n din R. (27) Fie V un spatiu liniar peste R. Familia {x1 , x2 , . . . , xn } V este de generatori. Aceasta nseamn c a a pentru orice vector x V exist 1 , 2 , . . . , n din R astfel at a nc n x = i=1 i xi . Exercitiul 1.9.3 Exemple de rezolvri. a (1) Formularea armatiei limbaj logic este n (a = max{a1 , a2 , . . . , an } dac (i {1, 2, . . . , n})(j {1, 2, . . . , n})(a = ai )(aj a). a Negatia este (a = max{a1 , a2 , . . . , an } dac (i {1, 2, . . . , n})(j {1, 2, . . . , n})(a = ai )(aj > a). a (2) Formularea armatiei limbaj logic este n (a = min{a1 , a2 , . . . , an } dac (i {1, 2, . . . , n})(j {1, 2, . . . , n})(a = ai )(aj a). a Negatia este (a = min{a1 , a2 , . . . , an } dac (i {1, 2, . . . , n})(j {1, 2, . . . , n})(a = ai )(aj < a). a
CAPITOLUL 2
Elemente de teoria demonstratiei

2.1. Argumente Termenul de argument are cadrul logicii semnicatia de colectie de propozitii n dintre care ultima poart numele de concluzie, iar celelalte de premise. Un argument a se numete valid dac premisele implic concluzia. Altfel spus, un argument este s a a valid dac ori de cte ori toate premisele sunt adevrate i concluzia este adevrat. a a a s a a S considerm urmtorul exemplu: Dac F GH este dreptunghic sau echilateral a a a a atunci el nu are nici un unghi obtuz. Dac G i H au msurile mai mici de /6 a s a radiani, rezult c msura lui F este mai mare dect 2/3, adic F GH are un a a a a a concluzie G i H nu au msurile unghi obtuz. Dar F GH este dreptunghic. In s a mai mici de /6 radiani. Acesta este un argument care poate formulat limbaj logic dup cum n a urmeaz. S notm cu a a a C: F GH este dreptunghic E: F GH este echilateral M : F GH are un unghi obtuz R: G i H au msurile mai mici de /6 radiani. s a Argumentul de mai sus se scrie sub forma: (C E) M RM C R i se citete: dac C sau E implic non M , R implic M i C sunt adevrate, s s a a a s a atunci non R este adevrat (adic R este fals ). acest argument premisele a a a a In sunt: (C E) M , R M i C, iar concluzia este R. s Pentru a arta c argumentul de mai sus este valid s observm c: din faptul a a a a a c C este adevrat rezult c C E este adevrat. Pe de alt parte C E M a a a a a a a a este adevrat, de unde urmeaz c M este adevrat. Deci M este fals. Dar a a a a a a a R M este adevrat i drept urmare R este fals. Deci R este adevrat, adic a as a a a a ceea ce trebuia demonstrat. Cteva tipuri de argumente numite reguli de inferent sau deductie sunt prezena a tate schematic mai jos. pq p q p p pq q p p p
21
modus ponens
modus tollens
dubla negatie
dubla negatie
22
p p pq p
repetitia
p q pq pq q q pq pq q p pq qp
adjunctia
simplicarea p pq
simplicarea
aditie
aditie
pq p q pq pq pq qp pq
modus tollendo ponens
modus tollendo ponens
biconditional-conditional
biconditional-conditional
conditional-biconditional pq rs pr qs
pq qr pr
regula silogismului
dilema constructiv a
O clas aparte de argumente este format din cele care au premise contradica a torii i care, din acest motiv, se numesc premise inconsistente. Pe calea acestor s argumente, utiliznd corect regulile de deductie, deducem concluzia. Cu toate acesa tea, ele trebuie complet evitate, deoarece din ele poate dedus i concluzia i a s s negatia sa deci o contradictie, fapt care ncalc principiul necontradictiei. De exa emplu, argumentul P Q P R Q H S are premisele inconsistente deoarece P Q i P R adevrate implic P , Q i R s a a s adevrate. Pe de alt parte, QH adevrat implic Q adevrat, adic Q fals, a a a a a a a a a contradictie cu Q adevrat. Deci premisele sunt inconsistente. Cu toate acestea, n a a utiliznd numai reguli de deductie corecte, putem deduce concluzia S adevrat. a a a Intr-adevr, din Q adevrat deducem Q S adevrat. Dar, dup cum am vzut, a a a a a a a cadrul acestui argument, Q este i fals i ca atare, din Q S adevrat i Q n s as a as fals, rezult S adevrat. Utiliznd acelai rationament, deducem S fals, adic o a a a a a s a a contradictie. a a Exercitiul 2.1.1. [3] S se stabileasc tipul argumentului: valid, invalid sau inconsistent.
Introducere
23
AR SH (1) AH RS
J S L S (2) J L F
(3)
P Q (P Q) R R
(4)
X Y X Z Z Y A (B C) C A (8) (D A) C D B
EF G F (5) H I EH GI
LM (6) (M N ) (L K) P L K
P Q R (S T ) (7) R (P T ) R QS
Exercitiul 2.1.2. S se stabileasc tipul argumentului: valid, invalid sau in a a consistent. (P Q) R R (S T ) (1) T P Q AB (B C) (D C) (2) C A C D (P Q) R R (S T ) (3) T P Q
(4)
X Y X Z Z Y
Exercitiul 2.1.3. S se stabileasc tipul argumentului: valid, invalid sau in a a consistent. (1) Dac aatul este obositor, atunci este greu s iei note mari. Dac a nvt a a aatul nu este plictisitor, atunci nu este greu s iei note mari. aatul nvt a Invt este obositor. Deci aatul este plictisitor. nvt (2) Dac noul CD este ritmat i lent atunci el nu este zgomotos. Dac noul a s a CD este lent atunci el este ritmat. Noul CD nu este zgomotos. Deci noul CD este ritmat sau nu este lent. (3) Dac este frumos i nu plou mergem excursie. Dac mergem excursie a s a n a n atunci jucm volei i nu jucm ah. Jucm ah. Deci nu este frumos sau a s a s a s plou. a (4) Dac Anei plac garoafele atunci Anei plac bujorii. Dac Anei nu-i plac a i i a lalelele, Anei nu-i plac trandarii. Dac Anei plac lalelele atunci Anei a i i plac freziile. Anei plac garoafele sau Anei plac narcisele. Anei plac i i i freziile. Atunci Anei plac narcisele. i (5) Mihai nu cnt la ghitar i nu cnt la uier. Dac Mihai nu cnt la a a a s a a a a a ghitar i nu cnt la uier atunci Mihai cnt la org sau la pian. Dac as a a a a a a Mihai nu cnt la pian atunci Mihai nu cnt la org. Mihai cnt la org. a a a a a a a a Deci Mihai cnt la pian. a a a nvata a (6) Dac Mihai nu el pierde bursa. Dac Mihai pierde bursa nu are cu ce s-i cumpre CD-uri. Dac Mihai el nu pierde bursa. Mihai nu as a a nvata sau are cu ce s-i cumpre CD-uri. Deci el nu-i pierde bursa sau nvata as a s . nvata 2.2. Teoreme. Matematica opereaz cu denitii, axiome, teoreme, exemple, demonstratii. a Dup cum am mentionat Sectiunea 1.3, denitiile introduc notiuni noi, pe a n baza notiunilor deja cunoscute. Procesul de introducere a notiunilor ncepe cu
24
notiunile primare (notiuni care nu se denesc), precum cele de multime sau de relatie de apartenent. a Exemplele indic obiecte matematice concrete care satisfac cerintele de gen a proxim i diferent specic impuse de o anumit denitie. s a a a cadrul unei teorii, teoremele sunt propozitii adevrate altele dect axiomele In a a deduse din axiome i din alte teoreme, pe baza regulilor de deductie, i care des s scriu legturi a ntre notiunile introduse denitii. De exemplu, cadrul geometriei n n euclidiene, propozitia suma msurilor unghiurilor unui triunghi este de radiani a este o teorem, timp ce, cadrul geometriei riemanniene aceast propozitie este a n n a fals. a mod traditional, o teorem este o propozitie adevrat de forma In a a a (C1 x1 )(C2 x2 ), . . . , (Cn xn )[P (x1 , x2 , . . . , xn ) Q(x1 , x2 , . . . , xn )], (2.2.1) unde P i Q sunt predicate de n variabile, x1 1 , x2 2 , . . . , xn n , iar s Ci {, } pentru i {1, 2, . . . , n}. Subliniem c orice teorem poate scris ca o expresie logic i este o propozitie a a a as (nu are variabile libere). Orice teorem are o ipotez, i.e. a a (C1 x1 )(C2 x2 ), . . . , (Cn xn )P (x1 , x2 , . . . , xn ) i o concluzie, i.e. s (C1 x1 )(C2 x2 ), . . . , (Cn xn )Q(x1 , x2 , . . . , xn ). Ilustrm denitia de mai sus prin cteva exemple de teoreme, insistnd asupra a a a diferentei dintre forma de exprimare alnit, de obicei, textele matematice i nt a n s forma de exprimare de tipul (2.2.1), corect din punct de vedere logic. a Teorema 2.2.1. (Forma uzual) Dac n N este par i m N este impar a a s atunci m + n este impar. Teorema 2.2.2. (Forma logic) Oricare are numrul natural n i oricare a a s are numrul natural m, dac n este par i m este impar atunci m + n este impar. a a s Este uor de observat c cele dou predicate, P , Q, de variabilele x1 = n i s a a s x2 = m, sunt P (n, m): n este par i m este impar, n N, m N s Q(n, m): n + m este impar, n N, m N. Teorema 2.2.3. (Forma uzual) Intr-un triunghi dreptunghic ptratul lungimii a a ipotenuzei este egal cu suma ptratelor lungimilor catetelor. a Teorema 2.2.4. (Forma logic) Oricare ar ABC, dac ABC este drepa a tunghic A, atunci BC 2 = AB 2 + AC 2 . n acest caz, cele dou predicate, de variabile: x1 = ABC, x2 = a, x3 = b i In a s x4 = c sunt P (ABC): ABC este deptunghic A, ABC , ( ind multimea n triunghiurilor) Q(ABC): BC 2 = AB 2 + AC 2 . Exist situatii care formularea dat unei teoreme, aparent, nu este de forma a n a (2.2.1) ci de forma (C1 x1 )(C2 x2 ), . . . , (Cn xn )Q(x1 , x2 , . . . , xn ), (2.2.2)
Introducere
25
unde Q este un predicat de n variabile, x1 1 , x2 2 , . . . , xn n , iar Ci {, } pentru i {1, 2, . . . , n}. acest caz, innd cont de tabelul de adevr al In t a a implicatiei, (2.2.2) poate rescris echivalent sub forma (2.2.1), lund P orice a a predicat de n variabile, constant, adevrat, ca de exemplu x1 = x1 . Subliniem a totui c exist i alte posibiliti de a reformula o propozitie de tipul (2.2.2) sub s a as at forma (2.2.1). Un exemplu acest sens este dat de urmtoarea: n a Teorema 2.2.5. (Forma uzual) Fie n N+ . Atunci exist un numr k N+ a a a astfel at nk se scrie baza 10 doar cu cifrele 0 i 1. nc n s Teorema 2.2.6. (Forma logic) Oricare ar n N+ , exist k N+ astfel a a at, oricare ar c1 , c2 , . . . , cm {0, 1, . . . , 9}, dac nk = c1 c2 . . . cm baza 10, nc a n atunci c1 = 1 i ci {0, 1}, pentru i {2, 3, . . . , m}. s Aici, cele dou predicate, de variabilele x1 = n i x2 = k, sunt a s P (n, k): nk = c1 c2 . . . cm baza 10, n N+ , k N+ n Q(n, k): nk = c1 c2 . . . cm baza 10, c1 = 1 i ci {0, 1}, pentru i n s {2, 3, . . . , m}, n N+ , k N+ . a a Exercitiul 2.2.1. S se reformuleze urmtoarele teoreme sub forma (2.2.1). Teorema 2.2.7. Dat numrul real x, x > 0, exist un numr real y astfel a a a at ey = x. nc Teorema 2.2.8. Dac dreptele d1 i d2 sunt paralele i dreapta d3 este pera s s pendicular pe d1 , atunci d3 este perpendicular pe d2 . a a Teorema 2.2.9. Nu exist un cel mai mare numr prim. a a Teorema 2.2.10. O paralel dus la una din laturile unui triunghi determin a a a pe celelalte dou laturi segmente proportionale. a Teorema 2.2.11. Aria sferei de raz r > 0 este 4r2 . a Teorema 2.2.12. Unghiurile de la baza unui triunghi isoscel sunt congruente. Teorema 2.2.13. Limita unui ir de numere reale convergent este unic. s a s s a Teorema 2.2.14. Un ir de numere reale monoton i mrginit este convergent. 2.3. Demonstratii directe O demonstratie const dintr-o succesiune argumente valide, i.e., de deductii a logice bazate pe premise adevrate i necontradictorii, prin care se stabilete c o a s s a propozitie este adevrat. a a afara axiomelor (care sunt enunturi acceptate drept adevrate), orice enunt In a matematic, orice armatie dintr-un text matematic trebuie demonstrat. a Iat o ilustrare simpl a acestor concepte. Presupunem cunoscut conceptul de a a numr natural. a a s a a Denitia 2.3.1. Un numr natural a se numete impar dac exist k N astfel at a = 2k + 1. Numrul natural a2 = a a se numete ptratul numrului nc a s a a a. Exemplul 2.3.1. Numrul 1 N este impar, deoarece exist 0 N astfel at a a nc 1 = 2 0 + 1. Numrul 4 este ptratul numrului 2. a a a Teorema 2.3.1. Ptratul unui numr natural impar este un numr impar.1 a a a
1 general, teoremele sunt scrise cu caractere italice. In
26
Acesta este un enunt perfect valabil ntr-un text matematic. Totui, formularea s logic mai precis este: Pentru orice numr a N, dac a este impar atunci a2 a a a a este impar. Formal: a N [ (a impar) (a2 impar)] Dac vrem s detaliem denitia numrului impar, teorema se rescrie a a a a N [ (k N) (a = 2k + 1) (q N) (a2 = 2q + 1)] Cu aceste observatii, putem redacta urmtoarea: a Demonstratie. Fie a N, a impar. Conform denitiei, exist ) N astfel at ( ak nc 2 2 2 2 a = 2k + 1. Atunci a = (2k + 1) = 4k + 4k + 1 = 2 2k + 2k + 1. Deci exist a q = 2k 2 + 2k astfel at a2 = 2q + 1, adic a2 este impar. nc a Dup cum am subliniat, expresiile formale ale unei teoreme nu au variabile a libere. O expresie de forma a N, (a impar) (a2 impar) nu este nici un caz o teorem, cci are variabila liber a. n a a a De asemenea, observati 2.3.1 folosirea simbolului exact sensul denitiei n n sale, adic Pentru orice a N, implicatia (a impar) (a2 impar) este adevrat. a a a De obicei, demonstratia unei teoreme se ncheie cu un simbol care semnaleaz a cazul nostru, am folosit (simbol care este larg acceptat sfritul demonstratiei. In as pentru acest scop). Se mai pot folosi initialele q.e.d.2 sau alte simboluri, functie n de autor (cum ar 3, ). Exist mai multe tipuri de demonstratii. Dintre acestea, cel mai natural i a s simplu (i de aceea cel mai utilizat, ori de cte ori este posibil), este cel care se s a refer la demonstratia direct. O astfel de demonstratie este o antuire de pai a a nl s dedui succesiv unul din altul ecare reprezentnd cte un argument valid prin s a a intermediul crora, pornind de la ipotez se obtine concluzia. a a Demonstratiile prezentate anterior sunt de acest tip. S mai considerm un alt a a exemplu. Teorema 2.3.2. Fie n i m numere s ntregi arbitrare. (i) Dac n i m sunt pare, atunci n + m este par. a s (ii) Dac n i m sunt impare, atunci n + m este par. a s (iii) Dac n este par i m este impar, atunci n + m este impar. a s Pentru a demonstra aceast teorem avem nevoie, primul rnd, de cunoaterea a a n a s tuturor notiunilor care intervin enunt: numr n a ntreg, numr par, numr impar. a a Din ceea ce tim pn acum, multimea numerelor s a a ntregi este Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . . }. Mai tim c, pe aceast multime, avem denite dou operatii: adunarea + i s a a a s nmultirea care au proprietile de asociativitate, comutativitate, distributivi at tatea nmultirii fat de adunare, existenta elementului neutru fat de +, anume a a 0, existenta elementului neutru fat de , anume 1. a a ntreg n se numete par dac exist k N astfel s a a Denitia 2.3.2. Un numr at n = 2k. nc
2De la quod erat demonstrandum (lat.), care nseamn ceea ce trebuia demonstrat. a
(2.3.1)
Introducere
27
Denitia 2.3.3. Un numr a ntreg n se numete impar dac exist k N astfel s a a at a = 2k + 1. nc Demonstratie. Pentru a demonstra (i) observm c, din faptul c n i m sunt a a a s pare exist h i k N astfel at n = 2h i m = 2k. Ca atare, n + m = 2h + 2m = a s n nc s 2(h + k), ceea ce arat c n + m este par. a a (ii) Dac n este par i m este impar, exist h i k N astfel at n = 2h i a s a s n nc s m = 2k + 1. Deci n + m = 2h + (2k + 1) = 2(h + k) + 1, ceea ce demonstreaz c a a n + m este impar. (iii) Dac n i m sunt impare exist h i k N astfel at n = 2h + 1 i a s a s n nc s m = 2k + 1. Ca atare, n + m = (2h + 1) + (2m + 1) = 2(h + k + 1) i deci n + m s este par. Exercitiul 2.3.1. [3] S se formuleze sub forma unei implicatii p q, provenit a a dintr-un predicat prin legarea variabilei (variabilelor), urmtoarele propozitii: a (1) Aria unui dreptunghi cu laturile de lungimi a i b este a b. s (2) Aria unui cerc de raz r este r2 . a (3) Dat o dreapt d i un punct M care nu apartine dreptei d, exist o a a s a dreapt i numai una care contine M i este paralel cu d. as s a (4) Fie ABC un triunghi ale crui laturi au lungimile a, b i c. Atunci a s a b c = = . sin A sin B sin C (5) Pentru orice x R i orice y R avem ex+y = ex ey . s (6) Fie f : [ a, b ] R o functie continu i e F : [ a, b ] R o functie cu a s proprietatea c F (x) = f (x) pentru orice x [ a, b ]. Atunci a b f (x) dx = F (b) F (a).
a
(7) Produsul a dou numere naturale impare este impar. a (8) Date numerele reale i strict pozitive a i b exist un numr natural n s s a a astfel at nb > a. nc (9) Suma lungimilor a dou laturi ale unui triunghi este mai mare dect a a lungimea celei de-a treia laturi. (10) Limita unui ir de numere reale, convergent, este unic. s a Exercitiul 2.3.2. S se formuleze sub forma unei implicatii p q, provenit a a dintr-un predicat prin legarea variabilei (variabilelor), urmtoarele propozitii: a (1) Aria sferei de raz r este 4r2 . a 4r3 (2) Volumul sferei de raz r este a . 3 x (3) Pentru orice x > 0, x < e . a (4) Orice numr natural mai mare sau egal cu 8 se scrie ca suma dintre un multiplu de 3 i un multiplu de 5. s a s (5) Dac a b i c 0 atunci ac bc. (6) Dac a b i c R atunci a + c b + c. a s a s (7) Dac ab = cb i b = 0 atunci a = c. (8) (a + b)2 = a2 + 2ab + b2 . (9) (a b)2 = a2 2ab + b2 . (10) (a + b)3 = a3 + 3a2 b + 3ab2 + b3 . (11) (a b)3 = a3 3a2 b + 3ab2 b3 .
28
(12) ln xy = ln x + ln y. (13) ln xy = yln x, (14) Dac f i g sunt derivabile pe I, atunci f g este derivabil pe I i (f g) = a s a s f g + f g . (15) Dac f i g sunt derivabile pe I, atunci f + g este derivabil pe I i a s a s (f + g) = f + g . a s a (16) Dac f i g sunt integrabile pe [ a, b ], atunci f +g este integrabil pe [ a, b ] i s b b b (f (x) + g(x)) dx = f (x) dx + g(x) dx.
a a a
(17) Dac f este integrabil pe [ a, b ] i R, atunci f este integrabil pe a a s a [ a, b ] i s b b f (x) dx = f (x) dx dx.
a a
(18) Dac matricile, de tip n n, A i B sunt inversabile atunci AB este a s inversabil i (AB)1 = B 1 A1 . as a s a (19) Dac f : A A i g : A A sunt inversabile, atunci g f este inversabil i (g f )1 = g 1 f 1 . s (20) Dac (an )n i (bn )n sunt convergente, atunci (an + bn )n este convergent i a s s lim(an + bn ) = lim an + lim bn .
n n n
(21) Dac (an )n i (bn )n sunt convergente, atunci (an bn )n este convergent i a s s lim(an bn ) = lim an lim bn .
n n n n=0
a s (22) Dac 0 bn an pentru orice n N i

n=0
bn este convergent, atunci a
an este convergent. a
(23) tg x = (24) (25) (26) (27) (28)
sin x . cos x 2 cos 2x = cos x sin2 x, sin2 x + cos2 x = 1. Dac f este continu pe [ a, b ] i derivabil pe (a, b), atunci f (b) f (a) = a a s a f (c)(b a) pentru mcar un c (a, b). a Dac f este continu pe [ a, b ] i f (a)f (b) 0 atunci f (c) = 0 pentru cel a a s putin un c (a, b). Dac f este continu pe [ a, b ], f (a) < f (b) i (f (a), f (b)) atunci cel a a s putin pentru un c (a, b) avem f (c) = .
Exercitiul 2.3.3. [3] Redactati o demonstratie pentru ecare din urmtoarele a teoreme. (1) Dac n i m sunt multipli de 3 atunci n + m este multiplu de trei. a s s ntregi. Dac n este multiplu de 5 atunci nm este a (2) Fie n i m numere multiplu de 5. s ntregi. Dac a|b i a|c atunci a|(bm + cn). a s (3) Fie a, b, c, m i n numere (4) Fie a, b, c i d numere s ntregi. Dac a|b i c|d atunci (ac)|(bd). a s (5) Fie a i b numere s ntregi i n numr natural. Dac a|b atunci an |bn . s a a
Introducere
29
(6) Fie a i b numere s ntregi. Dac a + b i a b sunt divizibile prin 3 atunci a s a i b sunt divizibile prin 3. s (7) Fie a i b numere s ntregi. Dac a + b i ab sunt divizibile prin 3 atunci a s a2 + b2 este divizibil prin 3. (8) Fie a i b numere s ntregi. Dac a + b este par atunci a2 + b2 este par. a (9) Fie a i b numere s ntregi. Dac a + b este divizibil prin 3 atunci a3 + b3 a este divizibil prin 3. (10) Fie a i b numere naturale. Dac a = 2b, b = 2a, a|(2b) i b|(2a) atunci s a s a = b. (11) Dac n este numr natural, n 9, atunci el este suma dintre un multiplu a a de 3 i un multiplu de 5. s 2.4. Demonstratii indirecte Exist i situatii cnd e o demonstratie direct a teoremei p q este imposias a a bil, e este posibil dar extrem de complicat. toate aceste cazuri, se utilizeaz a a a In a demonstratii indirecte. Mai precis, dac p q este o teorem, pe care o vom numi a a direct, propozitia q p se numete reciproc, p q se numete contrar a a s a s a directei, iar q p contrar a reciprocei. Se constat, utiliznd tabele de adevr, a a a a c directa este logic echivalent cu contrara reciprocei, iar contrara directei este a a logic echivalent cu reciproca adic a a p q q p i p q q p. s Demonstratiile indirecte se bazez, e pe echivalenta logic dintre directa p q a a i contrara reiprocei q p, e pe echivalenta logic dintre (p q) i p q. s a s Dei logic echivalente, aceste dou metode sunt principial diferite. Prima, bazat s a a pe echivalenta p q q p poart numele de demonstratie prin contrapozitie, a iar cea de-a doua, bazat pe (p q) p q, este cunoscut sub numele de a a demonstratie prin reducere la absurd. Demonstratia prin contrapozitie nu este dect o demonstratie direct a con a a trarei reciprocei teoremei discutie. Din acest motiv, ea const n a ntr-o succesiune de argumente valide prin care, pornind de la q deducem p. Demonstratia prin reducere la absurd const a arta c p q este contra a n a a dictorie, ceea ce poate avea loc numai dac propozitia (p q) echivalent logic a a cu p q este fals, adic p q este adevrat. Practic, o demonstratie prin a a a a reducere la absurd revine la a arta c din p q rezult o contradictie, adic o a a a a propozitie de forma r r. Teorema 2.4.3. Dac n este a ntreg i n2 este par, atunci n este par. s Demonstratie. Von da o demonstratie prin contrapozitie, adic vom arta c, a a a dac n nu este par, atunci n2 nu este par. a Intr-adevr, dac n nu este par, el este a a mod necesar impar. Deci exist k Z astfel at n = 2k + 1. De aici rezult c n a nc a a n2 = (2k)2 + 2k + 1 = 2(2k 2 + k) + 1. Deci n2 este impar, sau echivalent, n2 nu este par. Pentru a elege enuntul teoremei de mai jos vom reminti: nt a s a Denitia 2.4.4. Un numr x se numete rational dac este de forma x = m n cu n = 0 i m, n numere s ntregi prime ntre ele (adic singurii lor divizori comuni a sunt 1 i 1). s
30
Teorema 2.4.4. Numrul a
2 este irational.
Demonstratie. Vom proceda prin reducere la absurd. Mai precis, s presupunem a c, dei numrul x satisface x2 = 2, totui el este rational, adic exist n = 0 i m, a s a s a a s n numere ntregi prime ntre ele, astfel at nc m x= . n Avem atunci m2 2 = x2 = 2 , n de unde urmeaz a 2n2 = m2 , ceea ce nseamn c m2 este par. Din Teorema 2.4.3, rezult c m este par, adic a a a a a exist k Z astfel at m = 2k. Avem atunci m2 = 4k 2 i drept urmare 2n2 = 4k 2 , a nc s sau a n2 = 2k 2 . Deci n2 este par i, conformitate cu Teorema 2.4.3, urmeaz nc s n a c n este par, adic exist h Z astfel at n = 2h. consecint, att m ct i a a a nc In a a a s n au ca divizor comun pe 2, i drept urmare ele nu sunt prime s ntre ele. Am ajuns la o contradictie: dei m i n sunt prime s s ntre ele nu sunt prime ntre ele. Aceast a contradictie nu poate proveni dect dintr-o propozitie fals, i.e. din presupunerea a a s a fcut c 2 este rational. Deci 2 este irational i demonstratia este complet. a a a Reamintim c un numr natural n > 1 se numete prim dac singurii si divizori a a s a a sunt 1 i numrul si. s a nsu a a Teorema 2.4.5. Multimea numerelor prime este nemrginit superior (nu exist un cel mai mare numr prim). a a Demonstratie. Vom demonstra teorema prin metoda reducerii la absurd. Mai precis, s presupunem c multimea numerelor prime este mrginit superior. Aceasta a a a a nseamn c exist un cel mai mare numr prim i, ca atare, multimea numerelor a a a a s prime este nit. Fie p1 < p2 < . . . pk multimea tuturor numerelor prime i e a s p = p1 p2 pk + 1. Din modul cum a fost denit p, rezult, pe de o parte, c el este a a prim deoarece nu este divizibil la nici un numr prim p1 , p2 , . . . , pk i, pe de alt a s a parte, c el este cel mai mare numr prim. Am ajuns astfel la o contraditie: pk este a a cel mai mare numr prim i p care este prim satisface p > pk din constructie a s i p pk din denitia lui pk . Aceast contradictie nu poate proveni dect dintr-o s a a propozitie fals, i.e. presupunerea c multimea numerelor prime este mrginit, sau a a a a echivalent c exist un cel mai mare numr prim. Deci multimea numerelor prime a a a este nemrginit i demonstratia este a as ncheiat. a Exercitiul 2.4.4. [3] Redactati o demonstratie pentru ecare din urmtoarele a teoreme. (1) Fie n numr a ntreg. Dac n2 este impar atunci n este impar. a s ntregi. Dac a nu divide bc atunci a nu divide b i nu a s (2) Fie a, b i c numere divide c. s ntregi. Dac exist numrul a a a ntreg d astfel at d|a, nc (3) Fie a, b i c numere d|b dar (d|c) atunci ecuatia ax + by = c nu are nici o solutie (x, y) cu x i y numere s ntregi. a natural care nu este prim. Atunci exist un numr natural b a a (4) Fie c numr cu b|c i b c. s
Introducere
31
(5) Fie q un numr natural, q 2 cu proprietatea c pentru orice numere a a naturale a i b, dac q|(ab) atunci q|a sau q|b. Atunci q este irational. s a (6) Fie q un numr natural, q 2 cu proprietatea c pentru orice numere a a naturale a i b, dac q|(ab) atunci q|a sau q|b. Atunci q este prim. s a (7) Fie n un numr natural. Atunci n2 + n este par. a (8) Fie n un numr natural n 2. Atunci n3 n este divizibil cu 3. a (9) Fie m i n numere naturale. dac mn este impar atunci m i n sunt impare. s a s (10) Fie k un numr rational i m un numr irational. Atunci mk este irational. a s a 2.5. Relatii de tip functie Denitia 2.5.1. Fie A B o relatie, A A i B B. s (i) Multimea D() = {x A; y B, xy} se numete domeniul relatiei . s (ii) Multimea R() = {y B; x A, xy} se numete imaginea relatiei . s (iii) Multimea (A ) = {y B; x A , xy} se numete imaginea prin a multimii A . s (iv) Multimea 1 (B ) = {x A; y B , xy} se numete contraimaginea sau imaginea invers prin a multimii B . s a s Exemplul 2.5.1. Fie A multimea oamenilor de pe glob i B multimea numerelor naturale. Denim relatia A B prin xy dac x are y copii. Avem a D() este multimea oamenilor de pe glob care au cel putin un copil, iar R() este multimea acelor numere naturale y pentru care exist cel putin un om care s a a aib y copii. Este uor de observat c D() = A i R() = B. Dac A = {x a s a s a A; x locuiete Iai} atunci (A ) este multimea tuturor locuitorilor din Iai care s n s s au copii. Dac B = {2, 4} atunci 1 ({2, 4}) este multimea acelor oameni de pe a glob care au 2 sau 4 copii. Denitia 2.5.2. Fie A B i B C. Relatia A C denit s a prin x z dac exist y B astfel at xy i yz se numete compusa relatiilor a a nc s s i . s Denitia 2.5.3. Fie A B o relatie. Relatia 1 B A denit prin a y x dac xy se numete inversa relatiei . a s
1
s a a Exercitiul 2.5.1. Fie A B o relatie i e 1 B A relatia invers. S se demonstreze c 1 A A este denit prin x1 z numai dac x D() a a a i x = z. s Denitia 2.5.4. O relatie A B se numete functie sau de tip functie s dac: a (i) D() = A (ii) pentru orice x A orice y B orice z B xy i xz implic y = z. s a
32
Dac f A B este o functie convenim s notm acest lucru prin f : A B a a a f sau A B i s citim: functia f de la A la B sau functia f denit pe A cu valori s a a B. Dac x A, y B i xf y, convenim s scriem y = f (x) i s citim: y este n a s a s a valoarea lui x prin functia f . Denitia 2.5.5. Functia f : A B se numete: s (i) injectiv sau injectie dac pentru orice x A, orice x A cu f (x) = f (x ) a a rezult x = x ; a (ii) surjectiv sau surjectie dac R(f ) = B; a a a a as a (iii) bijectiv sau bijectie dac este injectiv i surjectiv; (iv) inversabil dac inversa ei sensul Denitiei 2.5.3 este, de asemenea, o a a n functie. Exemplul 2.5.2. Functiile injective sunt utilizate mod tacit la constructia n aparatelor de msur. Intr-adevr, o prim conditie necesar pe care un aparat a a a a a de msur trebuie o satisfac este de a deni o functie injectiv a a a a ntre multimea indivizilor care trebuie msurati, i.e. temperaturi, presiuni, intensiti, viteze, a at etc., i multimea valorilor aate de aparat. Altminteri, ar exista cel putin doi s s indivizi distincti x1 = x2 care, msurati cu un astfel de aparat, ar conduce la a aceeai valoare aat y. acest caz, ori de cte ori aparatul aeaz valoarea y s s a In a s a suntem imposibilitatea de a decide dac aceasta este provine din faptul c l-am n a a msurat pe x1 sau pe x2 . Exemplul inutilitii unui termometru care, att pentru a at a 100 C ct i pentru 90 C, ne-ar indica aceeai gradatie este, credem, convingtor. a s s a Denitia 2.5.6. Fie A o multime. Functia 1A : A A denit prin 1A (x) = x a pentru orice x A poart numele de functia identic pe A, sau identitatea pe A. a a Propozitia 2.5.1. Fie f : A B i g : B C dou functii. Atunci relatia s a compus g f A C dat ca Denitia 2.5.2 este o functie. a a n Lsm ca exercitiu demonstratia acestei propozitii. aa Denitia 2.5.7. Fie f : A B i g : B C dou functii. Relatia compus s a a g f dat ca Denitia 2.5.2, despre care s-a demonstrat c este o functie g f : a n a A C, se numete compusa functiei g cu functia f . s Propozitia 2.5.2. Fie f : A B o functie. Atunci, : a as a s (i) f este injectiv dac i numai dac pentru orice x A i orice x A cu x = x rezult f (x) = f (x ) ; a (ii) f este surjectiv dac i numai dac pentru orice y B exist x A cu a as a a f (x) = y; (iii) f este bijectiv dac i numai dac f este inversabil ; a as a a (iv) f este inversabil dac i numai dac exist g : B A astfel at a a s a a nc g f = 1A i f g = 1B , caz care g = f 1 . s n a Demonstratie. Pentru a demonstra (i) ne vom baza pe faptul c p q este logic echivalent cu q p. Mai precis, f este injectiv dac: a a a (x A)(x A)[(f (x) = f (x )) (x = x )] armatie care, conform observatiei de mai sus, este logic echivalent cu a (x A)(x A)[(x = x ) (f (x) = f (x ))]. Punctul (ii) rezult prin simpla explicitare a denitiei multimii R(f ). a
Introducere
33
Pentru a verica (iii) s observm c dac f este bijectiv atunci ea este ina a a a a jectiv i surjectiv. Conditia de surjectivitate este echivalent cu faptul c relatia as a a a invers are domeniul B. Pe de alt parte, conditia de injectivitate este echivalent a a a cu faptul c inversa lui f , sensul relatiilor, este o functie. a n Pentru a demonstra (iv) s observm c, virtutea punctului (iii), dac f este a a a n a bijectie inversa ei, f 1 , este functie. Lund g = f 1 observm c g f = 1A i a a a s f g = 1B , ceea ce demonstreaz prima implicatie. S presupunem acum c exist a a a a functia g : B A astfel at g f = 1A i f g = 1B . Rezult atunci c g este nc s a a inversa relatiei f , ceea ce arat c f este inversabil i, din punctul (iii), urmeaz a a as a c f este bijectie. a Propozitia 2.5.3. Fie f : A B i g : B C dou functii. Atunci s a (i) dac g f este injectiv atunci f este injectiv ; a a a (ii) dac g f este surjectiv atunci g este surjectiv ; a a a (iii) dac g f ; este bijectiv atunci f este injectiv i g surjectiv ; a a as a (iv) dac f i g sunt bijectii atunci g f este bijectie ; a s (v) (g f )1 = f 1 g 1 . Lsm ca exercitiu demonstratia acestei propozitii. aa Exemplul 2.5.3. (a) Fie f : N N denit prin f (x) = 2x pentru orice a x N. Se constat c f este injectiv deoarece dac x N, x N i 2x = 2x a a a a s atunci x = x , dar nu este surjectiv (i drept urmare nu este bijectiv) deoarece a s a R(f ) este multimea numerelor naturale pare, care, evident, nu coincide cu N. (b) Fie acum g : N N denit prin a { x dac x este impar a g(x) = x/2 dac x este par. a Functia g este surjectiv deoarece pentru orice y N exist x N (x = 2y) a a cu g(x) = y (vezi Propozitia 2.5.2 punctul (ii)) , dar nu este injectiv deoarece a g(2) = g(1) = 1. 2.6. Relatii de echivalent a O clas special de relatii este aceea a relatiilor de echivalent. a a a Denitia 2.6.1. Fie A a multime. O relatie A A se numete: s a a a (i) reexiv dac pentru orice x A rezult xx (ii) ireexiv dac pentru orice x A rezult (xx) a a a (iii) simetric dac pentru orice x A orice y A cu xy rezult yx a a a (iv) asimetric dac pentru orice x A orice y A cu xy rezult (yx) a a a (v) antisimetric dac pentru orice x A orice y A cu xy i yx rezult a a s a x=y a a s s (vi) tranzitiv dac pentru orice x A orice y A i orice z A cu xy i yz rezult xz. a Conditiile (i), (ii), (iii), (iv) i (v) sunt independente, adic, pentru ecare s a conditie (i), (ii), (iii), (iv) i (v), exist mcar o relatie care satisface acea conditie s a a dar nu le satisface pe celelalte. s Exemplul 2.6.1. (a) Fie A multimea tuturor oamenilor de pe glob i e A A denit prin xy dac x este ul lui y. Cum nici un om nu este propriul su a a a
34
copil, rezult c relatia nu este reexiv. Mai mult, este asimetric deoarece dac a a a a a plus ea este i antisimetric. xy atunci (yx). Evident relatia nu este simetric. In a s a Intr-adevr, dac am presupune c nu este antisimetric ar rezulta c exist x A a a a a a a i exist y A cu xy, yx dar x = y, ceea ce este absurd deoarece ese imposibil s a ca xy i yx. sfrit, nu este tranzitiv deoarece dac x este ul lui y iar y s In a s a a este ul lui z atunci x nu este ul lui z. (b) Fie A multimea tuturor dreptelor dintr-un plan dat . Denim relatia A A prin xy dac x este perpendicular pe y. acest exemplu este a a In simetric este ireexiv i drept urmare nu este reexiv, nu este asimetric nu este a as a a antisimetric i nu este tranzitiv. as a (c) Fie A multimea tuturor dreptelor dintr-un plan dat . Denim relatia A A prin xy dac x este paralel cu y. Este uor de vzut c aceast relatie este a a s a a a ireexiv, simetric i tranzitiv, dar nu este asimetric i nu este antisimetric. a as a as a (d) Fie A multimea tuturor dreptelor dintr-un plan dat . Denim relatia A A prin xy dac x = y sau x este paralel cu y. Aceast relatie este a a a reexiv, simetric i tranzitiv. Deci nu este ireexiv, nu este asimetric i nu a a s a a a s este antisimetric a Exercitiul 2.6.1. S se demonstreze urmtoarele armatii: a a (1) Dac o relatie nevid A A este ireexiv atunci ea nu este reexiv. a a a a Este reciproca adevrat? a a (2) Dac o relatie nevid A A este simetric i antisimetric atunci a a a s a pentru orice x A i orice y A, xy dac i numai dac x = y. s as a (3) Fie A o multime nevid i A A o relatie pe A. S notm cu = as a a {(x, x); x A} numit diagonala multimii AA care coincide cu functia a identic 1A . Atunci: a (i) este reexiv dac i numai dac a as a (ii) este ireexiv dac i numai dac = a as a (iii) este simetric dac i numai dac = 1 a as a (iv) este asimetric dac i numai dac 1 = . a as a (v) este antisimetric dac i numai dac 1 = a as a (vi) este tranzitiv dac i numai dac 1 a as a Denitia 2.6.2. Fie A a multime. O relatie A A se numete echivalent s a dac este reexiv, simetric i tranzitiv. a a as a Exemplul 2.6.2. (a) Fie A o multime nevid i e = {(x, x); x A}. Se as constat c este o relatie de echivalent pe A care nu este altceva dect relatia a a a a de egalitate pe A, i.e. xy dac x = y. (b) Fie A multimea segmentelor orientate, a i.e. a perechilor ordonate de puncte din . Denim relatia A A prin xy dac a x i y au aceeai lungime, aceeai directie i acelai sens. Se veric uor c este s s s s s a s a reexiv, simetric i tranzitiv, adic este o echivalent pe A. a as a a a Denitia 2.6.3. Fie A a multime, A A o relatie de echivalent pe A i a s x A. Multimea x = {y A; xy} se numete clasa de echivalent a elementului s a x. Multimea {; x A} se numete multimea ct sau multimea factor a multimii x s a A prin i se noteaz cu A/. s a Exemplul 2.6.3. (a) cazul multimii A i a relatiei din Exemplul 2.6.2 In s punctul (a), pentru orice x A avem x = {x} i, drept urmare, A/ = {{x}; x A}. s
Introducere
35
(b) cazul multimii A i a relatiei din Exemplul 2.6.2 punctul (a), pentru orice In s x A, x reprezint multimea tuturor segmentelor orientate, de aceeai lungime, a s aceeai directie i acelai sens cu x. Aceast clas de echivalent poart numele de s s s a a a a vector liber avnd lungimea, directia i sensul lui x. Ca atare, A/ este multimea a s vectorilor din planul . Denitia 2.6.4. Fie A o multime nevid. O multime P P(A), unde P(A) a este multimea prtilor lui A, se numete partitie a multimii A dac: a s a (i) P / (ii) A = BP B (iii) pentru orice B P i orice C P, B = C, avem B C = s Propozitia 2.6.1. Fie Fie A a multime, A A o relatie de echivalent a pe A, x A i y A. Atunci: s n (i) e xy, caz care x = y (ii) e (xy), caz care x y = . n Altfel spus, dou clase de echivalent e coincid, e sunt disjuncte. a a Lsm ca exercitiu demonstratia acestei propozitii. aa Propozitia 2.6.2. Fie Fie A a multime i A A o relatie de echivalent s a pe A. Atunci {; x A} este o partitie pe A. Reciproc, dat o partitie P P(A) x a pe A, exist o unic relatie de echivalent pe A astfel at {; x A} = P. a a a nc x Lsm ca exercitiu demonstratia acestei propozitii. aa Exercitiul 2.6.2. S se precizeze care dintre relatiile de mai jos este de a echivalent. caz armativ, sa se precizeze cu ce poate identicat o clas a In a a de echivalent, adic s se pun evident o bijectie natural a a a a n a a ntre multimea ct i o alt multime cunoscut. a s a a (1) relatia A A, unde A este multimea tuturor oamenilor de pe glob, iar xy dac x i y sunt nscuti aceeai lun. a s a n s a (2) relatia A A, unde A este multimea tuturor oamenilor de pe glob, iar xy dac x i y au aceeai printi a s s a (3) relatia A A, unde A este multimea tuturor oamenilor de pe glob, iar xy dac x i y au comun cel putin un prenume a s n (4) relatia A A, unde A este multimea tuturor oamenilor de pe glob, iar xy dac numele de familie a lui x i a lui y a s ncep cu aceai liter s a (5) relatia A A, unde A este multimea tuturor oamenilor de pe glob, iar xy dac x i y locuiesc aceeai ar a s n s t a (6) relatia A A, unde A este multimea tuturor oamenilor de pe glob, iar xy dac x i y locuiesc aceeai ar sau ri vecine a s n s t a n ta s a (7) relatia A A, unde A este multimea numerelor naturale i xy dac x y este par ntregi i xy dac x s a (8) relatia A A, unde A este multimea numerelor i y au acelai rest la artirea la 7 s s mp s a (9) relatia A A, unde A este multimea numerelor reale i xy dac x y este ntreg s (10) relatia A A, unde A este multimea irurilor Cauchy de numere rationale i xy dac x y este convergent la 0 s a
36
(11) relatia A A, unde A este multimea prtilor unei multimi nevide X a iar xy dac exist o bijectie de la x la y. a a (12) Fie A = i e F = {f : A A}. Denim F F prin f g dac s a exist p F inversabil astfel at f = p1 g p. S se demonstreze c a a nc a a este o relatie de echivalent pe F . a (13) Fie V clasa spatiilor liniare peste corpul R i e V V denit prin s a V W dac V i W sunt izomorfe. S se demonstreze c este o relatie de a s a a echivalent pe V a (14) Fie V un spatiu liniar peste corpul R i e V multimea functionalelor s liniare de la V R. Fie V V denit prin f g dac ker f = ker g. n a a Cu cine poate identicat spatiul ct V /? a 2.7. Relatii de ordine s Denitia 2.7.1. Fie A a multime. O relatie A A se numete: (i) preordine dac este reexiv i tranzitiv a as a (ii) ordine dac este reexiv, antisimetric i tranzitiv. a a as a (iii) preordine total ordine total dac este preordine (ordine) i orice dou a a a s a elemente x A i y A sunt comparabile, i.e. e xy e yx. s Dac este o relatie de preordine (ordine) pe A, perechea (A, ) se numete multime a s preordonat (ordonat ). Dac este o preordine (ordine) total (A, ) se numete a a a a s multime total preordonat (multime total ordonat ) sau lant. a a Prin traditie, relatiile de preordine i, implicit, de ordine se noteaz cu sau s a . Exemplul 2.7.1. (a) Fie A multimea tuturor oamenilor de pe glob i e s A A denit prin x y dac x este mai tnr sau de aceeai vrst cu y. Se a a a a s a a constat c este reexiv i tranzitiv. Deci este o relatie de preordine pe A. a a as a Pe de alt parte nu este antisimetric (x y i y x implic doar c x i y au a a s a a s aceeai vrst, dar nu c x = y). Deci , dei preordine, nu este ordine pe A. s a a a s n plus, este o preordine total. a (b) Fie A multimea tuturor submultimilor unei multimi nevide X i e AA s denit prin x y dac x y. Este uor de vzut c este reexiv, antisimetric a a s a a a a i tranzitiv. Ca atare, ea este o ordine pe A, dar, dac A are cel putin dou s a a a elemente, nu este ordine total. a Propozitia 2.7.1. Fie (A, ) o multime preordonat. Atunci A A, a denit prin xy dac x y i y x, este o echivalent pe A. plus, relatia a a s a In A/ A/, denit prin x dac x y, este o relatie de ordine pe A/. a y a Exercitiul 2.7.1. Demonstrati Propozitia 2.7.1. Denitia 2.7.2. Fie (A, ) o multime preordonat, M A i x A. Elemen a s tul x se numete: s (i) minorant al multimii M dac pentru orice y M avem x y a a (ii) majorant al multimii M dac pentru orice y M avem y x (iii) prim element sau cel mai mic element al multimii M dac este minorant a al lui M i x M s a (iv) ultim element sau cel mai mare element al multimii M dac este majorant al lui M i x M s
Introducere
37
(v) margine inferioar sau inmum al lui M dac este ultim element al a a multimii minorantilor lui M (vi) margine superioar sau supremum al lui M dac este prim element al a a multimii majorantilor lui M (vii) element minimal al lui M dac pentru orice y M din y x rezult a a x=y a a (viii) element maximal al lui M dac pentru orice y M din x y rezult x = y. Exemplul 2.7.2. (a) Fie (A, ) ca Exemplul 2.7.1 (a) i e M multimea n s tuturor oamenilor care au cel putin 20 de ani. Atunci orice x A care are cel mult 20 de ani este un minorant al multimii M . Multimea M are drept elemente minimale toate elementele x M cu proprietatea c x are 20 de ani. plus, a In n acest caz, toate elementele minimale sunt i prime elemente ale lui M i, ca atare, s s sunt i margini inferioare ale lui M . Faptul c o multime preordonat M poate avea s a a mai multe prim elemente (ultim elemente), mai multe inmuri (supremuri) este o consecint a absentei proprietii de antisimetrie. Vezi Propozitia 2.7.2 de mai jos. a at (b) Fie (A, ) ca Exemplul 2.7.1 (b) i e M multimea tuturor submultimilor n s nevide din X. Atunci, multimea vid este minorant pentru M i, ind singurul a s minorant, este i inmum al multimii M . Orice x M care contine un singur s element este element minimal pentru M . Subliniem c M nu are prim elemente a (exceptnd cazul care X contine doar un singur element), dar are drept ultim a n element pe X, care este i element maximal. s (c) Fie A o multime nevid i e A A denit prin x y dac x = y. as a a Atunci (care coincide cu diagonala multimii A A vezi Exercitiul 2.6.1 punctul (3)) este o relatie de ordine pe A. Exceptnd cazul banal cnd A contine a a doar un element, aceast ordine nu este totatl. S observm c orice submultime a a a a a nevid a sa, cu cel putin dou elemente, nu are nici minoranti nici majoranti i, a a s drept urmare, nici inmum nici supremum , nici prim element, nici ultim element, dar orice element al lui A este i maximal i minimal. s s Propozitia 2.7.2. Fie (A, ) o multime ordonat, M A i x A. Atunci a s a n (i) dac x este prim element al lui M atunci el este unic, caz care se noteaz cu a x = min M (ii) dac x este ultim element al lui M atunci el este unic caz care se a n noteaz cu a x = max M (iii) dac x este margine inferioar a lui M atunci el este unic caz care se a a n noteaz cu a x = inf M (iv) dac x este margine superioar a lui M atunci el este unic caz care se a a n noteaz cu a x = sup M (v) dac x = inf M i x M atunci x = min M a s a s (vi) dac x = sup M i x M atunci x = max M . Exercitiul 2.7.2. Demonstrati Propozitia 2.7.2.
38
Denitia 2.7.3. O multime ordonat (A ) se numete bine ordonat dac a s a a orice subnultime nevid a sa are prim element. a Exercitiul 2.7.3. Fie N N denit prin xy dac x divide y. S se a a a demonstreze c este o relatie de ordine pe N . S se precizeze: a a (i) minorantii multimii M (ii) majorantii multimii M (iii) primul element al multimii M (iv) ultimul element al multimii M (v) marginea inferioar a multimii M a (vi) marginea superioar a multimii M a dac: (1) M = {3, 6, 8, 14, 15, 18}; (2) M = {4, 6, 8, 10, 12, 14}; (3) M = {2, 4, 6, 8, 10, 12, 14}; a (4) M = {2, 3, 6, 8, 9, 37}; (5) M = {3, 5, 7, 105, 201}; (6) M = {5, 20, 45, 50, 111, 113, 235}; (7) M = {2, 3, 5, 7, 11, 13, 17, 19}; (8) M = {1, 2, 3, . . . } = N ; (9) M = {7, 3, 21, 5, 14, 2, 8}; (10) M = {2k; k N }; (11) M = {3k; k N }; (12) M = {6k; k N }. Are multimea N elemente minimale? Dar elemente maximale? 2.8. Solutii
Exercitiul 2.1.1 (1) Din A H adevrat rezult c A i H sunt adevrate. Cum A i A R sunt a a a a s a s adevrate, urmeaz c R este adevrat. Dar H i S H sunt adevrate, de a a a a a s a unde rezult c S poate fals sau adevrat. Dac S este fals, R S este de a a a a a a a asemenea fals, ceea ce arat c argumentul nu este valid. a a a (2) Din J L adevrat, conchidem c J i L sunt adevrate. Cum L i L a a a s a s S sunt adevrate, S este adevrat, adic S este fals. Dar J S este a a a a a adevrat i, cum S este fals, deducem c J este adevrat. Dar, J este fals, a as a a a a a ceea ce este contradictie cu J adevrat. Deci argumentul este inconsistent. n a a Acest exemplu subliniaz faptul c, pornind de la premise contradictorii ( a a n cazul de fata, premisele antreneaz c J i J sunt adevrate), putem deduce a a s a c orice propozitie ( cazul de fata F ) este adevrat. De aceea este imperios a n a a necesar ca, orice argumentatie, premisele s nu e contradictorii. n a (3) Cum P Q este adevrat, rezult c att P ct i Q sunt adevrate. Deci P Q a a a a a a s a este adevrat. Dar (P Q) R este adevrat i ca atare, R este adevrat. a a a as a a Deci argumentul este valid. (4) S observm c, pentru X adevrat, Y adevrat i Z fals, premisele sunt a a a a a a a s a adevrate, dar concluzia este fals. Deci argumentul nu este valid. a a (5) Avem dou posibiliti: (a) E adevrat sau (b) E fals. Dac E este adevrat, a at a a a a a a din E F adevrat, urmeaz F adevrat, adic F este fals. De aici i din a a a a a a a s G F adevrat rezult G fals, adic G adevrat. Deci G I este a a a a a a a adevrat. Dac E este fals, din E H adevrat, deducem H adevrat. De a a a a a a a a aici i din H I adevrat, conchidem c I este adevrat. Deci Deci G I s a a a a a este adevrat i, ca atare, argumentul este valid. a as (6) Din P L adevrat deducem L adevrat. De aici i din L M avem c a a a a s a M este adevrat. Deci M N este adevrat. Cum (M N ) (L K) este a a a a adevrat rezult L K adevrat. Dar L este adevrat i, drept urmare, K a a a a a a as este adevrat. Ca atare argumentul este valid. a a a a a a s a a a (7) Din R adevrat, rezult R fals. De aici i din R(P T ) adevrat, urmeaz P T adevrat. Deci, cel putin una din propozitiile P , T este adevrat. Dac a a a a a P este adevrat, din P Q adevrat, deducem c Q este adevrat. De aici a a a a a a a obtinem c concluzia Q S este adevrat. Dac T este adevrat, din R i a a a a a a s R (S T ) adevrate, deducem S T adevrat i ca atare S poate a a a s
Introducere
39
adevrat sau fals. Deci, concluzia Q S poate fals dei toate premisele a a a a s sunt adevrate. Drept urmare argumentul este invalid. a a a a a s (8) Din D adevrat deducem D A adevrat. De aici i din (D A) C adevrat rezult C adevrat, adic C adevrat. Din C i C A a a a a a a a a s adevrate, urmeaz A adevrat. Din A i A (B C) adevrate, a a a a s a deducem B C adevrat. Dar C este fals, deci B fals, adic B este a a a a a adevrat. Ca atare, argumentul este valid. a a Exercitiul 2.1.3 a a (1) S notm cu (1) P : aatul este obositor nvt (2) Q: este greu s iei note mari a (3) R: aatul este plictisitor nvt Argumentul are forma P Q R Q P R Din P i P Q adevrate, avem Q adevrat, deci Q fals. Din R Q s a a a a adevrat i Q fals, rezult R fals, adic R adevrat. Deci argumentul este a as a a a a a a valid. (2) S notm cu a a (1) P : noul CD este ritmat (2) Q: noul CD este lent (3) R: noul CD este zgomotos Argumentul are forma P Q R QP R P Q Cum Q P adevrat i Q P este echivalent logic cu P Q, rezult a as a a c P Q este adevrat. Deci argumentul este valid. a a a (3) S notm cu a a (1) P : este frumos (2) Q: plou a (3) R: mergem excursie n (4) S: jucm volei a (5) T : jucm ah a s Argumentul are forma (P Q) R R (S T ) T P Q Din T adevrat rezult ST fals i ca atare R (ST ) este adevrat a a a as a a doar dac R este fals. Din (P Q) R adevrat i R fals, urmeaz c a a a a s a a a P Q este fals. Deci (P Q) este adevrat. Cum aceasta din urm este a a a a logic echivalent cu P Q, argumentul este valid. a a a (4) S notm cu i (1) P : Anei plac garoafele (2) Q: Anei plac bujorii i (3) R: Anei plac lalelele i
40
(4) S: Anei plac trandarii i (5) T : Anei plac freziile i (6) U : Anei plac narcisele i Argumentul are forma P Q R S RT P U T U Dac P , Q, R, S, T adevrate i U fals, atunci toate premisele sunt a a s a adevrate, dar concluzia este fals. Deci argumentul nu este valid. a a (5) S notm cu a a (1) P : Mihai cnt la ghitar a a a a a (2) Q: Mihai cnt la uier (3) R: Mihai cnt la org a a a (4) S: Mihai cnt la pian a a Argumentul are forma P Q (P Q) (R S) S R R S Cum R este adevrat, rezult R fals. Din S R adevrat i R a a a a a as fals urmeaz S fals, adic S adevrat. Deci argumentul este valid. a a a a a a (6) S notm cu a a (1) P : Mihai a nvat (2) Q: Mihai pierde bursa (3) R: Mihai are cu ce s-i cumpere CD-uri as Argumentul are forma P Q Q R P Q P R Q P Dac P i R sunt adevrate i Q este fals, atunci, toate premisele sunt a s a s a adevrate, dar concluzia este fals. deci argumentul nu este valid. a a
CAPITOLUL 3
Elemente de teoria multimilor

3.1. Logic, multimi, axiome a 3.1.1. Multimi, teorie naiv. Paradoxuri i necesitatea axiomatizrii. a s a Teoria modern a multimilor a ncepe odat cu lucrarea Teoria rational a ina a nitii a lui Georg Cantor1, care se manevreaz liber multimile innite i se at n a s dezvolt o tehnic de msurare a lor (teoria cardinalelor). Pn la Cantor, matema a a a a aticienii adoptau punctul de vedere al lozolor Greciei antice: exist notiunea de a innit actual (o innitate de obiecte concepute ca exist simultan) i cea de innit nd s potential (o multime sau o mrime nit, dar care se poate mri orict de mult). a a a a Filozoful Zenon, prin faimoasele sale aporii (paradoxuri), a atras atentia asupra consecintelor absurde care par s apar introducnd innitul actual rationamente. a a a n Se considera de aceea c innitul actual nu este accesibil intuitiei i doar innitul a s potential poate folosit gndirea matematic. n a a Cantor are meritul de a spart aceast barier mental i de a a a a s ncercat s numere innitul. El a avut ideea de a compara multimile (nite sau nu) cu a ajutorul functiilor bijective: dou multimi sunt la fel de mari (echipotente) dac a a exist o bijectie a ntre ele. Cantor a obtinut rezultate precum: N este echipotent cu Q i cu multimea numerelor algebrice (numerele complexe care sunt rdcini s a a ale unui polinom nenul cu coecienti rationali). Deja aceste armatii nu sunt n acord cu percepia obinuit i arat c uneori partea este la fel de mare ca i s s a s a a s ntregul. A mai artat c N nu este echipotent cu R i c, general, o multime a a s a n A nu este echipotent cu multimea prtilor sale P (A). Exist, deci, mai multe a a a tipuri de innitate. Alte rezultate contrazic i mai mult simtul comun: exist tot s a attea puncte pe un segment cte sunt pe o dreapt sau a a a n ntregul plan (sau chiar n ntregul spatiu)! Astfel, cazul multimilor innite poate contrazis principiul n partea este mai mic dect a a ntregul: exist cazuri cnd partea este la fel de mare a a ca ntregul. cadrul teoriei lui Cantor a multimilor (astzi numit teoria naiv In a a a a multimilor), prin multime se elege o colectie (un ansamblu, un set) de obiecte nt distincte (elementele multimii), bine determinat i considerat ca o entitate. Georg as a Cantor spunea Unter eine Menge verstehen wir jede Zusammenfassung M von bestimmten Wohlunterschiedenen Objekten m unseres Denkens zu einem Ganzen: Prin multime elegem orice grupare nt ntr-un tot M a unor obiecte distincte i s bine determinate m ale gndirii noastre. a teoria multimilor forma descris a Ins n a de Cantor conducea la paradoxuri care provin din denitia foarte permisiv i a s vag a conceptului de multime. si Cantor, 1895, observ c nu se poate a Insu n a a vorbi de multimea tuturor ordinalelor (paradox publicat de Burali-Forti 1897); n mai trziu, s-a constatat c exist i alte multimi contradictorii: multimea tua a as turor cardinalilor, multimea tuturor multimilor, multimea multimilor care nu se
1
Georg Ferdinand Ludwig Philipp Cantor (1845-1918), matematician german.

41
42
contin ca element (paradoxul lui Russel2). Prezentm acest paradox: presupunem a c exist multimea multimilor care nu se contin ca element i o notm cu C ( a a s a n notatie modern, C = {A| A A}). Evident, are loc: sau C C, sau C C. Dac a / / a C C, atunci C C din denitia lui C, contradictie. Dac C C, atunci C nu / a satisface conditia de denitie a lui C, deci C C, contradicie. / a Aceste paradoxuri au putut eliminate de teoria axiomatic a multimilor, a care, printre altele, nu permite existenta multimilor foarte mari, care apar mai sus. O prim axiomatizare a fost dat de Zermelo3 1908. Una din axiomele sale a a n (care evit aparitia paradoxurilor de tipul de mai sus) este Axioma selectiei (sau a a specicrii), care esent spune c, dat o proprietate P i o multime A, a n a a a s exist multimea elementelor din A care satisfac proprietatea P 4. Cu alte cuvinte, a o proprietate nu determin o multime (ca denitia original a lui Cantor), ci, a n a dat o multime A, se poate vorbi doar de existenta submultimii lui A format a a din elementele lui A care satisfac P . 1905 Richard construiete un paradox de In s alt tip (simplicat ulterior de Berry i publicat de Russel 1906). S considerm s n a a urmtorul concept: cel mai mic numr natural care nu poate denit cu mai putin a a de 17 cuvinte. Dac acest numr ar exista, atunci el poate denit cu 16 cuvinte, a a chiar de enuntul anterior (care are 16 cuvinte, numrati). Contradictia obtinut a a arat c nu exist un astfel de numr. Pe de alt parte, multimea numerelor naturale a a a a a care pot denite cu cel mult 16 cuvinte este nit (cci multimea frazelor cu cel a a mult 16 cuvinte care denesc un numr natural este nit) i deci exist numere a a s a naturale care nu pot denite cu mai puin de 17 cuvinte. Cel mai mic dintre s acestea este un numr. . . care nu poate exista, conform celor de mai sus! Paradoxul a de mai sus are alt surs, i anume ambiguitatea limbajului natural, obinuit. Ce a a s s nseamn exact a deni un numr natural? a a Din consideratiile de mai sus rezult c, pe lng o axiomatizare a teoriei a a a a multimilor, trebuie restrns limbajul natural la cteva modaliti bine precizate a a at i simple de exprimare. acelai timp, posibilitile trebuie s e sucient de pers In s at a misive pentru a putea formula orice enunt matematic. Aceste scopuri sunt realizate de un limbaj formal. Vom prezenta un astfel de limbaj (de fapt, este vorba de un limbaj semi-formal, prezentat intuitiv; o prezentare riguroas a unui limbaj formal a depete cu mult cadrul i scopurile noastre). Cu aceast ocazie, vom sublinia as s s a anumite aspecte de logic matematic. a a 3.2. Sisteme axiomatice. Teorii 3.2.1. Antinomii celebre. Aparitia a din antichitate a unor antinomii, nc precum cea a mincinosului, a fost un impuls pentru initierea unor cercetri sis a tematice de logic avnd drept scop, pe de o parte elegerea mecanismului de a a nt aparitie a acestora i pe de alt parte construirea unui limbaj logic necontradicto s a riu. acelai mod, formularea, 1902, de ctre Bertrand Russel a unei antinomii In s n a profunde care a zguduit din temelii teoria multimilor aa cum a fost conceput de s a Georg Cantor, a fost un prilej de reectie i de reconsiderare a acestei teorii. s Antinomia lui Russel. Fie I = {M ; M M } multimea tuturor multimilor / care nu se auto-contin ca element. Avem I I sau I I. Dac I I, din denitia / a lui I, urmeaz I I. Reciproc, dac I I, atunci, tot din denitia lui I, avem a / a /
2Bertrand Russel (1872-1970), matematician i lozof britanic. s 3Ernst Friedrich Ferdinand Zermelo (1871-1953), matematician german. 4Mai precis, este vorba de un predicat cu o variabil liber. a a
Introducere
43
I I. Deci I I dac i numai dac I I. consecint, avem o propozitie care as a / In a este adevrat dac i numai dac este fals fapt care contravine principiului de a a a s a a necontradictie pe care trebuie s-l satisfac orice teorie matematic. a a a Antinomia lui Cantor. Fie U multimea tuturor multimilor. Atunci, numrul a su cardinal [U ] este cel mai mare numr cardinal posibil. Cu toate acestea,din a a Teorema lui Cantor, avem c [U ] < [2U ]. a Antinomia lui Richard. 1905 Richard construieste un paradox de alt tip In (simplicat ulterior de Berry i publicat de Russel 1906). Vezi Scorpan [18]. S s n a considerm urmtorul concept: cel mai mic numr natural care nu poate denit a a a cu mai putin de 17 cuvinte. Dac acest numr ar exista, atunci el poate denit cu a a 16 cuvinte, chiar de enuntul anterior care are 16 cuvinte, dup cum putem constata a printr-o simpl numrare. Contradictia obtinut arat c nu exist un astfel de a a a a a a numr. Pe de alt parte, multimea numerelor naturale care pot denite cu cel a a mult 16 cuvinte este nit (cci multimea frazelor cu cel mult 16 cuvinte care a a denesc un numr natural este nit) i deci exist numere naturale care nu pot a a s a denite cu mai putin de 17 cuvinte. Cel mai mic dintre acestea este un numr care nu a poate exista, conform celor de mai sus! Acest paradox are drept surs ambiguitatea a limbajului natural, obinuit. Ce s nseamn exact a deni un numr natural? Din a a consideratiile de mai sus rezult c, pe lng o axiomatizare a teoriei multimilor, a a a a trebuie restr limbajul natural la c ns teva modaliti bine precizate i simple de at s exprimare. acelasi timp, posibilitile trebuie s e sucient de permisive pentru In at a a putea formula orice enunt matematic. Aceste scopuri sunt realizate de un limbaj formalizat. O prezentare riguroas a unui astfel de limbaj depseste cu mult cadrul a a i scopul acestui curs. s Antinomia lui Grelling. Exist adjective care au proprietatea pe care o a enunt, ca de exemplu: polisilabic i adjective care nu au proprietatea pe care o a s enunt, ca de exemplu: albastru. Convenim s numim adjectivele din cea de-a doua a a categorie ireexive. Atunci, adjectivul ireexiv este ireexiv dac i numai dac el as a nu este ireexiv. Aceasta este o antinomie semantic. a Antinomia mincinosului. Este cea mai veche antinomie cunoscut. Mai prea cis, Eubulide din Milet vezi Dumitriu [4], p. 126-127 pune urmtoarea a ntrebare: Minte cineva cnd spune c minte? Evident, rspunsul la aceast a a a a ntrebare este da dac i numai dac el este nu. Aceasta este o antinomie semantic i nici pn as a as a a azi nu a fost rezolvat satisfctor. a a a Eliminarea antinomiilor. Pornind de la ideea c orice antinomie este un a afront adus logicii, prin analogie cu ceea ce se ampl viata social normal, nt a n a a cele mai multe dintre acestea sunt eliminate prin simpla lor scoatere afara legii. De n exemplu, antinomia lui Grelling nu mai este posibil a ntr-o limb care ireexiv a n este decretat non-adjectiv. Similar, antinomia lui Russel poate evitat mod a n elegant ntr-o teorie a multimilor care obiectul I = {M ; M M } nu este n / multine. Antinomiile de limbaj precum: Grelling, Richard, mincinosului, i altele pot s eliminate utiliznd limbaje formale. Aceastea sunt adaptate teoriilor avute vedere a n i de aceea se refer la o clas restrns de obiecte, sunt mult mai simple dect s a a a a a limbajul natural i au reguli care elimin ambiguitile. s a at Antinomiile logice ca de exemplu: Russel, Cantor se pot elimina cadrul teorin ilor axiomatice care se dau reguli stricte de constructie a multimilor, care nu n permit existenta obiectelor care se utilizeaz constructia antinomiilor. a n
44
3.2.2. A crede sau a demonstra. Teorii i sisteme axiomatice. Este o s observatie de bun simt c, pentru ca o constructie logic, pe care, cele ce urmeaz, a a n a o vom numi teorie, s e rezistent i stabil trebuie s se sprijine pe un fundatie a as a a solid i sucient de ampl, dar nu excesiv, pentru a o sustine. Prin analogie, este as a a uor de eles c i teoriile tiintice, i.e. constructiile logice care fundamenteaz s nt as s a o anumit tiint, care se doresc credibile trebuie s se bazeze pe un fundament a s a a de propozitii adevrate, care, la rndul lor trebuie s se sprijine pe alte propozitii a a a adevrate, .a.m.d., .a.m.d. Este uor de a s s s ntrezrit c, mergnd a a a napoi pe aceast a cale, vom ajunge la nite propozitii ale cror valori de adevr nu le vom mai putea s a a stabili cadrul teoriei, aceai manier, adic bazndu-ne pe alte propozitii n n s a a a adevrate dar neechivalente logic cu cele care se cer a demonstrate. Pentru a a putea merge mai departe, aceste din urm propozitii numite axiome sau postulate a , sunt considerate a priori adevrate cu scopul ca, din ele, pe baza unor reguli de a deductie, s se poat obtin celelalte propozitii adevrate din cadrul teoriei. Mai a a a a precis, axiomele sunt echivalentul lumea propozitiilor a notiunilor primare din n lumea denitiilor. De aceea, cel care dorete s parcurg o anumit teorie trebuie s a a a s cread axiome, i.e. s le considere adevrate i, acelai timp, trebuie s a a n a a s n s a stabileasc valoarea de adevr a propozitiilor cu care are de-a face, prin reguli de a a deductie, bazndu-se pe axiome i pe alte propozitii despre care s-a demonstrat c a s a sunt adevrate. a Este momentul s subliniem c valoarea de adevr a unei propozitii depinde a a a de teoria matematic care ea este supus analizei, adic de axiomele care au a n a a fost alese pentru a fundamenta teoria (i care au fost preferate innd cont de s t a diverse criterii: experimentale, de bun simt, de modul de percepere a lumii, etc.). Astfel, propozitia: suma msurilor radiani a unghiurilor unui triunghi este a n este adevrat geometria euclidian, i fals geometria riemannian. a a n a s a n a Exemplul 3.2.1. Pe sfera lui Riemann, dreptele sunt cercurile mari i, ca s atare, triunghiurile au drept laturi arce de cercuri mari. Unghiul a dou drepte, a i.e. cercuri mari, este denit ca unghiul tangentelor la cele dou cercuri mari a n punctul lor de intersectie. Este atunci clar c, pe sfer exist triunghiuri cu suma, a a a radiani, a masurilor unghiurilor strict mai mare dect . n a 3.2.3. Proprietile unui sistem axiomatic. at (a) Necontradictia. O teorie T se numete contradictorie dac ea exist s a n a o propozitie p, astfel at p i p sa e adevrate. In caz contrar teoria nc s a se numete necontradictorie. s (b) Consistenta. O teorie matematic se numete consistent dac ea admite a s a a cel putin un model. caz contrar ea se numete inconsistent. In s a as (c) Independenta. Fie T o teorie matematic i {N1 , N2 , . . . } un sistem de notiuni i relatii. Spunem c o notiune N este independent de sistemul s a a dat dac ea nu poate denit logic cu ajutorul notiunilor i relatiilor a a s N1 , N2 , . . . . caz contrar notiunea se va numi dependent de sistemul In a dat. Analog, dac {p1 , p2 , . . . } este un sistem de propozitii din T i p este a s o o alt propozitie a acesteia, spunem c p este independent de p1 , p2 , . . . a a a dac ea nu poate dedus din acestea. caz contrar propozitia se va numi a a In dependent de sistemul dat. Sublinieam c, a a ntr-un sistem axiomatic, orice axiom trebuie s e independent de celelalte. caz contrar, includerea a a a In ei sistem este inutil (ea poate dedus drept propozitie adevrat). n a a a a
Introducere
45
(d) Completitudinea. O teorie T se numete complet dac pentru orice s a a propozitie corect construit, p a lui T , sau p sau p se poate deduce a din axiome (deci este o propozitie adevrat cadrul sistemului). a a n In caz contrar, teoria T se numete incomplet. Sistemul de axiome al unei s a teorii T se numete complet dac nu este posibil ca, pstrndu-se toate s a a a notiunile i relatiile primare din T , s se adauge sistemului o nou axiom s a a a necontradictorie i independent astfel at noul siste axiomatic obtinut s a nc s e, la rndul su, necontradictoriu. caz contrar, sistemul de axiome a a a In se numete incomplet. s (e) Categoricitatea. Dou modele ale unei teorii T se numesc izomorfe dac a a ntre ele se poate stabili o corespondent bijectiv care s pstreze struca a a a turile acestora. O teorie T se numete categoric dac toate modelele ei s a a sunt mutual izomorfe. Teorema 3.2.1. Orice teorie axiomatic categoric este complet. a a a 3.2.4. Principiile axiomaticii Zermelo-Fraenkel. teoria axiomatic a In a multimilor (axiomatizarea Zermelo-Fraenkel-Skolem, acceptat cvasitotalitatea a n matematicii moderne) toate obiectele sunt multimi. Altfel spus, nu se face distinctie ntre conceptele element i multime. Acest punct de vedere este resc, dac ne s a g ndim c o multime poate element al altei multimi; plus, o teorie axiomatic a n a trebuie s porneasc de la un minim de notiuni primare i distincia a a s a ntre element i multime ar complica lucrurile inutil. Prezentm cteva elemente din teoria s a a axiomatic Zermelo-Fraenkel-Skolem (ZFS) a multimilor. Pentru o tratare mai dea taliat, incluz multe teme interesante (ordinali, cardinali, axioma alegerii etc.), a nd vezi Scorpan [18]. Nu putem deni un obiect fr a face referire la alte obiecte, presupuse cunosaa cute. Aceste obiecte cunoscute trebuie la r ndul lor denite. . . Se vede c acest a proces nu poate continua la innit. Aadar, trebuie s considerm cele din urm s a a n a notiuni care nu se denesc numite notiuni primare; orice alte obiecte vor denite pornind de la notiunile primare. Aceast idee este la baza oricrei teorii axiomatice. a a axiomatizarea teoriei multimilor, notiunile de multime i de relatie de aparIn s tenent se consider notiuni primare (nu se denesc). Toate obiectele teoriei sunt a a multimi ( particular, toate elementele unei multimi sunt tot multimi!). Aceste n notiuni satisfac un set de axiome (care, ntr-un anumit sens, denesc obiectele respective). Altfel spus, nu ne interesaz ce sunt multimile, ci cum se comport a a unele fat de altele i fat de relatia de apartenent. a s a a Axiomele stabilesc regulile care se aplic obiectelor abstracte numite multimi a i relatiei de apartenent. Lista axiomelor este de fapt o list de propozitii (din s a a limbajul formal al teoriei multimilor, pe care vom descrie) care sunt declarate i l s acceptate ca adevrate. Orice alt armatie despre multimi trebuie demonstrat a a a acest mod se deduc toate proprietile uzuale ale teoriei pornind de la axiome. In at multimilor. Dei, dup cum am spus, teoria axiomatic elementele unei multimi sunt tot s a n a multimi, vom adopta (pe ct posibil), pentru a nu crea confuzii cititorului, distinctia a traditional notatie: general, vom nota multimile cu majuscule: A, B . . . , iar a n n elementele multimilor cu minuscule: a, b . . . . Dac A este o multime i a este un a s element al lui A, atunci scriem a A (citit a apartine lui A sau A contine pe a). Dac a nu este element al multimii A, scriem a A. a /
46
Axiomele teoriei (cu exceptia Axiomei extensionalitii) sunt toate de urmtorul at a tip: ind date una sau mai multe multimi, se garanteaz existenta unei noi multimi a cu anumite proprieti (construit cu ajutorul multimilor initiale). Cu alte cuvinte, at a axiomele descriu constructii permise cadrul teoriei. Se regsete astfel motivul n a s pentru care a fost creat teoria: evitarea paradoxurilor generate de constructii de a multimi prea mari, prin precizarea clar a regulilor de constructie de noi multimi. a
3.3. Limbajul formal al teoriei axiomatice ZF a multimilor Aceast sectiune poate omis la o prim lectur. Cititorul care cunoate a a a a s regulile de manipulare a expresiilor logice formale, continnd operatori logici i a s cuanticatori, poate trece direct la seciunea urmtoare. esent, se descriu exa a In a plicit regulile de formare a unui expresii a limbajului formal, adic a unui enunt a privitor la multimi (sintaxa limbajului) i care este sensul acestor enunturi (se s mantica limbajului). Intuitiv, o expresie a limbajului formal este o expresie logic, a construit (conform regulilor cunoscute de la Logic, folosind operatori logici i a a s cuanticatori) din enunturi de forma x y i x = y, unde x i y denumesc multimi. s s De exemplu, (A)(B) {[(x)(x A x B)] (A = B)} este o expresie a limbajului formal. Prin axiome ale teoriei elegem enunturi ale limbajului formal care sunt nt declarate adevrate (vezi sectiunea urmtoare). a a Pentru a putea enunta axiomele teoriei multimilor, avem nevoie de prezenta rea (intuitiv) a limbajului formal al acestei teorii. Subliniem c nu este vorba de o a a formalizare propriu-zis. Un limbaj formal prezentat riguros ar ocupa zeci de pagini a (un exemplu de astfel de formalizare, cadrul axiomatizrii Gdel-Bernays a teoriei n a o multimilor, poate gsit Reghi [17]). Mai ai descriem sintaxa limbajului, i.e. a n s nt regulile dup care putem forma expresii corecte ale limbajului formal. a Denitia 3.3.1. Numim enunt (sau expresie) al (a) limbajului formal un ir s nit de simboluri, format dup regulile, descrise mai jos i numai dup acestea. a s a Din punct de vedere intuitiv, un enunt exprim un fapt bine determinat despre a obiectele la care se refer (adic despre multimi, cazul nostru). a a n Descriem acum tipurile de simboluri i regulile de constructie a expresiilor lims bajului formal (adic sintaxa limbajului): a (i) Exist simboluri de tip nume (pe scurt, nume), care denumesc multimi a (acestea sunt singurele obiecte pe care le considerm!). Numele sunt de a dou feluri: nume constante (pe scurt, constante), care se refer la un a a obiect bine precizat; nume variabile (pe scurt, variabile), care noteaz un a obiect generic (arbitrar, neprecizat). Se presupune c avem la dispozitie a o colectie sucient de mare de nume constante i variabile. Exemple de s nume: x, y, a, b, c, A, B, . . . . a a a (ii) Exist simbolurile care noteaz relatii: relatia de egalitate, notat cu simbolul = , i relatia de apartenent, notat cu simbolul. Dac x, y sunt s a a a nume (constante sau variabile), atunci urmtoarele iruri de simboluri a s sunt expresii ale limbajului formal: x = y (citit x este egal cu y); x y (citit x apartine lui y sau x este element al lui y sau y contine pe x).
Introducere
47
(iii) Conectorii (sau operatorii) logici sunt simboluri care se folosesc pentru a exprima proprieti i mai complexe, pentru a combina mai multe expresii at s ntr-una nou. Operatorii logici sunt: a (conjunctia, i); s (disjunctia, sau); (negatia, non). Dac E, F sunt expresii (deja construite), atunci sunt expresii i a s urmtoarele iruri de simboluri: E F (citit E i F ); E F (citit a s a s a E sau F ); E (citit non E). a (iv) Cuanticatorii logici sunt urmtoarele simboluri: a (numit cuanticatorul universal i citit oricare), s (numit cuanticatorul existential i citit exist). s a Cu ajutorul cuanticatorilor (numiti uneori i cuantori) se precizeaz? s dac, a ntr-o expresie, o variabil se refer la toate obiectele sau mcar la a a a un obiect. Dac E este o expresie a limbajului i x este o variabil, atunci: a s a (x)E este expresie (citit pentru orice x are loc E sau pentru orice x, a E este adevrat); (x)E este expresie (citit exist x astfel at are a a a a nc loc E sau exist x astfel at E este adevrat). a nc a a (v) Parantezele rotunde (, ) au rolul de a elimina ambiguitile. Astfel, at n constructiile precedente, se scrie de exemplu (E) (F ) loc de E F , n sau (x)(E) loc de (x)E dac pot aprea confuzii. Uneori, pentru un n a a plus de claritate, se pot folosi i parantezele ptrate [, ] sau acoladele {, s a }, dup regulile uzuale cunoscute. a Singurele expresii (enunturi) admise ale limbajului formal sunt cele construite re spectnd regulile precedente. a Variabilele unei expresii pot libere sau legate. Spunem c variabila x este a liber expresia E dac x apare E , dar E nu contine nici o cuanticare a lui a n a n x (adic nici x, nici x nu apar E) a n Spunem c variabila x este legat E dac E contine un subir de simboluri a a n a s de forma (x)F sau (x)F (unde F este o expresie). Dac expresia E contine variabilele libere x1 , . . . , xn , vom sublinia uneori acest a lucru scriind E(x1 , . . . , xn ). Fiind date constantele c1 , . . . , cn , prin nlocuirea peste tot E a variabilei x1 cu c1 , a lui x2 cu c2 , . . . , a lui xn cu cn se obtine o nou n a expresie, notat cu E(c1 , . . . , cn ). Dac x1 , . . . , xn sunt toate variabilele libere din a a E, atunci E(c1 , . . . , cn ) este o propozitie (adic o expresie care nu are variabile a libere). O expresie care are variabile libere se mai numete predicat. a Exercitiul 3.3.1. Presupunem c x, y, z sunt variabile i a, b sunt constante. a s Artati c urmtoarele iruri de simboluri sunt expresii: a a a s (i) x y; (x)(x y); (ii) (a b) (x = y); (iii) ((a b) (x = y)); (iv) (z)(y)(x y). Care sunt variabilele libere din ecare? Sirurile de simboluri: x(y); x ; y nu sunt expresii corecte ale limbajului formal. Justicati. S trecem acum la interpretarea sensului expresiilor (adic semantica limbajua a lui). Reamintim c o expresie care nu contine variabile libere se numete propozitie. a s Oricrei propozitii i se asociaz o unic valoare de adevr, dup regulile descrise a a a a a
48
mai jos. Valorile de adevr sunt: 0 (sau fals), i 1 (sau adevrat). O propozitie a s a cu valoarea de adevr 0 se numete propozitie fals; o propozitie cu valoarea de a s a adevr 1 se numete propozitie adevrat. O propozitie nu poate simultan fals a s a a a i adevrat. s a a Descriem acum regulile de determinare a valorii de adevr a unei propozitii a date. Fie a, b constante i x, y variabile. s (i) Propozitiile de forma a = b sunt adevrate exact atunci cnd a i b de a a s numesc acelai obiect. s (ii) Valoarea de adevr a propozitiilor de forma a b nu poate precizat a a acum; acest lucru este descris de axiome ( paragraful urmtor). Evident, n a intuitiv, a b este adevrat dac i numai dac multimea numit a este a a as a a un element al multimii numit b. a (iii) O propozitie de forma E F (unde E i F sunt propozitii) este adevrat s a a dac i numai dac E i F sunt ambele adevrate. as a s a (iv) O propozitie de forma E F este adevrat dac i numai dac mcar a a a s a a una din propozitiile E i F este adevrat (adic sau E , sau F, sau att s a a a a E ct i F sunt adevrate). a s a (v) O propozitie de forma E este adevrat dac i numai dac propozitia a a as a E este fals. a (vi) O propozitie de forma (x)E(x) (unde variabila x este liber E) a n este adevrat dac i numai dac pentru orice obiect c propozitia a a a s a E(c) este adevrat. vii) O propozitie de forma (x)E(x) (unde variabila a a x este liber E) este adevrat dac i numai dac exist mcar a n a a as a a a un obiect c astfel at propozitia E(c) s e adevrat. nc a a a Remarca 3.3.1. Valoarea de adevr a propozitiilor de tipul E F , E F se a poate deni prin tabele de adevr. Iat tabelele de adevr pentru E F i E F , a a a s construite dup regula (iii) i (iv) respectiv: a s
E 1 1 0
F 1 0 0
EF 1 0 0
E 1 1 0
F 1 0 0
EF 1 1 0
S-au scris pe linii toate combinatiile posibile de valori de adevr pentru E i a s F . Tabelele se citesc pe linii: de exemplu, linia 3 a cel d-al doilea tablel spune, c, a dac E are valoarea de adevr 1, iar F are valoarea de adevr 0, atunci E F are a a a valoarea de adevr 1. a a s a s Denitia 3.3.2. Dou propozitii E i F se numesc echivalente dac au aceeai valoare de adevr. Scriem aceasta sub forma E F . a Denitia se poate extinde la expresii oarecare. Mai precis avem Denitia 3.3.3. Dou expresii E i F se numesc echivalente dac: a s a E i F contin aceleai constante i aceleai variabile (e x1 , . . . , xn varis s s s abilele din E i F); s
Introducere
49
orice variabil care este liber E este liber F , i reciproc; a a n a n s (x1 )(x2 ) . . . (xn )E(x1 , . . . , xn ) (x1 )(x2 ) . . . (xn )F (x1 , . . . , xn ) n sensul Denitiei 3.3.2, i.e., au aceeai valoare de adevr. s a Scriem atunci E F sau Ex1 , . . . , xn ) F (x1 , . . . , xn ), evidentiind variabilele libere. a s Exercitiul 3.3.2. Dac E , F i G sunt expresii, atunci au loc echivalentele: (i) (E F ) (E) (F ); (E F ) (E) (F ) (legile lui DeMorgan) (i) (E F ) G (E G) (F G) (distributivitatea lui fat de) a (i) (E F ) G (E G) (F G) (distributivitatea lui fat de) a (i) ((x)E) (x)(E); ((x)E) (x)(E) (legile de negare a cuanticatorilor). De exemplu, (E F ) (E) (F ) se poate demonstra cu urmtorul tabel a de adevr: a E 1 1 0 0 F 1 0 1 0 EF 1 0 0 0 (E F ) E 0 0 1 0 1 1 1 1 F 0 1 0 1 (E) ( F ) 0 . 1 1 1
Intr-adevr, identitatea coloanelor 4 i 7 demonstreaz echivalenta mentionat. a s a a Legile lui DeMorgan arat c am putut reduce setul de conectori logici i a a s cuanticatori, de exemplu la , , . Toate regulile de calcul cu expresii logice i toate tautologiile demonstrate la s partea de Logic rmn valabile pentru expresii ale limbajului formal al teoriei a a a multimilor. Conventii de limbaj. Pentru a simplica scrierea scopul de a o face mai uor n s inteligibil, introducem urmtoarele prescurtri. Fie E, F expresii. Atunci scriem: a a a E F loc de (E) F i citim E implic F sau dac E, atunci n s a a F ; E F loc de (E F ) (F E) i citim E este echivalent cu F . n s Exercitiul 3.3.3. Scrieti tabelele de adevr pentru conectorii i . Dac a s a E i F sunt propozitii, E F este adevrat dac i numai dac E i F au aceeai s a a as a s s valoare de adevr. a Remarca 3.3.2. Insistm asupra implicatiei, . Se justic intuitiv c E F a a a este acelai lucru cu (E) F , astfel: E F s nseamn dac E este adevrat, a a a a atunci F este adevrat. Altfel spus, sau E este fals (adic are loc E), sau a a a a E este adevrat i atunci automat F este adevrat (adic are loc F); pe scurt, a as a a a (E) F . Este important de contientizat aceast echivalent logic, util mai ales s a a a a cnd trebuie negat o implicatie (lucru care intervine frecvent, de exemplu cazul a a n demonstratiilor prin reducere la absurd). Astfel, faptul c E F este fals a a nseamn c are loc (E F ) (E) a a F ) E (F ) (ipoteza este adevrat i totui concluzia este fals). Aceast a a s s a a interpretare este conform cu intuitia (bunul-simt). De altfel, concluziile bazate a
50
pe un calcul logic formal trebuie totdeauna interpretate intuitiv, proces absolut necesar elegerea unor demonstratii (sau gsirea unor solutii la o problem n nt n a a dat). a Ca i la partea de logic, vom scrie E F dac E F este adevrat E F s a a a a dac E F este adevrat. a a a Vom mai folosi i alte prescurtri, larg utilizate, de exemplu x = y pentru s a (x = y) sau x y loc de (x y). / n 3.4. Axiomele extensionalitii, reuniunii, multimii prtilor at a Prezentm foarte succint elementele de baz ale teoriei axiomatice Zermeloa a Fraenkel-Skolem (ZFS) a multimilor. Pentru o tratare mai detaliat, incluz multe a nd teme interesante (ordinali, cardinali, axioma alegerii etc.), vezi Scorpan [18]. Nu putem deni un obiect fr a face referire la alte obiecte, presupuse cunosaa cute. Aceste obiecte cunoscute trebuie la r ndul lor denite. . . . Se vede c acest a proces nu poate continua la innit. Aadar, trebuie s considerm cele din urm s a a n a notiuni care nu se denesc (notiuni primare); cu ajutorul lor vom putea deni alte obiecte. Aceasta este un principiu de baz orice teorie axiomatic. a n a axiomatizarea teoriei multimilor, notiunile de multime i de relatie de aparIn s tenent se consider notiuni primare (nu se denesc) i toate obiectele teoriei sunt a a s multimi ( particular, toate elementele unei multimi sunt tot multimi!). Aceste n notiuni satisfac un set de axiome (care, ntr-un anumit sens, denesc obiectele respective). Altfel spus, nu ne interesaz ce sunt multimile, ci cum se comport a a unele fat de altele i fat de relatia de apartenent. Axiomele stabilesc regulile a s a a care se aplic obiectelor abstracte numite multimi i relatiei de apartenent. a s a Lista axiomelor este de fapt o list de propozitii (din limbajul formal construit a anterior) care sunt declarate i acceptate ca adevrate. Orice alt armatie despre s a a multimi trebuie demonstrat pornind de la axiome. acest mod se deduc toate a In proprietile uzuale ale teoriei multimilor. at Dei, dup cum am spus, teoria axiomatic elementele unei multimi sunt tot s a n a multimi, vom adopta (pe ct posibil), pentru a nu crea confuzii cititorului, distinctia a tradiional notatie: general, se noteaz multimile cu majuscule (A, B, . . . ), s a n n a iar elementele multimilor cu minuscule (a, b, . . . ). Dac A este o multime i a este a s un element al lui A, atunci scriem a A (citit a apartine lui A sau A contine pe a). Dac a nu este element al multimii A, scriem a A. a / (AE) Axioma extensionalitii (sau a extensiei): Pentru orice dou multimi A at a i B, avem : [(a)(a A a B)] A = B. Mai riguros formulat, s propozitia (A)(B){[(a)(a A a B)] A = B} este adevrat. a a Aceast axiom nu spune dect c o multime este determinat de elementele sale. a a a a a Cu alte cuvinte, dac dou multimi au aceleai elemente, atunci multimile coincid. a a s Observm c are loc i implicatia invers: dac A = B, atunci orice element a care a a s a a apartine lui A apartine i lui B. Acest fapt este evident: A i B denumesc acelai s s s obiect, deci orice enunt referitor la A este adevrat i pentru B (i reciproc). a s s Dac A i B sunt dou multimi, vom scrie A B (i citim A este inclus a s a s a n B sauA este submultime a lui B sau B include pe A) dac orice element al lui A a
Introducere
51
apartine i lui B: s (a)[(a A) (a B)]. caz contrar, notm A B. In a Cu aceast notatie, avem: a (A)(B){(A = B) [(A B) (B A)]}. Pe aceast proprietate se bazeaz majoritatea demonstratiilor de egalitate de a a multimi. Remarca 3.4.1. Atentie la folosirea cuvintelor include i contine: s nseamn c y este un element al multimii x; a a (i) x contine pe y (i) x include pe y nseamn c y este o submultime a multimii x (adic a a a orice element al lui x este i element al lui y). Evident, sensurile sunt s diferite! De exemplu, o dreapt este inclus a a ntr-un plan, timp ce un punct este continut n plan. n Axiomele care urmeaz sunt toate de urmtorul tip: ind date una sau mai a a multe multimi, se garanteaz existenta unei noi multimi, cu anumite proprieti a at (construit cu ajutorul multimilor initiale). Cu alte cuvinte, axiomele descriu constructii a permise cadrul teoriei. Se regsete astfel motivul pentru care a fost construit n a s a teoria: evitarea paradoxurilor generate de constructii de multimi prea mari. (AMP) Axioma multimii prtilor unei multimi. a (M )(P ){(A)[(A P ) A M )]}. Tradus limbajul natural: ind dat o multime M, exist o multime a n a a P astfel at elementele lui P sunt exact submultimile lui M. nc Multimea P a crei existent este postulat mai sus este unic determinat de a a a a multimea M . Intr-adevr, dac i Q satisface conditia a as (A)[(A Q) (A M )], atunci, pentru orice multime x avem: (x Q) (x M ) (x P ). Din axioma extensionalitii, obtinem c P = Q. at a Notatia traditional pentru P este P (M ) (multimea prtilor lui M ). a a (AR) Axioma reuniunii. (A)(U )(x){[(x U ) [(a)(a A) (x a)]}. Tradus limbajul natural: pentru orice multime A se sub elege c a n nt a A are ca elemente tot multimi , se admite existenta unei multimi U ale crei elemente sunt elementele multimilor din A. a Pentru elegerea acestei axiome, este util s privim A ca pe o familie de nt a multimi. Axioma de mai sus nu face dect s postuleze existenta reuniunii acestei a a familii de multimi. Exercitiul 3.4.1. Demonstrati c multimea U a crei existent este garan a a a tat de axiom este unic determinat de A. a a a
52
Aceast multime U , unic determinat de A, se numete reuniunea multimii a a s A, saureuniunea familiei de multimi {a| a A} i se noteaz cu A sau aA a s a sau {a| a A}. Aceast situatie evidentiaz din nou futilitatea distinctiei dintre a a element i multime. s Prezentm continuare axioma-schem a seleciei sau a specicrii, sau a a n a t a nc schema de comprehensiune. Acesta nu este o simpl axiom, ci o schem de axiome. a a a Mai precis, pentru orice expresie cu o variabil liber a limbajului formal se obtine a a o axiom. Aadar, avem de a face cu o innitate de axiome. a s (AS) Axioma-schem de comprehensiune (a selectiei, a specicrii). Pentru a a orice multime A i pentru orice expresie cu o variabil liber P (x), exist s a a a submultimea elementelor din A pentru care P este adevrat. Formal, a a (A)(B)(x){(x B) [(x A) P (x)]}.5 Axioma extensionalitii asigur c A i P (x)6 determin unic multimea B at a a s a din enunt. Aceast multime se noteaz traditional: {x A| P (x)} i se citete a a s s multimea elementelor din A care satisfac P . Subliniem din nou c se obtine cte o axiom pentru ecare alegere a unei a a a expresii P cu o variabil liber. a a Nu putem condensa toate aceste enunturi ntr-unul singur, de tipul (P expresie cu o variabil liber)(A)(B)(x){(x B) [(x A) P (x)]}, a a deoarece acest enunt nu este o expresie a limbajului formal (vezi denitia expresiilor limbajului formal) deoarece P nu denumete un obiect legitim (o s multime), ci o expresie. Remarca 3.4.2. Dac se presupune c exist mcar o multime A7, axioma a a a a de mai sus asigur existenta unei (unice) multimi ce nu contine nici un element, a numit multimea vid i notat cu . a as a Intr-adevr, e P (x) : x = x. Din schema a de comprehensiune, exist := {x A| x = x}. Pentru orice x, avem x (dac a / a x , atunci x = x, ceea ce este absurd). Unicitatea lui este o consecint a a axiomei extensionalitii (demonstrati!). Notm := {x A| x = x}. at a Propozitia 3.4.1. Multimea vid este submultime a oricrei multimi, i.e. a a (M )( M ). Demonstratie. Conform denitiei, avem M dac i numai dac as a (x)[(x ) (x M )]. Dar, expresia (x ) (x M ) este, conform denitiei, o prescurtare pentru (x ) (x M ), care este adevrat, deoarece (x ) este adevrat. a a a a s Remarca 3.4.3. Putem acum deni i alte operatii cu multimi. Astfel, pentru orice dou multimi A i B, folosind schema de comprehensiune, exist multimile: a s a A B := {x A| x B} (numit intersectia lui A i B) a s A \ B := {x A| x B} (numit diferenta lui A i B). / a s
5 axiomatizarea lui Zermelo din 1908, acest rezultat era enuntat ca axiom i era numit In a s
Axioma selectiei. 6Notatia P (M ) pentru multimea prtilor lui M este nefericit att timp ct x este multime a a a a iar P este o expresie cu o variabil liber. a a 7Acest fapt este postulat de axioma innitii, enuntat mai jos. at a
Introducere
53
Demonstrati c A B = B A. Artati c, general, A \ B = B \ A. a a a n Termenul de comprehensiune descrie modalitatea de a preciza o multime prin enuntarea unei proprieti pe care o au doar elementele multimii i numai ele. at s S-a vzut c aceast modalitate, care a stat la baza teoriei naive a multimilor, a a a duce la paradoxuri; schema de comprehensiune restrnge aceast modalitate doar a a la posibilitatea urmtoare: pentru orice multime dat M i orice proprietate P, a a s exist submultimea elementelor lui M care satisfac P . a (APR) Axioma perechii8. Fie a i b dou multimi. Atunci exist o multime c care s a a are drept elemente pe a i pe b i numai pe ele. Formal: s s (a)(b)(c)(x){(x c) [(x = a) (x = b)]}. Din axioma de extensionalitate, multimea c de mai sus este unic determinat a de a i b (demonstrati!). Aceast multime se noteaz {a, b} i se citete multimea s a a s s format din elementele a i b. a s Remarca 3.4.4. Ce se ampl dac, axioma de mai sus, a = b? Dat a o nt a a n a multime, aplicnd axioma perechii multimilor a i a, exist o unic multime c care a s a a are drept element pe a i numai pe el. Formal, s (a)(c)(x)[(x c) (x = a)]. Aceast multime se noteaz cu {a} i se citete multimea format din elementul a a s s a a. Exercitiul 3.4.2. Fie a i b multimi. Demonstrati c exist reuniunea lor a b s a a (adic unica multime cu proprietatea (x)[x (a b)] [(x a) (x b)]. a Rezolvare. Din axioma perechii, exist {a, b}. Aplicnd axioma reuniunii multimii a a {a, b}, exist o multime U cu proprietatea c, pentru orice x, are loc a a (x U ) (y)[(y {a, b} (x y)]. Cum y {a, b} [(y = a) (y = b)] deducem c, pentru orice x, are loc: a (x U ) (x = a) (x = b)]. Exercitiul 3.4.3. Fie a, b, c multimi. Demonstrati c exist multimea {a, b, c}, a a adic unica multime T cu proprietatea a (x){(x T ) [(x = a) (x = b) (x = c)]}. Rezolvare. Din axioma perechii, aplicat multimilor a i b, exist c = {a, b}. a s a Aplicnd aceeai axiom multimii c, exist {c}. Din exercitiul precedent, exist a s a a a {a, b} {c} = T . Avem: pentru orice x (x T ) [(x {a, b}) (x {c}], adic a (x T ) [(x = a) (x = b) (x = c)]. Pe lng comprehensiune, o multime se mai poate preciza prin extensiune, adic a a a prin enumerarea tuturor elementelor sale. Astfel, ind date elementele (multimile) x1 , . . . , xn , exist multimea X ale crei elemente sunt exact x1 , . . . , xn . Scrierea a a X = {x1 , . . . , xn } este o prescurtare a scrierii (x){(x X) [(x = x1 ) (x = x2 ) . . . (x = xn )]}.
8Sensul cuvntului pereche este aici de pereche ordonat. a a
54
Denitia 3.4.1. Fie M o multime. Dac A M , adic A apartine multimii a a prtilor lui M , P (M ), denim complementara lui A fat de M ca ind multimea a a M \ A. Complementara lui A se noteaz cu CA sau, dac exist pericol de confuzie, a a a cu CM A. Evident, CA este tot o submultime a lui M . Dac, A, B P (M ), diferenta a simetric a multimilor A i B este prin denitie multimea AB := (A\B)(B \A). a s Propozitia 3.4.2. Pentru orice multimi A, B, C, au loc relatiile: (i) A = , A = A, A \ = A, A \ A = ; (ii) A B A, A B B, A A B, B A B; (iii) A B = B A, A B = B A; (iv) A (B C) = (A B) C, A (B C) = (A B) C; (v) A (B C) = (A B) (A C), A (B C) = (A B) (A C); (vi) A A = A = A A. Demonstratie. (v) A(B C) = {x A| x B C} = {x A| x B x C}. Avem deci, pentru orice x: x A(B C) (x A)(x B)(x C). a tim Ins s de la logic formula p (q r) = (p q) (p r) (distributivitatea lui fat de ). a a Astfel, (x A) [(x B) (x C)] [(x A) (x B)] (x A) (x C)] [x (A B)] [x (A C) [x (A B)] [x (A C)] = (A B) (A C). Demonstratiile celorlalte relatii sunt propuse ca exercitiu. Exercitiul 3.4.4. Fie A, B multimi. Scrieti o expresie a limbajului formal care s semnice c: a a (a) Multimea A nu este inclus multimea B. a n (b) A = B (folosii doar relatia de apartenent). s a (c) A contine mcar un element. a (d) A contine cel mult un element. (e) A este submultime a oricrei multimi. a (f) A este element al oricrei multimi. a (g) B A. Pentru ecare enunt de mai sus, negati enuntul respectiv i scrieti negatia s n limbaj natural i limbaj formal. s n 2. Dati exemplu de multime A cu proprietatea A = i A = . Cte astfel de s a multimi exist? a 3. Are loc ntotdeauna A A Dar A A? Justicati. 4. Demonstrati c, pentru orice dou multimi A, B, are loc: a a (A B) (A B = B) (A B = A). 5. Fie M o multime i A, B, C P (M ). Atunci au loc: s (a) C(A B) = CA CB. (b) C(A B) = CA CB. (c) A \ B = A CB. (d) AB = BA = (A B) \ (A B). (e) (AB)C = A(BC) (f) A = A. (g) A(B C) = (AB) (AC). 3.5. Relatii, functii S trecem la un alt concept fundamental, anume la cel de functie. Pentru a aceasta, avem nevoie de notiunea de cuplu (pereche ordonat). Intuitiv, notiunea a
Introducere
55
de cuplu (pereche ordonat) format de elementele a i b difer de multimea {a, b}, a a s a prin faptul c avem o ordine: a este primul, iar b este al doilea. Aceast distinctie a a ntre a i b se realizeaz prin urmtoarea constructie simpl. s a a a Fie a i b multimi. Aplicnd multimilor a i a axioma perechii, exist multimea s a s a sfrit, {a}. Aplicnd multimilor a i b axioma perechii, exist multimea {a, b}. In a s a s a aplicnd multimilor {a} i {a, b} axioma perechii, exist multimea {{a}, {a, b}}. a s a Denitia 3.5.1. Fie a i b multimi. Multimea {{a}, {a, b}}, construit mai s a sus, i care se noteaz cu (a, b), se numete perechea ordonat (cuplul) format de a s a s a i b. s S observm c, dac a = b, atunci (a, b) = {{a}}. a a a a Aceast idee de introducere a notiunii de cuplu este atribuit lui Kuratowski. a a Are loc urmtoarea proprietate fundamental a crei demonstratie este lsat a a a a a n seama cititorului. Propozitia 3.5.1. Fie a, b, a , b multimi. Atunci are loc: (a, b) = (a , b ) (a = a ) (b = b ). Astfel, spre deosebire de multimea {a, b}, cuplul (a, b) conteaz ordinea ele n a mentelor a i b; dac a = b, atunci (a, b) = (b, a), dei {a, b} = {b, a}. s a s Avnd denit notiunea de cuplu, denim notiunea de triplet: a a (a, b, c) := ((a, b), c) i, prin recurent, notiunea de n-upl, pentru n 3: s a a (a1 , . . . , an ) := ((a1 , . . . , an1 ), an ). Are loc: (a1 , . . . , an ) = (b1 , . . . , bn ) (a1 = b1 ) = (a2 = b2 ) (an = bn . manualele de liceu (i multe alte crti de matematic), o functie denit In s n a a a pe o multime A cu valori ntr-o multime B este denit (mai bine spus descris) a a ca ind un procedeu (lege), prin care oricrui element din A i se asociaz un a a unic element din B. Intuitiv, descrierea este corect (dar vag, deoarece folosete a a s notiunea nedenit de procedeu (lege)). plus, se sub elege c pentru orice a In nt a functie se poate descrie un procedeu (algoritm) de obtinere a imaginii oricrui a element prin functia dat. Acest lucru nu este necesar i, matematic, se alnesc a s n a nt exemple de functii pentru care acest fapt nu are loc. Se observ a c o functie f : A B este perfect determinat de gracul a ns a a su, adic de multimea cuplurilor {(a, f (a))| a A}. Aceasta este i ideea denitiei a a s conceptului de functie cadrul unei tratri riguroase. n a Incepem prin denirea altor dou notiuni, i ele fundamentale: a s Denitia 3.5.2. Fie A i B multimi. Numim produsul cartezian9 al multimilor s A i B multimea A B := {(a, b)| (a A) (b B)}. s Avem dreptul de a deni o astfel de multime? Ar trebui s artm c ne a aa a ncadrm schema de comprehensiune, adic s indicm o multime a crei existent a n a a a a a este cert, care s contin toate perechile de forma (a, b) cu a A i b B. Dar a a a s (a, b) = {{a}, {a, b}}. Observm c avem {a} P (A B) i {a, b} P (A B), deci a a s
9Numele a fost dat onoarea lui lozofului i matematicianului francez Ren Descartes n s e (1596 1650), al crui nume latinizat era Cartesius. a
56
{{a}, {a, b}} P (P (A B)). Astfel, putem deni, respectnd schema de comprea hensiune: A B := {c P (P (A(B))| (a)(b)[c = (a, b)] [(a A) (b B)]}. Folosind produsul cartezian putem deni notiunile de relatie i de functie: s Denitia 3.5.3. Fie A i B dou multimi. s a (a) Numim relatie binar a ntre A i B (sau de la A la B) orice triplet de forma s (A, B, ), unde A B. Uneori vom exprima acest fapt sub forma este o relatie ntre A i B. Dac A = B, scriem (A, ) i spunem c s a s a este o relatie pe A. Adeseori, loc de (x, y) se scrie xy. Dac n a sunt sub elese multimile A i B, se spune, simplu, relatia loc de nt s n (A, B, ). (b) O relatie binar f de la A la B se numete functie (sau aplicatie) denit a s a pe A cu valori B dac pentru orice a A exist un unic b B astfel n a a at (a, b) f . nc Denitia de mai sus se exprim formal: a (f A B) (a){(a A) (b)[(b B) (a, b) f ]} (a)(b)(b ){(a A) (b B) (b B) [(a, b) f ] [(a, b ) f ]} (b = b ). (3.5.1) Deoarece pentru orice a A exist un unic b B astfel at (a, b) f , a nc pentru simplitate, putem scrie: f (a) = b loc de (a, b) f . Se mai spune f n este o functie (aplicatie) de la A la B i se noteaz aceasta prin f : A B sau s a A B. Din punct de vedere formal, notatia f : A B (A B) nu este dect o a prescurtare a expresiei (3.5.1). Multimea A se numete domeniul functiei f ; B se s numete codomeniul lui f . Orice element a din domeniul lui f se numete argument s s al functiei f .Dac a A i b B astfel at f (a) = b, b se numete valoarea a s nc s functiei f a sau imaginea lui a prin f . Pentru orice multime A, notm cu 1A sau n a cu idA functia identitate a multimii A, anume: idA : A A, idA (a) = a, a A. Dac adoptm punctul de vedere naiv: o functie f : A B este o lege de a a corespondent prin care oricrui element a din A i se asociaz un unic element a a a f (a) din B, atunci multimea {(a, f (a))| a A} A B se numete gracul lui f . s Astfel, Denitia 3.5.3 (b) identic o functie cu gracul ei. a Remarca 3.5.1. Conditia (3.5.1) se scrie, mai puin formalizat: s (f A B) i a A, b B astfel at (a, b) f s nc i a A, b, b B, (a, b) f i (a, b ) f implic b = b . s s a Observm c, expresii, irurile de forma (a)(a A) se scriu adesea a a n s prescurtat a A. Aceast conventie, larg rspndit, ascunde o capcan: o a a a a a implicatie, de genul (a)[(a A) P (a)], se scrie adesea a A, P (a), care n implicatia nu apare explicit. Trebuie contientizat acest fapt, mai ales cnd apare s a necesitatea negrii unei astfel de expresii: negatia ei este (a){(a A) [P (a)]}, a lucru care nu este clar din scrierea prescurtat (dar este destul de clar din punct a de vedere intuitiv). Pentru multimile A i B, se noteaz cu B A multimea functiilor denite pe A s a cu valori B: B A := {f A B| f este functie}. n
f f
Introducere
57
Exercitiul 3.5.1. Fie A o multime. Cte functii f : A exist? Dar functii a a f : A ? Denitia 3.5.4. Fie I o multime (interpretat ca multime de indici). O a functie b : I M , unde M este o multime, se numete familie de multimi indexat s a dup I. a Notatiile traditionale pentru aceast notiune sunt: {Bi }iI (unde Bi := b(i)), a sau {Bi | i I}. Dac {Bi }iI este o familie de multimi ca mai sus, reuniunea familiei {Bi }iI a este reuniunea imaginii functiei b, i.e. iI Bi := {x M | i I, x Bi }. Intersectia familiei {Bi }iI este, prin denitie: iI Bi := {x M | i I, x Bi }. De exemplu, dac I = {1, 2}, (Bi )iI = {B1 , B2 }, a {B1 , B2 } = iI Bi = B1 B2 ; la fel, {B1 , B2 } = iI Bi = B1 B2 . Se spune c reuniunea familiei {Bi }iI este disjunct dac {Bi }iI sunt disa a a juncte dou cte dou, i.e. pentru orice i, j I, i = j implic Bi = Bj . a a a a Propozitia 3.5.2. Pentru orice familie de multimi {Bi }iI i orice multime s A, au loc relatiile: (i) A (iI Bi ) = iI (A Bi ) ; (ii) A (iI Bi ) = iI (A Bi ). Lsm demonstratia Propozitiei 3.5.2 ca exercitiu. aa Denitia 3.5.5. Fie f : A B o functie. Dac C A, se denete imaginea a s lui C prin f ca ind f [C] = {y B| (x)[(x C) (f (x) = y)]}. Dup cum se poate constata, am aplicat schema de comprehensiune. Uneori a putem scrie, mai putin riguros, f [C] = {f (x)| x C}. Notatia traditional pentru imaginea lui C prin f este f (C). Subliniem c, nu a a se poate folosi o astfel de notatie teoria axiomatic a multimilor, pentru c C n a a poate simultan submultime a lui A i element al lui A. Ca atare, este posibil ca s f (C) (valoarea C a lui f ) s difere de f [C] (imaginea submultimii C prin f . Un n a exemplu simplu de un astfel de caz este prezentat mai jos. s Exemplul 3.5.1. Fie A = {a, {a}}, B = {y, z}, unde a, y, z sunt o multimi, i e f : A B, f = {(a, y), ({a}, z). Atunci, f ({a}) = z, dar f [{a}] = {y}. Cum astfel de situatii apar rar matematica uzual, majoritatea cazurilor, n a n dar numai atunci cnd nu exist pericol de confuzie, se accept notatia f (C) pentru a a a imaginea submultimii C prin functia f . Se noteaz Im f = f [A] (imaginea multimii A prin functia f ) i se numete a s s imaginea functiei f .
58
Dac D B, denim contraimaginea lui D prin f : a f 1 ((D) = {x A| f (x) D)}. Folosirea notatiei f 1 nu nseamn nici un caz c functia f este inversabil a n a a i c f 1 ar inversa lui f . Vezi (iv) Denitia 3.5.7 de mai jos. s a n Propozitia 3.5.3. Pentru orice functie f : A B, orice familii de multimi {Ai }iI , cu Ai A i {Bj }jJ , cu Bj B, au loc relatiile: s (i) f [iI Ai ] = iI f [Ai ]. (ii) f [iI Ai ] iI f [Ai ]. (iii) f 1 (jJ Bj ) = jJ f 1 (Bj ). (iv) f 1 (jJ Bj ) = jJ f 1 (Bj ). Demonstratie. (ii) Fie y f [iI Ai ]. Avem de artat c y iI f [Ai ]. Dar a a y f [iI Ai ] nseamn c x iI Ai astfel at f (x) = y. Pe de alt parte, a a nc a y iI f [Ai ] dac i numai dac, I, xi Ai astfel at y = f (xi ). Acest lucru as a nc este adevrat, cci x iI Ai astfel at f (x) = y. a a nc Remarca 3.5.2. demonstratia Propozitiei 3.5.3 am utilizat faptul c, in In a general, (y)(x)P (x, y) (x)(y)P (x, y). Vezi i Exercitiul 3.5.2 de mai jos. s Denitia 3.5.6. Se numete invers unei relatii (A, B, ) relatia (B, A, 1 ) s a unde 1 = {(b, a)| (a, b) } B A. Fie relatiile (A, B, ) i (B, C, ). Relaia s s (A, C, ), unde = {(a, c) A C|(b)(b B) ab b c)} este numit a compusa (sau compunerea) relatiilor i . s Propozitia 3.5.4. (a) Fiind date functiile u : A B, v : B C, compusa v u este tot o functie, v u : A C, i, a A, are loc: s (v u)(a) = v(u(a)). (b) Pentru orice relatii (A, B, ), (B, C, ) i (C, D, ), avem s ( ) = ( ), i.e. compunerea relatiilor este asociativ. In particular, compunerea functiilor este a asociativ. a Demonstratie. (a) Avem de artat c v u este functie. Fie a A. Atunci a a exist b B astfel at (a, b) u. Cum v este functie i b B, exist c C astfel a nc s a at (b, c) v. Din denitia compunerii relatiilor, avem c (a, c) v u. Artm nc a aa unicitatea lui c C cu proprietatea c (a, c) v u. Fie c, d C astfel at a nc (a, c) v u i (a, d) v u. Deci exist b B astfel at (a, b) u i (b, c) v. s a nc s De asemenea, exist b B astfel at (a, b ) u i (b , d) v. Cum u este functie, a nc s avem b = b . Cum v este functie, (b, c) v i (b, d) v, avem c = d. s Se disting urmtoarele tipuri remarcabile de functii: a a Denitia 3.5.7. Fie f : A B o functie. Spunem c f este: (i) functie injectiv dac: x, y A, f (x) = f (y) x = y; a a (ii) functie surjectiv dac: y B, x A astfel at f (x) = y; a a nc a a as a (iii) functie bijectiv dac este injectiv i surjectiv; (iv) functie inversabil dac exist g : B A (numit inversa lui f ) astfel a a a a at (g f )(x) = x, x A i (f g)(y) = y, y B. nc s
Introducere
59
Conditiile ce denesc functiile inversabile pot rescrise modul urmtor: n a g f = 1A , f g = 1B .10. Dac exist, inversa lui f se noteaz f 1 . a a a Propozitia 3.5.5. Fie f : A B i g : B C functii. Atunci: s a as a a (a) Functia f este inversabil dac i numai dac f este bijectiv; (b) Compunerea a dou functii injective (surjective) este functie injectiv a a (surjectiv); a (c) Dac functia g f este injectiv atunci f este injectiv. a a a (d) Dac functia g f este surjectiv atunci g este surjectiv. a a a (e) Dac functia g f este bijectiv atunci g este surjectiv i f este injectiv. a a as a Exercitiul 3.5.2. Analiznd demonstratia Propozitiei 3.5.3, artati c: oricare a a a ar familia de multimi {Ai }iI , cu Ai A, avem f [iI Ai ] = iI f [Ai ] dac i as numai dac f este injectiv. a a Denitia produsului cartezian poate extins la o familie de trei sau mai multe a multimi, sau, mai general, la o familie oarecare de multimi: Denitia 3.5.8. (a) Fiind date multimile A1 , A2 , A3 11, denim produsul lor cartezian: A1 A2 A3 := (A1 A2 ) A3 . Astfel, a1 A1 , a2 A2 , a3 A3 , notm ((a1 , a2 ), a3 ), mai simplu, cu a (a1 , a2 , a3 ). (b) Pentru orice n 3 i orice familie de n multimi {A1 , A2 , . . . , An }, denim s (prin recurent12): a A1 A2 An := (A1 A2 An1 ) An . a A1 A2 An se mai noteaz cu n Ai sau 1in Ai . Dac i {1, 2, . . . , n}, a i=1 ai Ai , se noteaz ((a1 , a2 , . . . , an1 ), an)cu(a1 , a2 , . . . , an ). Astfel, a A1 A2 An = {(a1 , a2 , . . . , an )| ai Ai , i = 1, n}. cazul A1 = A2 = = An = A, A A A (de n ori) se noteaz cu An . In a (c) Este necesar i o denitie cazul general al unei familii oarecare de multimi as n {Ai }iI , indexat dup o multime de indici I. Se denete produsul cartezian, notat a a s cu iI Ai , prin iI Ai := { : I iI Ai | (t) Ai i Ai }. Remarca 3.5.3. Produsul cartezian denit ca la (c), cazul unei familii n nite de multimi, nu este exact acelai cu cel denit la (a) i (b) i nici cu cel s s s de la Denitia 3.5.2. Exist a o bijectie natural a ns a ntre multimile obtinute prin cele dou denitii. De exemplu, dac I = {1, 2}, avem functia bijectiv , denit a a a a pe { : {1, 2} A1 A2 | (i) Ai , i I} cu valori A1 A2 , dat de n a () = ((1), (2)). Se pot astfel identica notiunile de produs cartezian denite mai sus.
10Reamintim c pentru o multime M , am notat prin 1 a M : M M functia 1M (x) = x, x M (numit functia identitate a lui M , notat i cu id M sau id). a as 11 aceast ordine. De fapt, se d o familie de multimi indexat dup {1, 2, 3}. In a a a a 12Folosim o acceptie intuitiv a notiunii de denitie prin recurenta, i.e. pas cu pas. a
60
3.6. Relatii de ordine. Relatii de echivalent a Relatiile de ordine i de echivalent sunt deosebit de importante toat s a n a matematica i este esential o bun cunoatere a proprietilor lor. s a a s at Denim aceste tipuri remarcabile de relatii pe o multime. Denitia 3.6.1. Fie o multime nevid A i o relatie pe A. Spunem c relatia a s a este: reexiv dac aa, a A. Formal: (a)(a A) (aa); a a ireexiv dac a A, nu are loc aa; a a simetric dac a, b A, (ab) (ba); a a asimetric dac a, b A, (ab) (ba); a a antisimetric dac a, b A, [(ab) (a)] (a = b); a a tranzitiv dac a, b, c A, [(ab) (bc)] (ac); a a relatie de echivalent dac este reexiv, simetric i tranzitiv. Pentru a a a a s a relatii de echivalent se folosesc notatii de tipul a b, a b loc de ab. a n (viii) relatie de preordine dac este reexiv i tranzitiv; a as a (ix) relatie de ordine dac este reexiv, tranzitiv i antisimetric. Pentru a a a s a relatii de (pre)ordine se folosesc, general, notatii de tipul a b loc n n de ab. (x) relatie de ordine strict dac este ireexiv i tranzitiv. Pentru relatii de a a as a ordine strict se folosesc, general, notatii de tipul a < b loc de ab. a n n (i) (ii) (iii) (iv) (v) (vi) (vii) Exercitiul 3.6.1. Exprimati denitiile de mai sus termeni de incluziuni i n s compuneri de relatii (i eventual de inverse). De exemplu, este reexiv s a nseamn a c idA ; este simetric a a nseamn c 1 . a a Dac este o relatie de ordine pe A, scriem (A, ) i spunem c (A, ) este a s a multime ordonat. Dac pentru orice a, b A avem a b sau b a, atunci (A, ) se a a numete multime total ordonat (sau lant) i relatia se numete relatie de ordine s a s s total. Uneori, pentru a sublinia c o anumit relatie de ordine nu este total, se a a a a spune c relatia este de ordine partial. loc de a b se scrie i b a. Se observ a a In s a c, dac este o relatie de ordine pe A, atunci este tot o relatie de ordine pe A. a a Remarca 3.6.1. Dac este o relatie de ordine pe A, atunci relatia pe a A, denit prin: x < y [(x y) x(= y)] este o relatie de ordine strict pe A. a a Reciproc, dac este o ordine strict pe A, atunci, denind x y [(x y) (x = a a y)] se obtine o relatie de ordine pe A. Vericati! Aadar, exist o bijectie natural s a a ntre multimea relatiilor de ordine pe A i multimea relatiilor de ordine strict pe s a A. De aceea, orice denitie sau rezultat aplicabil unei relatii de ordine se aplic i as relatiei de ordine strict asociate (i reciproc). a s Denitia 3.6.2. Fie (A, ) o multime ordonat i B o submultime a lui A. as Un element m A se numete minorant al lui B dac m b, b B. Un element s a M A se numete majorant al lui B dac b M , b B. Submultimea B se s a numete minorat (resp. majorat) dac are un minorant (resp. majorant). Dac B s a a a a contine un minorant m pentru B, spunem c m este cel mai mic element (sau primul a element) al lui B. Dac B contine un majorant M pentru B, M se numete cel mai a s mare element (sau ultimul element) al lui B. Dac B are un prim element m B, a acesta este unic. Intr-adevr, dac m B este prim element, avem m m (m a a este prim element) i m m, deci m = m din antisimetrie. La fel, ultimul element s
Introducere
61
al lui B este unic (dac exist). Ca exercitiu, exprimati denitiile i proprietile a a s at de mai sus (date pentru relatii de ordine) pentru relatii de ordine strict. a Exemplul 3.6.1. Relatia de divizibilitate pe N, dat de: a a, b N (a|b c N astfel at b = ac) nc este o relatie de ordine, care nu este total (nu are loc nici 2|3, nici 3|2); 0 este a ultimul element al lui (N, |) i 1 este primul element al lui (N, |). Relatia uzual de s a ordinepe N este total, 0 este primul element al lui (N, ); nu exist ultimul a a element al lui (N, ). Denitia 3.6.3. O multime (A, ) cu proprietatea c orice submultime nevid a a B a lui A are un prim element se numete multime bine ordonat (caz care relatia s a n pe A se numete relatie de bun ordine). s a Multimile bine ordonate sunt foarte importante: pe o multime bine ordonat se a poate aplica un rationament prin inductie. Orice multime bine ordonat este total a ordonat (demonstrati!). a Denitia 3.6.4. Un element M al unei multimi ordonate (A, ) se numete s element maximal al lui A dac, b A cu M b rezult M = b. Un element m se a a numete element minimal al lui A dac, b A cu b m rezult m = b. s a a De exemplu, multimea ordonat N \ {0, 1} cu divizibilitatea, 2 este element n a minimal. Care sunt toate elementele sale minimale? Aceast multime nu are elea mente maximale. De ce? Denitia 3.6.5. Fie (A, ) o multime ordonat i B o submultime a sa. a s Fie Maj (B) multimea majorantilor lui B. Dac exist cel mai mic element al lui a a Maj (B), acest element se numete supremumul (sau marginea superioar a) lui B s a i se noteaz sup B. s a Dac exist sup B = c, atunci c este cel mai mic majorant al lui B, adic a a a satisface conditiile: (i) b B, b c (c este majorant al lui B). (ii) c A astfel at b B, b c , rezult c c (c este mai mic dect nc a a orice alt majorant c al lui B). Dual (considernd relatia de ordine ) se obtine notiunea de inmum (sau a margine inferioar) al submultimii B a lui (A, ), notat (dac exist!) cu inf B. a a a Denitia 3.6.6. O multime ordonat (A, ) avnd proprietatea c orice sub a a a multime a sa, cu dou elemente, are supremum i inmum se numete latice. Dac a s s a orice submultime a lui A are sup i inf, (A, ) se numete latice complet. s s a a a Exemplul 3.6.2. Dm mai jos cteva exemple remarcabile de latici. (a) Pentru o multime nevid oarecare M , multimea P (M ) a prtilor lui M a a este ordonat de relatia de incluziune. Pentru orice A, B P (M ), exist a a sup{A, B} = A B i inf A, B = A B. Mai mult, (P (M ), ) este chiar s o latice complet. a s (b) (N, |) este o latice. Date numerele naturale a, b, cine este inf{a, b} i sup{a, b}?
62
(c) multimea numerelor reale R, ordonat cu ordinea uzual, orice subIn a a multime nevid i majorat are supremum. Aceasta este o proprietate a s a fundamental a lui R, esential Analiz.13 a a n a (d) Nu orice submultime nevid majorat a lui Q are supremum. a a Intr-adevr, a multimea A = {x Q| x2 < 2} este majorat (de exemplu de 2) i nu a s a are supremum. Intuitiv, sup A exist R i este 2, care nu este numr a n s rational (deci nu exist sup A Q). Pentru o demonstratie riguroas, se a n a poate proceda astfel. Mai ai se arat c 2 Q. Apoi, dac ar exista nt a a / a r Q, r = sup A, am avea dou posibiliti: ori r2 < 2, ori r2 > 2 (cci a at a r2 = 2 este imposibil). Dac r2 < 2, atunci se gsete un numr rational a a s a r1 astfel at r < r1 i r1 < 2, ceea ce contrazice faptul c r = sup A i nc s 2 a s (r1 A i r < r1 ). Analog, dac r2 > 2, se gsete un numr rational r2 s a a s a astfel at 0 < r2 < r i r2 > 2, ceea ce contrazice faptul c r este sup A nc s 2 a (am gsit un majorant r2 pentru A cu r2 > r). a 3.7. Axioma innitii. Multimea N. Inductie at toat matematica este esential multimea numerelor naturale N. Se pune In a a problema unui mod de a construi aceast multime (sau, a ntruct este vorba de un a concept care poate aprea drept primar, de a axiomatiza N). Vom arta c se poate a a a da o construcie satisfctoare a lui N cadrul teoriei axiomatice a multimilor. a a a n O modalitate de introducere a lui N este dat de binecunoscuta axiomatica a Dedekind-Peano. Notiunile primare sunt cele de numr natural i functie succesor14. a s Limbajul acestei teorii axiomatice este format din: - simbolul =(noteaz egalitatea a dou obiecte); a a - simbolul 0 (noteaz un numr natural privilegiat xat); a a - nume variabile, constante, conectorii logici (ca la limbajul teoriei axiomatice a multimilor), cu deosebirea c numele denumesc acum obiectele acestei a teorii, adic numere naturale. a Axiomele acestei teorii sunt: (1) Exist un numr natural notat 0. a a (2) Pentru orice numr natural n, exist un numr natural unic determinat15, a a a numit succesorul lui n i notat s(n) sau n+ : s (n)(n+ ) (3) Orice dou numere naturale cu acelai succesor sunt egale: a s (m)(n)(m+ = n+ ) (m = n). (4) numrul 0 nu este succesorul nici unui numr natural: a a (n)(n + 1 = 0).
13De fapt, aceasta proprietate este o axiom cadrul Analizei Matematice. Uneori, locul a n n
ei este luat drept axiom Lema lui Ces`ro, sau Conditia de convergent a lui Cauchy. a a a a 14 Intruct este vorba de o teorie axiomatic, functia succesor nu este a priori o functie a a n sensul teoriei multimilor (ci este o notiune primar). Este adevrat a c c, modelul pe care a a ns a a n construim, rolul functiei sucesor va jucat de o functie sens uzual. l n 15S-ar simti nevoia de a impune unicitatea lui n+ i expresia axiomei din limbajul formal. s n Ceva de genul (n)(m) [(n+ = m+ ) (n = m)].
Introducere
63
(5) (Axioma inductiei) Pentru orice predicat cu o variabil A(n) are loc: a [A(0) ()(A(n) A(n+))] (m)A(m)). Observm c axioma 5 (binecunoscutul principiu de demonstratie prin inductie) a a este de fapt o schem de axiome. a Introducerea operatiilor cu numere naturale, a relatiei de ordine i deducerea s principalelor proprieti ale acestora folosind axiomatica Dedekind-Peano sunt inat teresante i instructive. Aceste aspecte ind a destul de cunoscute (vezi de ex. s ns Becheanu et al. [1]), nu insistm aceast directie. Vom arta, schimb, c se a n a a n a poate modela sistemul axiomatic de mai sus cadrul teoriei multimilor, dac mai n a introducem o axiom (de fapt, acest model se expune general, cnd se vorbete a n a s de axiomatica Peano). Mai precis, vom construi o multime N, un element 0 N i s o functie ( sens uzual) s : N N, s(n) = n+ , care s satisfac axiomele de mai n a a sus. Instrumentele oferite pn acum de axiomele teoriei multimilor permit consida a erarea urmtorului ir de multimi: a s ; {}; {, {}}; {, {}, {, {}}}; . . . (3.7.1)
Se observ c, pentru ecare termen x al irului, urmtorul termen estex a a s a {x}. Primul termen are 0 elemente, al doilea are 1 element .a.m.d. Ar tentant s s considerm drept multime a numerelor naturale multimea tuturor termenilor a a acestui ir, s joace rolul lui 0, iar functia succesor s e s(x) = x {x}. Apar s a a dou probleme: denirea riguroas a multimii tuturor termenilor irului (3.7.1) a a s i garantarea existentei unei astfel de multimi. Faptul c exist o multime care s a a contine toti termenii irului (3.7.1) este asigurat de o nou axiom: s a a (AI) Axioma innitii. (M )[ M (y)(y M ) y {y} M )]. at Intuitiv, este clar c axioma de mai sus garanteaz existenta unei multimi M a a care contine toate multimile irului (3.7.1)); aceasta nu s nseamn c M contine doar a a aceste multimi. teoria axiomatic a multimilor, se adopt urmtoarea strategie: In a a a se denete riguros clasa multimilor din irul (3.7.1) (aceasta va clasa ordinalelor s s nite); atunci multimea N a numerelor naturale va obtinut prin comprehensiune, a ca ind multimea acelor elemente din M (dat de axioma innitii) care sunt a at n plus ordinale nite. Apoi se demonstreaz c toate aceste obiecte satisfac axiomele a a Dedekind-Peano. Pentru detaliile acestei abordri vezi Scorpan [18]. a Este deosebit de important urmtoarea teorem, pe care se la bazeaz ratioa a a a namentele prin inductie: Teorema 3.7.1. Multimea numerelor naturale N este bine ordonat raport a n cu relatia de ordine uzual. Altfel spus, orice submultime nevid a lui N are un a a prim element. Nu demonstrm acest enunt (pentru c nu am construit riguros N . . . ). a a Considerm utile cteva remarci i rezultate privind tehnica de demonstratie a a s prin inductie. Mai ai dm un rezultat denumit uneori ca o variant a principiului nt a a de inductie: a a Propozitia 3.7.1. Fie P (x) un predicat cu proprietatea c, pentru orice numr natural n, dac P (k) este adevrat pentru orice k < n, rezult c P(n) este a a a a a
64
adevrat. Atunci P (n) este adevrat pentru orice numr natural n. Mai precis, a a a a a are loc (sub elegem c toate variabilele sunt N): nt a n {n[(k(k < n) P (k)) P (n)]} (m)(P (m)). Demonstratie. Mai ai observm c P (0) este adevrat. nt a a a a Intr-adevr, pentru a n = 0 are loc implicatia: [k(k < 0 P (k)] P (0). Dar k(k < 0 P (k)) este adevrat, deoarece k < 0 este fals pentru orice k N (o expresie de forma p q a a a este adevrat dac p este fals!). Deci P (0) adevrat.16 a a a a a a Presupunem prin absurd c exist n N astfel at P (n) s e fals. Atunci a a nc a a multimea nevid {n N| P (n) fals} are un prim element a. Deci P (k) este a a adevrat, k < a, din modul de alegere a lui a. Cum are loc implicatia (k)[(k < a a a) P (k)) P (a), rezult c P (a) este adevrat, ceea ce este absurd. a a a a Este remarcabil faptul c acest rezultat are loc orice multime bine ordonat. a n a Propunem cititorului s reia ideea demonstratiei de mai sus pentru a arta : a a as Propozitia 3.7.2. Fie (A, ) o multime bine ordonat i e P (x) un predicat cu proprietatea c, pentru orice n A, dac P (k) este adevrat pentru orice k A, a a a a k < n, rezult c P (n) adevrat. Atunci P (n) adevrat pentru orice n A. Mai a a a a a a precis, are loc (sub elegem c toate variabilele sunt A): nt a n {n[(k(k < n) P (k)) P (n)]} (n)(P (n)). Un exemplu de aplicare a acestei propozitii este demonstratia teoremei poli noamelor simetrice: Orice polinom simetric de n nedeterminate este polinom de polionoamele simetrice fundamentale. (Aici multimea bine ordonat este Nn , cu a ordinea lexicograc). a Prezentm o proprietate foarte important a lui N, a crei demonstratie ilusa a a treaz principiul de demonstratie prin inductie. Se presupun cunoscute operatiile a de adunare i s nmultire N i proprietile lor. n s at Teorema 3.7.2. (Teorema artirii cu rest N). Pentru orice numere natmp n urale a, b, cu b = 0, exist q, r N astfel at a = bq + r i r = 0 sau r < b (q se a nc s plus, q i r sunt unic determinate numete ctul iar r restul artirii lui a la b). In s a mp s cu aceste proprieti. at Demonstratie. Fie b = 0 xat. Demonstrm prin inductie dup a, aplicnd a a a Propozitia 3.7.1. Mai precis, considerm P (a) : qr(q N) (r N) (a = a bq + r) (r < b). Pentru orice a < b, P (a) este adevrat, lu q = 0, r = a. a a nd Presupunem acum c a b i P (k) este adevrat, k N, k < a. S demonstrm a s a a a a P (a). Cum a b avem a b N i a b < a. Deci are loc P (a b) : q, r astfel s at a b = bq + r i r < b, adic a = b(q + 1) + r, cu r < b. nc s a Unicitatea: presupunem c a = bq + r = bt + s, cu r < b i s < b. Pentru a face a s o alegere, e q t, adic q t 0. Atunci b(q t) = s r. Cum s < b, rezult c a a a s r < b. Astfel, b(q t) < b, de unde obtinem q t = 0 i s = r = 0. s Teorema artirii cu rest este de o important covritoare matematic. mp a as n a O prim aplicatie a ei este reprezentarea numerelor naturale a ntr-o baz dat (vezi a a (4) i (5) din Exercitiul 4.5.1). s
16Aadar, nu are rost s se arate c P (0) este adevrat cnd se folosete acest rationament s a a a a a s prin inductie!
Introducere
65
3.8. Exercitii i probleme s Exercitiul 3.8.2. (1) Fie A, B, C, D multimi. Artati c: a a (a) (A B) C = (A C) (B C) ; (b) (A B) (C D) = (A C) (A B) (B D). (2) Dac (A, B, ) i (B, C, ) sunt relatii, atunci )1 = 1 1 . a s nseamn c: a a (3) Fie (A, ) o relatie pe multimea A. Ce (a) idA ; (b) ; (c) 1 ; (d) 1 = A A ; (e) 1 idA ; (f) idA = . (4) Fie A, B multimi nite, cu m elemente, respectiv n elemente. (a) Cte elemente are A B? a (b) Cte relatii binare de la A la B exist? a a (c) Cte functii denite pe A cu valori B exist? a n a (d) Cte functii injective denite pe A cu valori B exist? a n a (5) Fie A, B, C multimi. Artati c exist o functie bijectiv a a a a ntre multimile: (a) A B i B A; s (b) (A B) C i A (B C); s (c) A( B) i (AB )C ; s (d) (A B)C i AC B C . s (e) A(BC) i AB AC , dac B C = . s a (6) Fie f : A B o functie. S se arate c: a a (a) f este injectiv dac i numai dac C, D A, are loc f [C D] = a as a f [C] f [D]. (b) C A, are loc f [C] = C = . (7) Fie f : A B o functie. Denim: f : P (A) P (B), prin f (C) = f [C] (imaginea submultimii C prin f ), C P (A); f : P (B) P (A), prin f (D) = f 1 (D), D P (B). S se arate c urmtoarele amatii sunt a a a echivalente: (a) f este surjectiv. a (b) f este injectiv. a (c) f este surjectiv. a (d) Cf [X] f [(CX], X P (A). (8) Cu aceleai notatii ca exercitiul precedent, s se arate c urmtoarele s n a a a amatii sunt echivalente: (a) f este injectiv. a (b) f este surjectiv. a a (c) f este injectiv. (d) f [CX] Cf [X], X P (A).
CAPITOLUL 4
Comentarii i completri s a
4.1. Clase aceast sectiune vom discuta cu titlu informativ anumite aspecte ale teoriei In a axiomatice a multimilor. Pentru detalii, se pot consulta lucrri precum Manin [10] a sau Scorpan [18]. Nu exist o multime a tuturor multimilor, cci acest concept conduce la paraa a doxuri. Dac ar exista multimea tuturor multimilor, e aceasta A, atunci, conform a schemei de comprehensiune, ar exista i multimea C = {B A| B B}. Se vede s / c regsim paradoxul lui Russel. Astfel de colectii foarte mari de obiecte apar a a a frecvent matematic (dorim de exemplu s vorbim de o proprietate pe care ns n a a o au toate grupurile) i este necesar precizarea unui cadru riguros pentru aceste s a situatii. O rezolvare rezonabil este dat de conceptul de clas. a a a cadrul teoriei Gdel-Bernays (GB), clasa este notiune primar (nu se deIn o a nete clasa, ci este dat un set de axiome referitoare la clase; multimile vor un tip s particular de clase cele care sunt elemente ale altor clase). Teoria astfel dezvoltat a este a considerabil mai complicat dect ZFS1. ns a a teoria ZFS, prin clas se elege o expresie cu o variabil liber (un preIn a nt a a dicat cu o variabil) Cu alte cuvinte, o proprietate nu mai denete o multime de a s obiecte, ci este privit ea ai ca o entitate i o numim clas. O clas nu este a nss s a a un obiect al teoriei ZFS, ci o expresie a limbajului formal (vezi comentariul de la axioma-schem a substitutiei). De exemplu, predicatul P (x):x = x este evident a satisfcut de orice multime x; acest predicat denete clasa tuturor multimilor. a s Abuznd de limbajul de la multimi, ind dat o clas P (x), loc s se spun ca a a a n a a un anumit x satisface P sau P (x) este adevrat, se spune x apartine clasei P a a sau x este un element al clasei P . Observm c orice multime a denete o clas, anume x a. a a s a Reciproc, spunem c o clas P (x) corespunde unei multimi M dac are loc a a a x(P (x) x M ): obiectele care satisfac P sunt exact elementele lui M . Uneori spunem acest caz chiar c P este o multime. acest sens, clasa tuturor multimilor n a In nucorespunde unei multimi. Demonstratia a fost dat chiar la a nceputul acestui paragraf! Se pot deni i operatii cu clase, prin analogie cu cele de la multimi. Astfel, dac s a P (x) i Q(x) sunt clase, denim reuniunea claselor P i Q ca ind clasa P (x)Q(x); s s intersecia lor este clasa P (x) Q(x). Cum s-ar deni diferenta lor? Dar faptul c a a clasa P este inclus clasa Q? a n
1 plus, se poate demontra c orice enunt despre multimi, demonstrabil GB este demonIn a n strabil i ZFG. s n 67
68
aceast terminologie, schema de comprehensiune nu spune altceva dect c In a a a intersecia dintre o clas i o multime este o multime. Apare acum destul de clar a as c exprimri de genul multimea tuturor grupurilor nu sunt legitime, o exprimare a a corect ind clasa tuturor grupurilor. Notiunea de clas este esential teoria a a a n categoriilor. 4.2. Axioma alegerii Axioma alegerii (AC) este o nou axiom care joac un rol esential matema a a n atic, datorit faptului c, pe de o parte, are un enunt aparent evident; pe de a a a alt parte, are un caracter neconstructiv care i-a atras multe critici. Exist multe a a enunturi echivalente cu aceast axiom. formularea lui Zermelo, AC se enunt: a a In a (AC) Pentru orice multime A care elementele sunt disjuncte dou cte dou3, n a a a exist o multime care contine exact cte un element din ecare multime a a nevid din A : a (A){[(x)(y)(x A) (y A) (x = y)] (x y = )} (c){[(x)(x A) (x = )] (z)(c x = {z})}. Altfel spus, putem alege cte un element din ecare multime nevid din A i a a s forma cu ele o nou multime. Controversele privind aceast axiom provin i din a a a s faptul c unii matematicieni consider c existenta unei astfel de multimi implic a a a a i existenta unui procedeu de alegere a unui element dintr-o multime nevid. s a In 1963 s-a demonstrat c AC nu poate dedus din ZF. majoritatea matematicilor a a In contemporane, AC este acceptat alturi de ZF, sistemul numit ZFC. a a n Exist numeroase enunturi echivalente cu Axioma Alegerii. Iat cteva: a a a 1 Principiul bunei ordonri (Zermelo 1904). Orice multime nevid A poate a a bine ordonat (exist o relatie de bun ordine pe A). a a a 2 Produsul cartezian al unei familii de multimi nevide este nevid. 3 Pentru orice multime a, exist o functie de alegere f : a a (adic f a a are proprietatea c, x a, x = f (x) x).4 a 4 Pentru orice functie surjectiv : E F exist : F E astfel at a a nc = idF . 5 Lema lui Zorn. Fie (A, ) o multime ordonat nevid care orice submultime a a n total ordonat este majorat (multime inductiv ordonat). Atunci exa a a ist un element maximal al lui A. a Lema lui Zorn este folosit Algebr demonstrarea unor teoreme impora n a n tante: existenta unei baze ntr-un spatiu vectorial oarecare, existenta idealelor ma ximale ntr-un inel, existenta nchiderii algebrice a unui corp comutativ. 4.3. Cardinali continuare prezentm cteva notiuni de teoria cardinalilor. Pentru o tratare In a a mai detaliu, vezi Miron [11], Nstsescu [13] i Scorpan [18]. n a a s Denitia 4.3.1. Fie A i B dou multimi. Spunem c A i B sunt echipotente s a a s (sau c sunt cardinal echivalente, sau c au acelai cardinal) dac exist o bijectie a a s a a f : A B. Scriem atunci A B sau |A| = |B|.
2Acronimul expresiei Axiom of Choice. 3Reamintim c elementele lui A sunt tot multimi. a 4Altfel spus, functia f alege cte un element din ecare multime nevid x a. a a 2
Introducere
69
Pentru orice multimi A, B, C, au loc: (a) A A (reexivitate); (b) Dac A B, atunci B A (simetrie); a (c) Dac A B i B C, atunci A C (tranzitivitate). a s Astfel, putem spune c relatia de echipotent este o relatie de echivalent a a a pe clasa multimilor. Clasa5 tuturor multimilor echipotente cu o multime dat A se numete cardi a s nalul multimii A i se notea card A sau |A|. s a Spunem c A este o multime nit cu n elemente (n N) dac A {1, . . . , n} a a a i atunci notm |A| = |{1, . . . , n}| := n}. O multime care nu este nit se numete s a a s innit. Se poate demonstra c: multimea A este innit dac i numai dac exist a a a as a a o functie injectiv : A A care nu este surjectiv sau dac i numai dac a a a s a exist o functie injectiv : N A. Dac |A| |N|, spunem c A este o multime a a a a numrabil. a a Se introduce o relatie de ordine ntre cardinali: spunem c |A| |B| dac exist a a a o functie injectiv : A B. Denitia este corect: dac A A , B B i exist a a a s a o functie injectiv : A B, atunci exist o exist o functie injectiv : A B a a a a (demonstrati!). Observm c |A| |B| dac: exist o functie injectiv : A B, dar |A| = a a a a a |B|, adic nu exist functii bijective (mai precis surjective) de la A la B. a a Se veric imediat c, pentru orice multimi A, B, C are loc: a a (a) (A) |A| |A|(reexivitate); (b) (A) (B) (C) |A| |B| i |B| |C| implic |A| |C| (tranzitivitate); s a Are loc urmtoarea teorem important, care arat c este i antisimetric a a a a a s a (deci are ntr-adevr aceleai proprieti ca o relatie de ordine). a s at Teorema 4.3.1. (Cantor-Schrder-Bernstein) Fie A i B dou multimi. Dac o s a a |A| |B| i |B| |A|, atunci |A| = |B|. s Demonstratie. Fie g : A B functia injectiv a crei existent este asigurat a a a a de conditia |A| |B|. Ideea este de a gsi D A astfel at A \ D Im g i a nc s : A B, dat de: a { g(a) dac a D a (a) = g 1 (a) dac a A \ D a s e bijectie. Faceti un desen! a Trebuie s avem atunci A\D = g(B \f (D)), adic D = A\g(B \f (D)). Pentru a a a gsi D ca mai sus, denim : P (A) P (A), (E) : A \ g(B \ g(E)) E P (A). a Noi cutm un D cu (D) = D. Se arat uor c este cresctoare: dac E F , a a a s a a a atunci (E) (F ). Denim M := {E A| E (E)}. Evident, M este nevid cci, de exemplu, M . Fie D := M (scris i{E| E a a as M }). S artm c (D) = D. Avem (D) = ({E| E M }) = {(E)| E a aa a M } {E| E M } = D. Deci D (D). Aplicnd acestei incluziuni, obtinem a (D) ((D)) adic (D) M . De aici, D = {E| E M } (D). Astfel, a (D) = D. Lsm cititorului vericarea faptului c este bijectie. aa a Relatia de ordine este i total (demonstratia face apel la Axioma Alegerii): s a
5Nu putem vorbi de multimea tuturor multimilor echipotente cu A.
70
|A|.
Teorema 4.3.2. Oricare ar dou multimi A, B, are loc |A| |B| sau |B| a Aceast ultim proprietate este chiar echivalent cu Axioma Alegerii. a a a 4.4. Axiomatica ZFS
Sistemul axiomatic ZFS (Zermelo-Fraenkel-Skolem) propriu-zis contine 4 ax iome i o schem de axiome: axioma extensionalitii, axioma reuniunii, axioma s a at multimii prtilor, axioma-schem a substitutiei i axioma innitii. a a s at Fat de prezentarea adoptat de noi, sistemul axiomatic ZFS diferenta este a a n c axioma-schem de comprehensiune i axioma perechii sunt a a s nlocuite de un enunt mai puternic, anume de Axioma-schem a substitutiei. Pentru enuntarea acestei a axiome avem nevoie de o denitie. Denitia 4.4.1. O expresie E(x, y) cu exact dou variabile libere x i y se a s numete relatie functional dac pentru orice x exist cel mult un y astfel at s a a a nc E(x, y) s e adevrat: a a a (x)(y)(z)((E(x, y) E(x, z)) y = z). Intuitiv, putem privi o relatie functional ca pe o functie partial denit pe a a clasa multimilor: pentru anumiti x exist un unic y astfel at E(x, y) s aib a nc a a loc; se noteaz uneori chiar functional, y = E(x) loc de E(x, y). Observm c a n a a nu este neaprat adevrat c (x)(y)E(x, y) (pentru orice x s existe un y astfel a a a a at E(x, y)). nc termeni mai putin formali, axioma-schem a substitutiei arm c: Pentru In a a a orice relatie funcional E(x, y) i pentru orice multime a, exist imaginea prin E a a s a a multimii a. Evident, trebuie s denim riguros conceptul de imagine a unei multimi printra o relatie functional. a Denitia 4.4.2. Spunem c multimea b este imaginea multimii a prin relatia a funcional E(x, y) dac elementele lui b sunt de forma E(x), cu x a, adic: a a a a (y){(y b) (x)[(x a) E(x, y)]}. (ASS) Axioma-schem a substitutiei este: pentru orice relatie funcional E(x, y), a a a are loc: (a)(b)(y){(y b) [(x)(x a) E(x, y)]}. limbaj natural: Pentru orice relatie functional E(x, y) i pentru orice multime In a s a, exist imaginea prin E a multimii a. a Subliniem din nou c se obtine cte o axiom pentru ecare alegere a unei a a a relatii functionale E. Nu se pot condensa toate aceste enunturi ntr-unul singur, de tipul (E relatie functional)(a)(b)(y){(y b) [(x)(x a) E(x, y)]}, a deoarece acesta nu este o expresie a limbajului formal (vezi denitia expresiilor limbajului formal): E nu denumete un obiect legitim (o multime), ci o expresie. s Folosind axioma extensionalitii, se demonstreaz imediat c imaginea unei at a a multimi printr-o relatie functional este unic determinat (multimea b a crei a a a
Introducere
71
existent este garantat de axioma schem a substitutiei este unic determinat a a a a de E i a). s Axioma-schem a comprehensiunii (a seleciei, a specicrii) este acest cadru a a a n o teorem, consecint a axiomei-schem a substitutiei: a a a Teorema 4.4.1. (Schema de comprehensiune6). Pentru orice multime A i s pentru orice expresie cu o variabil liber P (x), exist submultimea elementelor din a a a A pentru care P este adevrat. Formal, a a (A)(B)(x){(x B) [(x A) P (x)]}. a a a s a Demonstratie. Pentru demonstratie, cutm o relatie functional i aplicm axioma-schem a substitutiei. Fie expresia E(x, y): (x = y) P (y). Armm c a a a E este o relatie functional. Intr-adevr, e x, y, z cu E(x, y) i E(x, z) adevrate. a a s a Atunci x = y i x = z, deci y = z. Conform axiomei-schem a substitutiei, pentru s a multimea A exist o multime B astfel at: a nc (y){(y B) (x)[(x A) E(x, y)]}, adic (y B) (x)[(x A) (x = y) P (y)], ceea ce revine la a spune c a a y B [(y A) P (y)], ceea ce trebuia demonstrat. De asemenea, axioma perechii este tot o teorem: a s a a Teorema 4.4.2. (Teorema perechii). Fie a i b dou multimi. Atunci exist o multime c care are ca elemente pe a i pe b i numai pe ele. Formal: s s (a)(b)(c)(x){(x c) [(x = a) (x = b)]}. Multimea c de mai sus este unic determinat de a i b i se noteaz {a, b}. a s s a Demonstratie. Ideea este de a construi o multime cu dou elemente D i de a s a obtine {a, b} ca imaginea lui D printr-o relatie functional bine aleas, aplicnd a a a axioma substitutiei. Stim c exist multimea vid . Construim (cu axioma multimii prtilor) a a a a multimea P (), care are un element (avem , deci P (); este chiar unicul element al lui P () deci P () = {}). Cum nu are nici un element, deducem c P () = . Construim acum P (P ()) = P ({}). Unicele multimi incluse a sunt i {}, deci P ({}) = {, {}} are dou elemente (cum am dorit). n s a Fie E(x, y): (x = ) (y = a) (x = {}) (y = b) (vericati c este o relatie a functional). Imaginea prin E a lui P ({}) este chiar multimea cutat c. a a a Unicitatea lui c rezult din axioma extensionalitii. a at Denitia 4.4.3. O expresie cu exact dou variabile libere se numete relatie. a s Pentru orice relatie R(x, y) putem deni domeniul DR i imaginea IR ca ind clasele: s DR (x): (y)R(x, y) IR (y): (x)R(x, y). Demonstrati c, dac clasele DR i IR sunt multimi, atunci relatiei R(x, y) i se a a s asociaz o relatie a ntre DR i IR ( sensul Denitiei 3.5.3 (a), s n := {(x, y) DR IR | R(x, y) adevrat}. a a Mai mult, aceast relatie este functie ( sensul Denitiei 3.5.3 (b) dac i numai a n as dac R este relatie functional. Invers, unei functii f : A B i se asociaz o relatie a a a functional F (x, y) : x A y = f (x). a
6 axiomatizarea lui Zermelo din 1908, acest rezultat era enuntat ca o axiom numit Axioma In a a selectiei.
72
Demonstrati c, dac R este relatie functional i DR este multime, atunci a a as este multime. Reciproca este adevrat? a a 4.5. Consistent, independent, modele a a
Este de dorit ca orice teorie axiomatic (deci i ZFS) s satisfac urmtoarele a s a a a proprieti: at (i) Consistenta (sau necontradictorietatea) teoriei: din axiomele teoriei nu se poate deduce simultan o propozitie i negatia ei (adic nu se poate obtine s a o contradictie). O teorie care nu este consistentt nu are nici o valoare tiinic: dac exist o propozitie p astfel at p i p sunt adevrate, s s a a a nc s a atunci orice propozitie q este adevrat (ceea ce elimin orice interes a a a n stabilirea adevrului unei propozitii). Intr-adevr, este clar c, dac p i a a a a s p qsunt adevrate, atunci q este adevrat. a p e adevrat din a a a Ins a a ipotez, iar p q este p q, adevrat cci p este adevrat. a a a a a a (ii) Independenta axiomelor: nici o axiom nu este o consecint a celorlalte. O a a teorie care axiomele nu sunt independente nu este a lipsit de interes n ns a (poate , cel mult, acuzat de redundant). a a Problemele stabilirii consistentei i independentei unui sistem axiomatic sunt s dicile i profunde. Strns legat de problema consistentei este modelarea unui siss a a tem axiomatic. Se numete model al unei teorii axiomatice o structur de obiecte s a care satisfac axiomele teoriei. Se pot da exemple numeroase: un model al axiomelor geometriei plane este RR, un model pentru axiomele inelului este (Z, +, ) etc. Are loc urmtorul rezultat: o teorie axiomatic este consistent dac i numai dac are a a a as a un model. Se observ c, exemplele de mai sus, modelele teoriilor sunt obiecte a a n construite cadrul teoriei (axiomatice) a multimilor (care este mai larg dect n a a teoriile respective). O teorem a lui Gdel arm, a a ntr-o exprimare neriguroas, c a a un model pentru o teorie axiomatic poate construit doar a ntr-o teorie mai larg. a Aadar, un eventual model pentru ZF (care i-ar demonstra consistenta) nu ar putea a construit dect a ntr-o teorie mai larg. a ZF este sucient de cuprinztoare a Ins a pentru a putea servi drept fundament al ntregii matematici; pe de alt parte, a vericarea consistentei unei ipotetice teorii mai largi revine la construcia unei a teorii i mai largi .a.m.d. Se vede c aceast cale nu conduce la o demonstratie s a a a a consistentei teoriei ZF. Se poate doar presupune c teoria ZF nu conduce la a aparitia de contraditii (de fapt, am vzut c a fost creat tocmai pentru a elim a a a ina contradictiile aprute teoria naiv a multimilor). acest sens, este gritor a n a In a urmtorul citat din Manin [10], p. 102: a Problema consistentei formale a axiomelor Zermelo-Fraenkel trebuie s a rm a o chestiune de credint, cu exceptia cazului cnd o eventual a n a a a inconsistent formal este demonstrat. P a acum toate demonstratiile a a a n bazate pe aceste axiome nu au dus niciodat la o contradictie; dimpotriv, a a au deschis fata noastr bogata lume a matematicilor clasice i modn a s erne. Aceast lume are o anumit realitate i o viat proprie, care depind a a s a mic msur de formalismele alese pentru a le descrie. O descoperire a n a a a unei contradictii oricare din diversele formalisme, chiar dac ar aprea, n a a ar servi doar la claricarea, ranarea i poate reconstructia unor anumite s idei, dar nu ar conduce la falimentul lor, cum s-a amplat de mai multe nt ori trecut. n
Introducere
73
Independenta axiomelor are i ea legtur cu consistenta. S exemplicm s a a a a aceasta pe cazul unei noi axiome, axioma fundrii. a (AF ) Axioma fundrii (AF). Orice multime nevid contine un element de care a a este disjunct: a (a){(a = ) [(b)(b a) (b a = )]}. Acest enunt implic: Nici o multime nu este element al ei ai. a nss Intr-adevr, a dac avem o multime x astfel at x x, atunci {x} contrazice axioma fundrii: a nc a singurul element al lui {x} este x i avem x x nevid, cci contine pe x. Mai s a a mult, nu exist lanturi de multimi de forma x0 x1 x2 . . . xn x0 . a Dac ar exista un asemenea lant, atunci multimea {x0 , x1 , . . . , xn } contrazice AF a (de ce). La fel, nu poate exista un ir (xn )n astfel at xn1 xn , n . a s nc AF si datoreaz numele faptului c, pentru orice multime x, orice lant de forma a a x x0 x1 . . . xn . . . este nit i se termin cu : n astfel at s a nc x x0 x1 . . . xn , adic orice ir descresctor (fat de relatia ) este a s a a nit i fundat pe .7 s S-a demonstrat c, dac acceptm c ZF este consistent, atunci ZF+AF (sisa a a a a temul ZF la care se adaug AF) nu conduce la contradictii. Aceast probare a a a consistentei relative a AF s-a realizat prin construirea unui model ( cadrul ZF) n care satisface ZF+AF. plus, s-a construit un alt model (tot cadrul ZF) care In n satisface ZF i negaiaAF. Din aceste dou rezultate se vede c AF este indepens s a a dent de ZF (nu poate dedus din axiomele ZF). a a Un alt rezultat aceast directie este demonstrarea independentei axiomei n a innitii fat de restul axiomelor ZF, printr-un procedeu asemntor principiu at a a a n cu cel de mai sus. Exercitiul 4.5.1. (1) Artati c, pentru orice multime A, are loc |A| < |P (A)|. (Indicatie. a a Artm c orice functie f : A P (A) nu este surjectiv. Fie B = {x aa a a A| x f (x)}. Atunci B nu este imaginea lui f .) / n (2) Artati c: a a (a) |Z| = |N|. (b) |N N| = |N|. (Indicatie. Demonstratia revine la a aranja perechile de forma (a, b), cu a, b N, ntr-un ir. O posibilitate este dat s a de irul: (0, 0), (0, 1), (1, 0), (0, 2), (1, 1), (2, 0), . . . . Deduceti o formul s a general pentru locul ir al lui (a, b) i deniti cu ajutorul ei o a n s s functie bijectiv de la N N la N .) a (c) |Q| = |N|. (d) |R| > |N|. (3) Axioma innitii face referire la multimea vid , a crei existent rezult at a a a a din existenta mcar a unei multimi. Dar acest lucru este asigurat de ax a ioma innitii. Cum se poate iei din acest (aparent) cerc vicios? at s a n a (4) (Reprezentarea unui numr baza b) Fie b un numr natural nenul xat (numit baz de numeratie). Demonstrati c, a N, exist i sunt unice a a as n N i c0 , . . . cn1 {0, 1, . . . , b 1}, astfel at s nc a = cn1 bn1 + + c1 b + c0 . (4.5.1)
7Astfel, ntregul univers descris de ZF i AF este creat pornind de la (universul von s Neumann, vezi Manin [10], p. 95-102).
74
cazul care are loc egalitatea (4.5.1) de mai sus, se mai scrie In n a = cn1 , . . . , c1 , c0 , scriere numit reprezentarea lui a baza b. Numerele naturale 0, 1, . . . , b a n 1 se numesc cifre baza b8 (pentru scrierea concret se dau b simboluri n a care reprezint aceste cifre i nu se folosete bara superioar, scris aici a s s a a pentru a evita confuzia cu produsul cn1 . . . c1 c0 ). Uneori, notatie, se n mai specic baza b, ca indice. De exemplu, 1057 = 5410 . (Indicatie. Din a teorema artirii cu rest aplicat lui a i b exist q, r N astfel at mp a s a nc plus q i r sunt unicele cu proprietile de mai a = bq + r cu r < b. In s at sus. Se pune c0 = r i se repet procedeul pentru q sau, mai riguros, s a se aplic o inductie dup a. Pentru unicitate, se observ c c0 este restul a a a a artirii lui a la b i se aplic o inductie dup cel mai mic numr de cifre mp s a a a dintr-o reprezentare a lui a baza b). n (5) Reprezentati baza 10 numerele 10112, 12123. Scrieti bazele 2, 7, 16, n n numerele 12910, 115210.
8A se remarca distinctia ntre numr i cifr ( a s a ntr-o baz xat). De exemplu, cifrele baza a a n 16 (sistem hexadecimal) sunt 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F , unde A reprezint pe 10 l a (scris baza zece), B pe 11 etc. n
Bibliograe
[1] M. Becheanu et al., Algebr pentru perfectionarea profesorilor, Ed. didactic i pedagogic, a as a Bucureti, 1983. s a s [2] O. Becker, Fundamentele matematicii, Editura Stiintic, Bucureti, 1968. [3] E.D. Bloch, Proofs and fundamentals; a rst course in mathematics, Birkhuser Boston, a 2000. as a [4] A. Dumitriu, Istoria Logicii, Editia a II-a, Editura Didactic i Pedagogic, 1975, 1212pp. [5] H. Freudenthal, Limbajul logicii matematice, Seria Matematici Moderne Aplicate, Editura Tehnic, Bucureti 1973. a s [6] P.R. Halmos, Naive set theory, Undergraduate texts in Mathematics, Springer Verlag New York-Heidelberg-Berlin, 1974. [7] I.D. Ion, Radu, N. Algebra, Ed. Didactic i pedagogic, Bucureti, 1981. as a s [8] G. Klaus, Logica modern, Editura Stiintic i Enciclopedic, Bucureti, 1977. a as a s [9] I.A. Lavrov, L.L. Maksimova, Probleme de teoria multimilor i logic matematic, Seria s a a Culegeri de probleme de matematic i zic, Editura tehnic, Bucureti 1974. as a a s [10] Yu.I. Manin, A Course in Mathematical Logic, Springer Verlag, New York, 1977. [11] Miron [12] Gr.C. Moisil, Elemente de logic matematic i teoria multimilor, M Matematic Encicloa a s a pedia de buzunar, Editura Stiintic, Bucureti, 1969. a s [13] C. Nstsescu, Introducere teoria multimilor, Ed. Didactic i pedagogic, Bucureti, 1974. a a n as a s [14] C. Nstsescu, Teoria dimensiunii algebra necomutativ, Ed. Academiei R.S.R., Bucureti, a a n a s 1983. [15] C. Nit, T. Spircu, Probleme de structuri algebrice, Ed. Tehnic, Bucureti, 1974. a a s [16] P. S. Novikov, Elemente de logic matematic, Editura Stiintic, Bucureti, 1966. a a a s [17] M. Reghi, Elemente de teoria multimilor i logic matematic, Ed. Facla, Timioara, 1981. s s a a s [18] A. Scorpan, Introducere teoria axiomatic a multimilor, Editura Universitii Bucureti, n a at s 1996. [19] Izu Vaisman, Fundamentele matematicii, Editura Didactic i Pedagogic, Bucureti, 1968. as a s
75

Logica

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Logica

Încărcat de

Drepturi de autor:

Formate disponibile

Facultatea de Matematic, Universitatea Al. I.

Logic i teoria multimilor as

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

(1) (2) (3) (4) (5) (6) (7)

ppq (p q) p (p q) p (p q) (p q) p (p (q r)) (p q) r (p q) (q p) (p q) r (p r) (q r).

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Elemente de teoria demonstratiei

Capitolul 1 Elemente de logic a

modus tollendo ponens

modus tollendo ponens

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

a s (22) Dac 0 bn an pentru orice n N i

bn este convergent, atunci a

(23) tg x = (24) (25) (26) (27) (28)

Capitolul 1 Elemente de logic a

Teorema 2.4.4. Numrul a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Elemente de teoria multimilor

Georg Ferdinand Ludwig Philipp Cantor (1845-1918), matematician german.

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

Capitolul 1 Elemente de logic a

S-ar putea să vă placă și