Fundamentele algebrice ale informaticii

Embed Size (px)

DESCRIPTION

Curs A.Cuza 2006

Citation preview

  • 5/20/2018 Fundamentele algebrice ale informaticii

    1/220

    Universitatea Alexandru Ioan Cuza

    Facultatea de Informatica

    Departamentul de Invatamant la Distanta

    Ferucio Laurentiu Tiplea

    FUNDAMENTELE ALGEBRICE

    ALE

    INFORMATICII

    20052006

  • 5/20/2018 Fundamentele algebrice ale informaticii

    2/220

    Adresa autorului: Universitatea Al. I. Cuza

    Facultatea de Informatica

    Str. Berthelot 16

    700483 - Iasi, Romania

    E-mail:[email protected]

    Adresa Web: http://www.infoiasi.ro/fltiplea

  • 5/20/2018 Fundamentele algebrice ale informaticii

    3/220

    Prefata

    Materialul de fata constituie parte integranta a cursurilor predate de autor studentilor

    Facultatii de Informatica a Universitatii Al.I.Cuza din Iasi, ncepand cu 1996, fiind

    conceput ca suport de curs.

    Accentul cade n principal pe asimilarea conceptelor de baza necesare ntelegerii

    elementelor de informatica ce implica notiuni cu caracter matematic, cum ar fi cele de

    functie, relatie, inductie matematica si structurala, recursie, multime partial ordonata,

    latice etc. Ultimele doua capitole contin aplicatii consistente n informatica (crip-

    tografie si semantica limbajelor de programare). Fiecare capitol contine propozitii sileme ale caror demonstratii sunt simple exercitii lasate n seama cititorului.

    O extensie completa a acestui material poate fi gasita n [187].

    Iasi, 4 Octombrie, 2005

    Ferucio Laurentiu Tiplea

  • 5/20/2018 Fundamentele algebrice ale informaticii

    4/220

    iv

  • 5/20/2018 Fundamentele algebrice ale informaticii

    5/220

    Cuprins

    Prefata iii

    1 Multimi, relatii, functii 1

    1.1 Multimi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

    1.1.1 Ce este o multime? . . . . . . . . . . . . . . . . . . . . . . 1

    1.1.2 Operatii cu multimi . . . . . . . . . . . . . . . . . . . . . . 13

    1.1.3 Numere naturale si inductie . . . . . . . . . . . . . . . . . 161.1.4 Recursie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

    1.2 Relatii si functii . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

    1.2.1 Relatii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

    1.2.2 Relatii de echivalenta . . . . . . . . . . . . . . . . . . . . . 35

    1.2.3 Functii si operatii . . . . . . . . . . . . . . . . . . . . . . . 40

    1.2.4 Familii indexate de multimi . . . . . . . . . . . . . . . . . 49

    1.2.5 Relatii de ordine . . . . . . . . . . . . . . . . . . . . . . . 53

    2 Inchideri 55

    2.1 Inchideri. Inductie structurala . . . . . . . . . . . . . . . . . . . . . 55

    2.2 Inchideri ale unei relatii binare . . . . . . . . . . . . . . . . . . . . 582.3 Definitii inductive/recursive . . . . . . . . . . . . . . . . . . . . . . 60

    3 Sisteme relationale si algebre universale 65

    3.1 Sisteme relationale . . . . . . . . . . . . . . . . . . . . . . . . . . 65

    3.2 Multimi partial ordonate . . . . . . . . . . . . . . . . . . . . . . . 68

    3.2.1 Concepte de baza . . . . . . . . . . . . . . . . . . . . . . . 68

    3.2.2 Dualitate . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

    3.2.3 Proprietati de baza ale supremum si infimum . . . . . . . . 72

    3.2.4 Constructii de mpo . . . . . . . . . . . . . . . . . . . . . . 76

    3.3 Latici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 813.3.1 Laticea ca multime partial ordonata . . . . . . . . . . . . . 81

    3.3.2 Laticea ca structura algebrica . . . . . . . . . . . . . . . . . 84

    3.4 Algebre universale dintr-un punct de vedere elementar . . . . . . . 88

    3.4.1 Algebre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

    3.4.2 Subalgebre. Ordin . . . . . . . . . . . . . . . . . . . . . . 91

    3.4.3 Homomorfisme si congruente . . . . . . . . . . . . . . . . 93

    3.5 Algebre booleene . . . . . . . . . . . . . . . . . . . . . . . . . . . 97

    v

  • 5/20/2018 Fundamentele algebrice ale informaticii

    6/220

    vi CUPRINS

    4 Elemente de teoria numerelor cu aplicatiin criptografie 103

    4.1 Divizibilitate. Numere prime . . . . . . . . . . . . . . . . . . . . . 103

    4.2 Cel mai mare divizor comun . . . . . . . . . . . . . . . . . . . . . 109

    4.3 Congruente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116

    4.4 Functia lui Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . 120

    4.5 Radacini primitive . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

    4.6 Problema logaritmului discret . . . . . . . . . . . . . . . . . . . . . 1244.7 Ecuatii congruentiale . . . . . . . . . . . . . . . . . . . . . . . . . 125

    4.8 Teorema chineza a resturilor . . . . . . . . . . . . . . . . . . . . . 128

    4.9 Complexitatea operatiilor . . . . . . . . . . . . . . . . . . . . . . . 133

    4.9.1 Ordine de marime . . . . . . . . . . . . . . . . . . . . . . 133

    4.9.2 Timpul de executie al unui algoritm . . . . . . . . . . . . . 136

    4.10 Aplicatii: partajarea secretelor . . . . . . . . . . . . . . . . . . . . 138

    4.11 Aplicatii: criptografie cu chei publice . . . . . . . . . . . . . . . . 140

    4.11.1 Introducere n criptografie . . . . . . . . . . . . . . . . . . 140

    4.11.2 Criptosistemul RSA . . . . . . . . . . . . . . . . . . . . . 146

    4.11.2.1 Descrierea criptosistemului . . . . . . . . . . . . 1464.11.2.2 Criptanaliza RSA . . . . . . . . . . . . . . . . . 149

    4.11.3 Semnaturi digitale . . . . . . . . . . . . . . . . . . . . . . 152

    4.11.3.1 Introducere . . . . . . . . . . . . . . . . . . . . . 152

    4.11.3.2 Semnatura ElGamal . . . . . . . . . . . . . . . . 155

    4.11.3.3 Semnatura DSS . . . . . . . . . . . . . . . . . . 159

    5 Completitudinen teoria multimilor partial ordonate 163

    5.1 Completitudine . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163

    5.2 Teoria de punct fix a multimilor partial ordonate . . . . . . . . . . . 170

    5.2.1 Functii continue . . . . . . . . . . . . . . . . . . . . . . . 170

    5.2.2 Puncte fixe si inductie de punct fix . . . . . . . . . . . . . . 1785.3 Aplicatii: semantica denotationala a programelor . . . . . . . . . . 183

    5.3.1 -notatie . . . . . . . . . . . . . . . . . . . . . . . . . . . 1835.3.2 Programe recursive . . . . . . . . . . . . . . . . . . . . . . 189

    5.3.3 Semantica denotationala a programelor recursive . . . . . . 192

    5.3.4 Programe while . . . . . . . . . . . . . . . . . . . . . . . . 195

    5.3.5 Semantica denotationala a programelor while . . . . . . . . 197

    Bibliografie 203

  • 5/20/2018 Fundamentele algebrice ale informaticii

    7/220

    Capitolul 1

    Multimi, relatii, functii

    1.1 Multimi

    In aceasta sectiune vom prezenta cateva concepte de baza de teoria multimilor, con-

    cepte ce vor fi utilizate pe parcursul acestei lucrari. Pentru detalii cititorul estendrumat catre [82, 89, 182].

    1.1.1 Ce este o multime?

    Conceptul Cantorian de multime. Conceptul de multime sta la temelia matema-

    ticii moderne, fiind un concept larg utilizat n orice domeniu. Teoria multimilor

    (studiul abstract al multimilor) asa cum o utilizam astazi a fost initiata de George

    Cantor n ultimul sfert al secolului 19 [23]. Abordarea lui a condus nsa la contradic-

    tii(numite si paradoxuri), remediul aparent al acestora fiind abordarea axiomatica.

    Conform definitiei date de Cantor, prinmultimentelegem

    orice colectie de obiecte distincte si bine definite ale intuitiei si g andirii

    noastre, considerate ca un tot(ntreg, ca o unitate).

    Notiunea de multime trebuie considerata ca un concept primitiv, suficient de bine

    nteles intuitiv, care nu este precis definit dar care poate fi utilizat n definirea altor

    concepte particulare. Asadar, motivati de definitia lui Cantor, sa consideram ca o

    multime este o colectie de obiecte numite elementelemultimii si, sa presupunem

    ca exista macar o multime.

    Daca A este o multime si a este un obiect (arbitrar) atunci a poate fi sau nu nmultimeaA. In primul caz vom folosi exprimarea a este element al multimiiA sauaapartine multimiiA sau a este continutnA sau A continea si vom notaa A;vom scriea Adacaa nu este element al multimiiA 1.

    Mentionam explicit ca nu consideram notiunea de obiect ca o notiune primara a

    teoriei multimilor. Asadar, avem libertatea n a gandi ceea ce este un obiect. De e-

    xemplu, putem gandi anumite multimi ca fiind obiecte componente ale altei multimi.

    1Simbolul a fost folosit pentru prima data de matematicianul Giuseppe Peano [143], el fiindde fapt o variatie grafica a primei litere a cuvantului grecesc ce nseamna este.

    1

  • 5/20/2018 Fundamentele algebrice ale informaticii

    8/220

    2 Multimi

    FieR multimea

    R= {x|xeste multime six / x}.Conform definitiei lui Cantor, R este multime. Multimea numerelor naturale esteelement al multimiiR. Este mai dificil de gasit un exemplu de multime ce nu esteelement al multimii R, dar aceasta nu are nici o importanta relativ la statutul de

    multime a luiR. Insa, constatam ca are loc

    R R daca si numai daca R R,

    ceea ce constituie un paradox. Acesta este asa-numitulparadox al lui Russell[194].

    Este natural sa ne ntrebam atunci care este cauza ce conduce la acest para-

    dox. Analizand modul de definire a multimii R constatam ca aceasta este bazatape urmatorul principiu numit si Axioma abstractiei sau aconstructiei de multimi,

    introdusa de G. Frege n 1893 [58]:

    Axioma abstractiei Data o proprietate ce poate fi sau nu ndeplinita de

    obiecte, exista o multime ce consta exact din obiectele ce satisfac aceasta

    proprietate.

    In cazul multimiiR, proprietatea este

    P(x) : xeste multime six x.

    Ca urmare, R= {x|P(x)}. La o prima analiza nu ar trebuie sa fie nimic rau n a con-strui multimi printr-o astfel de axioma. Multe multimi n matematica se construiesc

    n acest mod. De exemplu, considerand proprietatea

    P(x) : xeste numar natural impar mai mic decit 10,

    obtinem multimea A = {1, 3, 5, 7, 9}. Diferenta dintre constructiile celor douamultimi consta n aceea ca multimeaAeste obtinuta prin selectarea obiectelor dintr-o multime data (cea a numerelor naturale) prin intermediul unei proprietati, ceea ce

    nu se ntampla n cazul multimiiR.Descoperirea de paradoxuri n teoria Cantoriana a multimilor a avut efecte din

    cele mai neplacute pentru multi matematicieni care si-au bazat studiile si cercetarile

    pe o astfel de teorie. De exemplu, Richard Dedekind care ncepuse n 1888 sa publice

    din studiile sale asupra teoriei numerelor studii ce utilizau din plin teoria lui Cantor

    , a fost nevoit sa opreasca pentru o perioada publicarea acestora 2. Mai tragic a fostnsa cu lucrarea n doua volume a lui Gottlob Frege, despre bazele aritmeticii, care

    tocmai fusese terminata [58] si care utiliza Axioma abstractiei. In cel de-al doilea

    volum, cand Frege luase deja cunostinta de paradoxul lui Russell, acesta a inserat

    o anexa din care prezentam mai jos un fragment (traducerea din original este dupa

    [61], pag. 234):

    2In prefata la a 3-a editie a lucrarii [38], sau n [40], pag. 449.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    9/220

    Ce este o multime? 3

    Hardly anything more unfortunate can befall a scientific writer than to

    have one of the foundations of his edifice shaken after the work is fin-

    ished. This was the position I was placed in by a letter of Mr. Bertrand

    Russell, just when the printing of this volume was nearing its comple-

    tion. It is a matter of my Axiom (V). I have never disguised from myself

    its lack of the self-evidence that belongs to the other axioms and that

    must be properly be demanded of a logical law ... I should gladly havedispensed with this foundation if I had known of any substitute for it.

    And even now I do not see how arithmetic can be scientifically estab-

    lished; how numbers can be apprehended as logical objects, and brought

    under review; unless we are permitted at least conditionally to pass

    from a concept to its extension. May I always speak of the extension

    of a concept speak of a class? And if not, how are the exceptional

    cases recognized? ... These are the questions raised by Mr. Russells

    communication.

    Sistemul axiomatic Zermelo-Fraenkel. Intr-o perioada s-a crezut ca aparitia deparadoxuri n teoria creata de Cantor o pot distruge dar, asa cum a remarcat David

    Hilbert, aceste paradoxuri nu au condus la altceva decat la refondarea acestei teorii

    pastrand paradisul creat de Cantor 3. Refondarea teoriei a nsemnat asezarea ei

    pe baze axiomatice, logistice sau intuitioniste. Dintre sistemele axiomatice propuse,

    sistemul Zermelo-Fraenkel cu Axioma alegerii, abreviat ZFC, este astazi unul din

    cele mai utilizate sisteme. Restul acestei sectiuni va fi dedicat unei prezentari extrem

    de succinte a acestui sistem. Pentru detalii cititorul este ndrumat catre [182] sau

    [187] (atragem atentia asupra faptului ca sistemul ZFC asa cum este prezentat n

    [182] porneste de la premisa ca universul de discurs al variabilelor poate contine

    obiecte ce nu sunt multimi, pe cand abordarea pe care o vom prezenta n cele ce

    urmeaza pleaca de la premisa ca universul de discurs al variabilelor contine numai

    multimi. O discutie detaliata asupra diferentei dintre aceste abordari poate fi gasita

    n [182]).

    Sistemul ZFC se construieste peste logica cu predicate de ordinul ntai la care se

    adauga doua predicate noi, predicatul de egalitatesi predicatul binar deapartenent a.

    Mentinam nca de la nceput ca apartenenta este un predicat primitiv, care nu se

    defineste. Obiectele au proprietatea de a apartine sau nu multimilor, proprietate ce

    este primitiva.

    Formulele atomicesunt de forma

    x y si x= y,

    pe baza carora se construiesc noi formule prin intermediul operatorilor logici clasici

    si a cuantificatorilor,

    , , , , , (x) si (x).3a paradise created by Cantor which nobody shall ever expel us (conform cu [54], p.240).

  • 5/20/2018 Fundamentele algebrice ale informaticii

    10/220

    4 Multimi

    Vom adopta notatia (x1, . . . , xn)pentru a specifica ca variabilele libere ale formulei sunt printre variabilelex1, . . . , xn (lasand posibilitatea ca anumite variabilexi sanu fie libere nsau chiar sa nu apara n ea).

    Un aspect fundamental l constituie stabilirea domeniului obiectelor de studiu,

    domeniu din care vor lua valori variabilele, numit si universul de discurs. Din punct

    de vedere a teoriei multimilor, proprietatea fundamentala prin care se poate face

    distinctie ntre obiectele universului de discurs este proprietatea de apartenenta: unobiect poatecontinealte obiecte, sau nici unul. Daca un obiect contine obiecte atunci

    el va fi referit ca multime; altfel, ca obiect individual. Terminologia de element

    va nsemna pentru noi obiect al unei multimi. Este natural de a presupune ca

    fiecare obiect al universului de discurs este element al unei multimi (macar a multimii

    formate doar din obiectul n cauza). Intrebarea fundamentala ce se pune acum este

    urmatoarea: cate obiecte individuale, si similar multimi, consideram n univers?

    Trebuie sa admitem ca existenta a cel putin unui obiect este ceruta atat de ratiuni

    filozofice cat si practice; ea este necesara fond arii universului. Pe de alta parte,

    gandind n avans la intersectie de multimi, constatam ca am avea nevoie de un obiect

    care sa reprezinte rezultatul intersectiei a doua multimi fara elemente comune. Estenatural ca acest obiect sa fie ales fara elemente, deci obiect individual, si el sa nu

    depinda de multimile sursa. Din considerente tehnice este important ca si acest obiect

    sa fie referit ca multime; ca urmare, prin multime vom ntelege acele obiecte ce contin

    obiecte, sau acest obiect particular bine precizat (uzual, un astfel de obiect individual

    este numit multimea vid a). Vrem nsa sa accentuam ca n timp ce existenta a cel

    putin unui obiect individual este ceruta de ratiuni filozofice si practice, referirea la

    un obiect individual ca fiind multimea vida este numai din ratiuni de convenienta si

    simplitate. Acum, avem de analizat urmatoarele doua variante:

    (1) universul de discurs contine numai multimi si, n plus, multimea vida ca singur

    obiect individual [54, 89, 107, 190];

    (2) universul de discurs contine si alte obiecte individuale pe langa cel desemnat a

    fi multimea vida [134, 15, 175, 97, 182].

    Majoritatea sistemelor ZFC n varianta (1) asigura fondarea universului de discurs si

    existenta multimii vide

    ori prin intermediul unei axiome, uzual numitaAxioma existentei sau amultimii

    vide, care postuleaza existenta unei multimi ce nu contine nici un obiect (de e-

    xemplu, [82]),

    ori presupunand tacit ca universul de discurs contine cel putin o multime (uni-

    versul de discurs al variabilelor logicii de ordinul ntai trebuie sa contina celputin un obiect), de la care se deduce, pe baza Axiomei separarii, existenta

    unei multimi ce nu contine nici un obiect (de exemplu, [107, 56]).

    Ceea ce a iesit n evidenta este ca, pentru scopuri matematice, postularea existentei

    doar a unui singur obiect individual (multimea vida) este suficienta 4. Aceasta este

    4Discutii asupra acestui aspect pot fi gasite n [53, 136, 17]. Pe de alta parte, daca sistemul ZFC n

    varianta (1) este consistent, atunci si sistemul ZFC n varianta (2) este consistent [134, 106, 150].

  • 5/20/2018 Fundamentele algebrice ale informaticii

    11/220

    Ce este o multime? 5

    varianta pe care o vom adopta si noi (adica, (1)). Atragem atentia asupra faptului ca

    ne vom referi adesea la [182] unde este adoptata varianta (2) si, ca urmare, trebuie

    acordata atentie diferentei care exista n formularea unora dintre axiome.

    Axiomele sistemului ZFC sunt urmatoarele:

    1. Axioma extensionalitatii Doua multimiAsiB sunt egale, si notamA= B ,

    daca pentru orice obiectxare loc:

    x A daca si numai daca x B.

    2. Axioma de existenta a multimii vide Exista multimi fara nici un element.

    3. Axioma separarii Pentru orice formula(x)si multimeUexista o multimece contine toate elementele dinUce satisfacP, si numai pe acestea.

    4. Axiomamperecherii Pentru orice doua obiecteasi b(nu neaparat distincte)exista o multime ce contine obiecteleasib, si numai pe acestea.

    5. Axioma reuniunii Pentru orice familie de multimi 5 Aexista o multime cecontine elementele componente ale multimilor continute deA, si numai peacestea.

    6. Axioma partilor Pentru orice multime A, exista o multime ce contine caelemente toate submultimile multimiiA, si numai pe acestea.

    7. Axioma regularitatii Pentru orice multime nevida A exista x A astfel ncatx A= .

    Exista nca 3 axiome n sistemul ZFC, Axioma infinitului, a alegerii si a nlocuirii.

    In Sectiunea 1.1.3 vom prezenta Axioma infinitului; celelalte doua depasesc cadrul

    lucrarii si vor fi omise (pentru detalii indicam [182, 187]).

    Vom trece acum la prezentarea catorva proprietati fundamentale ce decurg de la

    aceste axiome.

    In primul rand, egalitatea multimilor satisface proprietatile:

    A= A; (reflexivitate) dacaA= B atunciB = A; (simetrie)

    dacaA= B siB = CatunciA= C. (tranzitivitate)

    Definitia 1.1.1.1. FieAsi B doua multimi.

    (1) Spunem ca A este submultime a multimii B, si notam A B, daca oriceelement al multimiiAeste element al multimiiB.

    5O familie de multimi este o multime ale carei elemente sunt multimi. Cum n abordarea conside-

    rata consideram numai astfel de multimi, termenul de familie de mult imi va fi utilizat pentru a atrage

    atentia asupra acestui fapt, si anume, ca elementele familiei (multimii) considerate sunt multimi.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    12/220

    6 Multimi

    (2) Spunem ca A este submultime propriea multimiiB , si notamA B, dacaA B si A =B .

    DacaAnu este submultime (submultime proprie) a multimiiB, atunci vom notaA B (A B). Este clar ca dacaA BatunciA B.

    Teorema 1.1.1.1. FieA,B siCmultimi. Atunci, au loc urmatoarele proprietati:

    (1) A A;(2) dacaA B si B C, atunciA C;(3) A= B daca si numai dacaA B siB A;(4) A B daca si numai dacaA B sauA= B;(5) A A;

    (6) dacaA B, atunciB A;(7) dacaA B si B C, sauA B si B C, atunciA C.

    Demonstratie (1) si (2) urmeaza direct de la Definitia 1.1.1.1(1). (3) este o alta

    exprimare, utilizand incluziunea, a Axiomei extensionalitatii.

    (4) Sa presupunem caA B. Daca pentru oriceb B are locb A, atunciB A si, deci, A = B (folosind (3)). Altfel, existabB astfel ncatb A, ceeace conduce laA B (conform definitiei).

    Reciproc, dacaA B atunci A B (de la definitie), iar daca A = B atunciA B (de la (3)).

    (5) Daca am presupune prin contradictie caA A, atunci conform definitiei arexistaa Aastfel ncata A; contradictie.(6) A Bconduce la existenta unui element b n Bcare nu este n A; ca urmare,

    B A.(7) Sa presupunem ca are loc A Bsi B C. De la (4) si (2) obtinem A C.

    Daca presupunem caA = C, atunci ipoteza se rescrie la AB si B A, ceea ceconstituie o contradictie. In mod similar se discuta si celalalt caz.

    Conform Teoremei 1.1.1.1(3), pentru a stabili egalitatea a doua multimiA si Bavem de aratat ca oricare din cele doua multimi este inclusa n cealalta. Aceasta

    metoda de demonstratie este numita adeseademonstratia prin dubl a incluziune.

    In baza Axiomei extensionalitatii, orice doua multimi fara nici un element suntegale si, deci, exista o unica multime fara nici un element. Aceasta este numita

    multimea vid asi este notata prin . Este clar ca este submultime proprie a oricareimultimi diferite de ea nsasi si, nici o multime nu este submultime proprie a ei.

    Axioma separarii exclude paradoxul lui Russell formulat corespunzator acesteia.

    Adica, daca consideram o multime arbitraraUsi definim

    RU= {x U|x x},

  • 5/20/2018 Fundamentele algebrice ale informaticii

    13/220

    Ce este o multime? 7

    atunci contradictia

    RU RU daca si numai daca RU RUnu mai poate fi generata. In adevar,

    dacaRU RU, atunci urmeazaRU U siRU RU; contradictie; dacaRU RU, atunciRU UsauRU RU. Rezulta deciRU U.

    Am obtinut astfel ca RU U, adica, indiferent de ce multime Us-ar alege, multimeaRUnu este element al ei. Mai mult, are loc:

    Teorema 1.1.1.2. Nu exista nici o multimeUcare sa contina ca element orice mul-time.

    Demonstratie Pentru orice multimeU, multimeaRU definita ca mai sus nu esteelement al multimii U. Ca urmare, nu poate exista o multimeUcare sa contina orice

    multime deoarece, atunci, ea ar trebui sa contina siRU.

    Teorema 1.1.1.2 conduce la faptul ca nu exista o multime a tuturor multimilor

    sau, altfel spus, clasa 6 tuturor multimilor este o clasa proprie.

    Intersectiaunei familii nevide de multimi A este definita prinA = {a A|(B A)(a B)},

    unde A este o multime arbitrara dinA. Este clar ca A exista ntotdeauna (cucerinta ca A sa fie nevida). Atunci cand A este de forma A= {A, B}, se noteaza nmod frecventA B n loc de A.Doua multimi A si Bsunt numite disjuncte daca AB= . O familie de multimieste numitafamilie disjunct a de multimidaca multimele componente sunt disjuncte

    doua cate doua.

    Diferenta a dou a multimi A si B, notata AB, se obtine cu usurinta de la Axiomasepararii prin

    A B= {a A|a B}.Uneori, diferentaA B mai poarta denumirea si de complementara luiB relativ la(n raport cu)A.

    Fieasi bobiecte. Axioma extensionalitatii asigura unicitatea multimii ce contine

    obiectelea si b si numai pe acestea; ea va fi notata{a, b} (sau{b, a}), iar n cazula= b vom scrie {a} n loc de {a, a}.Teorema 1.1.1.3. Pentru oricex,y,z,usi v au loc urmatoarele proprietati:

    (1) z {x, y} daca si numai dacaz= x sauz= y;6Vom folosi terminologia de clas apentru colectii de obiecte care pot sa nu fie multimi. Oclasa

    proprienu este multime.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    14/220

    8 Multimi

    (2){x, y} = {u, v} daca si numai dacax= u siy = v, saux= v si y = u;(3){x} = {y} daca si numai dacax= y;(4){x} = {u, v} daca si numai dacax= u = v .

    Demonstratie (1), (2) si (3) sunt imediate de la definitii si axiomele considerate

    pana acum.

    (4) Sa presupunem ntai ca{x} ={u, v}. De la Teorema 1.1.1.1(3) urmeazacax trebuie sa apartina multimii {u, v}. Daca presupunem cax = u, atunci, n bazaaceleiasi teoreme deducem cav {x}, adicax = v. Deci,x= u = v.

    Reciproc, dacax= u = v atunci {u, v} = {u} = {x}.

    O consecinta foarte importanta a Axiomei mperecherii consta n aceea ca prin

    intermediul ei se poate introduce conceptul depereche ordonat a a doua obiecte x si y.Printr-o astfel de pereche ordonata se urmareste surprinderea urmatoarelor aspecte:

    obiectelexsi y sunt considerate ca un nou obiect, notat(x, y);

    n cadrul obiectului(x, y),xse considera primul, iary al doilea.O metoda unanim acceptata de a defini astfel de obiecte n sistemul ZFC este cea

    propusa de Kazimierz Kuratowski [95].

    Definitia 1.1.1.2. Se numesteperechea ordonat aa obiectelorxsiy multimea notata(x, y)si definita prin(x, y) = {{x}, {x, y}}.

    Este clar ca pentru orice doua obiectex si y , perechea ordonata(x, y) exista sieste unica (pe baza Axiomelor mperecherii si extensionalitatii). Faptul ca obiectul xeste considerat primul iary al doilea, n cadrul perechii ordonate(x, y), este sugeratde urmatoarea teorema.

    Teorema 1.1.1.4. (x, y) = (u, v)daca si numai dacax= u siy = v 7.

    Demonstratie Sa presupunem ntaica(x, y) = (u, v). Daca x= y, atunci {{x}} ={{u}, {u, v}}, de unde urmeazax = u = v (Teorema 1.1.1.3).

    Sa presupunem acum cax =y. Deoarece {x} nu poate coincide cu {u, v} (altfelam obtinex= u = v = y ceea ce ar conduce la contradictie) urmeaza ca {x} = {u}si, de aici, se obtine x = u. Vom avea apoi{x, y} ={u, v} care, combinata cuegalitatea precedenta, furnizeazay = v.

    Reciproc, dacax = y si u = v atunci

    {x

    } =

    {u

    } si

    {x, y

    } =

    {u, v

    }, ceea ce

    conduce la(x, y) = (u, v).

    7O alta varianta de a defini perechea ordonata a doua obiecte x si y este cea propusa de Norbert

    Wiener n 1914 [195], prin care(x, y) ={{{x}, 0}, {y}}. Se poate arata ca si o astfel de definitiesatisface Teorema 1.1.1.4 dar, spre deosebire de definitia lui Kuratowski, aceasta implica un nou

    obiect,0 (acesta va fi definit mai tarziu).Exista variante n care notiunea de pereche ordonata se considera ca o notiune primitiva si, atunci,

    enuntul Teoremei 1.1.1.4 se introduce ca axioma (a se vedea [17, 136]). Justificarea consta n faptul ca

    marea majoritate a aplicatiilor matematice ale acestei notiuni utilizeaza Teorema 1.1.1.4 si nu definitia.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    15/220

    Ce este o multime? 9

    Evident, conceptul de pereche ordonata poate fi extins. Astfel, putem defini

    (x, y, z ) ca fiind ((x, y), z). Proprietatea din Teorema 1.1.1.4 se pastreaza si pen-tru astfel de 3-uple, adica(x,y,z) = (x, y, z)daca si numai dacax = x,y = y siz=z.

    Ceea ce trebuie sa remarcam este ca prin Axioma mperecherii putem construi

    multimi cu cel mult doua elemente. Trecerea la multimi cu mai mult de doua elemen-te se face prin Axioma reuniunii. Axioma extensionalitatii asigura ca, pentru orice

    familie de multimi Aexista exact o multime ca cea postulata de Axioma reuniunii;aceasta multime se numeste reuniunea familieiA si se noteaza prin A. Atuncicand A este de forma A = {A, B}, se noteaza n mod frecventA B n loc de A.

    Urmatoarea teorema furnizeaza cateva proprietati de baza ale reuniunii unei fa-

    milii de multimi.

    Teorema 1.1.1.5. FieA, B multimi si A, B doua familii de multimi. Atunci, au locurmatoarele proprietati:

    (1) = ;(2)

    {A} =A;(3)

    A = daca si numai daca A = sau A = {};(4) daca A B, atunci A B;(5) daca A B, atunci A B;(6) dacaX B, pentru oriceX A, atunci A B.

    Posibilitatea colectarii tuturor submultimilor unei multimi ntr-o multime esteasigurata de Axioma partilor care, n conjunctie cu Axioma extensionalitatii garan-

    teaza unicitatea acestei multimi ce poarta denumirea de multimea p artilormultimii

    Asi se noteaza prin P(A).Teorema 1.1.1.6. FieAsi B multimi. Atunci, au loc urmatoarele proprietati:

    (1) P(A);(2)P() = {};(3) dacaA

    B (A

    B), atunci

    P(A)

    P(B) (

    P(A)

    P(B)).

    Axioma partilor permite introducerea conceptului de produs cartezian a doua

    multimi.

    Definitia 1.1.1.3. FieAsi B doua multimi. Numimprodusul carteziansau directalmultimilorAsi B, multimea notataA B si definita prin

    A B= {(x, y)|x A y B}.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    16/220

    10 Multimi

    Existenta produsului cartezian al multimilorAsi B urmeaza de la Axioma sepa-rarii aplicate multimii P(P(A B)),

    A B= {z P(P(A B))|x A,y B : z= {{x}, {x, y}}},

    iar unicitatea lui de la Axioma extensionalitatii.

    Daca una din multimileA sauB este vida, atunci produsul cartezian al lor estemultimea vida, si reciproc. Notam caA B nu este acelasi cu B A, exceptandcazulA= B sau cazul n care una din aceste doua multimi este multimea vida.

    Produsul cartezian poate fi extins, n mod natural, la mai mult de doua multimi.

    Considerand de exemplu multimileA,B si C, putem defini

    A B C= {(a,b,c)|a A, b B, c C}.

    Constructiile(a,b,c)vor fi numite3-uple.Anticipand conceptul de numar natural (ceea ce nu va constitui un viciu de fond),

    definimAn prin:

    An =A A n ori

    , dacan 2;

    A1 =AsiA0 = {} 8.In matematica, dar nu numai, suntem interesati n a construi corespondente (aso-

    cieri) ntre diverse tipuri de obiecte. Cel mai frecvent sunt ntalnite corespondentele

    ntre doua tipuri, nu neaparat distincte, de obiecte. Perechea ordonata (a, b) poatefi o alegere buna pentru a exprima corespondenta (asocierea) dintrea si b, mai alesatunci cand dorim sa surprindem si o anumita relatie de precedenta ntre a si b 9 . Ca

    urmare, o multime de perechi ordonate va modela o corespondenta (asociere) ntredoua tipuri de obiecte. Astfel de multimi vor fi numiterelatii binare.

    Definitia 1.1.1.4. Se numeste relatie binar a orice multime ale carei elemente sunt

    perechi ordonate 10 .

    Vom simplifica adesea terminologia de relat ie binara la cea de relatie, iar

    daca(a, b)este un element al unei relatiiatunci vom mai scriea b.Data o relatievom nota

    Dom() = {a|(b)(a b)}8Anticipand cateva concepte si notatii care vor fi prezentate ulterior, dar cu care cititorul este

    probabil familiarizat, justificam definitia A0 ={} astfel. Asa cum vom vedea, numerele naturalevor fi definite ca multimi,0 =, 1 ={0},2 ={0, 1} etc. Atunci, unn-uplu poate fi gandit ca ofunctie de la multimean la multimeaA, iar multimea tuturor acestor functii (n-uple) este notata prin

    An (n general, prin AB se va nota multimea tuturor functiilor de la B la A). In cazuln = 0 =,exista o singura functie de la laA, si anume functia vida. Ca urmare,A 0 = {}.

    9O alta posibila exprimare a asocierii dintrea sib ar putea fi specificata prin intermediul multimii

    {a, b}. In acest caz nsa se pierde ordinea n care sunt considerate obiectelea sib.10In limbaj logic,este relatie binara daca(x)(x (y)(z)(x= (y, z))).

  • 5/20/2018 Fundamentele algebrice ale informaticii

    17/220

    Ce este o multime? 11

    si

    Cod() = {b|(a)(a b)}.Acestea sunt multimi n baza Axiomelor separarii si reuniunii. In adevar,

    Dom() = {a

    (

    )|(b

    (

    ))(a b)}.

    In mod similar putem arata caCod()este multime. MultimeaDom()se numestedomeniulrelatiei, iarCod(),codomeniulrelatiei.

    Putem spune ca este relatie daca exista doua multimiA si B astfel ncatAB. Reciproc, orice submultime a unui produs cartezian este relatie. Aceasta faceca, adesea, relatiile A B sa mai fie numite si relatii de laA la B , iar atuncicandB =A,relatii(binare)pe A.

    Multimea vida este relatie (de laAlaB), numitarelatia vid a.

    Functiile sunt cazuri particulare de relatii. Ele vor fi notate, cu precadere, prinf,g,hetc. (eventual indexat).

    Definitia 1.1.1.5. O relatie binarafeste numitafunctiedaca are loc

    (a1, b1, a2, b2)((a1, b1) f (a2, b2) f a1= a2 b1 = b2).

    Relatia vida este functie, numita sifunctia vid a.

    Pentru functii se utilizeaza n mod frecvent notatiaf(a) =b n loc de (a, b) f,aceasta fiind justificata prin aceea ca, dat un elementa, daca(a, b)f atuncib esteunicul cu aceasta proprietate.

    Functiile fiind relatii, putem vorbi dedomeniul sicodomeniul acestora. Domeniul

    unei functii mai poarta denumirea si de domeniul de definitieal functiei. Domeniul

    si codomeniul functiei vide sunt multimea vida.

    O functiefeste numitafunctie de laAlaB sau functie definit a pe Asi cu valorinB , si notamf : A B, dacaDom(f) = Asi C od(f) B. Functia vida estefunctie de laAlaB numai dacaA= .

    Multimea tuturor functiilor de laAlaB se noteaza prin(A B)sau B A.Definitia 1.1.1.6. Fiefo functie de laAlaB.

    (1) feste numitafunctie injectiv asau injectiedaca are loc

    (

    a1, b1, a2, b2)((a1, b1)

    f

    (a2, b2)

    f

    b1 = b2

    a1 = a2).

    (2) feste numitafunctie surjectiv asau surjectiedaca are loc

    (b)(b B (a)(a A f(a) = b)).

    (3) feste numitafunctie bijectiv asaubijectiedaca este atat functie injectiva cat sifunctie surjectiva.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    18/220

    12 Multimi

    Uneori functiile injective sunt numitefunctii11, iar cele surjective,pe. Functiavida de la laB este injectiva; ea este surjectiva (deci si bijectiva) doar dacaB = .

    Atunci cand exista o functie bijectiva de la o multime Ala o multimeB vom mainota A B si vom spune caA si B sunt echipotente 11, iar daca exista o functieinjectiva de laAla B vom scrieAB . DacaAB dar nu are locAB , atuncivom scrieA

    B.

    Analiza paradoxului lui Russell ridica urmatoarea ntrebare simpla dar funda-

    mentala: exista multimi ce sunt elemente ale lor nsasi? Axioma regularitatii este cea

    care evita astfel de cazuri.

    Teorema 1.1.1.7. Nu exista nici o multimeAastfel ncatA A.Demonstratie Presupunem prin contradictie ca exista o multimeAcu proprietateaAA. Aplicam Axioma regularitatii multimii {A}. Atunci, existax {A} astfelncatx A= . Forma particulara a multimii {A} conduce la faptul caxtrebuie safieAsi, atunci, A {A} = ; contradictie cu faptul caA A. Teorema 1.1.1.8. Nu exista multimiAsi B astfel ncatA B si B A.Demonstratie Sa presupunem ca exista multimi A si B astfel ncat A B siB A. Aplicam Axioma regularitatii multimii {A, B}. Atunci, existax {A, B}astfel ncat x {A, B} =. Elementulx poate fiA sau B . Daca x = A, atunciA {A, B} =; contradictie cu faptul ca B A si B {A, B}. Similar serationeaza pentru cazulx= B .

    Axioma regularitatii este consistenta cu celelalte axiome ale sistemului ZFC si in-

    dependenta de acestea [64, 150]. Este posibil a construi sisteme ale teoriei multimilor

    care sa contrazica aceasta axioma. Doua exemple n acest sens sunt sistemul lui

    Lesniewski [104] si cel al lui Quine [147].

    Axioma regularitatii are consecinte foarte naturale, asa cum este cea din teorema

    urmatoare (care nu poate fi demonstrata pe baza celorlalte axiome).

    Teorema 1.1.1.9. FieAo multime. DacaA A A, atunciA= .Demonstratie Presupunem, prin contradictie, ca exista o multime nevidaA astfelncatAA A. Atunci, elementele multimiiA Asunt multimi nevide. Ipotezasi definitia produsului cartezian conduc la faptul ca elementele multimilorA si

    A

    sunt, de asemenea, multimi nevide. FieB =A A. Axioma regularitatii asiguraexistenta unei multimix

    B astfel ncatx

    B =

    . Avem de analizat urmatoarele

    doua cazuri:

    x A. Atunci, xA si, deoarece x este multime nevida, urmeaza cax A = ; contradictie cux B= ;

    11Terminologia de multimi echipotente, care nseamna multimi cu acelasi numar de elemente,

    este justificata prin aceea ca o functie bijectiva pune n corespondenta unu-la-unu elementele a doua

    multimi. Echipotenta joaca un rol important n definirea numerelor naturale, a numerelor ordinale si

    cardinale.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    19/220

    Operatii cu multimi 13

    xA. Conform ipotezei si definitiei produsului cartezian, x este ori deforma{a} ori de forma{a, b}, undea, b A. Deci,x A=; contradictiecux B = .

    Teorema este demonstrata.

    1.1.2 Operatii cu multimi

    Implicit, n sectiunea anterioara au fost introduse un numar de operatii cu multimi:

    intersectie, diferenta, reuniune si produs cartezian. Vom adauga la acestea nca cateva

    operatii si vom prezenta unele proprietati de baza ale lor.

    Teorema 1.1.2.1. FieA,B, siCmultimi. Atunci:

    (1) A (B C) = (A B) C= {A,B,C}; (asociativitate)(2) A B=B A; (comutativitate)

    (3) A A= A; (idempotenta)(4) A =A;(5)P(A) P(B) P(A B).

    Demonstratie (1) Vom folosi metoda dublei incluziuni. Fiea A (B C).Conform definitiei reuniunii avem a A sau a BC. Daca a A, atuncia A B si, deci, a (A B) C. Dacaa B C, atuncia B saua C. Incazul a Bobtinem a ABsi, deci, a (AB)C, iar n cazul a Cobtinema (AB)C. Deci, a (AB)Cceea ce arata ca A(BC) (AB)C.Incluziunea n sens invers se demonstreaza similar.

    (2) Se utilizeaza definitia reuniunii si faptul ca {A, B} = {B, A}.(3) Observand ca{A, A} ={A}, ceea ce ne ramane de demonstrat este ca{A} =A, care urmeaza direct de la definitia reuniunii.(4) Un element aeste nA daca si numai dacaa A; ca urmareA = A.(5) FieX P(A) P(B). DacaX P(A)atunciX A si este clar atunci

    caX A B; deciX P(A B). Similar n cazul X P(B).

    Demonstratiile urmatoarelor doua teoreme sunt lasate n seama cititorului.

    Teorema 1.1.2.2. FieA,B, siCmultimi. Atunci:

    (1) A (B C) = (A B) C= {A,B,C}; (asociativitate)(2) A B=B A; (comutativitate)(3) A A= A; (idempotenta)(4) A = ;(5) A B A A B;

  • 5/20/2018 Fundamentele algebrice ale informaticii

    20/220

    14 Multimi

    (6)P(A) P(B) = P(A B).Ca urmare a proprietatii de asociativitate a reuniunii si intersectiei, putem scrie

    A B C (A B C) n loc deA (B C) (A (B C)) sau(A B) C((A B) C). Evident, aceasta scriere poate fi extinsa la o reuniune (intersectie)finita de multimi.

    Teorema 1.1.2.3. FieA o multime siC o familie de multimi. Atunci, au loc urma-toarele reguli de distributivitate:

    (1) A C = {A C|C C} = C A;(2) A C = {A C|C C} = C A, cu conditia ca C sa fie nevida.

    Interpretam proprietatile din Teorema 1.1.2.3 prin aceea ca intersectia este dis-

    tributiva fata de reuniune at at la st anga cat si la dreapta. In mod similar,reuniunea

    este distributiv a fat a de intersectie la st anga si la dreapta.

    Urmatoarea teorema prezinta cateva proprietati de baza ale diferentei de multimi.

    Teorema 1.1.2.4. FieAsi B multimi, iar C o familie de multimi. Atunci:(1) A A= ;(2) A= ;(3) A =A;(4) A B A;(5) dacaA B= atunciA B = A;(6) A (B C) = (A B) (A C);(7) (A B) C= (A C) (B C);(8) (A B) C= (A C) B= A (C B);(9) A C = {A C|C C};

    (10) A C = {A C|C C}, cu conditia ca C sa fie nevida.Fie U o multime. Complementara unei submultimiA U n raport cu U se

    mai numeste sicomplementara absolut a a luiA

    relativ la (n raport cu)U

    sau, mai

    simplu,complementara luiA (dar, n acest caz, Utrebuie subanteleasa din context).Ea se noteaza prinA.

    Teorema 1.1.2.5. FieU,AsiB multimi astfel ncatA B U. Atunci:

    (1) A= A;

    (2) =U;

  • 5/20/2018 Fundamentele algebrice ale informaticii

    21/220

    Operatii cu multimi 15

    (3) U= ;(4) A A= U;(5) A A= ;(6) A

    B=A

    B;

    (7) A Bdaca si numai dacaB A(complementara este n raport cu U).

    Corolarul 1.1.2.1. (Legile lui De Morgan)

    FieU,AsiB multimi astfel ncatA B U. Atunci, au loc relatiile:(1) A B=A B;(2) A B=A B

    (complementara este n raport cu U).

    Definitia 1.1.2.1. FieAsiB doua multimi. Numimdiferenta simetric aa multimilorAsiB multimeaAB= (A B) (B A).

    Conform Axiomei reuniunii, exista o unica multimeAB. Ca urmare, Definitia1.1.2.1 este consistenta.

    Operatiile,,si au fost studiate n mod sistematic pentru prima data decatre George Boole [14]. Din acest motiv, ele sunt numite astazioperatii Booleene.

    Ele pot fi reprezentate grafic prin asa numitelediagrame Venn, ca n Figura 1.1.

    BA

    A B

    BA

    A B

    BA

    A

    B

    BA

    AB

    U

    A

    A

    Figura 1.1: Reprezentarea operatilor Booleene cu multimi prin diagrame Venn

    Urmatoarea teorema ne spune ca produsul cartezian estedistributiv la st anga si la

    dreapta fata de reuniune si intersectie(demonstratia este lasata n seama cititorului).

  • 5/20/2018 Fundamentele algebrice ale informaticii

    22/220

    16 Multimi

    Teorema 1.1.2.6. FieA,B ,C,D multimi si A o familie de multimi. Atunci, au locurmatoarele proprietati:

    (1) A A = {A X|X A} si A A= {X A|X A};(2) AA = {AX|X A} si A A= {XA|X A}, cu conditia

    ca

    Asa fie nevida;

    (3) A (B C) = (A B) (A C);(4) (A B) (C D) = (A C) (B D).

    1.1.3 Numere naturale si inductie

    Multimea numerelor naturale este, fara doar si poate, primul exemplu de multime

    infinita la care ne-am gandi daca am fi ntrebati sa dam un exemplu de o astfel de

    multime. Introducerea ei este, nsa, un proces destul de complex care a stat n atentia

    cercetatorilor multe zeci de ani (pentru detalii indicam [182, 187]). Problema fun-

    damentala consta n aceea ca numerele nu pot fi definite facand apel la conceptulde numar. De exemplu, nu putem spune ca 2 este proprietatea comuna pe care oau toate multimile cu doua elemente deoarece definitia aceasta este circulara. Dar,

    daca punem n evidenta o multime care, intuitiv, are doua elemente, atunci o putem

    folosi pe aceasta pentru a defini2. Foarte pe scurt, numerele naturale se introduc prinintermediul multimilor astfel:

    0 = , 1 = {} = {0}, 2 = {, {}} = {0, 1} etc.Daca pentru o multimexnotam prinS(x)multimeaS(x) =x {x}, numitasucce-soarea multimiix, atunci multimea numerelor naturale, notata prin N, este cea mai

    mica multime cu proprietatile:

    contine ; daca continexatunci contine siS(x).

    O multime cu aceste doua proprietati poarta denumirea demultime inductiv a. Ca ur-

    mare,N este definita ca fiind cea mai mica multime inductiva. Singura problema este

    ca nu putem demonstra existenta unei astfel de multimi pe baza axiomelor prezentate.

    Solutia consta n adoptarea unei noi axiome, numita Axioma infinitului

    Axioma infinitului Exista multimi inductive

    In baza acestei axiome obtinem cu usurinta ca exista o cea mai mica multime

    inductiva, deci exista multimea numerelor naturale (orice multime inductiva trebuie

    sa contine si orice numar natural).

    Ordinea pe numere naturale se obtine prin intermediul apartenentei. Fie

  • 5/20/2018 Fundamentele algebrice ale informaticii

    23/220

    Numere naturale si inductie 17

    pentru oricen, m N. Vom arata ca< este o ordine totala stricta pe N, dar pentruaceasta vom avea nevoie mai ntai de o tehnica de demonstratie, numita principiul

    inductiei matematice.

    Teorema 1.1.3.1. (Principiul inductiei matematice)

    FieP(x)o proprietate astfel ncat:

    (i) P(0);

    (ii) pentru oricekN,P(k)implicaP(S(k)).Atunci,Peste satisfacuta de toate numerele naturale.

    Demonstratie (i) si (ii) arata ca multimea A= {kN|P(k)} este inductiva. CumN este cea mai mica multime inductiva, N A, ceea ce demonstreaza teorema.

    Aplicarea Principiului inductiei n situatii concrete consta n parcurgerea urma-

    toarelor etape:

    se alege (fixeaza) proprietateaP despre care se doreste a se arata ca este satis-facuta de toate numerele naturale;

    se verifica faptul ca P este satisfacuta de 0 (aceasta etapa se numeste bazainductiei);

    se considera un numar arbitrark0, se presupune caPeste satisfacuta dek(aceasta presupunere este numitaipoteza inductiv a), dupa care se verifica daca

    Peste satisfacuta deS(k)(aceasta etapa se numeste pasul inductiv).

    Daca atat baza inductiei cat si pasul inductiv au fost parcurse cu succes, atunci, n

    baza Principiului inductiei deducem ca proprietatea P este satisfacuta de toate nu-merele naturale.

    Demonstratiile ce utilizeaza exclusiv Principiul inductiei sau variante ale aces-

    tuia, asa cum vom prezenta n continuare, sunt numite demonstratii prin inductie

    (matematica).

    Teorema 1.1.3.2.

    (1) Relatia

  • 5/20/2018 Fundamentele algebrice ale informaticii

    24/220

    18 Multimi

    P(0): vom arata, utilizand iarasi inductia matematica, ca0este comparabil cuoricem N:

    evident,0este comparabil cu0 (0 = 0);

    presupunem ca0este comparabil cu m. Ca urmare, ori0 m, ori0 =m.In ambele cazuri avem0

    S(m) =m

    {m

    }si, deci,0este comparabil

    cuS(m).

    Principiul inductiei matematice asigura atunci ca 0 este comparabil cu oricenumar naturalm;

    presupunem can este comparabil cu oricem N. Vom arata prin inductie caS(n)este comparabil cu oricem N:

    evident,S(n)este comparabil cu0(0 S(n)); presupunem caS(n) este comparabil cu m. Ca urmare, oriS(n) m,

    ori S(n) = m, orim

    S(n). Daca S(n)

    m sauS(n) = m, atunci

    S(n) m{m} =S(m). Daca m S(n), atunci ori m n ori m= n.In primul caz are locS(m) S(n), iar n cel de-al doileaS(m) = S(n),ceea ce arata caS(m)siS(n)sunt comparabile.

    Conform Principiului inductiei,S(n)este comparabil cu oricem N.Am obtinut astfel, n baza Principiului inductiei matematice, ca orice doua numere

    naturale sunt comparabile; deci,< este ordine totala stricta.(2) Sa aratam acum ca orice submultime nevida a multimiiN are un cel mai mic

    element n raport cu ordinea

  • 5/20/2018 Fundamentele algebrice ale informaticii

    25/220

    Numere naturale si inductie 19

    (b) P(k)implicaP(S(k)), pentru oricek < n.

    In adevar, daca consideram proprietateaQ data prinQ(k) =P(k), pentrukn, siQ(k)satisfacuta pentru oricek > n, atunci (a) si (b) conduc la:

    (c) Q(0);

    (d) Q(k)implicaQ(S(k)), pentru oricekN,care n baza Principiului inductiei asigura faptul ca Q este satisfacuta de toate nu-merele naturale, adica N {kN|Q(k)}. Atunci,

    {kN|P(k)} = {kN|Q(k)} {kN|k n} N {kN|k n}= {kN|k n},

    ceea ce ne arata ca Peste satisfacuta de toate numerele naturale mai mici sau egale cun. Aceasta varianta a Principiului inductiei poarta denumirea dePrincipiul inductiei

    finitare (terminologia de finitar provine de la faptul ca multimea pe care se cereverificarea proprietatiiPeste finita).

    Evident, se pot imagina si alte tipuri de submultimi pe care se poate aplica o

    tehnica similara. Destul de des sunt ntalnite variante de forma:

    (a) P(n0)(n0fiind fixat a priori);

    (b) P(k)implicaP(S(k)), pentru oricek n0,care conduc la{k N|k n0} {k N|P(k)} (cititorul este invitat sa argu-menteze aceasta varianta a Principiului inductiei).

    Pentru variantele pe care le vom prezenta n continuare vom utiliza din plin Teo-

    rema 1.1.3.2(2). DacaA este o multime nevida de numere naturale, atunci cel maimic element al ei va fi notat prin A. Orice elementk Acare nu este maximal areun succesor imediatk A. In adevar, multimea {aA|k < a} este nevida si arecel mai mic element, care este succesorul imediat al luik.

    Propozitia 1.1.3.1. FieP(x)o proprietate astfel ncat:

    (i) P(0);

    (ii) pentru oricekN,((

    j

    k)(P(j))

    P(S(k))).

    Atunci,Peste satisfacuta de toate numerele naturalen N.Demonstratie Presupunem prin contradictie ca exista un numar natural n ce nusatisfaceP. Fie A multimea tuturor acestor numere. A este nevida dar nu contine0 (deoarece are loc (i)). Proprietatea P este satisfacuta de toate numerele naturalemai mici decatA si, atunci, (ii) conduce la faptul ca P este satisfacuta deA;contradictie cu A A.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    26/220

    20 Multimi

    Propozitia 1.1.3.2. FieA N si P(x)o proprietate astfel ncat:(i) P(A);

    (ii) pentru oricek Ace nu este cel mai mare element al mult imiiA,

    P(k)

    P(k),

    undek este succesorul imediat al luik nA.

    Atunci,Peste satisfacuta de toate numerele naturalen A.Demonstratie Consideram proprietateaQ(x)data prin:

    (1) pentru oricexA,Q este satisfacuta dex daca si numai dacaPeste satisfa-cuta dex;

    (2) Qeste satisfacuta de oricex N A.Utilizand Propozitia 1.1.3.1 aratam ca proprietateaQsatisface ipotezele Principiuluiinductiei:

    daca 0 =A, atunci Q este satisfacuta de 0 pe baza lui (1); altfel, Q estesatisfacuta de0pe baza lui (2);

    consideramk N ce nu este maximal si presupunem ca are locQ(j), pentruoricej k . DacaS(k) N A, atunciQ este satisfacuta deS(k)(pe bazalui (2)). Altfel, avem de luat n considerare urmatoarele doua cazuri:

    (a) k

    A. Atunci, S(k) este succesorul imediat al lui k n A, iar (1) si

    ipoteza propozitiei conduc la faptul caS(k)satisfaceQ;

    (b) k A. DacaS(k) =A, atunciQ este satisfacuta deS(k)ca urmare alui (1). Altfel, exista un elementm Aastfel ncatS(k)este succesoruldirect al lui m n A. Numarul m satisface m k si, atunci, pe bazaipotezei inductive urmeaza ca m satisface Q. Ipoteza propozitiei si (1)conduc la faptul caS(k)satisfaceQ.

    Principiul inductiei aplicat proprietatiiQne arata ca N {kN|Q(k)}. Deci,

    A= N A {kN|Q(k)} A= {kN|P(k)},

    ceea ce demonstreaza propozitia.

    Pentru Principiul din Propozitia 1.1.3.2 se poate da o varianta ca n Propozitia

    1.1.3.1. Demonstratia acesteia o lasam n seama cititorului.

    Propozitia 1.1.3.3. FieA N si P(x)o proprietate astfel ncat:(i) P(A);

  • 5/20/2018 Fundamentele algebrice ale informaticii

    27/220

    Recursie 21

    (ii) pentru oricek Ace nu este cel mai mare element al multimiiA,

    (j k)(j A P(j)) P(k),

    undek este succesorul imediat al luik nA.

    Atunci,Peste satisfacuta de toate numerele naturalen

    A.

    Definitia 1.1.3.1. O multime A este numita finit a daca exista un numar natural nastfel ncatAsinsunt echipotente. Vom mai spune n acest caz caAarenelementesi vom nota |A| =n. DacaAnu este finita vom spune ca ea esteinfinit a.

    Secventele sunt nsiruiri finite sau infinite de elemente; ele apar frecvent n

    consideratii matematice. In analiza matematica secventele infinite sunt uzual numite

    siruri.

    Definitia 1.1.3.2. Se numestesecventade elemente peste A orice functie fcu dome-niul un numar natural sau N si cu valori n A. Daca domeniul este un numar natural

    n, atunci secventa este numitafinit asau de lungimen; altfel, ea este numitainfinit a.

    Secventele sunt functii si, ca urmare, putem vorbi despredomeniulsicodomeniul

    unei secvente. Domeniul va fi ntotdeauna un numar natural sau N. Exista o unica

    secventa de lungime0si anume, functia vida; ea va fi numitasecventa vida.Uzual, secventele infinite sunt notate prin

    ai|i N sauai|i 0 sauaiiN sauaii0,

    iar cele finite de lungimenprin

    ai|i < n sau

    ai|i= 0, . . . , n 1 sau

    a0, . . . , an1 sau

    ain1

    i=0,undeai =f(i),ffiind secventa n cauza. Uneori, crosetele si sunt nlocuiteprin paranteze rotunde sau acolade, iar n cazul secventelor finite ele sunt eliminate

    cu precadere 12 .

    1.1.4 Recursie

    Definirea operatiilor de baza pe multimea numerelor naturale, cum ar fi adunarea si

    nmultirea, constituie un alt obstacol pe care trebuie sa l trecem. Mentionam ntai

    ca ooperatie binar ape o multimeA nu este altceva decat o functie de laA Acuvalori nA.

    Caracterul inductiv al multimii numerelor naturale face loc ideii definirii induc-

    tive de functii al caror domeniu este aceasta multime, dar nu numai. De exemplu,

    adunarea poate fi definita prin

    12Atunci cand sunt utilizate parantezele rotunde, distinctia dintre secvente si familii indexate de

    multimi (ce vor fi introduse n Sectiunea 1.2.4), urmeaza a fi dedusa din context. De fapt, trebuie sa

    remarcam ca n cazul n careA este o familie de mult imi, secventele pesteA sunt cazuri particulare

    de familii indexate de multimi (multimea de index este un numar natural sau multimeaN).

  • 5/20/2018 Fundamentele algebrice ale informaticii

    28/220

    22 Multimi

    n+ 0 =n, pentru oricen N; n+ S(m) =S(n + m), pentru oricen, m N.

    In cazul functiilor, astfel de proceduri (metodologii, scheme de definit ie) sunt numite

    definitii recursive/recurentesauscheme de recursie/recurenta. In general, ele constau

    n:

    se defineste functia pentru0;

    daca functia a fost definita pentru n N, atunci se arata cum se definestepentruS(n).

    Vom spune ca doua functiif si g suntcompatibiledacaDom(f)Dom(g)sif(x) = g(x), pentru orice x Dom(f). O multime A de functii compatibile areproprietatea ca orice doua functii ale ei sunt compatibile. Daca A este o astfel demultime, atunci

    Aeste functie cu domeniul

    fA Dom(f).

    Teorema 1.1.4.1. (Teorema recursiei)

    FieA o multime,aA si h : N AA o functie. Atunci, exista o unica functief : N Aastfel ncat:

    (i) f(0) =a;

    (ii) f(S(n)) = h(n, f(n)), pentru oricen N.Demonstratie FieF multimea tuturor functiilorg al caror domeniu este un numarnatural diferit de 0, cu valori nA, ce verifica:

    (

    )

    g(0) =a,g(S(x)) = h(x, g(x)), pentru oricexcu S(x)

    Dom(g).

    Este usor de vazut caFeste multime nevida (F contine functiag :{0} Adatapring(0) =a).

    Aratam ca orice doua functiig , g F sunt compatibile. Fieg , g F. Existanumerele naturale k, m N {0} astfel ncat Dom(g) = k si Dom(g) = m.Presupunem cak m. Prin inductie finitara aratam ca pentru orice0xk arelocg(x) =g (x):

    g(0) =a= g (0); daca presupunem cag(x) =g (x)pentrux < k, atunci

    g(S(x)) =h(x, g(x)) =h(x, g(x)) =g (S(x)).

    In baza Principiului inductiei finitare obtinem cag sig sunt compatibile. Ca urmare,F este multime de functii compatibile, ceea ce conduce la faptul ca exista functiaf=

    Fcu domeniul

    gFDom(g).

    Aratam caDom(f) = N. Domeniul functiei f este submultime a multimii N.Daca presupunem ca N Dom(f) este nevida, atunci ea va avea un cel mai mic

  • 5/20/2018 Fundamentele algebrice ale informaticii

    29/220

    Recursie 23

    element, fie acesta x. Este clar ca x > 0 si, deci, existay astfel ncat x = S(y).Numarul yeste n domeniul functiei fsi, deci, exista g F astfel ncat y Dom(g).Mai mult, nu exista z xastfel ncatz Dom(g). Adica,Dom(g) = x. Vom arataca exista o functieg Fal carei domeniu continex.

    Fieg =g {(x, h(y, g(y)))}. Este clar cag este functie cu domeniul

    Dom(g) =Dom(g) {x} =S(x).Aratam cag satisface():

    g(0) =g(0) =a;

    fiezastfel ncatS(z) Dom(g). DacaS(z) Dom(g), atunci

    g(S(z)) =g(S(z)) = h(z, g(z)) =h(z, g(z)).

    DacaS(z) =x, atunciz= y, iar de la definitia functieig urmeaza ca

    g(S(y)) = g (x) =h(y, g(y)) = h(y, g(y)).

    Ca urmare g satisface()si, deci, g F. Aceasta contrazice presupunerea conformcareiax Dom(f)si, deci,Dom(f) = N.

    Aratam ca functiaf satisface (i) si (ii) ale teoremei. Conform definitiei ei,

    f(0) =g(0) =a,

    pentru oriceg Fsi, deci, fsatisface (i).FiexDom(f). Atunci, existag Fastfel ncatS(x)Dom(g). Deoarece

    Feste multime de functii compatibile urmeaza ca

    f(S(x)) = g(S(x)) = h(x, g(x)) = h(x, f(x)),

    ceea ce ne arata cafsatisface (ii).Unicitatea functieifse obtine astfel. Daca ar exista o alta functieg ce satisface

    (i) si (ii), atunci prin inductie dupa n N aratam ca f(n) =g(n), ceea ce va conducelaf=g. In adevar,f(0) =a = g(0)si, daca presupunem caf(n) = g(n), atunci

    f(S(n)) = h(n, f(n)) =h(n, g(n)) = g(S(n)).

    Ca urmare,f(n) =g(n)pentru oricen

    N, ceea ce arata caf=g.

    Functiile cu domeniul N sunt secvente infinite si reciproc. Ca urmare, Teorema

    recursiei poate fi reformulata n termeni de secvente astfel 13 :

    data o multimeA,a Asi o functieh: N A A, exista o unica secventainfinita ai|i 0 astfel ncat:

    13Si celelalte variante de recursie, ce vor fi prezentate pe parcursul acestui capitol, pot fi reformulate

    n termeni de secvente.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    30/220

    24 Multimi

    a0 = a;

    an+1= h(n, an), pentru oricen N.

    Deci, a defini recursiv o functie cu domeniul N revine la a defini o secventa infinita

    n care orice element al ei, exceptand primul, este construit pe baza elementului

    anterior:

    f(0) =a, f(1) =h(0, f(0)), f(2) =h(1, f(1)), . . .

    Uneori, este bine de gandit aceasta definitie si n modul urmator: initial (la pasul

    0) functiafeste definita prina, la pasul 1 functiafeste definita prinh(0, f(0)), lapasul 2 functiafeste definita prinh(1, f(1))etc.

    Operatiile binare, cum ar fi de exemplu adunarea, nmultirea etc., sunt functii

    de doua variabile (definite pe produsul cartezian a doua multimi). Teorema recursiei

    poate fi utilizata si pentru a defini astfel de functii, pornind de la urmatoarea remarca.

    Fief :A B Co functie. Daca fixam unul din argumente iar celalalt l pastramvariabil, de exemplu al doilea fix si primul variabil, atunci pentru fiecare valoareb B data celui de-al doilea argument obtinem o functie cu un singur argument,fb : A C, cu proprietatea fb(a) = f(a, b), pentru orice a A. Atunci, adefini functiaf revine la a defini functiile fb, pentru orice b B. Daca B estemultimea numerelor naturale, atunci putem utiliza Teorema recursiei pentru a defini

    o functieF : N CA astfel ncatF(b) =fb pentru oricebB = N; adica,F vadefini functiilefb pentru oricebB. Aceasta va fi de fapt ideea de demonstratie aurmatoarei teoreme.

    Teorema 1.1.4.2. (Varianta parametrica a Teoremei recursiei)

    FieA si P multimi, iarg :P

    A si h : P

    N

    A

    A functii. Atunci, exista o

    unica functief :PN Aastfel ncat:(i) f(p, 0) =g(p), pentru oricep P;

    (ii) f(p, S(n)) = h(p, n, f(p, n)), pentru oricep P sin N.

    Demonstratie Fie f0 : P A data prin f0(p) = g(p) pentru orice p P, siH : N AP AP data prin H(n, )(p) = h(p, n, (p)) (este usor de vazut caaceste functii exista). Teorema recursiei va conduce la existenta unei unice functii

    F : N AP astfel ncat:

    F(0) =f0;

    F(S(n)) = H(n, F(n)), pentru oricen N.

    Definim atunci f : P N A prin f(p, n) = F(n)(p), pentru orice p P sin N.feste functie si aratam ca ea satisface teorema:

    f(p, 0) =F(0)(p) = f0(p) =g(p), pentru oricep P;

  • 5/20/2018 Fundamentele algebrice ale informaticii

    31/220

    Recursie 25

    f(p, S(n)) = F(S(n))(p) =H(n, F(n))(p)= h(p, n, F(n)(p))= h(p, n, f(p, n)),

    pentru oricep P si n N.Unicitatea functieifse stabileste ca n Teorema 1.1.4.1.

    Demonstratia Teoremei 1.1.4.2 ne arata clar ca a defini n maniera recursiva o

    functief :PN A nseamna a defini o secventa infinita de functii de laP laA,f0, f1, f2, . . .

    Functiafva fi atunci data prinf(p, n) =fn(p), pentru oricep P sin N. Altfelspus, functiafcondenseaza secventa infinita de mai sus. Diferenta dintre Teo-rema 1.1.4.1 si Teorema 1.1.4.2 este data de natura elementelor secventei infinite

    definite.

    Prezentam o noua demonstratie a Teoremei 1.1.4.2, bazata pe fixarea primuluiargument al functieif.

    Pentru oricepP, Teorema recursiei asigura existenta unei unice functiifp :N Aastfel ncat:

    (i) fp(0) =g(p);

    (ii) fp(S(n)) =hp(n, fp(n)), pentru oricen N,undehp este functiahp(n, x) =h(p, n, x), pentru oricen, x N.Functiaf=

    pPfp verifica teorema.

    Teorema recursiei si varianta ei parametrica au importanta majora n definirea defunctii si operatii pe numere naturale, n mod recursiv. Vom ilustra aceasta aratand

    cum pot fi definite riguros operatiile de baza cu numere naturale.

    Teorema 1.1.4.3.

    (1) Exista o unica operatie+ : NN N astfel ncat:(a) +(m, 0) =m, pentru oricem N;(b) +(m, S(n)) = S(+(m, n)), pentru oricem, n N.

    (2) Exista o unica operatie

    : N

    N

    N astfel ncat:

    (a)(m, 0) = 0, pentru oricem N;(b)(m, S(n)) = +((m, n), m), pentru oricem, n N.

    (3) Exista o unica operatie : NN N astfel ncat:(a)(m, 0) = 1, pentru oricem N;(b)(m, S(n)) = ((m, n), m), pentru oricem, n N.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    32/220

    26 Multimi

    (4) Exista o unica operatieS : N N astfel ncat:(a) S(0) = 0;

    (b) S(S(n)) = n, pentru oricen N.(5) Exista o unica operatie

    : N

    N

    N astfel ncat:

    (a) (m, 0) =m, pentru oricem N;(b) (m, S(n)) =S( (m, n)), pentru oricem, n N.

    Demonstratie In Teorem 1.1.4.2 consideramA= P = N si:

    g(p) = p si h(p, n, x) =S(x), pentru oricep, n, x N(pentru operatia +);

    g(p) = 0si h(p, n, x) = +(x, p), pentru oricep, n, x N(pentru operatia );

    g(p) = 1si h(p, n, x) = (x, p), pentru oricep, n, x N(pentru operatia);

    g(p) = 0si h(p, n, x) = n, pentru oricep, n, x N(pentru operatiaS);

    g(p) = p si h(p, n, x) =S(x), pentru oricep, n, x N(pentru operatia ).

    Unica functie a carei existenta este asigurata de aceasta teorema este ntocmai +sau,respectiv,

    ,,S

    ,

    .

    Operatia + (,, ) este numita operatia de adunare (nmultire,ridicare la putere,diferenta,sc adere aritmetica) pe N; uzual vom folosi notatia infix pentru ele, adica

    vom scriem + n(m n,mn,m n) n loc de+(m, n)((m, n),(m, n), (m, n)).Semnele operatiilor de nmultire si ridicare la putere se omit cu precadere, utilizandu-

    se mn si mn pentru m n si, respectiv,mn. De la Teorema 1.1.4.3 rezulta ca areloc

    S(m) =S(+(m, 0)) = +(m, S(0)) = +(m, 1) = m + 1,

    ceea ce permite utilizarea notatieim + 1pentruS(m), care este mult mai intuitiva siusor de manipulat. (a1), (a2), (i1), (i2), (p1), (p2), (d1) si (d2) din Teorema 1.1.4.3

    pot fi reformulate astfel:

    (a1) m+ 0 =m;

    (a2) m+ (n + 1) = (m + n) + 1;

    (i1) m 0 = 0;(i2) m (n + 1) = (m n) + m;

  • 5/20/2018 Fundamentele algebrice ale informaticii

    33/220

    Relatii si functii 27

    (p1) m0 = 1;

    (p2) mn+1 =mn m;(d1) m 0 =m;(d2) m

    (n+ 1) =S(m

    n),

    pentru oricem, n N.Introducerea multimii numerelor naturale, mpreuna cu operatiile de baza pe

    acestea, constituie un obiectiv major pe care consideram ca l-am dus la bun sfarsit.

    Din acest punct mai departe vom presupune ca cititorul este familiarizat cu pro-

    prietatile de baza ale numerelor naturale si operatiile cu acestea. De asemenea, pre-

    supunem ca este cunoscut modul de introducere a celorlate sisteme de numere,ntregi

    (Z),rationale (Q),reale (R) si complexe(C), precum si a operatiilor de baza pe aces-

    tea (pentru detalii, indicam [182]). Z denota Z {0}, Z+ denota {xZ|x0},iar Z+ denota

    {x

    Z

    |x > 0

    }. Aceste notatii sunt extinse si la Q si R, iar notatia

    si la C.

    1.2 Relatii si functii

    In Sectiunea 1.1 s-a introdus, n maniera axiomatica, conceptul de multime si, bazat

    pe acesta, concepetele de pereche ordonata, relatie, functie si numar natural. Toate

    acestea sunt fundamentale n matematica, ele constituind baza tuturor celorlalte con-

    cepte matematice.

    In aceasta sectiune vom aprofunda studiul acestor concepte de baza.

    1.2.1 Relatii

    Relatiile binare(Sectiunea 1.1.1) sunt multimi de perechi ordonate. Multimea vida

    este relatie, numitarelatia vid a. Notatia a b este utilizata frecvent pentru a specificafaptul ca(a, b)este element al relatie.

    Deoarece relatiile sunt multimi, putem construi reuniunea, intersectia, diferenta

    si complementara lor, care sunt relatii; egalitatea relatiilor este egalitate de multimi.

    Dom()siCod()desemneaza domeniul si, respectiv, codomeniul relatie.

    Exemplul 1.2.1.1. FieAsi B multimi.

    (1) Relatia=A A Adata prin=A= {(a, a)|a A}

    este numita relatia de egalitate pe A sau identitatea pe A sau diagonala luiA A(frecvent notata si prinA 14).

    14Notatia Aeste de preferat notatiei=Acare poate reducelizibilitatea textului cum ar fi de exemplun scrieri de forma ==A.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    34/220

    28 Relatii si functii

    (2) Relatia A A Adata prinA= {(a, b)|a, b A, a b}

    este numitarelatia de apartenentape A.

    (3) Relatia

    A

    A

    Adata prin

    A= {(a, b)|a, b A, a b}este numitarelatia de incluziunepeA. Inlocuind prin , obtinemrelatia deincluziune strict apeA, notata prin A.

    (4) RelatiaA,B A B data prinA,B = {(a, b)|a A, b B} =A B

    este numitarelatia completade laA la B . In cazulA = B , notatiaA,B va fisimplificata la A, care este numitarelatia complet apeA.

    Atunci cand multimeaA este subnteleasa din context, notatia= A (A,A,A,A,A) va fi simplificata la=(, , , ,).Definitia 1.2.1.1. Fieo relatie binara siAo multime. Restrictia relatieilaAesterelatia binara notata|Asi data prin

    |A= (A A).Relatia|A este intersectia a doua relatii,|A = A. Acest fapt permite dez-

    voltarea unor proprietati ale relatiei |A uzand de diverse proprietati ale intersectieide relatii.

    Evident, restrictia unei relatii binare se poate face restrangand doar domeniul sau

    doar codomeniul acesteia, sau restrangandu-le pe ambele dar n mod diferit. In cazul

    Definitiei 1.2.1.1, atat domeniul cat si codomeniul sunt restrictionate prin intermediul

    aceleiasi multimiA.

    Este adesea util a reprezenta grafic relatiile binare. Reprezentarea grafica a unei

    relatii se face printr-un graf orientat ale carui noduri sunt etichetate cu elementelemultimii Dom()Cod(). Pentru fiecare pereche(a, b) se traseaza un arc de lanodul cu etichetaa la nodul cu eticheta b. In mod frecvent nodurile sunt identificateprin etichetele lor (distinctia nod-eticheta fiind esentiala atunci cand noduri diferite

    sunt etichetate cu aceeasi eticheta). In Figura 1.2 este reprezentata grafic relatia

    = {(a, a), (a, b), (b, c), (a, c), (a, d)},punand n evidenta atat reprezentarea cu noduri etichetate cat si cea n care nodurile

    sunt identificate cu etichetele lor.

    Urmatoarea propozitie prezinta cateva proprietati elementare ale domeniului si

    codomeniului unei relatii.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    35/220

    Relatii 29

    a

    b c

    d

    a)

    a

    b c

    d

    b)

    Figura 1.2: Reprezentari grafice ale aceleiasi relatii binare

    Propozitia 1.2.1.1. Fiesi doua relatii binare. Atunci, au loc urmatoarele propri-etati:

    (1) Dom( ) =Dom() Dom();(2) Cod( ) =Cod() Cod();(3) Dom( ) Dom() Dom();(4) Cod( ) Cod() Cod();(5) Dom() Dom() Dom( );(6) Cod() Cod() =Cod( );(7) daca , atunciDom() Dom()si Cod() Cod().

    Atragem atentia asupra incluziunilor din Propozitia 1.2.1.1(1)(2)(3)(4). Ele pot

    fi stricte. De exemplu, daca = {(a, b)} si = {(a, c)}, undeb =c, atunciDom( ) = dar Dom() Dom() = {a}.

    Produsul si inversa relatiilor binare sunt operatii specifice de mare importanta

    n studiul acestora.

    Definitia 1.2.1.2. Fie si doua relatii binare. Relatia binara notata si dataprin

    = {(a, c)|(b)((a, b) (b, c) )}este numitaprodusulrelatiilor si.

    Este clar ca pentru orice doua relatiisi , produsul lor este relatie binara (deci,Definitia 1.2.1.3 este consistenta). Daca este relatie de laA la B , iar de laC laD, atunci este relatie de laAlaD. In plus, dacaCod() Dom() = , atunci = .

    Urmatoarea propozitie prezinta cateva proprietatile de baza ale produsului de

    relatii.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    36/220

    30 Relatii si functii

    Propozitia 1.2.1.2. Fie , si relatii binare, iar A si B multimi. Atunci, au locurmatoarele proprietati:

    (1) Dom( ) Dom();(2) Cod( ) Cod();(3) ( ) = ( ) ;(4) ( ) = ( ) ( );(5) ( ) = ( ) ( );(6) ( ) ( ) ( );(7) ( ) ( ) ( );(8) ( );

    (9) daca , atunci si ;(10) A si B . In plus,A = daca si numai dacaDom() A

    si, B = daca si numai dacaCod() B.Demonstratie Vom demonstra doar (10). Fie(a, b) A . Atunci, exista castfelncat(a, c)A si (c, b). Conform definitiei relatieiA, urmeazaa = c si, deci,(a, b) . Am obtinut astfel incluziuneaA ; incluziunea B sedemonstreaza similar acesteia.

    Sa presupunem acum ca A = si sa aratam ca Dom() A. Fie aDom(). Atunci, exista b astfel ncat (a, b)

    . Deoarece = A

    , obtinem

    (a, b) A si, deci, va exista c astfel ncat (a, c) A si (c, b) . Conformdefinitiei relatieiA avemc= a si, deci, a A. Am obtinut astfelDom() A.

    Reciproc, sa presupunem caDom()A. Conform cu ceea ce am demonstratanterior (A ), ne ramane de aratat caA . Fie deci(a, b) . CumDom()A urmeaza caaA si, atunci, putem scrie (a, b)A . Am obtinutastfel= A .

    Echivalenta B = daca si numai daca Cod() B se demonstreazasimilar celei precedente.

    Atragem atentia asupra incluziunilor din Propozitia 1.2.1.2(1)(2). Daca, de e-

    xemplu, existaa

    Dom()astfel ncat

    {b|(a, b) } Dom() = ,

    atunciDom( ) Dom(). Similar, daca existac Cod()astfel ncat

    Cod() {b|(b, c) } = ,

    atunciCod( ) Cod().

  • 5/20/2018 Fundamentele algebrice ale informaticii

    37/220

    Relatii 31

    Asociativitatea produsului de relatii ne permite sa scriem n loc de( ) sau ( ). Astfel, daca(a, d) , atunci existab si c astfelncat(a, b) ,(b, c) si (c, d) .

    Atunci cand nu exista pericol de confuzie semnul operatiei de compunere, ,va fi omis. Astfel, n loc de vom scrie.

    Definitia 1.2.1.3. Fie o relatie binara. Inversarelatiei este relatia notata1 sidata prin

    1 = {(b, a)|(a, b) }.Inversa unei relatii exista ntotdeauna, iar daca este relatie de la A la B, atunci

    1 este relatie de laB laA. Pentru anumite relatii inversa are o notatie consacrata.Urmatorul tabel prezinta cateva dintre aceste notatii (Aeste o multime arbitrara):

    < A A1 > A A

    Propozitia 1.2.1.3. Fie

    si

    relatii binare. Atunci, au loc urmatoarele proprietati:

    (1) Dom(1) =C od();

    (2) Cod(1) =Dom();

    (3) (1)1 =;

    (4) daca , atunci1 1;(5) ( )1 =1 1;(6) (

    )1 =1

    1;

    (7) ( )1 =1 1;(8) ( )1 =1 1.

    Demonstratie Vom demonstra doar (8). Fie(a, b) ( )1. Atunci,(b, a) si exista c astfel ncat (b, c) si (c, a) . Ca urmare, (c, b) 1 si(a, c) 1, ceea ce arata ca (a, b) 1 1. Am obtinut astfel incluziunea( )1 1 1; incluziunea n sens invers se arata n mod similar. Definitia 1.2.1.4. Fie o relatie binara, iarAsi B multimi.

    (1) Imaginea multimiiAprin, notata(A), este multimea

    (A) = {b|(a A)(a b)}.

    (2) Imaginea invers a a multimiiB prin, notata1(B), este multimea

    1(B) = {a|(b B)(a b)}.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    38/220

    32 Relatii si functii

    Este clar ca(A)si1(B)exista (1(B)este de fapt imaginea multimii Bprinrelatia binara 1). Atunci cand Aeste de forma {a} vom nota (a)n loc de({a}).Propozitia 1.2.1.4. Fie si relatii binare, iar A si B multimi. Atunci, au locurmatoarele proprietatile:

    (1) (A B) =(A) (B);(2) dacaA B, atunci(A) (B);(3) (A B) (A) (B);(4) (A) (B) (A B);(5) (A) = daca si numai dacaDom() A= ;(6) Dom() A 1((A))siCod() B (1(B));(7)

    ( )(A) = ((A)).

    Demonstratie (1) Afirmatia se obtine pe baza echivalentelor:

    b (A) (B) b (A) b (B) (a A: a b) (a B: a b) a A B: a b b (A B),

    pentru oriceb.(2) DacaA BatunciB = A B. Utilizand (1) obtinem

    (A) (B) =(B),ceea ce arata ca(A) (B).

    (3) DeoareceA B Asi A B B, de la (2) urmeaza

    (A B) (A) si (A B) (B).

    Atunci,(A B) (A) (B).(4) Dacac (A) (B), atunci existaa Aastfel ncata csi, pentru orice

    b B,(b, c) . Aceasta ne arata caa A B si, deci, c (A B). Ca urmare,(A)

    (B)

    (A

    B).

    (5) urmeaza direct de la faptul ca b (A) daca si numai daca exista a Dom() Aastfel ncat(a, b) .

    (6) Pentru oricea Dom() A, {b|a b} (A)si, deci,

    Dom() A 1((A)).

    Similar se obtine si incluziuneaCod() B (1(B)).(7) Afirmatia se obtine pe baza echivalentelelor:

  • 5/20/2018 Fundamentele algebrice ale informaticii

    39/220

    Relatii 33

    c ( )(A) a A: (a, c) a A,b Cod() Dom() : a b b c b (A) : b c c ((A)),

    pentru oricec.

    Vom prezenta acum cateva tipuri importante de relatii binare cat si simple carac-

    terizari ale acestora.

    Definitia 1.2.1.5. Fie o relatie binara siAo multime.

    (1) este numitareflexiva peAdaca are loc

    (a)(a A (a, a) ).

    (2) este numitaireflexiv a peAdaca are loc

    (a)(a A (a, a) ).

    (3) este numitasimetric a pe Adaca are loc

    (a, b)(a, b A (a, b) (b, a) ).

    (4) este numitaasimetric a pe Adaca are loc

    (a, b)(a, b A (a, b) (b, a) ).

    (5) este numitaantisimetric a pe Adaca are loc

    (a, b)(a, b A (a, b) (b, a) a= b).

    (6) este numitatranzitiv a pe Adaca are loc

    (a,b,c)(a,b,c A (a, b) (b, c) (a, c) ).

    (7) este numitaconexa peAdaca are loc

    (a, b)(a, b A a b a= b b a).

    (8) este numitadirijat a pe A 15 daca are loc

    (a, b)(a, b A ( c A)(a c b c)).15Conceptul de relatie dirijata apare pentru prima data n lucrarea lui Moore si Smith asupra unei

    teorii generale a conceptului de limita [133]. Acest concept de relatie dirijata s-a dovedit ulterior de

    importanta foarte mare n informatica, n studiul semanticii limbajelor de programare si al domeniilor

    semantice.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    40/220

    34 Relatii si functii

    (9) este numitafiltrat a pe Adaca are loc

    (a, b)(a, b A ( c A)(c a c b)).

    (10) este numita reflexiva (ireflexiva, simetrica, asimetric a, antisimetric a, tran-zitiva, conexa, dirijat a, filtrat a) daca este reflexiva (ireflexiva, simetric a,

    asimetrica, antisimetric a, tranzitiv a, conexa, dirijat a, filtrat a) pe multimeaDom() Cod().

    Teorema 1.2.1.1. Fie o relatie binara siA= Dom() Cod().(1) este reflexiva daca si numai dacaA .(2) este ireflexiva daca si numai dacaA = .(3) este simetrica daca si numai daca= 1.

    (4) este antisimetrica daca si numai daca 1 A.(5) este asimetrica daca si numai daca 1 = .(6) este tranzitiva daca si numai daca .(7) este conexa daca si numai daca 1 A=A A.

    Demonstratie Vom demonstra ca exemplu (4), celelalte ramanand n seama citi-

    torului. Sa presupunem deci ca este antisimetrica. Pentru orice(a, b) 1are loc(a, b) si (b, a). Relatia fiind antisimetrica, deducema = b si, deci,(a, b) A. Am obtinut astfel 1 A.

    Data o relatiepe Adefinim: 0 =A; n+1 =n , pentru oricen 0; + = n1 n; = n0 n.

    Corolarul 1.2.1.1. Fieo relatie peA. Atunci,

    (1) + este cea mai mica relatie tranzitiva pe Ace include;

    (2) este cea mai mica relatie reflexiva si tranzitiva pe Ace include.

    Demonstratie (1) Conform definitiei,+ include. In plus,

    + + =

    n,m1

    n+m +,

    ceea ce arata ca+ este tranzitiva (Teorema 1.2.1.1(6)).

  • 5/20/2018 Fundamentele algebrice ale informaticii

    41/220

    Relatii de echivalenta 35

    Daca este o relatie tranzitiva ce include , atunci ea trebuie sa includa si 2.Acum, incluzand si 2, va trebui sa includa si3. Inductiv, trebuie sa includan,pentru oricen 1. Deci, trebuie sa includa+, ceea ce demonstreaza (1).

    (2) A si, deci, este reflexiva. Restul se arata ca la (1).

    Relatia + este numita nchiderea tranzitiv a a relatiei, iar , nchiderea re-

    flexiva si tranzitiv a a relatiei(asupra acestor relatii vom reveni n Sectiunea 2.2).

    Reprezentarea grafica a relatiilor reflexive se simplifica, n mod frecvent, prin

    eliminarea arcelor de la nod la el nsusi. O simplificare mult mai consistenta se face

    pentru relatii tranzitive. Daca este o relatie tranzitiva, atunci reprezentarea graficaa ei se substituie prin reprezentarea grafica a relatiei

    = .

    De exemplu, relatia

    = {(a, a), (b, b), (c, c), (a, b), (b, c), (a, c)}

    este atat reflexiva cat si tranzitiva. Reprezentarea grafica a ei este data n Figura

    1.3(a), iar cea simplificata n Figura 1.3(b). Atragem atentia asupra faptului ca atunci

    a b c

    a)

    a b c

    b)

    Figura 1.3: Reprezentare simplificata a unei relatii reflexive si tranzitive

    cand se fac astfel de reprezentari simplificate tipul relatiei trebuie sa rezulte clar din

    context.

    Conceptul de relatie binara poate fi extins la cel de relatie ternar a ca fiind o

    multime de 3-uple sau, ca fiind o submult ime a unui produs cartezian A B C.DacaA = B =C, relatia va mai fi numitarelatie ternar a peA.

    Evident, extensia de mai sus poate fi realizata pentru orice n 2 arbitrar, obti-nandu-se astfel conceptul derelatien-ar a.

    1.2.2 Relatii de echivalenta

    Clasa relatiilor de echivalenta este una din cele mai importante clase de relat ii binare.

    Definitia 1.2.2.1. Fie o relatie binara si A o multime. Spunem ca este relatiede echivalenta peA daca este reflexiva, simetrica si tranzitiva peA. Atunci candA= Dom() Ran()vom spune caesterelatie de echivalenta.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    42/220

    36 Relatii si functii

    Relatia vida este relatie de echivalenta numai pe multimea vida (pe multimi ne-

    vide ea este simetrica si tranzitiva dar nu este reflexiva).

    Este usor de vazut ca daca este relatie de echivalenta atunci, pentru oricemultimeA,|Aeste de asemenea relatie de echivalenta.Exemplul 1.2.2.1. FieAo multime nevida. Relatia binara=A(definita n Exemplul

    1.2.1.1(1)) este relatie de echivalenta peA.

    Observatia 1.2.2.1. Echipotenta, introdusa n Sectiunea 1.1.1, verifica urmatoarele

    proprietati:

    A A, pentru orice multimeA; dacaA BatunciB A, pentru orice multimiAsiB; dacaA B si B CatunciA C, pentru orice multimiA,B siC.

    Ca urmare, echipotenta ar avea atributele unei relatii de echivalenta dar nu este

    relatie de echivalenta deoarece clasa tuturor multimilor, peste care s-ar considera

    echipotenta ca relatie binara, nu este multime. Daca nsa consideram echipotenta

    peste o familie de multimiA, sa o notam prinA, atunci ea devine relatie deechivalenta pe A.Definitia 1.2.2.2. Fieo relatie de echivalenta siaun element. Se numeste clasa deechivalenta a luiamodulo/relativ lamultimea

    [a]= {b|a b}.Este clar ca, pentru oricea, clasa de echivalenta a luia moduloexista. Reflex-

    ivitatea asigura ca aceasta clasa este nevida (contine macar pea).

    Lema 1.2.2.1. Fie o relatie de echivalenta si a, b doua elemente. Atunci, au locurmatoarele proprietati:

    (1) a bdaca si numai daca[a]= [b];

    (2)(a b)daca si numai daca[a] [b] = .Demonstratie (1) Sa presupunem ca a b. Fie x [a]. Urmeaza ca x a (pe bazasimetriei), x b (pe baza tranzitivitatii) si b x (pe baza simetriei); deci, x [b]. Amobtinut astfel[a] [b]; similar se arata si cealalta incluziune.

    Reciproc, daca presupunem ca[a] = [b], atuncib

    [a] (deoareceb

    [b]) si,

    deci,a b.(2) Daca(a b) atunci[a]= [b] (de la (1)). Daca multimile[a] si [b] ar

    contine elemente comune, fiec un astfel de element, atunci a csi c bar conducelaa b; contradictie.

    Reciproc, daca[a] [b] = , atunci[a]= [b], iar (1) conduce la (a b). Daca este o relatie de echivalenta pe o multime nevidaA, atunci Lema 1.2.2.1

    ne spune ca mparte multimea A n submult imi disjuncte (clase de echivalenta),

  • 5/20/2018 Fundamentele algebrice ale informaticii

    43/220

    Relatii de echivalenta 37

    fiecare submultime fiind alcatuita din exact acele elemente ce sunt echivalentemo-

    dulo. Notam multimea tuturor claselor de echivalenta induse de relatia prinA/si o numim multimea c atsau factor indus a deA si (existenta acestei multimi esteasigurata de Axiomele partilor si separarii). Adica,

    A/= {[x]|x A}.Exista o stransa legatura ntre multimea partitiilor unei multimiA, Part(A), si

    multimea relatiilor de echivalenta peA, notataE(A).

    Definitia 1.2.2.3. Fie A o multime nevida iar S1si S2doua partitii ale lui A. SpunemcaS1 rafineazape S2, si notamS1 S2, daca pentru orice bloc X S1 exista unblocY S2astfel ncatX Y.Teorema 1.2.2.1. FieAo multime nevida.

    (1) FieSo partitie a multimiiAsi S relatia binara peAdata prin:

    a Sb (X S)(a, b X),pentru oricea, b A. Atunci,Seste relatie de echivalenta peA.

    (2) Fie o relatie de echivalenta peA si S multimea tuturor claselor de echiva-lenta induse de. Atunci,S este partitie a multimiiA.

    (3) (a) Daca S1 si S2 sunt partitii ale multimii A astfel ncat S1 S2, atunciS1 S2 .

    (b) Daca1 si 2 sunt relatii de echivalenta peAastfel ncat12, atunciS1 S2.

    (4) (a) DacaSeste partitie a multimiiA, atunciS=SS .

    (b) Dacaeste relatie de echivalenta peA, atunci= S .

    Demonstratie (1) si (2) necesita doar simple verificari si, ca urmare, vom trece la

    a demonstra celelalte proprietati.

    (3)(a) Fie (a, b) S1. Exista atunci un bloc X S1 astfel ncat a, b X.Deoarece S1 S2, va exista Y S2 astfel ncat X Y. Aceasta conduce laa, b Y, adica(a, b) S2 . Deci,S1 S2 .

    Afirmatia de la (3)(b) se obtine similar celei precedente.

    (4)(a) Este suficient sa aratam ca pentru oriceX Sexista o clasa de echiva-lenta[x]S astfel ncatX= [x]S , si reciproc.

    FieX S. Consideram un element arbitrarxdinX(exista un astfel de elementcaci X este nevida) si aratam ca X = [x]S . Daca y X, atunci x Sy si, deci,y [x]S ; dacay [x]S , atuncix Sy si, deci,xsi y sunt n acelasi bloc al partitieiS. Cumx Xurmeaza cay X. Am demonstrat astfel caX= [x]S .

    Reciproc, daca[x]S este o clasa de echivalenta, atunci exista un unic bloc X cecontinex. Printr-un rationament asemanator celui de mai sus se arata caX= [x]S .De la acestea urmeazaS= SS .

  • 5/20/2018 Fundamentele algebrice ale informaticii

    44/220

    38 Relatii si functii

    Afirmatia de la (4)(b) se obtine similar celei precedente.

    Putem spune deci ca relatiile de echivalenta pe o multime si partit iile acelei

    multimi sunt descrieri diferite ale aceleiasi entitati matematice. Atunci cand lu-

    cram cu astfel de entitati este convenabil de a avea cate un reprezentant al fiecarei

    clase de echivalenta. Suntem astfel condusi la a ne ntreba asupra existentei unei

    multimi de reprezentanti pentru o partitie. Aceasta chestiune a fost de altfel abor-data n Sectiunea 1.1.1 si, asa cum am mentionat, o vom trata complet n sectiunea

    dedicata Axiomei alegerii.

    Functiile injective pastreaza relatiile de echivalenta. Fie A o multime, orelatie peAsi f :A B o functie. Notam prinf()relatia

    f() = {(f(a), f(b))|(a, b) }.

    Propozitia 1.2.2.1. Fief :A Bo functie sio relatie de echivalenta peA. Dacafeste functie injectiva, atuncif()este relatie de echivalenta pef(A).

    Demonstratie Reflexivitatea si simetria relatiei f()se obtin imediat. Sa discutamtranzitivitatea.

    Fie(x, y), (y, z) f(). Atunci, exista(a, b), (c, d) astfel ncatf(a) = x,f(b) = y, f(c) = y si f(d) = z. Injectivitatea functiei f conduce la b = c, iartranzitivitatea relatiei conduce la(a, d) si, deci, (x, z) f(). Deci,f()estetranzitiva. Impreuna cu celelalte doua proprietati,f()devide relatie de echivalentapef(A).

    Atragem atentia asupra necesitatii proprietatii de injectivitate n a obtine tranzi-

    tivitatea relatiei f() (a se vedea demonstratia propozitiei). De asemenea, atragem

    atentia asupra faptului caf()este relatie de echivalenta pe f(A)si nu peB, n modnecesar. Aceasta pentru ca este posibil sa se piarda proprietatea de reflexivitate.

    Corolarul 1.2.2.1. Fief :A Bo functie sio relatie de echivalenta peA. Dacafeste functie bijectiva, atuncif()este relatie de echivalenta peB.

    FieAo multime si, E(A)astfel ncat . Simpla incluziune a relatieinne spune ca orice clasa de echivalenta n raport cueste inclusa n exact o clasade echivalenta n raport cu . Ca urmare, o clasa de echivalenta n raport cu esteformata din una sau mai multe clase de echivalenta n raport cu . Grafic, aceastasituatie arata ca n Figura 1.4. Este justificat atunci a spune ca este maifin adecat

    .Considerand acum multimeaA/, putem defini relatia binara/ data prin

    [a] / [b] a b ,

    pentru oricea, b A.Diferenta ntre si / consta n aceea ca actioneaza pe multimea A, n timp

    ce/ actioneaza peA/.

  • 5/20/2018 Fundamentele algebrice ale informaticii

    45/220

    Relatii de echivalenta 39

    = - - - si

    =

    Figura 1.4: este mai fina decat

    Propozitia 1.2.2.2. FieAo multime si,,1si2relatii de echivalenta pe Aastfelncat 1 2. Atunci, au loc urmatoarele proprietati:

    (1) / E(A/);(2) orice relatie de echivalenta pe A/ este de forma /, unde E(A) si

    ;

    (3) /= A/;

    (4) A2/= (A/)2 (A2 este relatia binaraA Acare, evident, include);(5) 1 2daca si numai daca1/ 2/;(6) 1=2 daca si numai daca1/ =2/.

    Demonstratie Vom demonstra (2), (3) si (4), restul ramanand n grija cititorului.

    (2) Fie o relatie de echivalenta peA/. Definim prin

    a b [a] [b],pentru oricea, b A. Este usor de vazut ca este relatie de echivalenta peA.

    Fiea b. Atunci,[a] [b] deoarece este reflexiva. Conform definitiei relatiei, urmeaza a b. Ca urmare, . Ne ramane de aratat ca = /. Aceastaurmeaza nsa imediat de la definitiile relatiilor si/.

    (3) Au loc relatiile:

    [a] / [b] a b [a] A/[b],

    pentru oricea, b A, ceea ce demonstreaza egalitatea ceruta.(4) Au loc relatiile:

    [a] A2/ [b] a A2 b

    [a](A/)2 [b],pentru oricea, b A, ceea ce demonstreaza egalitatea ceruta.

    Atragem atentia asupra faptului ca, n Propozitia 1.2.2.2(3),/ est