Sunteți pe pagina 1din 39

Partea a II-a Elemente de teoria mulimilor i aplicaii

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

Index ................................................................................................................................... 36 Bibliografie......................................................................................................................... 39

I. Logic, mulimi, axiome

I.1. Mulimi, teorie naiv. Paradoxuri i necesitatea axiomatizrii


Teoria modern a mulimilor ncepe odat cu lucrarea Teoria raional a infinitii a lui Georg Cantor1, n care se manevreaz liber mulimile infinite i se dezvolt o tehnic de msurare a lor (teoria cardinalelor). Pn la Cantor, matematicienii adoptau punctul de vedere al filozofilor Greciei antice: exist noiunea de infinit actual (o infinitate de obiecte concepute ca existnd simultan) i cea de infinit potenial (o mulime sau o mrime finit, dar care se poate mri orict de mult). Filozoful Zenon, prin faimoasele sale aporii (paradoxuri) a atras atenia asupra consecinelor absurde care par s apar introducnd infinitul actual n raionamente. Se considera de aceea c infinitul actual nu este accesibil intuiiei i doar infinitul potenial poate fi folosit n gndirea matematic. Cantor are meritul de a fi spart aceast barier mental i de a fi ncercat s numere infinitul. El a avut ideea de a compara mulimile (finite sau nu) cu ajutorul funciilor bijective: dou mulimi snt la fel de mari (echipotente) dac exist o bijecie ntre ele. Cantor a obinut rezultate precum: N este echipotent cu Q i cu mulimea numerelor algebrice (numerele complexe care snt rdcini ale unui polinom nenul cu coeficieni raionali). Deja aceste afirmaii nu snt n acord cu percepia obinuit i arat c uneori partea este la fel de mare ca i ntregul. A mai artat c N nu este echipotent cu R i c, n general, o mulime A nu este echipotent cu mulimea prilor sale P(A). Exist, deci, mai multe tipuri de infinitate. Alte rezultate contrazic i mai mult simul comun: exist tot attea puncte pe un segment cte snt pe o dreapt sau n ntregul plan (sau chiar n ntregul spaiu)! Astfel, n cazul mulimilor infinite poate fi contrazis principiul partea este mai mic dect ntregul: exist cazuri cnd partea este la fel de mare ca ntregul.

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

I.1. Mulimi, teorie naiv. Paradoxuri i necesitatea axiomatizrii

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.

I. Logic, mulimi, axiome

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.

I.2. Principiile axiomaticii Zermelo-Fraenkel


n teoria axiomatic a mulimilor (axiomatizarea Zermelo-Fraenkel-Skolem, acceptat n cvasitotalitatea matematicii moderne) toate obiectele snt mulimi. Altfel spus, nu se face distincie ntre conceptele element i mulime. Acest punct de vedere este firesc, dac ne gndim c o mulime poate fi element al altei mulimi; n plus, o teorie axiomatic trebuie s porneasc de la un minim de noiuni primare i distincia ntre element i mulime ar complica lucrurile inutil. Prezentm cteva elemente din teoria axiomatic Zermelo-Fraenkel-Skolem (ZFS) a mulimilor. Pentru o tratare mai detaliat, incluznd multe teme interesante (ordinali, cardinali, axioma alegerii etc.), vezi SCORPAN [1996]. Nu putem defini un obiect fr a face referire la alte obiecte, presupuse cunoscute. Aceste obiecte cunoscute trebuie la rndul lor definite Se vede c acest proces nu poate continua la infinit. Aadar, trebuie s considerm n cele din urm noiuni care nu se definesc (noiuni primare); orice alte obiecte vor fi definite pornind de la noiunile primare. Aceast idee este la baza oricrei teorii axiomatice. n axiomatizarea teoriei mulimilor, noiunile de mulime i de relaie de apartenen se consider noiuni primare (nu se definesc). Toate obiectele teoriei snt mulimi (n particular, toate elementele unei mulimi snt tot mulimi!). Aceste noiuni satisfac un set de axiome (care, ntr-un anumit sens, definesc obiectele respective). Altfel spus, nu ne interesaz ce snt mulimile, ci cum se comport unele fa de altele i fa de relaia de apartenen. Axiomele stabilesc regulile care se aplic obiectelor abstracte numite mulimi i relaiei de apartenen. Lista axiomelor este de fapt o list de propoziii (din limbajul formal al teoriei mulimilor, pe care l vom descrie) care snt declarate i acceptate ca adevrate. Orice alt

