Sunteți pe pagina 1din 9

Logica Matematica si Computationala

MULT IMI. RELAT II. II Ioana Leu stean FMI, UB

Principiul Induct iei

Principiul Induct iei Dac a S N astfel nc at: (i) 0 S , (ii) or. n N (n S n + 1 S ), atunci S = N. Dem. Fie S N a. . (i) si (ii) sunt adev arate. Presupunem c a S = N, deci exist a n0 N \ S . Din (i) rezult a c a n0 = 0. Din (ii) rezult a c a 1, . . . , n0 1 S , deci n0 S . Am obt inut o contradict ie, deci S = N.

Mult imi num arabile

O mult ime A este num arabil a dac a exist a f : N A funct ie bijectiv a si se nume ste cel mult num arabil a dac a este nit a sau num arabil a. Exercit ii (1) O reuniune nit a de mult imi num arabile este num arabil a. (2) O reuniune num arabil a de mult imi num arabile este num arabil a. (3) Q este num arabil a.

Principiul Diagonaliz arii


Principiul Diagonaliz arii Fie A o mult ime si R A A o relat ie binar a pe A. Pentru orice a A denim Ra = {x A | (a, x ) R }. Fie DR = {x A | (x , x ) R } diagonala relat iei R . Atunci DR = Ra pentru orice a A. Dem. Presupunem c a exist a a A astfel nc at DR = Ra . Sunt posibile dou a cazuri: a DR sau a DR . (1) a DR (a, a) R a Ra = DR , (2) a DR (a, a) R a Da = DR . In ambele cazuri ajungem la o contradict ie, deci DR = Ra oricare a A.

Principiul Diagonaliz arii


Propozit ie. P (N) nu este num arabil a. Dem. Presupunem c a P (N) este num arabil a, deci exist a o biject ie F : N P (N). Denim R = {(n, k ) N N | k F (n)} N N. Dac a n N atunci Rn = {k N | (n, k ) R } = {k N | k F (n)} = F (n). Principiul diagonaliz arii implic a DR = F (n) pentru orice n N. Dar DR N, deci DR P (N). Deoarece F este bijectiv a, rezult a c a exist a un n0 N astfel nc at F (n0 ) = DR . Am obt inut o contradict ie, deci P (N) nu este num arabil a. Observat ii. (1) Exist a o funct ie bijectiv a ntre P (N) si 2N , unde 2N = {f : N {0, 1} | f funct ie}. (2) Exist a o funct ie bijectiv a ntre 2N si R. In consecint a 2N si R nu sunt num arabile.

Familii de elemente
I , A mult imi O familie de elemente din A indexat a de I este o funct ie f : I A. Not am cu {ai }i I familia f : I A, f (i ) = ai or. i I . Vom scrie {ai }i atunci cand I poate dedus din context. Dac a I = atunci {ai }i este familia vid a . Fie {Ai }i I si {Bi }i I familii de submult imi ale unei mult imi T . Denim . x Ai } i I Ai = {x T | ex . i I a. i I Ai = {x T | x Ai or . i I } Exercit iu.
i I

Ai =

i I

Ai = ,
i Ai

Dac a I = atunci

i Ai

= T.

Produsul cartezian
I mult ime, {Ai }i I familie de mult imi indexat a de I . Vom nota prin (xi )i o familie de elemente a mult imii proprietatea c a xi Ai or. i I . Denim
i I i

Ai cu

Ai = {f : I i Ai |f (i ) Ai or . i I } = {(xi )i |xi Ai or . i I }.

Exercit iu. Fie I , J mult imi ( i I Ai ) ( j J Bj ) = (i ,j )I J (Ai Bj ) ( i I Ai ) ( j J Bj ) = (i ,j )I J (Ai Bj ) Dac a I = atunci i Ai = {} = {} este singleton si cont ine unica funct ie de la f : .

Operatori de nchidere
T mult ime Un operator de nchidere pe T este o funct ie C : P (T ) P (T ) care veric a urm atoarele propriet a ti oricare A, B T : (I1) A C (A), (I2) A B implic a C (A) C (B ), (I3) C (C (A)) = C (A). Exercit iu. Fie X0 T o submult ime xat a. Atunci C : P (T ) P (T ) denit prin C (A) = A X0 or. A T este operator de nchidere.

Operatori de nchidere

Exemplu. Fie Var o mult ime de variabile si Form mult imea propozit iilor care se pot construi folosind variabile din Var . Pentru Form denim C () = mult imea tuturor formulelor care sunt consecint e ale lui . Funct ia C : P (Form) P (Form) este un operator de nchidere.

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