Documente Academic
Documente Profesional
Documente Cultură
Cuprins
I. Logic, mulimi, axiome .................................................................................................. 2
I.1. Mulimi, teorie naiv. Paradoxuri i necesitatea axiomatizrii................................................ 2 I.2. Principiile axiomaticii Zermelo-Fraenkel................................................................................ 4 I.3. Limbajul formal al teoriei axiomatice ZF a mulimilor........................................................... 5 I.4. Axiomele extensionalitii, reuniunii, mulimii prilor ........................................................ 10 I.5. Axioma-schem a seleciei. Axioma perechii ....................................................................... 12 Exerciii........................................................................................................................................ 14 I.6. Relaii, funcii ........................................................................................................................ 15 I.7. Relaii de ordine i relaii de echivalen............................................................................... 20 Exerciii........................................................................................................................................ 23 I.8. Axioma infinitii. Mulimea numerelor naturale. Inducie................................................... 24 I.9. Comentarii i completri privind axiomatica mulimilor ...................................................... 27 Exerciii........................................................................................................................................ 34
n cadrul teoriei lui Cantor a mulimilor (astzi numit teoria naiv a mulimilor), prin mulime se nelege o colecie (un ansamblu, un set) de obiecte distincte (elementele mulimii), bine determinat i considerat ca o entitate. Georg Cantor spunea Unter eine Menge verstehen wir jede Zusammenfassung M von bestimmten Wohlunterschiedenen Objekten m unseres Denkens zu einem Ganzen: Prin mulime nelegem orice grupare ntr-un tot M a unor obiecte distincte i bine determinate m ale gndirii noastre. ns teoria mulimilor n forma descris de Cantor conducea la paradoxuri care provin din definiia foarte permisiv i vag a conceptului de mulime. nsui Cantor n 1895 observ c nu se poate vorbi de mulimea tuturor ordinalelor (paradox publicat de Burali-Forti n 1897); mai trziu, s-a constatat c exist i alte mulimi contradictorii: mulimea tuturor cardinalilor, mulimea tuturor mulimilor, mulimea mulimilor care nu se conin ca element (paradoxul lui Russel2). Prezentm acest paradox: presupunem c exist mulimea mulimilor care nu se conin ca element i o notm cu C (n notaie modern, C = {A | A A}). Evident, are loc: sau C C, sau C C. Dac C C, atunci C C din definiia lui C, contradicie. Dac C C, atunci C nu satisface condiia de definiie a lui C, deci C C, contradicie. Aceste paradoxuri au putut fi eliminate de teoria axiomatic a mulimilor, care, printre altele, nu permite existena mulimilor foarte mari, care apar mai sus. O prim axiomatizare a fost dat de Zermelo3 n 1908. Una din axiomele sale (care evit apariia paradoxurilor de tipul de mai sus) este Axioma seleciei (sau a specificrii), care n esen spune c, dat o proprietate 4 P i o mulime A, exist mulimea elementelor din A care satisfac proprietatea P. Cu alte cuvinte, o proprietate nu determin o mulime (ca n definiia original a lui Cantor), ci, dat o mulime A, se poate vorbi doar de existena submulimii lui A format din elementele lui A care satisfac P. n 1905 Richard construiete un paradox de alt tip (simplificat ulterior de Berry i publicat de Russel n 1906). S considerm urmtorul concept: cel mai mic numr natural care nu poate fi definit cu mai puin de 17 cuvinte. Dac acest numr ar exista, atunci el poate fi definit cu 16 cuvinte, chiar de enunul anterior (care are 16 cuvinte, numrai). Contradicia obinut arat c nu exist un astfel de numr. Pe de alt parte, mulimea numerelor naturale care pot fi definite cu cel mult 16 cuvinte este finit (cci mulimea frazelor cu cel mult 16 cuvinte care definesc un numr natural este finit) i deci exist numere naturale care nu pot fi definite cu mai puin de 17 cuvinte. Cel mai mic dintre acestea este un numr care nu poate exista, conform celor de mai sus!
2 3
Bertrand Russel (1872-1970), matematician i filozof britanic. Ernst Friedrich Ferdinand Zermelo (1871-1953), matematician german. 4 Mai precis, este vorba de un predicat cu o variabil liber.
Paradoxul de mai sus are alt surs, i anume ambiguitatea limbajului natural, obinuit. Ce nseamn exact a defini un numr natural? Din consideraiile de mai sus rezult c, pe lng o axiomatizare a teoriei mulimilor, trebuie restrns limbajul natural la cteva modaliti bine precizate i simple de exprimare. n acelai timp, posibilitile trebuie s fie suficient de permisive pentru a putea formula orice enun matematic. Aceste scopuri snt 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 depete cu mult cadrul i scopurile noastre). Cu aceast ocazie, vom sublinia anumite aspecte de logic matematic.
afirmaie despre mulimi trebuie demonstrat pornind de la axiome. n acest mod se deduc toate proprietile uzuale ale teoriei mulimilor. Dei, dup cum am spus, n teoria axiomatic elementele unei mulimi snt tot mulimi, vom adopta (pe ct posibil), pentru a nu crea confuzii cititorului, distincia tradiional n notaie: n general, vom nota mulimile cu majuscule: A, B, , iar elementele mulimilor cu minuscule: a, b, . Dac A este o mulime i a este un element al lui A, atunci scriem a A (citit a aparine lui A sau A conine pe a). Dac a nu este element al mulimii A, scriem a A. Axiomele teoriei (cu excepia Axiomei extensionalitii) snt toate de urmtorul tip: fiind date una sau mai multe mulimi, se garanteaz existena unei noi mulimi cu anumite proprieti (construit cu ajutorul mulimilor iniiale). Cu alte cuvinte, axiomele descriu construcii permise n cadrul teoriei. Se regsete astfel motivul pentru care a fost creat teoria: evitarea paradoxurilor generate de construcii de mulimi prea mari, prin precizarea clar a regulilor de construcie de noi mulimi.
3.1 Definiie. Un enun al limbajului formal (numit i expresie a limbajului formal) este un ir finit de simboluri, format dup anumite reguli, descrise mai jos. Din punct de vedere intuitiv, un enun exprim un fapt bine determinat despre obiectele la care se refer (adic despre mulimi, n cazul nostru). Descriem acum tipurile de simboluri i regulile de construcie a expresiilor limbajului formal (adic sintaxa limbajului): i) Exist simboluri de tip nume (pe scurt, nume), care denumesc mulimi (acestea snt singurele obiecte pe care le considerm!). Numele snt de dou feluri: nume constante (pe scurt, constante), care se refer la un obiect bine precizat; nume variabile (pe scurt, variabile), care noteaz un obiect generic (arbitrar, neprecizat). Se presupune c avem la dispoziie o colecie suficient de mare de nume constante i variabile. Exemple de nume: x, y, a, b, c, A, B,. ii) Exist simbolurile care noteaz relaii: relaia de egalitate, notat cu simbolul = , i relaia de apartenen, notat cu simbolul . Dac x, y snt nume (constante sau variabile), atunci urmtoarele iruri de simboluri snt expresii ale limbajului formal: x = y (citit x este egal cu y); x y (citit x aparine lui y sau x este element al lui y sau y conine pe x). iii) Conectorii (sau operatorii) logici snt simboluri care se folosesc pentru a exprima proprieti mai complexe, pentru a combina mai multe expresii ntr-una nou. Operatorii logici snt: (conjuncia, i); (disjuncia, sau); (negaia, non) Dac E, F snt expresii (deja construite), atunci snt expresii i urmtoarele iruri de simboluri: E F (citit E i F); E F (citit E sau F); E (citit non E). iv) Cuantificatorii logici snt urmtoarele simboluri: (numit cuantificatorul universal i citit oricare), (numit cuantificatorul existenial i citit exist). Cu ajutorul cuantificatorilor (numii uneori i cuantori) se precizeaz dac, ntr-o expresie, o variabil se refer la toate obiectele sau mcar la un obiect. Dac E este o expresie a limbajului i x este o variabil, atunci: (x)E este expresie (citit pentru orice x are loc E sau pentru orice x, E este adevrat); (x)E este expresie (citit exist x astfel nct are loc E sau exist x astfel nct E este adevrat).
v) Parantezele rotunde ( , ) au rolul de a elimina ambiguitile. Astfel, n construciile precedente, se scrie de exemplu (E) (F) n loc de E F, sau (x)(E) n loc de (x)E dac pot aprea confuzii. Uneori, pentru un plus de claritate, se pot folosi i parantezele ptrate [ ] sau acoladele { }, dup regulile uzuale cunoscute. Singurele expresii (enunuri) admise ale limbajului formal snt cele construite respectnd regulile precedente. Variabilele unei expresii pot fi libere sau legate. Spunem c variabila x este liber n expresia E dac x apare n E, dar E nu conine nici o cuantificare a lui x (adic nici x, nici x nu apar n E). Spunem c variabila x este legat n E dac E conine un subir de simboluri de forma (x)F sau (x)F (unde F este o expresie). Dac expresia E conine variabilele libere x1, , xn, vom sublinia uneori acest lucru scriind E(x1, , xn). Fiind date constantele c1, , cn, prin nlocuirea peste tot n E a variabilei x1 cu c1, a lui x2 cu c2, , a lui xn cu cn se obine o nou expresie, notat cu E(c1, , cn). Dac x1, , xn snt toate variabilele libere din E, atunci E(c1, , cn) este o propoziie (adic o expresie care nu are variabile libere). O expresie care are variabile libere se mai numete predicat. 3.2 Exemple. Presupunem c x, y, z snt variabile i a, b snt constante. Artai c urmtoarele iruri de simboluri snt expresii: x y; (x)(x y); (a b) (x = y); ((a b) (x = y)); (z)(y)(x y). Care snt variabilele libere din fiecare? irurile de simboluri: x(y); x = ; y nu snt expresii corecte ale limbajului formal (de ce?). S trecem acum la interpretarea sensului expresiilor (adic semantica limbajului). Reamintim c o expresie care nu conine variabile libere se numete propoziie. Oricrei propoziii i se asociaz o unic valoare de adevr, dup regulile descrise mai jos. Valorile de adevr snt: 0 (sau fals), i 1 (sau adevrat). O propoziie cu valoarea de adevr 0 se numete propoziie fals; o propoziie cu valoarea de adevr 1 se numete propoziie adevrat. O propoziie nu poate fi simultan fals i adevrat. Descriem acum regulile de determinare a valorii de adevr a unei propoziii date. Fie a, b constante i x, y variabile. i) Propoziiile de forma a = b snt adevrate exact atunci cnd a i b denumesc acelai obiect. ii) Valoarea de adevr a propoziiilor de forma a b nu poate fi precizat acum; acest lucru este descris de axiome (n paragraful urmtor). Evident, intuitiv, a b este adevrat dac i numai dac mulimea numit a este un element al mulimii numit b.
iii) O propoziie de forma E F (unde E i F snt propoziii) este adevrat dac i numai dac E i F snt ambele adevrate. iv) O propoziie de forma E F este adevrat dac i numai dac mcar una din propoziiile E i F este adevrat (adic sau E, sau F, sau att E ct i F snt adevrate). v) O propoziie de forma E este adevrat dac i numai dac propoziia E este fals. vi) O propoziie de forma (x)E(x) (unde variabila x este liber n E) este adevrat dac i numai dac pentru orice obiect c propoziia E(c) este adevrat. vii) O propoziie de forma (x)E(x) (unde variabila x este liber n E) este adevrat dac i numai dac exist mcar un obiect c astfel nct propoziia E(c) s fie adevrat. 3.3 Observaie. Valoarea de adevr a propoziiilor de tipul E F, E F se poate defini prin tabele de adevr. Iat tabelul de adevr pentru E F, construit dup regula iv): E 1 1 0 0 F 1 0 1 0 EF 1 1 1 0
S-au scris pe linii toate combinaiile posibile de valori de adevr pentru E i F. Tabelul se citete pe linii: de exemplu, linia 3 a tabelului spune, c, dac E are valoarea de adevr 0, iar F are valoarea de adevr 1, atunci E F are valoarea de adevr 1. 3.4 Definiie. a) Dou propoziii E i F se numesc echivalente dac au aceeai valoare de adevr. Scriem aceasta sub forma E F. b) Definiia se poate extinde la expresii oarecare. Dou expresii E i F snt numite echivalente dac: - E i F conin aceleai constante i aceleai variabile (fie x1, , xn variabilele din E i F); - orice variabil care este liber n E este liber n F, i reciproc; - propoziiile (x1)(x2)(xn)E(x1, , xn) i (x1)(x2)(xn)F(x1, , xn) au aceeai valoare de adevr. Scriem atunci E F sau E(x1, , xn) F(x1, , xn), evideniind variabilele libere. 3.5 Exerciiu. Dac E, F i G snt expresii, atunci au loc echivalenele : (E F) (E) (F); (E F) (E) (F); (legile lui DeMorgan) (E F) G (E G) (F G); (distributivitatea lui fa de ) (E F) G (E G) (F G); (distributivitatea lui fa de ) ((x)E) (x)(E); ((x)E) (x)(E) (legile de negare a cuantificatorilor).
De exemplu, (E F) (E) (F) se poate demonstra cu urmtorul tabel de adevr: E 1 1 0 0 F 1 0 1 0 EF 1 0 0 0 (E F) 0 1 1 1 E 0 0 1 1 F 0 1 0 1 (E) (F) 0 1 1 1
Identitatea coloanelor (E F) i (E) (F) demonstreaz echivalena cerut. Legile lui DeMorgan arat c am fi putut reduce setul de conectori logici i cuantificatori, de exemplu la , , . Toate regulile de calcul cu expresii logice i toate tautologiile demonstrate la partea de Logic rmn valabile pentru expresii ale limbajului formal al teoriei mulimilor. 3.6 Definiie. Pentru a face scrierea mai inteligibil, introducem urmtoarele prescurtri uzuale. Fie E, F expresii. Atunci scriem: E F n loc de (E) F i citim E implic F sau dac E, atunci F; E F n loc de (E F) (E F) i citim E este echivalent cu F. 3.7 Exerciiu. Scriei tabelele de adevr pentru conectorii i . Dac E i F snt propoziii, E F este adevrat dac i numai dac E i F au aceeai valoare de adevr. Insistm asupra implicaiei, . Se justific intuitiv c E F este acelai lucru cu (E) F, astfel: "E F" nseamn "dac E este adevrat, atunci F este adevrat". Altfel spus, sau E este fals (adic are loc E), sau E este adevrat i atunci automat F este adevrat (adic are loc F); pe scurt, (E) F. Este important de contientizat aceast echivalen logic, util mai ales cnd trebuie negat o implicaie (lucru care intervine frecvent, de exemplu n cazul demonstraiilor prin reducere la absurd). Astfel, faptul c E F este fals nseamn c are loc (E F) (E) F) E (F) (ipoteza este adevrat i totui concluzia este fals). Aceast interpretare este conform cu intuiia (bunul-sim). De altfel, concluziile bazate pe un calcul logic formal trebuie totdeauna interpretate intuitiv, proces absolut necesar n nelegerea unor demonstraii (sau n gsirea unor soluii la o problem dat). Ca i la partea de logic, vom scrie E F dac E F este adevrat E F dac E F este adevrat. Vom mai folosi i alte prescurtri, larg utilizate, de exemplu x y pentru (x = y) sau x y n loc de (x y).
10
11
Dac A i B snt dou mulimi, vom scrie A B (i citim A inclus n B sau A este submulime a lui B sau B include pe A) dac orice element al lui A aparine i lui B: (a) [(a A) (a B)]. n caz contrar, notm A B. Cu aceast notaie, avem: (A) (B) [ (A = B) (A B B A)]. Pe aceast proprietate se bazeaz majoritatea demonstraiilor de egalitate de mulimi. 4.2 Observaie important. Atenie la folosirea cuvintelor include i conine: - x conine pe y nseamn c y este un element al mulimii x; - x include pe y nseamn c y este o submulime a mulimii x (adic orice element al lui x este i element al lui y). Evident, sensurile snt diferite! De exemplu, o dreapt este inclus ntr-un plan, n timp ce un punct este coninut n plan. Axiomele care urmeaz snt toate de urmtorul tip: fiind date una sau mai multe mulimi, se garanteaz existena unei noi mulimi, cu anumite proprieti (construit cu ajutorul mulimilor iniiale). Cu alte cuvinte, axiomele descriu construcii permise n cadrul teoriei. Se regsete astfel motivul pentru care a fost construit teoria: evitarea paradoxurilor generate de construcii de mulimi prea mari. 4.3 Axioma mulimii prilor unei mulimi. (M) (P) ((A)(A P A M)). n cuvinte: fiind dat o mulime M, exist o mulime P astfel nct elementele lui P snt exact submulimile lui M. Mulimea P a crei existen este postulat mai sus este unic determinat de mulimea M. ntr-adevr, dac i Q satisface condiia (A (A Q A M)), atunci avem, pentru orice mulime x: x Q x M x P. Din axioma extensionalitii obinem c P = Q. Notaia tradiional pentru P este P(M) (mulimea prilor lui M). 4.4 Axioma reuniunii. Pentru orice mulime A (subneles: avnd ca elemente tot mulimi), se admite existena unei mulimi ale crei elemente snt elementele mulimilor din A, adic: (A) (U) (x) [(x U) (a) (a A x a)]. Pentru nelegerea acestei axiome, este util s privim A ca pe o familie de mulimi. Axioma de mai sus nu face dect s postuleze existena reuniunii acestei familii de mulimi. Mulimea U a crei existen este garantat de axiom este unic determinat de A (demonstrai!) i se noteaz A sau x A x sau {x | x A}. Aceast situaie evideniaz din nou futilitatea distinciei dintre element i mulime.
12
pentru !
5 6
n axiomatizarea lui Zermelo din 1908, acest rezultat era enunat ca axiom i era numit Axioma seleciei. Acest fapt este postulat de axioma infinitii, enunat mai jos. 7 Nu este litera greceasc majuscul phi, , ci un simbol matematic derivat dintr-o liter norvegian, .
13
5.4 Observaie. Putem acum defini i alte operaii cu mulimi. Astfel, pentru orice dou mulimi A i B, folosind schema de comprehensiune, exist mulimile: AB := {x A | x B} (numit intersecia lui A i B) A \ B := {x A | x B} (numit diferena lui A i B). Demonstrai c AB = BA. Artai c, n general, A \ B B \ A. Termenul de comprehensiune descrie modalitatea de a preciza o mulime prin enunarea unei proprieti pe care o au doar elementele mulimii i numai ele. S-a vzut c aceast modalitate, care a stat la baza teoriei naive a mulimilor, duce la paradoxuri; schema de comprehensiune restrnge aceast modalitate doar la posibilitatea urmtoare: pentru orice mulime dat M i orice proprietate P, exist submulimea elementelor lui M care satisfac P. 5.5 Axioma perechii.8 Fie a i b dou mulimi. Atunci exist o mulime c care are drept elemente pe a i pe b i numai pe ele. Formal: (a)(b)(c)(x) [(x c) (x = a x = b)] Din axioma de extensionalitate, mulimea c de mai sus este unic determinat de a i b (demonstrai!). Aceast mulime se noteaz {a, b} i se citete mulimea format din elementele a i b. 5.6 Observaie. Ce se ntmpl dac, n axioma de mai sus, a = b? Dat a o mulime, aplicnd axioma perechii mulimilor a i a, exist o unic mulime c care are drept element pe a i numai pe el. Formal, (a)(c)(x) [(x c) (x = a)] Aceast mulime se noteaz cu {a} i se citete mulimea format din elementul a. 5.7 Exerciiu. Fie a i b mulimi. Demonstrai c exist reuniunea lor a b (adic unica mulime cu proprietatea x[(x a b) (x a x b)]). Demonstraie. Din axioma perechii, exist {a, b}. Aplicnd axioma reuniunii mulimii {a, b}, exist o mulime U cu proprietatea c, pentru orice x, are loc (x U) (y)[(y {a, b})(x y)] Cum y {a, b} [(y = a)(y = b)], deducem c are loc, pentru orice x: (x U) (x a)(x b)]. ! 5.8 Exerciiu. Fie a, b, c mulimi. Demonstrai c exist mulimea {a, b, c}, adic unica mulime T cu x[(x T) (x = a x = b x = c)].
14
Demonstraie. Din axioma perechii, aplicat mulimilor a i b, exist {a, b}. Aplicnd aceeai axiom mulimii c, exist {c}. Din exerciiul precedent, exist {a, b}{c} =: T. Avem, pentru orice x: (x T) [(x {a, b})(x {c})], adic (x T) [x = a x = b x = c]. ! Pe lng comprehensiune, o mulime se mai poate preciza prin extensiune, adic prin enumerarea tuturor elementelor sale. Astfel, fiind date elementele x1, , xn, exist mulimea X ale crei elemente snt exact x1, , xn. Scrierea X = {x1, , xn} este o prescurtare a scrierii (x)(x X (x = x1 x = x2 x = xn)). 5.9 Definiie. Fie M o mulime. Dac A M, adic A aparine mulimii prilor lui M, P(M), definim complementara lui A (fa de M) ca fiind mulimea M \ A. Complementara lui A se noteaz !A sau !M A dac exist pericol de confuzie. Evident, !A este tot o submulime a lui M. Dac, A, B P(M), diferena simetric a mulimilor A i B este mulimea AB := (A \ B) (B \ A). 5.10 Propoziie. Pentru orice mulimi A, B, C, au loc relaiile: i) A = , A = A, A \ = A, A \ A = ; ii) AB A, AB B, A AB, B AB; iii) AB = BA, AB = BA; iv) A(BC) = (AB)C, A(BC) = (AB)C; v) A(BC) = (AB)(AC), A(BC) = (AB)(AC); vi) AA = A = AA. Demonstraie. v) A(BC) = {x A | x BC} = {x A | x B x C}. Avem deci, pentru orice x: x A(BC) x A (x B x C). ns tim de la logic formula p(qr) (pq)(pr) (distributivitatea lui fa de ). Astfel, x A (x B x C) (x A x B) (x A x C) x AB x AC x (AB) (AC). Celelalte relaii snt propuse ca exerciiu. !
Exerciii
1. Fie A, B mulimi. Scriei o expresie a limbajului formal care s semnifice c: a) Mulimea A nu este inclus n mulimea B. b) A B (folosii doar relaia de apartenen). c) A conine mcar un element. d) A conine cel mult un element. e) A este submulime a oricrei mulimi.
15
f) A este element al oricrei mulimi. g) B A. Pentru fiecare enun de mai sus, negai enunul respectiv i scriei negaia n limbaj natural i n limbaj formal. 2. Dai exemplu de mulime A cu proprietatea A i A = . Cte astfel de mulimi exist? 3. Are loc ntotdeauna A A? Dar A A? Justificai. 4. Demonstrai c, pentru orice dou mulimi A, B, are loc: A B AB = B AB = A. 5. Fie M o mulime i A, B, C P(M). Atunci au loc: a) !(AB) = (!A) (!B). b) !(AB) = (!A) (!B). c) A \ B = A !B. d) AB = BA = (AB) \ (AB). e) (AB)C = A(BC). f) A = A. g) A(BC) = (AB)(AC).
16
(a, b, c) := ((a, b), c) i, prin recuren, n-uplu, n 3 (a1, , an) := ((a1, , an1), an). Are loc: (a1, , an) = (b1, , bn) a1 = b1 an = bn. n manualele de liceu (i n multe alte cri de matematic), o funcie definit pe o mulime A cu valori ntr-o mulime B este definit (mai bine spus descris) ca fiind un procedeu (lege), prin care oricrui element din A i se asociaz un unic element din B. Intuitiv, descrierea este corect (dar vag, deoarece folosete noiunea nedefinit de procedeu (lege)); n plus, se subnelege c pentru orice funcie se poate descrie un procedeu (algoritm) de obinere a imaginii oricrui element prin funcia dat. Acest lucru nu este necesar i n matematic se ntlnesc exemple de funcii pentru care acest fapt nu are loc. Se observ ns c o funcie f : A B este perfect determinat de graficul su, adic de mulimea cuplurilor {(a, f (a)) | a A}. Aceasta este i ideea definiiei conceptului de funcie n cadrul unei tratri riguroase. ncepem cu alte dou noiuni, i ele fundamentale: 6.3 Definiie. Fie A i B mulimi. Numim produsul cartezian9 al mulimilor A i B mulimea A B := {(a, b) | a A b B}. Avem dreptul de a defini o astfel de mulime? Ar trebui s artm c ne ncadrm n schema de comprehensiune, adic s indicm o mulime a crei existen este cert, care s conin toate perechile de forma (a, b) cu a A i b B. Dar (a, b) = {{a}, {a, b}}. Observm c avem {a} P(AB) i {a, b} P(AB), deci {{a}, {a, b}} P(P(AB)). Astfel, putem defini, respectnd schema de comprehensiune: A B := {c P(P(AB)) | (a)(b)[c = (a, b) a A b B]}. Folosind produsul cartezian putem defini noiunile de relaie i de funcie: 6.4 Definiie. Fie A i B dou mulimi. a) Numim relaie binar ntre A i B (sau de la A la B) orice triplet de forma (A, B, ), unde A B. Uneori vom exprima acest fapt sub forma este o relaie ntre A i B. Dac A = B, scriem (A, ) i spunem c este o relaie pe A. Adeseori, n loc de (x, y) se scrie xy. Dac snt subnelese mulimile A i B, se spune, simplu, relaia n loc de (A, B, ). b) O relaie binar f de la A la B se numete funcie (sau aplicaie) definit pe A cu valori n B dac pentru orice a A exist un unic b B astfel nct (a, b) f. Formal: ( f AB) (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')} Deoarece pentru orice a A exist un unic b B astfel nct (a, b) f, se scrie: (*)
n onoarea lui Ren Descartes (1596-1650), al crui nume latinizat era Cartesius.
17
f(a) = b n loc de (a, b) f . Se mai spune f este o funcie (aplicaie) de la A la B i se noteaz aceasta prin f : A B sau A f B . Din punct de vedere formal, notaia f : A B nu este dect o prescurtare a expresiei (*). Mulimea A se numete domeniul funciei f ; B se numete codomeniul lui f. Orice element a din domeniul lui f se numete argument al funciei f. Dac a A i b B astfel nct f(a) = b, b se numete valoarea funciei f n a sau imaginea lui a prin f. Pentru orice mulime A, notm cu 1A sau cu idA funcia identitate a mulimii A, anume: idA : A A, idA(a) = a, a A. Dac adoptm punctul de vedere naiv: o funcie f : A B este o lege de coresponden prin care oricrui element a din A i se asociaz un unic element f(a) din B, atunci mulimea {(a, f(a)) | a A} A B se numete graficul lui f. Astfel, definiia 6.4.b) identific o funcie cu graficul ei. 6.5 Observaie. Condiia (*) se scrie, mai puin formalizat: ( f AB) i a A, b B astfel nct (a, b) f i a A, b, b' B, (a, b) f i (a, b') f implic b = b'. Observm c, n expresii, irurile de forma "(a)(a A)" se scriu adesea prescurtat "a A". Aceast convenie, larg rspndit, ascunde o capcan: o implicaie, de genul (a)[(a A) P(a)], se scrie adesea "a A, P(a)", n care implicaia nu apare explicit. Trebuie contientizat acest fapt, mai ales cnd apare necesitatea negrii unei astfel de expresii: negaia ei este (a){(a A) P(a)}, lucru care nu este clar din scrierea prescurtat (dar este destul de clar din punct de vedere intuitiv). Pentru mulimile A i B, se noteaz cu B mulimea funciilor definite pe A cu valori n B: A B := {f AB | f este funcie}. 6.6 Exerciiu. Fie A o mulime. Cte funcii : A (respectiv : A ) exist? 6.7 Definiie. Fie I o mulime (interpretat ca mulime de indici). O funcie b : I M, unde M este o mulime, se numete familie de mulimi indexat dup I. Notaii tradiionale pentru aceast noiune: (Bi)i I (unde Bi := b(i)), sau {Bi | i I}. Dac (Bi)i I este o familie de mulimi ca mai sus, reuniunea familiei (Bi)iI este reuniunea imaginii funciei b: A = iI Bi := {x M | i I astfel nct x Bi}. Intersecia familiei {Bi}iI este, prin definiie: iI Bi := {x M | i I, x Bi}. De exemplu, dac I = {1, 2}, {Bi}iI = {B1, B2}, {B1, B2} = iI Bi = B1B2; la fel, {B1, B2} = iI Bi = B1B2.
A
18
Se spune c reuniunea familiei {Bi}iI este disjunct dac {Bi}iI snt disjuncte dou cte dou: pentru orice i, j I, i j implic BiBj = . 6.8 Propoziie. Pentru orice familie de mulimi (Bi)i I i orice mulime A, au loc relaiile: i) A(iIBi) = iI(ABi) ii) A(iIBi) = iI(ABi) Demonstraie. Exerciiu. ! 6.9 Definiie. Fie f : A B o funcie. Dac C A, se definete imaginea lui C prin f ca fiind f [C] = {y B | (x)(x C f(x) = y)}. Am aplicat schema de comprehensiune. Uneori se scrie, mai puin riguros, f [C] = {f(x) | x C}. Notaia tradiional pentru imaginea lui C prin f este f(C); nu se poate folosi o astfel de notaie n teoria axiomatic a mulimilor, pentru c C poate fi simultan submulime a lui A i element al lui A (putei da exemplu de un astfel de caz?) i este foarte posibil ca f(C) (valoarea n C a lui f ) s difere de f [C] (imaginea submulimii C prin f ). Totui, astfel de situaii apar rar n matematica uzual i se scrie n majoritatea cazurilor f(C) pentru imaginea submulimii C prin funcia f. Se noteaz Im f = f [A] (imaginea mulimii A prin funcia f) i se numete imaginea funciei f. Dac D B, definim contraimaginea lui D prin f: 1 f (D) = {x A | f(x) D)}. Folosirea notaiei f nu nseamn n nici un caz c funcia f este inversabil i c f inversa lui f (vezi definiia 6.13).
1
ar fi
6.10 Propoziie. Pentru orice funcie f : A B, orice familii de mulimi (Ai)i I, cu Ai A i (Bj)i J, cu Bj B, au loc relaiile: i) f [iI Ai] = iI f [Ai]. ii) f [iI Ai] iI f [Ai]. iii) f (jJ Bj) = jJ f (Bj). 1 1 iv)) f (jJ Bj) = jJ f (Bj). Demonstraie. ii) Fie y f [iI Ai]. Avem de artat c y iI f [Ai]. Dar y f [iI Ai] nseamn c x iI Ai astfel nct f(x) = y. Pe de alt parte, y iI f [Ai] dac i numai dac, i I, xi Ai astfel nct y = f(xi). Acest lucru este adevrat, cci x iI Ai astfel nct f(x) = y. ! 6.11 Definiie. Se numete invers a unei relaii (A, B, ) relaia (B, A, 1) unde 1 = {(b, a) | (a, b) } B A. Fie relaiile (A, B, ) i (B, C, ). Relaia (A, C, ), unde
1 1
19
Definiia produsului cartezian poate fi extins la o familie de trei sau mai multe mulimi, sau, mai general, la o familie oarecare de mulimi: 6.15 Definiie. a) Fiind date mulimile A1, A2, A3 10, definim produsul lor cartezian: A1 A2 A3 := (A1 A2) A3.
10
20
Astfel, a1 A1, a2 A2, a3 A3, notm ((a1, a2), a3), mai simplu, cu (a1, a2, a3). b) Pentru orice n 3 i orice familie de n mulimi A1, A2, , An, definim (prin recuren11): A1 A2 An := (A1 A2 An 1) An. A1 A2 An se mai noteaz cu
n
Ai
i =1
21
relaie de preordine dac este reflexiv i tranzitiv; relaie de ordine dac este reflexiv, tranzitiv i antisimetric. Pentru relaii de (pre)ordine se folosesc n general notaii de tipul a b n loc de ab. relaie de ordine strict dac este ireflexiv i tranzitiv. Pentru relaii de ordine strict se folosesc n general notaii de tipul a < b n loc de ab.
7.2 Exerciiu. Exprimai definiiile de mai sus n termeni de incluziuni i compuneri de relaii (i eventual de inverse). De exemplu, este reflexiv nseamn c idA ; este 1 simetric nseamn c . Dac este o relaie de ordine pe A, scriem (A, ) i spunem c (A, ) este mulime ordonat. Dac pentru orice a, b A avem a b sau b a, atunci (A, ) se numete mulime total ordonat (sau lan) i relaia se numete relaie de ordine total. Uneori, pentru a sublinia c o anumit relaie de ordine nu este total, se spune relaie de ordine parial. n loc de a b se scrie i b a. Se observ c, dac este o relaie de ordine pe A, atunci este tot o relaie de ordine. 7.3 Observaie. Dac este o relaie de ordine pe A, atunci relaia < pe A, definit prin: x < y (x y x y) este o relaie de ordine strict pe A. Reciproc, dac < este o ordine strict pe A, atunci, definind x y (x < y x = y) se obine o relaie de ordine pe A. Verificai! Aadar, exist o bijecie ntre relaiile de ordine pe A i relaiile de ordine strict pe A. De aceea, orice definiie sau rezultat aplicabil unei relaii de ordine se aplic i relaiei de ordine strict asociate (i reciproc). 7.4 Definiie. Fie (A, ) o mulime ordonat i B o submulime a lui A. Un element m A se numete minorant al lui B dac m b, b B. Un element M A se numete majorant al lui B dac b M, b B. Submulimea B se numete minorat (resp. majorat) dac are un minorant (resp. majorant). Dac B conine un minorant m pentru B, spunem c m este cel mai mic element (sau primul element) al lui B. Dac B conine un majorant M pentru B, M se numete cel mai mare element (sau ultimul element) al lui B.
Dac B are un prim element m B, acesta este unic: m' B, avem m m' (m este prim element) i m' m, deci m = m' din antisimetrie. La fel, ultimul element al lui B este unic (dac exist). Ca exerciiu, exprimai definiiile i proprietile de mai sus (date pentru relaii de ordine) pentru relaii de ordine strict.
7.5 Exemplu. Relaia de divizibilitate "|" pe N, dat de: a, b N (a|b c N astfel nct b = ac)
22
este o relaie de ordine, care nu este total (nu are loc nici 2|3, nici 3|2); 0 este ultimul element al lui (N, |) i 1 este primul element al lui (N, |). Relaia uzual de ordine "" pe N este total, 0 este primul element al lui (N, ); nu exist ultimul element al lui (N, ). O mulime (A, ) cu proprietatea c orice submulime nevid B a lui A are un prim element se numete mulime bine ordonat (caz n care relaia pe A se numete relaie de bun ordine). Mulimile bine ordonate snt foarte importante: pe o mulime bine ordonat se poate aplica un raionament prin inducie. Orice mulime bine ordonat este total ordonat (demonstrai!). 7.6 Definiie. Un element m al unei mulimi ordonate (A, ) se numete element maximal al lui A dac, b A cu m b rezult m = b. Un element m se numete element minimal al lui A dac, b A cu b m rezult m = b. De exemplu, n mulimea ordonat N \ {0, 1} cu divizibilitatea, 2 este element minimal. Care snt toate elementele sale minimale? Aceast mulime nu are elemente maximale (de ce?). 7.7 Definiie. Fie (A, ) o mulime ordonat i B o submulime a sa. Fie Maj(B) mulimea majoranilor lui B. Dac exist cel mai mic element al lui Maj(B), acest element se numete supremumul (sau marginea superioar a) lui B i se noteaz sup B. Dac exist sup B = c, atunci c este cel mai mic majorant al lui B, adic satisface condiiile: - b B, b c (c este majorant al lui B). - c' A astfel nct b B, b c', rezult c c' (c este mai mic dect orice alt majorant c' al lui B). Dual (considernd relaia de ordine ) se obine noiunea de infimum (sau margine inferioar) al submulimii B a lui (A, ), notat (dac exist!) cu inf B. O mulime ordonat (A, ) cu proprietatea c orice submulime cu dou elemente a sa are supremum i infimum se numete latice. Dac orice submulime a lui A are sup i inf, A se numete latice complet. 7.8 Exemple. a) Pentru o mulime nevid oarecare M, mulimea P(M) a prilor lui M este ordonat de relaia de incluziune. Pentru orice A, B P(M), exist sup{A, B} = AB i inf{A, B} = AB. (P(M), ) este chiar o latice complet. b) (N, |) este o latice. Date numerele naturale a, b, cine este inf {a, b} i sup {a, b}? c) n mulimea numerelor reale R, ordonat cu ordinea uzual, orice submulime nevid majorat are supremum (aceasta este o proprietate fundamental a lui R, esenial n Analiz). d) Nu orice submulime nevid majorat a lui Q are supremum. ntr-adevr, mulimea 2 A = {x Q | x < 2} este majorat (de exemplu de 2) i nu are supremum. Intuitiv, sup A exist n R i este 2 , care nu este numr raional (deci nu exist sup A n Q). Pentru o demonstraie riguroas, se poate proceda astfel. Mai nti se arat c 2 Q. Apoi, dac ar 2 2 2 exista r Q, r = sup A, avem dou posibiliti: ori r < 2, ori r > 2 (cci r = 2 este
23
imposibil). Dac r < 2, atunci se gsete un numr raional r1 astfel nct r < r1 i r1 < 2, ceea 2 ce contrazice faptul c r = sup A (r1 A i r < r1). Analog, dac r > 2, se gsete un numr 2 raional r2 astfel nct 0 < r2 < r i r2 > 2, ceea ce contrazice faptul c r este sup A (am gsit un majorant r2 pentru A cu r2 < r).
Exerciii
1. Fie A, B, C, D mulimi. Artai c (AB)C = (AC)(BC) i c (AB)(CD) = (AC)(AB)(BD). 2. Dac (A, B, ) i (B, C, ) snt relaii, atunci () = . 3. Fie (A, ) o relaie pe mulimea A. Ce nseamn c: 1 1 1 a) idA ; b) ; c) ; d) = AA; e) idA; f) idA = . 4. Fie A, B mulimi finite, cu m elemente, respectiv n elemente. a) Cte elemente are AB? b) Cte relaii binare de la A la B exist? c) Cte funcii definite pe A cu valori n B exist? d) Cte funcii injective definite pe A cu valori n B exist? 5. Fie A, B, C mulimi. Artai c exist o funcie bijectiv ntre mulimile: a) AB i BA; b) (AB)C i A(BC); BC B C c) (A) i (A ) ; C C C d) (AB) i A B . B C B C e) A i A A , dac BC = . 6. Fie f : A B o funcie. S se arate c: a) f este injectiv C, D A, are loc f [CD] = f [C] f [D]. b) C A, are loc f [C] = C = . 7. Fie f : A B o funcie. Definim: f: P(A) P(B), f(C) = f[C] (imaginea submulimii C 1 prin f), C P(A); f : P(B) P(A), f (D) = f (D), D P(B). S se arate c urmtoarele afimaii snt echivalente: a) f este surjectiv. b) f este injectiv. c) f este surjectiv. d) !f [X] f [!X], X P(A). 8. Cu aceleai notaii ca n exerciiul precedent, s se arate c urmtoarele afimaii snt echivalente:
1 1 1
24
ntruct este vorba de o teorie axiomatic, funcia succesor nu este a priori o funcie n sensul teoriei mulimilor (ci este o noiune primar); este adevrat ns c n modelul pe care l construim, rolul funciei succesor va fi jucat de o funcie n sens uzual.
25
Aceste aspecte fiind ns destul de cunoscute (vezi de ex. BECHEANU et al. [1983]), nu insistm n aceast direcie. Vom arta, n schimb, c se poate modela sistemul axiomatic de mai sus n cadrul teoriei mulimilor, dac mai introducem o axiom (de fapt, acest model se expune n general, cnd se vorbete de axiomatica Peano). Mai precis, vom construi o mulime + N, un element 0 N i o funcie (n sens uzual) s : N N, s(n) = n , care s satisfac axiomele de mai sus. Instrumentele oferite pn acum de axiomele teoriei mulimilor permit considerarea urmtorului ir de mulimi: ; {}; {, {}}; {, {}, {, {}}}; (1) Se observ c, pentru fiecare termen x al irului, urmtorul termen este x {x}. Primul termen are 0 elemente, al doilea are 1 element .a.m.d. Ar fi tentant s considerm drept mulime a numerelor naturale mulimea tuturor termenilor acestui ir, s joace rolul lui 0, iar funcia succesor s fie s(x) = x {x}. Apar dou probleme: definirea riguroas a mulimii tuturor termenilor irului (1) i garantarea existenei unei astfel de mulimi. Faptul c exist o mulime care conine toi termenii irului (1) este asigurat de o nou axiom: 8.1 Axioma infinitii. (M) [ M (y)(y M y {y} M)]. Intuitiv, este clar c axioma de mai sus garanteaz existena unei mulimi M care conine toate mulimile irului (1); aceasta nu nseamn c M conine doar aceste mulimi. n teoria axiomatic a mulimilor, se adopt urmtoarea strategie: se definete riguros clasa mulimilor din irul (1) (aceasta va fi clasa ordinalelor finite); atunci mulimea N a numerelor naturale va fi obinut prin comprehensiune, ca fiind mulimea acelor elemente din M (dat de axioma infinitii) care snt n plus ordinale finite. Apoi se demonstreaz c toate aceste obiecte satisfac axiomele Dedekind-Peano. Nu intrm n detaliile acestei abordri (vezi SCORPAN [1995]). Este deosebit de important urmtoarea teorem, care st la baza raionamentelor prin inducie: 8.2 Teorem. Mulimea numerelor naturale N este bine ordonat n raport cu relaia de ordine uzual. Altfel spus, orice submulime nevid a lui N are un prim element. Nu demonstrm acest enun (pentru c nu am construit riguros N ). Considerm utile cteva remarci i rezultate privind tehnica de demonstraie prin inducie. Mai nti dm un rezultat denumit uneori ca o variant a principiului de inducie: 8.3 Propoziie. 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 adevrat. Atunci P(n) este adevrat pentru orice numr natural n. Mai precis, are loc (subnelegem c toate variabilele snt n N):
26
{n[(k (k < n P(k)) P(n)]} (m)(P(m)). Demonstraie. Mai nti observm c, n condiiile din enun, P(0) este adevrat. ntr-adevr, pentru n = 0 are loc implicaia: [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 este adevrat dac p este fals!). Deci P(0) adevrat. 13 Presupunem prin absurd c exist n N astfel nct P(n) s fie fals. Atunci mulimea nevid {n N | P(n) fals} are un prim element a. Deci P(k) este adevrat, k < a, din modul de alegere a lui a. Cum are loc implicaia (k(k < a P(k)) P(a), rezult c P(a) este adevrat, absurd. ! Este remarcabil faptul c acest rezultat are loc n orice mulime bine ordonat. Propunem cititorului s reia ideea demonstraiei de mai sus pentru a arta : 8.4 Propoziie. Fie (A, ) o mulime bine ordonat i fie P(x) un predicat cu proprietatea c, pentru orice n A, dac P(k) este adevrat pentru orice k < n, k A, rezult c P(n) adevrat. Atunci P(n) adevrat pentru orice n A. Mai precis, are loc (subnelegem c
13
Aadar, nu are rost s se arate c P(0) este adevrat cnd se folosete acest raionament prin inducie!
27
Unicitatea: presupunem c a = bq + r = bt + s, cu r < b i s < b. Pentru a face o alegere, fie q t, adic q t 0. Atunci b(q t) = s r. Cum s < b, rezult c s r < b. Astfel, b(q t) < b, de unde obinem q t = 0 i s r = 0. !
Teorema mpririi cu rest este de o importan covritoare n matematic. O prim aplicaie a ei este reprezentarea numerelor naturale ntr-o baz dat (vezi Exerciii).
14 15
n plus, se poate arta c orice enun despre mulimi, demonstrabil n GB, este demonstrabil n ZFS. Aceast interpretare pentru clase a fost prezentat de W. Quine n 1963.
28
Reciproc, spunem c o clas P(x) corespunde unei mulimi M dac are loc x (P(x) x M): obiectele care satisfac P snt exact elementele lui M. Uneori spunem n acest caz chiar c P este o mulime. n acest sens, clasa tuturor mulimilor nu corespunde unei mulimi. Demonstraia a fost dat chiar la nceputul acestui paragraf! Se pot defini i operaii cu clase, prin analogie cu cele de la mulimi. Astfel, dac P(x) i Q(x) snt clase, definim reuniunea claselor P i Q ca fiind clasa P(x) Q(x); intersecia lor este clasa P(x) Q(x). Cum s-ar defini diferena lor? Dar faptul c clasa P este inclus n clasa Q? n aceast terminologie, schema de comprehensiune nu spune altceva dect c intersecia dintre o clas i o mulime este o mulime. Apare acum destul de clar c exprimri de genul mulimea tuturor grupurilor nu snt legitime, o exprimare corect fiind clasa tuturor grupurilor. Noiunea de clas este esenial n teoria categoriilor. Axioma alegerii Axioma alegerii (AC) este o nou axiom care joac un rol deosebit n matematic, datorit faptului c, pe de o parte, are un enun aparent evident; pe de alt parte, are un caracter neconstructiv care i-a atras multe critici. Exist multe enunuri echivalente cu aceast axiom. n formularea lui Zermelo, AC se enun: Pentru orice mulime A n care elementele snt disjuncte dou cte dou 17, exist o mulime care conine exact cte un element din fiecare mulime nevid din A : (A)[(x)(y)(x A y A x y) xy = ] (c)[(x)(x A x ) (z)(cx = {z}]. Altfel spus, putem alege cte un element din fiecare mulime nevid din A i forma cu ele o nou mulime. Controversele privind aceast axiom provin i din faptul c unii matematicieni consider c existena unei astfel de mulimi implic i existena unui procedeu de alegere a unui element dintr-o mulime nevid. n 1963 s-a demonstrat c AC nu poate fi dedus din ZF. n majoritatea matematicilor contemporane, AC este acceptat alturi de ZF, n sistemul numit ZFC. Exist numeroase enunuri echivalente cu Axioma Alegerii. Iat cteva: Principiul bunei ordonri (Zermelo 1904). Orice mulime nevid A poate fi bine ordonat (exist o relaie de bun ordine pe A). Produsul cartezian al unei familii de mulimi nevide este nevid.
16
16 17
Acronimul expresiei Axiom of Choice. Reamintim c elementele lui A snt tot mulimi.
29
Pentru orice mulime a, exist o funcie de alegere f : a a (adic f are proprietatea c, x a, x f(x) x). 18 Pentru orice funcie surjectiv : E F exist : F E astfel nct = idF. Lema lui Zorn. Fie (A, ) o mulime ordonat nevid n care orice submulime total ordonat este majorat (mulime inductiv ordonat). Atunci exist un element maximal al lui A.
Lema lui Zorn este folosit n Algebr n demonstrarea unor teoreme importante: existena unei baze ntr-un spaiu vectorial oarecare, existena idealelor maximale ntr-un inel, existena nchiderii algebrice a unui corp comutativ. Cardinali n continuare prezentm cteva noiuni de teoria cardinalilor. Pentru o tratare mai n detaliu, vezi MIRON, NSTSESCU [1974], SCORPAN. 9.6 Definiie. Fie A i B dou mulimi. Spunem c A i B snt echipotente (sau c snt cardinal echivalente, sau c au acelai cardinal) dac exist o bijecie f : A B. Scriem atunci A B sau | A | = | B |. Pentru orice mulimi A, B, C, au loc: a) A A (reflexivitate); b) Dac A B, atunci B A (simetrie); c) Dac A B i B C, atunci A C (tranzitivitate). Astfel, putem spune c relaia de echipoten " " este o relaie de echivalen pe clasa mulimilor. Clasa19 tuturor mulimilor echipotente cu o mulime dat A se numete cardinalul mulimii A i se noteaz card A sau | A |. Spunem c A este o mulime finit cu n elemente (n N) dac A {1, , n} i atunci notm | A | = |{1, , n}| =: n. O mulime care nu este finit se numete infinit. Se poate demonstra c: mulimea A este infinit exist o funcie injectiv : A A care nu este surjectiv exist o funcie injectiv : N A. Dac | A | = | N |, spunem c A este o mulime numrabil. Se introduce o relaie de ordine ntre cardinali: spunem c | A | | B | dac exist o funcie injectiv : A B. Definiia este corect: dac A A', B B' i exist o funcie injectiv : A B, atunci exist o exist o funcie injectiv ' : A' B' (demonstrai!). Observm c | A | | B | dac: exist o funcie injectiv : A B, dar | A | | B |, adic nu exist funcii bijective (mai precis surjective) de la A la B. Se verific imediat c, pentru orice mulimi A, B, C are loc:
18 19
Altfel spus, funcia f "alege" cte un element f(x) din fiecare mulime nevid x a. Nu putem vorbi de "mulimea tuturor mulimilor echipotente cu A".
30
a) | A | | A | (reflexivitate); b) | A | | B | i | B | | C | implic | A | | C | (tranzitivitate); Are loc urmtoarea teorem important, care arat c este i antisimetric (deci are ntr-adevr aceleai proprieti ca o relaie de ordine). 9.7 Teorem. (Cantor-Schrder-Bernstein) Fie A i B dou mulimi. Dac | A | | B | i | B | | A |, atunci | A | = | B |. Demonstraie. Idee: s gsim D A astfel nct A \ D Img i : A B, dat de: f (a ) dac a D (a ) = 1 g (a ) dac a D
s fie o bijecie (facei un desen!). Trebuie s avem atunci A \ D = g(B \ f(D)), adic D = A \ g(B \ f(D)). Pentru a gsi D ca mai sus, definim : P(A) P(A), (E) := A \ g(B \ f(E)), E P(A). Noi cutm un D cu (D) = D. Se arat uor c este cresctoare: dac E F, atunci (E) (F). Definim M := {E A | E (E)}. Evident, M este nevid cci, de exemplu, M. Fie D := M (scris i {E | E M}). S artm c (D) = D. Avem (D) = ({E | E M}) = {(E) | E M} {E | E M} = D. Deci D (D). Aplicnd acestei incluziuni, obinem (D) ((D)) adic (D) M. De aici, D = {E | E M} (D). Astfel, (D) = D. ! Lsm cititorului verificarea faptului c este bijecie. Relaia de ordine este i total (demonstraia face apel la Axioma Alegerii):
9.8 Teorem. Oricare ar fi dou mulimi A, B, are loc | A | | B | sau | B | | A |. Aceast ultim proprietate este chiar echivalent cu Axioma Alegerii. Axiomatica ZFS !
Sistemul axiomatic ZFS (Zermelo-Fraenkel-Skolem) propriu-zis conine 4 axiome i o schem de axiome: axioma extensionalitii, axioma reuniunii, axioma mulimii prilor, axioma-schem a substituiei i axioma infinitii. Fa de prezentarea adoptat de noi, n sistemul axiomatic ZFS diferena este c axioma-schem de comprehensiune i axioma perechii snt nlocuite de un enun mai puternic, anume de Axioma-schem a substituiei. Pentru enunarea acestei axiome avem nevoie de o definiie.
9.1 Definiie. O expresie E(x, y) cu exact dou variabile libere x i y se numete relaie funcional dac pentru orice x exist cel mult un y astfel nct E(x, y) s fie adevrat:
(x)(y)(z) ((E(x, y) E(x, z)) y = z). Intuitiv, putem privi o relaie funcional ca pe o funcie parial definit pe clasa mulimilor: pentru anumii x exist un unic y astfel nct E(x, y) s aib loc; se noteaz uneori
31
~ chiar funcional, y = E (x) n loc de E(x, y). Observm c nu este neaprat adevrat c (x)(y)E(x, y) (pentru orice x s existe un y astfel nct E(x, y)).
n termeni mai puin formali, axioma-schem a substituiei afirm c: Pentru orice relaie funcional E(x, y) i pentru orice mulime a, exist imaginea prin E a mulimii a. Evident, trebuie s definim riguros conceptul de imagine a unei mulimi printr-o relaie funcional.
9.2 Definiie. Spunem c mulimea b este imaginea mulimii a prin relaia funcional ~ E(x, y) dac elementele lui b snt de forma E (x), cu x a, adic:
(a)(b)(y)[y b (x)(x a E(x, y))]. n cuvinte: Pentru orice relaie funcional E(x, y) i pentru orice mulime a, exist imaginea prin E a mulimii a. Subliniem din nou c se obine cte o axiom pentru fiecare alegere a unei relaii funcionale E. Nu se pot condensa toate aceste enunuri ntr-unul singur, de tipul (E relaie funcional)(a)(b)(y)[y b (x)(x a E(x, y))], deoarece acesta nu este o expresie a limbajului formal (vezi definiia expresiilor limbajului formal): E nu denumete un obiect legitim (o mulime), ci o expresie. Folosind axioma extensionalitii, se demonstreaz imediat c imaginea unei mulimi printr-o relaie funcional este unic determinat (mulimea b a crei existen este garantat de axioma schem a substituiei este unic determinat de E i a). Axioma-schem a comprehensiunii (a seleciei, a specificrii) este n acest cadru o teorem, consecin a axiomei-schem a substituiei:
9.3 Teorem (Schema de comprehensiune). Pentru orice mulime A i pentru orice expresie cu o variabil liber P(x), exist submulimea elementelor din A pentru care P este adevrat. Formal, (A)(B)(x)[x B (x A P(x))].20 Demonstraie. Pentru demonstraie, cutm o relaie funcional i aplicm axioma-schem a substituiei. Fie expresia E(x,y) : "(x = y) P(y)". Afirmm c E este o relaie funcional. ntr-adevr, fie x, y, z cu E(x,y) i E(x,z) adevrate. Atunci x = y i x = z, deci y = z. Conform axiomei-schem a substituiei, pentru mulimea A exist o mulime B astfel nct:
(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 y B (y A ! P(y)), ceea ce trebuia demonstrat.
20
n axiomatizarea lui Zermelo din 1908, acest rezultat era enunat ca axiom i era numit Axioma seleciei.
32
(a)(b)(c)(x) [(x c) (x = a x = b)] Mulimea c de mai sus este unic determinat de a i b i se noteaz {a, b}. Demonstraie. Ideea este de a construi o mulime cu dou elemente D i de a obine {a, b} ca imaginea lui D printr-o relaie funcional bine aleas, aplicnd axioma substituiei. tim c exist mulimea vid . Construim (cu axioma mulimii prilor) mulimea 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 mulimi incluse n {} snt i {}, deci P({})} = {, {}} are dou elemente (cum am dorit). Fie E(x, y): "(x = y = a) (x = {} y = b)" (verificai c este o relaie funcional). Imaginea prin E a lui P({}) este chiar mulimea cutat c. ! Unicitatea lui c rezult din axioma extensionalitii.
9.5 Observaie. O expresie cu exact dou variabile libere se numete relaie. Pentru orice relaie R(x, y) putem defini "domeniul" DR i "imaginea" IR ca fiind clasele:
DR(x): "(y)R(x, y)" IR(y): "(x)R(x, y)" Demonstrai c, dac clasele DR i IR snt mulimi, atunci relaiei R(x, y) i se asociaz o relaie ntre DR i IR (n sensul definiiei 6.4.a), := {(x, y) DR IR | R(x, y) adevrat}. Mai mult, aceast relaie este funcie (n sensul definiiei 6.4.b) dac i numai dac R este relaie funcional. Invers, unei funcii f : A B i se asociaz o relaie funcional F(x, y) : "x A y = f(x)". Demonstrai c, dac R este relaie funcional i DR este mulime, atunci IR este mulime. Reciproca este adevrat?
Consisten, independen, modele
Este de dorit ca orice teorie axiomatic (deci i ZFS) s satisfac urmtoarele proprieti: Consistena (sau necontradictorietatea) teoriei: din axiomele teoriei nu se poate deduce simultan o propoziie i negaia ei (adic nu se poate obine o contradicie). O teorie care nu este consistent nu are nici o valoare tiinific: dac exist o propoziie p astfel nct p i p snt adevrate, atunci orice propoziie q este adevrat (ceea ce elimin orice interes n stabilirea adevrului unei propoziii). ntr-adevr, este clar c, dac p i p q snt adevrate, atunci q este adevrat. ns p e adevrat din ipotez, iar p q este p q, adevrat cci p este adevrat.
33
Independena axiomelor: nici o axiom nu este o consecin a celorlalte. O teorie n care axiomele nu snt independente nu este ns lipsit de interes (poate fi, cel mult, acuzat de redundan).
Problemele stabilirii consistenei i independenei unui sistem axiomatic snt dificile i profunde. Strns legat de problema consistenei este modelarea unui sistem axiomatic. Se numete model al unei teorii axiomatice o structur de obiecte 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 un model. Se observ c, n exemplele de mai sus, modelele teoriilor snt obiecte construite n cadrul teoriei (axiomatice) a mulimilor (care este mai larg dect teoriile respective). O teorem a lui Gdel afirm, ntr-o exprimare neriguroas, c un model pentru o teorie axiomatic poate fi construit doar ntr-o teorie mai larg. Aadar, un eventual model pentru ZF (care i-ar demonstra consistena) nu ar putea fi construit dect ntr-o teorie mai larg. ns ZF este suficient de cuprinztoare pentru a putea servi drept fundament al ntregii matematici; pe de alt parte, verificarea consistenei unei ipotetice teorii mai largi revine la construcia unei teorii i mai largi .a.m.d. Se vede c aceast cale nu conduce la o demonstraie a consistenei teoriei ZF. Se poate doar presupune c teoria ZF nu conduce la apariia de contradicii (de fapt, am vzut c a fost creat tocmai pentru a elimina contradiciile aprute n teoria naiv a mulimilor). n acest sens, este gritor urmtorul citat din MANIN [1977], p. 102:
Problema consistenei formale a axiomelor Zermelo-Fraenkel trebuie s rmn o chestiune de credin, cu excepia cazului cnd o eventual inconsisten formal este demonstrat. Pn acum toate demonstraiile bazate pe aceste axiome nu au dus niciodat la o contradicie; dimpotriv, au deschis n faa noastr bogata lume a matematicilor clasice i moderne. Aceast lume are o anumit realitate i o via proprii, care depind n mic msur de formalismele alese pentru a le descrie. O descoperire a unei contradicii n oricare din diversele formalisme, chiar dac ar aprea, ar servi doar la clarificarea, rafinarea i poate reconstrucia unor anumite idei, dar nu ar conduce la falimentul lor, cum s-a ntmplat de mai multe ori n trecut.
Independena axiomelor are i ea legtur cu consistena. S exemplificm aceasta pe cazul unei noi axiome, axioma fundrii.
Axioma fundrii (AF). Orice mulime nevid conine un element de care este disjunct: (a)[a (b)(b a ba = )]. Acest enun implic: Nici o mulime nu este element al ei nsi. ntr-adevr, dac avem o mulime x astfel nct x x, atunci {x} contrazice axioma fundrii: singurul element al lui {x} este x i avem xx nevid, cci conine pe x. Mai mult, nu exist lanuri de mulimi de forma x0 x1 x2 xn x0. Dac ar exista un asemenea lan, atunci mulimea {x0, x1, , xn} contrazice AF (de ce?). La fel, nu poate exista un ir (xn)n astfel nct
34
xn + 1 xn, n . AF i datoreaz numele faptului c, pentru orice mulime x, orice lan de forma x ! x0 ! x1 ! ! xn ! este finit i se termin cu : n astfel nct x ! x0 ! x1 ! ! xn ! , adic orice ir descresctor (fa de relaia ) este finit i fundat pe .21
S-a demonstrat c, dac acceptm c ZF este consistent, atunci ZF + AF (sistemul ZF la care se adaug AF) nu conduce la contradicii. Aceast probare a consistenei relative a AF s-a realizat prin construirea unui model (n cadrul ZF) care satisface ZF + AF. n plus, s-a construit un alt model (tot n cadrul ZF) care satisface ZF i negaia AF. Din aceste dou rezultate se vede c AF este independent de ZF (nu poate fi dedus din axiomele ZF). Un alt rezultat n aceast direcie este demonstrarea independenei axiomei infinitii fa de restul axiomelor ZF, printr-un procedeu asemntor n principiu cu cel de mai sus.
Exerciii
1. Artai c, pentru orice mulime A, are loc |A| < | P(A) |. (Ind. Artm c orice funcie f : A P(A) nu este surjectiv. Fie B = {x A | x f (x)}. Atunci B nu este n imaginea lui f.) 2. Artai c: a) | Z | = |N| b) | NN | = |N|. (Ind. Demonstraia revine la a aranja perechile de forma (a, b), cu a, b N, ntr-un ir. O posibilitate este dat de irul: (0,0), (0,1), (1,0), (0,2), (1,1), (2,0), . Deducei o formul general pentru locul n ir al lui (a, b) i definii cu ajutorul ei o funcie bijectiv de la NN la N.) c) |Q| = |N|. d) |R| > |N|. 3. Axioma infinitii face referire la mulimea vid , a crei existen rezult din existena
mcar a unei mulimi. Dar acest lucru este asigurat de axioma infinitii. Cum se poate iei din acest (aparent) cerc vicios?
4. (Reprezentarea unui numr n baza b) Fie b un numr natural nenul fixat (numit baz de * numeraie). Demonstrai c, a N, exist i snt unice n N i c0, , cn 1 {0, 1, , b 1}, astfel nct
a = cn 1b
n1
+ + c1b + c0
(R)
Astfel, ntregul univers descris de ZF i AF este "creat" pornind de la (universul "von Neumann", vezi MANIN [1977], p. 95-102).
21
35
n cazul n care are loc egalitatea (R) de mai sus, se mai scrie a = cn 1c1c0, scriere numit reprezentarea lui a n baza b. Numerele naturale 0, 1, , b 1 se numesc cifre22 n baza b (pentru scrierea concret se dau b simboluri care reprezint aceste cifre i nu se folosete bara superioar, scris aici pentru a evita confuzia cu produsul cn 1c1c0). Uneori, n notaie, se mai specific baza b, ca indice. De exemplu, 1057 = 5410. (Ind. Din teorema mpririi cu rest aplicat lui a i b, ! q, r N astfel nct a = bq + r. Se pune c0 = r i se repet procedeul pentru q sau, mai riguros, se aplic o inducie dup a. Pentru unicitate, se observ c c0 este restul mpririi lui a la b i se aplic o inducie dup cel mai mic numr de cifre dintr-o reprezentare a lui a n baza b). 5. Reprezentai n baza 10 numerele 10112, 12123. Scriei n bazele 2, 7, 16, numerele 12910,
115210.
A se remarca distincia ntre numr i cifr (ntr-o baz fixat). De exemplu, cifrele n baza 16 (sistem hexadecimal) snt 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F, unde A l reprezint pe 10 (scris n baza zece), B pe 11 etc.
22
Index
A D
apartenen, 6 aplicaie, 16 argument, 17 axioma alegerii, 28 extensionalitii, 10 fundrii, 33 induciei, 24 infinitii, 25 mulimii prilor, 11 reuniunii, 11 axioma perechii, 13 axioma-schem a substituiei, 30, 31 axiome, 4, 10 axiomele Dedekind-Peano, 24
C
cardinal, 29 clas, 27 codomeniul unei funcii, 17 complementara, 14 compunerea a dou relaii, 19 conectori, 6 conjuncia, 6 constant, 6 contraimagine, 18 cuantificatori, 6 cuantori, 6 cuplu, 15
familie de mulimi, 17 funcia identic, 17 funcie, 16 bijectiv, 19 identitate, 19 injectiv, 19 inversabil, 19 surjectiv, 19
G
37
intersecie, 13 a unei familii, 17 inversa unei relaii, 18 inversa unei funcii, 19
L P
pereche ordonat, 15 predicat, 7 primul element, 21 Principiul bunei ordonri, 28 produs cartezian, 16 propoziie, 7
R
majorant, 21 majorat (submulime), 21 maximal (element), 22 minorant, 21 minorat (submulime), 21 model, 33 mulime, 3 bine ordonat, 22 finit, 29 inductiv ordonat, 29 infinit, 29 numrabil, 29 ordonat, 21 total ordonat, 21 mulimea vid, 12 mulimi cardinal echivalente, 29 echipotente, 29
N
relaie antisimetric, 20 de bun ordine, 22 de echivalen, 20 de ordine, 21 de ordine strict, 21 de ordine total, 21 de preordine, 21 ireflexiv, 20 reflexiv, 20 simetric, 20 tranzitiv, 20 relaie (clas), 32 relaie binar, 16 relaie funcional, 30 reprezentarea unui numr ntr-o baz, 35 reuniune a unei familii, 17 disjunct, 18
S
teorema perechii, 32
38
U
ultimul element, 21
V
Zermelo, 3 ZFS, 4, 10
Bibliografie
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. BECHEANU, M. et al. [1983], Algebr pentru perfecionarea profesorilor, Ed. didactic i pedagogic, Bucureti. BLOCH, E.D. [2000], Proofs and fundamentals; a first course in mathematics, Birkhuser, Boston, 2000. FREUDENTHAL, H. [1973], Limbajul logicii matematice, Ed. Tehnic, Bucureti. ION, I.D., RADU, N. [1981a] Algebra, Ed. Didactic i pedagogic, Bucureti. ION, I.D., RADU, N., NI, C., POPESCU, D. [1981b] Probleme de algebr, Ed. Didactic i pedagogic, Bucureti. LAVROV, I.A., MAKSIMOVA, L.L., Probleme de teoria mulimilor i logic matematic, Ed. Tehnic, Bucureti 1974. MANIN, YU. I. [1977], A Course in Mathematical Logic, Springer Verlag, New York. NSTSESCU, C. [1974] Introducere n teoria mulimilor, Ed. Didactic i pedagogic, Bucureti. NSTSESCU, C. [1983] Teoria dimensiunii n algebra necomutativ, Ed. Academiei R.S.R., Bucureti. NI, C., SPIRCU, T. [1974] Probleme de structuri algebrice, Ed. Tehnic, Bucureti. REGHI, M. [1981] Elemente de teoria mulimilor i logic matematic, Ed. Facla, Timioara. SCORPAN, A. [1996] Introducere n teoria axiomatic a mulimilor, Ed. Universitii Bucureti, Bucureti.