I.3. Limbajul formal al teoriei axiomatice ZF a mulimilor

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.

I.3. Limbajul formal al teoriei axiomatice ZF a mulimilor


Aceast seciune poate fi omis la o prim lectur. Cititorul care cunoate regulile de manipulare a expresiilor logice formale, coninnd operatori logici i cuantificatori, poate trece direct la seciunea urmtoare. n esen, se descriu explicit regulile de formare a unui expresii a limbajului formal, adic a unui enun privitor la mulimi (sintaxa limbajului) i care este sensul acestor enunuri (semantica limbajului). Intuitiv, o expresie a limbajului formal este o expresie logic, construit (conform regulilor cunoscute de la Logic, folosind operatori logici i cuantificatori) din enunuri de forma x y i x = y, unde x i y numesc mulimi. De exemplu, (A) (B){[(x) (x A x B)] A = B} este o expresie a limbajului formal. Axiomele teoriei snt enunuri ale limbajului formal care snt declarate adevrate (vezi seciunea urmtoare). Pentru a putea enuna axiomele teoriei mulimilor, avem nevoie de prezentarea (intuitiv) a limbajului formal al acestei teorii. Subliniem c nu este vorba de o formalizare propriu-zis. Un limbaj formal prezentat riguros ar ocupa zeci de pagini (un exemplu de astfel de formalizare, n cadrul axiomatizrii Gdel-Bernays a teoriei mulimilor, poate fi gsit n REGHI [1981]). Mai nti descriem sintaxa limbajului (regulile dup care putem forma expresii corecte ale limbajului formal).

I. Logic, mulimi, axiome

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).

I.3. Limbajul formal al teoriei axiomatice ZF a mulimilor

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.

I. Logic, mulimi, axiome

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).

I.3. Limbajul formal al teoriei axiomatice ZF a mulimilor

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

I. Logic, mulimi, axiome

I.4. Axiomele extensionalitii, reuniunii, mulimii prilor


Prezentm cteva elemente din teoria axiomatic Zermelo-Fraenkel-Skolem (ZFS) a mulimilor. Pentru o tratare mai detaliat, incluznd multe teme interesante (ordinali, cardinali, axioma alegerii etc.), vezi SCORPAN [1996]. Nu putem defini un obiect fr a face referire la alte obiecte, presupuse cunoscute. Aceste obiecte "cunoscute" trebuie la rndul lor definite Se vede c acest proces nu poate continua la infinit. Aadar, trebuie s considerm n cele din urm noiuni care nu se definesc (noiuni primare); cu ajutorul lor vom putea defini alte obiecte. Aceasta este un principiu de baz n orice teorie axiomatic. n axiomatizarea teoriei mulimilor, noiunile de mulime i de relaie de apartenen se consider noiuni primare (nu se definesc) i toate obiectele teoriei snt mulimi (n particular, toate elementele unei mulimi snt tot mulimi!). Aceste noiuni satisfac un set de axiome (care, ntr-un anumit sens, definesc obiectele respective). Altfel spus, nu ne interesaz ce snt mulimile, ci cum se comport unele fa de altele i fa de relaia de apartenen. Axiomele stabilesc regulile care se aplic obiectelor abstracte numite mulimi i relaiei de apartenen. Lista axiomelor este de fapt o list de propoziii (din limbajul formal construit anterior) care snt declarate i acceptate ca adevrate. Orice alt 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, se noteaz 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. 4.1 Axioma extensionalitii (sau a extensiei): Pentru orice dou mulimi A i B, avem : [(a) (a A a B)] A = B. Mai riguros spus, propoziia urmtoare este adevrat: (A) (B) {[(a) (a A a B)] A = B}. Aceast axiom nu spune dect c o mulime este determinat de elementele sale. Cu alte cuvinte, dac dou mulimi au aceleai elemente, atunci mulimile coincid. Observm c are loc i implicaia invers: dac A = B, atunci orice element a care aparine lui A aparine i lui B. Acest fapt este evident: A i B denumesc acelai obiect, deci orice enun referitor la A este adevrat i pentru B (i reciproc).

