Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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.
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.
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.