I.4. Axiomele extensionalitii, reuniunii, mulimii prilor

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

I. Logic, mulimi, axiome

I.5. Axioma-schem a seleciei. Axioma perechii


Axioma-schem a seleciei (numit i Axioma-schem a specificrii sau Schema de comprehensiune) nu este o simpl axiom, ci o schem de axiome. Mai precis, pentru orice expresie cu o variabil liber a limbajului formal se obine o axiom. Aadar, avem de a face cu o infinitate de axiome. 5.1 Axioma-schem de comprehensiune (a seleciei, a specificrii). 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))].5 Axioma extensionalitii asigur c A i P(x) determin unic mulimea B din enun. Aceast mulime se noteaz tradiional: {x A | P(x)} (citit mulimea elementelor din A care satisfac P). Subliniem din nou c se obine cte o axiom pentru fiecare alegere a unei expresii P cu o variabil liber. Nu se pot condensa toate aceste enunuri ntr-unul singur, de tipul (E expresie cu o variabil liber)(A)(B)(x)[x B (x A P(x))], deoarece acesta nu este o expresie a limbajului formal (vezi definiia expresiilor limbajului formal): P nu denumete un obiect legitim (o mulime), ci o expresie. 5.2 Observaie. Dac se presupune c exist mcar o mulime6 A, axioma de mai sus asigur existena unei (unice) mulimi ce nu conine nici un element, numit mulimea vid i notat cu .7 ntr-adevr, fie P(x) : "x x". Din schema de comprehensiune, exist := {x A | x x}. Pentru orice x, avem x (dac x , atunci x x, absurd). Unicitatea lui este o consecin a axiomei extensionalitii (demonstrai!). Notm deci := {x A | x x}. 5.3 Propoziie. Mulimea vid este submulime a oricrei mulimi. Formal (M)( M). Demonstraie. Conform definiiei, avem M dac i numai dac (x) (x x M). Dar expresia (x x M) este, conform definiiei, o prescurtare (x ) (x M), care este adevrat, cci (x ) este adevrat.

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, .

I.5. Axioma-schem a seleciei. Axioma perechii

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)].

Sensul cuvntului pereche este aici de pereche neordonat.

14

I. Logic, mulimi, axiome

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.

I.6. Relaii, funcii

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).

I.6. Relaii, funcii


S trecem la un alt concept fundamental, anume la cel de funcie. Pentru aceasta, avem nevoie de noiunea de cuplu (pereche ordonat). Intuitiv, noiunea de cuplu (pereche ordonat) format() de elementele a i b difer de mulimea {a, b}, prin faptul c avem o ordine: a este primul, iar b este al doilea. Aceast distincie ntre a i b se realizeaz prin: 6.1 Definiie. Fie a i b mulimi. Aplicnd axioma perechii mulimilor a i a, exist mulimea {a}; exist i {a, b}. Aplicnd din nou axioma, exist mulimea {{a}, {a, b}}, care se noteaz cu (a, b) i se numete perechea ordonat (cuplul) format de a i b. Observai c, dac a = b, atunci (a, b) = {{a}}. Aceast idee de introducere a noiunii de cuplu este atribuit lui Kuratowski. Are loc proprietatea fundamental urmtoare (demonstrai!): 6.2 Propoziie. Fie a, b, a', b' mulimi. Atunci are loc: (a, b) = (a', b') a = a' i b = b'. ! Astfel, spre deosebire de mulimea {a, b}, n cuplul (a, b) conteaz ordinea elementelor a i b; dac a b, atunci (a, b) (b, a), ns {a, b} = {b, a}. Avnd definit noiunea de cuplu, definim noiunea de triplet:

16

I. Logic, mulimi, axiome

(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.

I.6. Relaii, funcii

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

I. Logic, mulimi, axiome

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

I.6. Relaii, funcii

19

= {(a, c) A C | (b)(b B ab b c)} este numit compusa (sau compunerea) relaiilor i .


6.12 Propoziie. a) Fiind date funciile u : A B, v : B C, compusa vu este tot o funcie, vu : A C, i, a A, are loc: (vu)(a) = v(u(a)). b) Pentru orice relaii (A, B, ), (B, C, ), (C, D,), avem ( ) = ( ) (compunerea relaiilor este asociativ). n particular, compunerea funciilor este asociativ. Demonstraie. a) Avem de artat c vu este funcie. Fie a A. Atunci exist b B astfel nct (a, b) u. Cum v este funcie i b B, exist c C astfel nct (b, c) v. Din definiia compunerii relaiilor, (a, c) vu. Artm unicitatea lui c C cu proprietatea c (a, c) vu. Fie c, d C astfel nct (a, c) vu i (a, d) vu. Deci exist b B astfel nct (a, b) u i (b, c) vu i exist b' B astfel nct (a, b') u i (b', d) v. Cum u este funcie, avem b = b'. Cum v este funcie, avem c = d. ! Se disting urmtoarele tipuri remarcabile de funcii: 6.13 Definiie. Fie f : A B o funcie. Spunem c f este: i) funcie injectiv dac: x, y A, f(x) = f(y) x = y; ii) funcie surjectiv dac: y B, x A astfel nct f(x) = y; iii) funcie bijectiv dac este injectiv i surjectiv; iv) funcie inversabil dac exist g : B A (numit inversa lui f ) astfel nct (gf )(x) = x, x A i ( fg)(y) = y, y B. Notnd, pentru o mulime M, prin 1M : M M funcia 1M(x) = x, x M (numit i funcia identitate a lui M, notat i cu idM sau id), condiiile ce definesc funciile inversabile pot fi 1 rescrise n modul urmtor: gf = 1A, fg = 1B. Dac exist, inversa lui f se noteaz f . 6.14 Propoziie. Fie f : A B i g : B C funcii. Atunci: a) Funcia f este inversabil f este bijectiv; b)Compunerea a dou funcii injective (surjective) este funcie injectiv (surjectiv); c) Funcia gf este bijectiv g este surjectiv i f este injectiv.

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

n aceast ordine! De fapt, se d o familie de mulimi indexat dup {1,2,3}.

20

I. Logic, mulimi, axiome

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

sau 1 i n Ai. Dac i {1,2, , n}, ai Ai, se

noteaz ((a1, a2, , an 1), an) Ai cu (a1, a2, , an). Astfel,


i =1

A1 A2 An = {(a1, a2, , an) | ai Ai, i = 1, n }


n cazul A1 = A2 = = An = A, A A A (de n ori) se noteaz cu An. c) Este necesar i o definiie n cazul general al unei familii oarecare de mulimi (Ai)iI, indexat dup o mulime de indici I. Se definete produsul cartezian iI Ai: iI Ai := { : I iI Ai | (i) Ai, i I}. 6.16 Observaie. Produsul cartezian definit ca la c), n cazul unei familii finite de mulimi, nu este exact acelai cu cel definit la a) i b) i la 6.3. Exist ns o bijecie natural ntre mulimile obinute prin cele dou definiii. De exemplu, dac I = {1, 2}, avem funcia bijectiv , definit pe { : {1, 2} A1 A2 | (i) Ai, i I} cu valori n A1 A2, dat de () = ((1), (2)). Se pot astfel identifica noiunile de produs cartezian definite mai sus.

I.7. Relaii de ordine i relaii de echivalen


Relaiile de ordine i de echivalen snt deosebit de importante n toat matematica i este esenial o bun cunoatere a proprietilor lor.
Definim urmtoarele tipuri remarcabile de relaii pe o mulime: 7.1 Definiie. Fie o mulime nevid A i o relaie pe A. Spunem c relaia este: - reflexiv dac aa, a A. Formal: (a)(a A aa); - ireflexiv dac a A, nu are loc aa; - simetric dac a, b A, ab ba; - asimetric dac a, b A, ab ba; - antisimetric dac a, b A, (ab i ba) a = b; - tranzitiv dac a, b, c A, ab i bc ac; - relaie de echivalen dac este reflexiv, simetric i tranzitiv. Pentru relaii de echivalen se folosesc notaii de tipul a b, a b n loc de ab.
11

Folosim o accepie intuitiv a noiunii de definiie prin recuren.

I.7. Relaii de ordine i relaii de echivalen

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

I. Logic, mulimi, axiome

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

I.7. Relaii de ordine i relaii de echivalen


2 2

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

I. Logic, mulimi, axiome

a) f este injectiv. b) f este surjectiv. c) f este injectiv. d) f [!X] !f [X], X P(A).

I.8. Axioma infinitii. Mulimea numerelor naturale. Inducie


n toat matematica este esenial mulimea numerelor naturale N. Se pune problema unui mod de a construi aceast mulime (sau, ntruct este vorba de un concept care poate aprea drept primar, de a axiomatiza N). Vom arta c se poate da o construcie satisfctoare a lui N n cadrul teoriei axiomatice a mulimilor. O modalitate de introducere a lui N este dat de binecunoscuta axiomatica DedekindPeano. Noiunile primare snt cele de numr natural i funcie succesor12. Limbajul acestei teorii axiomatice este format din: - simbolul = (noteaz egalitatea a dou obiecte); - simbolul 0 (noteaz un numr natural privilegiat fixat); - nume variabile, constante, conectorii logici (ca la limbajul teoriei axiomatice a mulimilor), cu deosebirea c numele denumesc acum obiectele acestei teorii, adic numere naturale. Axiomele acestei teorii snt: 1. Exist un numr natural notat 0. 2. Pentru orice numr natural n, exist un numr natural unic determinat, numit succesorul + + lui n i notat s(n) sau n : (n)(n ). + + 3. Orice dou numere naturale cu acelai succesor snt egale: (m)(n)(m = n m = n). + 4. 0 nu este succesorul nici unui numr natural: (n)(n 0). 5. (Axioma induciei) Pentru orice predicat cu o variabil A(n) are loc: [A(0) (n)(A(n) A(n )] (m)A(m). Observm c axioma 5 (binecunoscutul principiu de demonstraie prin inducie) este de fapt o schem de axiome. Introducerea operaiilor cu numere naturale, a relaiei de ordine i deducerea principalelor proprieti ale acestora folosind axiomatica Dedekind-Peano snt interesante i instructive.
12

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.

I.8. Axioma infinitii. Mulimea numerelor naturale. Inducie

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

I. Logic, mulimi, axiome

{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

toate variabilele snt n A):


{n [(k (k < n P(k)) P(n)]} (n)(P(n)). ! Un exemplu de aplicare a acestei propoziii este demonstraia teoremei polinoamelor simetrice: Orice polinom simetric de n nedeterminate este polinom de polionoamele simetrice n fundamentale. (Aici mulimea bine ordonat este N , cu ordinea lexicografic). Prezentm o proprietate foarte important a lui N, a crei demonstraie ilustreaz principiul de demonstraie prin inducie. Se presupun cunoscute operaiile de adunare i nmulire n N i proprietile lor. 8.5 Teorem (Teorema mpririi cu rest n N). Pentru orice numere naturale a, b, cu b 0, exist q, r N astfel nct a = bq + r i r = 0 sau r < b (q se numete ctul iar r restul mpririi lui a la b). n plus, q i r snt unic determinate cu aceste proprieti. Demonstraie. Fie b 0 fixat. Demonstrm prin inducie dup a, aplicnd 8.3. Mai precis, considerm P(a): q r (q N r N a = bq + r r < b). Pentru orice a < b, P(a) este adevrat, lund q = 0, r = a. Presupunem acum c a b i P(k) este adevrat, k N, k < a. S demonstrm P(a). Cum a b avem a b N i a b < a. Deci are loc P(a b): q, r astfel nct a b = bq + r i r < b, adic a = b(q + 1) + r, cu r < b.

13

Aadar, nu are rost s se arate c P(0) este adevrat cnd se folosete acest raionament prin inducie!

I.9. Comentarii i completri privind axiomatica mulimilor

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).

I.9. Comentarii i completri privind axiomatica mulimilor


n aceast seciune vom discuta cu titlu informativ anumite aspecte ale teoriei axiomatice a mulimilor. Pentru detalii, se pot consulta lucrri precum SCORPAN [1996], MANIN [1977]. Clase Nu exist o mulime a tuturor mulimilor, cci acest concept conduce la paradoxuri. Dac ar exista mulimea tuturor mulimilor, fie aceasta A, atunci, conform schemei de comprehensiune, ar exista i mulimea C = {B A | B B}. Se vede c regsim paradoxul lui Russel. Astfel de colecii foarte mari de obiecte apar ns frecvent n matematic (dorim de exemplu s vorbim de o proprietate pe care o au toate grupurile) i este necesar precizarea unui cadru riguros pentru aceste situaii. O rezolvare rezonabil este dat de conceptul de clas. n cadrul teoriei Gdel-Bernays (GB), clasa este noiune primar (nu se definete clasa, ci este dat un set de axiome referitoare la clase; mulimile vor fi un tip particular de clase cele care snt elemente ale altor clase). Teoria astfel dezvoltat este ns considerabil mai complicat dect ZFS 14. n teoria ZFS, prin clas se nelege o expresie cu o variabil liber (un predicat cu o variabil)15. Cu alte cuvinte, o proprietate nu mai definete o mulime de obiecte, ci este privit ea nsi ca o entitate i o numim clas. O clas nu este un obiect al teoriei ZFS, ci o expresie a limbajului formal (cf. comentariul de la axioma-schem a substituiei). De exemplu, predicatul P(x) : x = x este evident satisfcut de orice mulime x; acest predicat definete clasa tuturor mulimilor. Abuznd de limbajul de la mulimi, fiind dat o clas P(x), n loc s se spun ca un anumit x satisface P sau P(x) este adevrat, se spune x aparine clasei P sau x este un element al clasei P. Observm c orice mulime a definete o clas, anume x a.

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

I. Logic, mulimi, axiome

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.

I.9. Comentarii i completri privind axiomatica mulimilor

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

I. Logic, mulimi, axiome

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

I.9. Comentarii i completri privind axiomatica mulimilor

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:

(y)[y b (x)(x a E(x, y))].


Axioma-schem a substituiei este: pentru orice relaie funcional E(x, y), are loc:

(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

I. Logic, mulimi, axiome

De asemenea, axioma perechii este tot o teorem:


9.4 Propoziie (Teorema perechii). Fie a i b dou mulimi. Atunci exist o mulime c care are ca elemente pe a i pe b i numai pe ele. Formal:

(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.

I.9. Comentarii i completri privind axiomatica mulimilor

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

I. Logic, mulimi, axiome

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

I.9. Comentarii i completri privind axiomatica mulimilor

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

diferena simetric, 14 diferen, 13 disjuncia, 6 domeniul unei funcii, 17


E

egalitate, 6 enun, 6 expresie, 6 expresii echivalente, 8 extensiune, 14


F

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

graficul unei funcii, 17


I

imagine, 18 imagine printr-o relaie funcional, 31 infimum, 22

37
intersecie, 13 a unei familii, 17 inversa unei relaii, 18 inversa unei funcii, 19
L P

lan, 21 latice, 22 complet, 22 Lema lui Zorn, 29


M

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

negaia, 6 noiuni primare, 4, 10 nume constant, 6 nume variabil, 6

schema de comprehensiune, 12, 31 simbol, 6 submulime, 11 supremum, 22


T

teorema perechii, 32

38
U

ultimul element, 21
V

variabil legat, 7 variabil liber, 7


Z

valoare de adevr, 7 variabil, 6

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.