Documente Academic
Documente Profesional
Documente Cultură
Cursul II
Claudia MURES
AN
cmuresan11@yahoo.com
Universitatea din Bucuresti
Facultatea de Matematic
a si Informatic
a
Bucuresti
2011-2012, semestrul I
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
1 / 41
Multimi si functii
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
2 / 41
Multimi si functii
Amintim din primul curs si primul seminar faptul ca are sens sa ne referim la
obiecte (elemente, multimi, clase) arbitrare, pentru care nu specificam un
domeniu al valorilor.
Amintim din primul seminar urmatoarea metoda de a demonstra ca doua
multimi A si B satisfac incluziunea A B: A B ddaca, pentru orice
element x, are loc implicatia x A x B.
Amintim din primul seminar urmatoarea metoda de a demonstra ca doua
multimi A si B sunt egale, provenita din faptul ca egalitatea de multimi este
echivalenta cu dubla incluziune ntre ele si din metoda descrisa imediat mai
sus pentru demonstrarea incluziunii ntre doua multimi: A = B ddaca, pentru
orice element x, are loc echivalenta x A x B.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
3 / 41
Multimi si functii
Notatie
Alaturarea de simboluri ! semnifica exista un unic, exista si este unic.
Notatie
Vom nota cu multimea vida, adica multimea fara elemente. Pastram notatiile
cunoscute , si \ pentru reuniunea, intersectia si respectiv diferenta de multimi.
De asemenea, pastram notatiile , (, si ) pentru incluziunile si incluziunile
stricte dintre multimi n fiecare sens. Vom mai nota incluziunile stricte si cu si
respectiv , dar numai atunci cand precizarea ca este vorba de o incluziune stricta
si nu poate avea loc egalitatea de multimi nu ne foloseste n cele prezentate.
Remarca
Este evident faptul ca singura submultime a multimii vide este multimea vida.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
4 / 41
Multimi si functii
Notatie
Pentru orice elemente a si b, notam cu (a, b) perechea ordonata formata din a si
b.
Definitie
Pentru orice multimi A si B, se defineste produsul cartezian dintre A si B (numit
si produsul direct dintre A si B) ca fiind multimea {(a, b) | a A, b B}, notata
A B.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
5 / 41
Multimi si functii
Remarca
Se demonstreaza usor ca, pentru orice multime A, A = A = .
De asemenea, se demonstreaza usor ca produsul cartezian este distributiv fata de
reuniunea, intersectia si diferenta de multimi, adica, pentru orice multimi A, B si
C , au loc egalitatile:
A (B C ) = (A B) (A C ) si (B C ) A = (B A) (C A)
A (B C ) = (A B) (A C ) si (B C ) A = (B A) (C A)
A (B \ C ) = (A B) \ (A C ) si (B \ C ) A = (B A) \ (C A)
Aveti ca tem
a pentru acas
a demonstrarea tuturor acestor egalitati.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
6 / 41
Multimi si functii
Definitie
Fie A si B multimi oarecare. Se numeste functie de la A la B un triplet
f := (A, G , B), unde G A B, a. ., pentru orice a A, exista un unic b B,
cu proprietatea ca (a, b) G .
Formal: (a A)(!b B)(a, b) G .
f
Faptul ca f este o functie de la A la B se noteaza cu f : A B sau A B.
Multimea A se numeste domeniul functiei f , B se numeste codomeniul sau
domeniul valorilor lui f , iar G se numeste graficul lui f .
Pentru fiecare a A, unicul b B cu proprietatea ca (a, b) G se noteaza cu
f (a) si se numeste valoarea functiei f n punctul a.
Exemplu
Care dintre urmatoarele corespondente este o functie de la A la B?
f
g
h
A B
A B
A B
r
r
r
r
r
r:
r
r
r
Z
Z
Z
r Z
r X
rXX
X
~r
~r
Z
z
~r
Z
z
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
7 / 41
Multimi si functii
Remarca
Amintim din primul curs si primul seminar ca, oricare ar fi propozitiile (i. e.
proprietatile, enunturile, afirmatiile) p si q:
implicatia p q este echivalenta cu non p sau q, asadar:
implicatia p q este adevarata ddaca p e falsa sau q e adevarata
implicatia p q este falsa ddaca p e adevarata si q e falsa
Intr-adevar, echivalenta ntre p q si non p sau q se arata foarte usor:
implicatia directa (p q implica non p sau q) se demonstreaza observand
ca, daca are loc p q, atunci, cand non p e falsa, adica p e adevarata,
rezulta ca e adevarata si q, asadar, ori de cate ori p q este adevarata,
rezulta ca si non p sau q este adevarata; implicatia inversa (non p sau q
implica p q) rezulta din faptul ca, daca non p sau q este adevarata,
atunci, cand p este adevarata si deci non p este falsa, rezulta ca este
adevarata q, prin urmare implicatia p q este adevarata.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
8 / 41
Multimi si functii
Remarca
Fie B o multime oarecare (poate fi vid
a si poate fi nevid
a). Atunci exista o
unica functie f : B.
Intr-adevar, o functie f : B trebuie sa fie un triplet f = (, G , B), cu
G B = , deci G = . Asadar, exista cel mult o functie f : B, anume
f = (, , B) este unica posibilitate. Sa aratam ca acest triplet satisface definitia
functiei:
(a )(!b B)(a, b) , i. e.:
(a)[a (!b)(b B si (a, b) )].
Pentru orice element a, proprietatea a este falsa, asadar, pentru orice element
a, implicatia [a . . .] este adevarata. Iar acest lucru nseamna exact faptul
ca ntreaga proprietate (a)[a . . .] este adevarata, deci f este functie. Prin
urmare, exista o unica functie f : B, anume f = (, , B).
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
9 / 41
Multimi si functii
Remarca
Fie A o multime nevid
a. Atunci nu exista nicio functie f : A .
Intr-adevar, o functie f : A trebuie sa fie un triplet f = (A, G , ), cu
G A = , deci G = . Asadar, daca ar exista o functie f : A , atunci am
avea neaparat f = (A, , ). Sa vedem daca acest triplet verifica definitia functiei:
(a A)(!b )(a, b) , i. e.:
(a)[a A [[(b)(b si (a, b) )] si
[(c)(d)((c si d si (a, c) si (a, d) ) c = d)]]].
Oricare ar fi elementul b, proprietatea b este falsa, deci, oricare ar fi
elementele a si b, conjunctia (b si (a, b) ) este falsa, deci, oricare ar fi
elementul a, proprietatea (b)(b si (a, b) ) este falsa, asadar, oricare ar fi
elementul a, conjunctia care succede mai sus implicatiei avand ca antecedent pe
a A este falsa. In schimb, ntrucat A este nevida, rezulta ca proprietatea a A
este adevarata pentru macar un element a. Prin urmare, implicatia [a A . . .]
de mai sus este falsa pentru cel putin un element a, ceea ce nseamna ca ntreaga
proprietate (a)[a A . . .] este falsa, si deci f nu este functie.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
10 / 41
Multimi si functii
Definitie
Pentru orice multimi A si B, orice functie f : A B si orice submultimi X A si
Y B, se definesc:
imaginea lui X prin f sau imaginea directa a lui X prin f , notata f (X ), este
submultimea lui B: f (X ) = {f (x) | x X } B
f (A) = {f (a) | a A} B se mai noteaza cu Im(f ) si se numeste imaginea
lui f
preimaginea lui Y prin f sau imaginea inversa a lui Y prin f , notata f 1 (Y )
(f (Y ) n unele carti, pentru a o deosebi de imaginea lui Y prin inversa f 1
a lui f , care exista numai atunci cand f este inversabila, adica numai atunci
cand f este bijectiva, pe cand preimaginea unei submultimi a codomeniului
poate fi definita pentru orice functie), este submultimea lui A:
f 1 (Y ) = {x A | f (x) Y } A
Remarca
Evident, cu notatiile de mai sus, f 1 (B) = A.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
11 / 41
Definitie
Pentru orice multimi A si B, notam cu AB diferenta simetrica a lui A si B,
anume: AB = (A \ B) (B \ A).
Notatie
Pentru orice multime T , vom nota cu P(T ) multimea partilor lui T , i. e.
multimea submultimilor lui T : P(T ) = {X | X T }.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
12 / 41
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
13 / 41
Observatie
In definitia de mai sus pentru functiile caracteristice ale submultimilor unei
multimi T , am folosit notatia (consacrat
a) A pentru functia caracteristica a
unei submultimi A a lui T , care sugereaza faptul ca aceasta functie ar depinde
numai de A. Motivul pentru care nu se ataseaza la aceasta notatie si indicele T ,
pentru a arata faptul evident ca aceasta functie depinde si de T , este ca, n mod
uzual, se considera multimea totala T ca fiind fixata atunci cand lucram cu
functiile caracteristice ale partilor sale.
Remarca
In cele ce urmeaza vom considera codomeniul functiilor caracteristice {0, 1} N
(sau {0, 1} Z, sau {0, 1} R), iar operatiile aritmetice care vor fi efectuate vor
fi operatiile uzuale de pe N (sau Z, sau R).
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
14 / 41
Curs II logic
a matematic
a si computational
a
i=1
2011-2012, semestrul I
15 / 41
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
16 / 41
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
17 / 41
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
18 / 41
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
19 / 41
Remarca
Punctele (3) si (4) ale propozitiei precedente ne ofera posibilitatea de a demonstra
incluziunea si egalitatea de multimi folosind functia caracteristica a multimilor
respective.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
20 / 41
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
21 / 41
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
22 / 41
Multimi si functii
Definitie
Fie A si B multimi si f : A B o functie. f se zice:
injectiva ddaca are loc oricare dintre urmatoarele conditii echivalente:
pentru orice b B, exist
a cel mult un a A, astfel nc
at f (a) = b
pentru orice a1 , a2 A, dac
a a1 6= a2 , atunci f (a1 ) 6= f (a2 )
pentru orice a1 , a2 A, dac
a f (a1 ) = f (a2 ), atunci a1 = a2
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
23 / 41
Functia caracteristica
Definitie
Doua multimi A si B se zic cardinal echivalente ddaca exista o functie bijectiva de
la A la B, fapt notat prin: A
= B.
Notatie
Pentru orice multimi A si B, se noteaza cu B A multimea functiilor de la A la B:
B A = {f | f : A B}.
Propozitie
Pentru orice multime nevida T , P(T )
= {0, 1}T .
Demonstratie: Consideram aplicatia
f : P(T ) {0, 1}T = { | : T {0, 1}}, definita prin: pentru orice
A P(T ), f (A) = A (functia caracteristica a lui A raportat la T ).
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
24 / 41
Functia caracteristica
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
25 / 41
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
26 / 41
Definitie
Fie T si I doua multimi arbitrare. Se numeste familie de submultimi ale lui T
indexata de I o functie f : I P(T ). Pentru fiecare i I , se noteaza
Ai := f (i) P(T ), iar familia de submultimi ale lui T se noteaza cu (Ai )iI .
Scriem (Ai )iI P(T ) cu semnificatia ca, pentru fiecare i I , Ai P(T ).
Elementele multimii I se numesc indicii familiei (Ai )iI .
Putem generaliza definitiile anterioare la siruri de multimi oarecare si familii de
multimi oarecare, nu neaparat parti ale unei multimi precizate, dar vom avea
nevoie de acea definitie mai cuprinzatoare a notiunii de functie, care permite unei
functii f definite pe N, respectiv pe I , sa aiba drept codomeniu o clasa (nu
neaparat o multime), anume clasa tuturor multimilor n acest caz.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
27 / 41
Ai = {x | (i I )x Ai }
iI
Ai si definita prin:
iI
Ai = {x | (i I )x Ai }
iI
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
28 / 41
Definitie
produsul cartezian al familiei (A
si produsul direct al familiei
i )iI (numit
Y
(Ai )iI ) este multimea notata
Ai si definita prin:
iI
Ai = {(ai )iI
iI
Ai | (i I )ai Ai },
iI
sau, altfel scris (cu definitia unei familii de elemente exemplificate mai sus pe
familii de numere reale):
Y
[
Ai = {f | f : I
Ai , (i I )f (i) Ai }.
iI
Claudia MURES
AN (Universitatea din Bucuresti)
iI
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
29 / 41
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
30 / 41
Numere cardinale
Amintim ca spunem ca doua multimi A si B sunt cardinal echivalente, si scriem
A
= B, ddaca exista o bijectie f : A B.
Definitie
Pentru orice multime A, se numeste cardinalul lui A sau numarul cardinal al lui A
clasa tuturor multimilor B cu A
= B, notata |A|.
Este simplu de demonstrat, folosind operatii cu bijectii pe care le consideram
cunoscute din gimnaziu si liceu, ca:
pentru orice multime A, A
= A, deci A |A|
B, atunci B
pentru orice multimi A si B, daca A =
= A si |A| = |B|, i. e.
C ddaca satisface B
orice multime C satisface A =
=C
pentru orice multimi A si B, daca A B, atunci nu exista nicio multime C
cu proprietatile: C |A| (i. e. A
= C ) si C |B| (i. e. B
= C)
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
31 / 41
Numere cardinale
Definitie
Pentru orice multimi A si B, notam cu:
|A| |B| faptul ca exista o injectie j : A B
|A| < |B| faptul ca |A| |B| si |A| 6= |B|, i. e. exista o injectie j : A B,
dar nu exista nicio bijectie f : A B
Teorema (Cantor)
Pentru orice multime X , |X | < |P(X )|.
Demonstratie: Daca X = , atunci se poate verifica faptul ca unica functie
f : X = P(X ) = P() = {}, anume f = (, , {}), este injectie, dar nu
este surjectie, deci nu este bijectie.
Pentru cele ce urmeaza, sa presupunem ca X 6= .
Definim j : X P(X ), pentru orice x X , j(x) = {x} P(X ). Functia j este
bine definita si injectiva, pentru ca, oricare ar fi x, y X cu j(x) = j(y ), i. e.
{x} = {y }, rezulta x = y (deoarece doua multimi coincid ddaca au aceleasi
elemente). Asadar |X | |P(X )|.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
32 / 41
Numere cardinale
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
33 / 41
Numere cardinale
Numerele naturale pot fi construite cu ajutorul cardinalelor (al numerelor
cardinale), ntrun mod care nu este fundamental diferit de constructia
mentionata n primul curs:
0 := ||,
1 := |{}|,
2 := |{, {}}|,
..
.
Mereu se considera multimea avand drept elemente toate multimile de la pasii
anteriori.
Multimea numerelor naturale, N, este o multime infinita, si este o multime
numarabila.
Ce este o multime numarabila?
Ce este o multime infinita?
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
34 / 41
Numere cardinale
Notatie
Cardinalul multimii numerelor naturale se noteaza cu 0 , pronuntat alef 0:
0 := |N|.
Definitie
O multime X se zice numarabila ddaca |X | = 0 , i. e. ddaca X
= N.
Definitie
O multime X se zice infinita:
1
2
3
Teorema
Cele trei definitii de mai sus ale multimilor infinite sunt echivalente.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
35 / 41
Numere cardinale
Observatie
Pentru demonstratia teoremei anterioare, a se vedea finalul primului capitol al
cartii: D. Busneag, D. Piciu, Lectii de algebra, Editura Universitaria Craiova,
2002. Aceasta demonstratie nu face parte din materia pentru examen.
Desigur, o multime finita este, prin definitie, o multime care nu este infinita,
adica, n conformitate cu definitia de mai sus a multimilor infinite n sens obisnuit,
o multime finita este o multime X cu proprietatea ca X
= {1, 2, . . . , n} pentru un
anumit n N. (Desigur, am folosit licenta de scriere (conventia):
{1, 2, . . . , n} = pentru n = 0.)
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
36 / 41
Numere cardinale
Definitia multimilor infinite n sens Cantor arata ca 0 (i. e. cardinalul multimilor
numarabile) este cel mai mic cardinal infinit, unde cardinal infinit (sau cardinal
transfinit) nseamna cardinal al unei multimi infinite. In particular, N este o
multime infinita, si orice multime numarabila este o multime infinita.
Definitie
O multime cel mult numarabila este o multime finita sau numarabila (adica avand
cardinalul mai mic sau egal cu 0 ).
N este o multime infinita, deci, conform definitiei multimilor infinite n sens
Dedekind, poate fi pusa n bijectie cu o submultime proprie (i. e. stricta, i. e.
diferita de ntreaga multime N) a sa.
Exemplu
Un hotel are o infinitate de camere, numerotate cu numerele naturale, si toate
camerele sale sunt ocupate. Cum poate fi cazat un nou turist n acel hotel?
Solutie: mutam ocupantul camerei 0 n camera 1, pe cel al camerei 1 n camera 2,
pe cel al camerei 2 n camera 3 s. a. m. d.. Iar noul turist este cazat n camera 0.
Morala: cum punem pe N n bijectie cu N := N \ {0}? Definim f : N N ,
pentru orice n N, f (n) = n + 1. f este o bijectie.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
37 / 41
Numere cardinale
Exemplu
Un hotel are o infinitate de camere, numerotate cu numerele naturale, si toate
camerele sale sunt ocupate. Cum pot fi cazati un milion de noi turisti n acel
hotel?
Solutie: mutam ocupantul camerei 0 n camera 1.000.000, pe cel al camerei 1 n
camera 1.000.001, pe cel al camerei 2 n camera 1.000.002 s. a. m. d.. Iar noii
turisti sunt cazati n camerele 0, 1, 2, . . . , 999.999.
Morala: cum punem pe N n bijectie cu
N \ 0, 999.999 = {n N | n 1.000.000}? Definim g : N N \ 0, 999.999,
pentru orice n N, g (n) = n + 1.000.000. g este o bijectie.
Remarca
Multimea Z a numerelor ntregi este numa(rabila. Intr-adevar, functia h : Z N,
2x,
daca x 0,
definita prin: pentru orice x Z, h(x) =
este o bijectie.
2x 1, daca x < 0,
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
38 / 41
Numere cardinale
Remarca
Multimea Q a numerelor rationale este numarabila, fapt care poate fi demonstrat
printr-o mare varietate de procedee, cum ar fi: punand mai ntai pe Q [0, ) n
x
, apoi pe Q [0, 1) n bijectie cu N prin
bijectie cu cu Q [0, 1) prin x
x +1
asezarea elementelor lui Q [0, 1) n sirul
0 0 1 0 1 2
0 1 2
n1
0
, , , , , ,..., , , ,...,
,
, . . . si eliminarea duplicatelor din
1 2 2 3 3 3
n n n
n
n+1
acest sir, iar pasii de pana acum conduc, prin compunere de bijectii, la existenta
unei bijectii : Q [0, ) N cu (0) = 0 (deci
|Q(0,) : Q (0, ) N = N \ {0} este, la randul ei, o bijectie), ceea ce
permite(obtinerea unei bijectii f : Q N, definite prin: pentru orice x Q,
2(x),
daca x 0,
f (x) =
A se vedea alte metode de a construi o
2(x) 1, daca x < 0.
bijectie ntre Q si N n primul capitol al cartii: D. Busneag, D. Piciu, Lectii de
algebra, Editura Universitaria Craiova, 2002.
Observatie
Demonstrarea faptului ca Q
= N nu face parte din materia pentru examen.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
39 / 41
Numere cardinale
Remarca
Multimea R a numerelor reale nu este numarabila (sigur ca este infinita, n baza
definitiei lui Cantor pentru multimile infinite, deoarece include pe N). Acest fapt
poate fi aratat, de exemplu, prin procedeul diagonal al lui Cantor: sa
consideram o functie arbitrara f : N R si, pentru fiecare n N, sa scriem pe
f (n) ca fractie zecimala: f (n) = [f (n)] + 0, an,1 an,2 an,3 . . . an,n an,n+1 . . . an,k . . .,
unde [f (n)] este partea ntreaga a lui f (n) si an,1 , an,2 , an,3 , . . . sunt cifrele zecimale
de dupa virgula ale lui f (n). Sa consideram un numar real b, cu scrierea ca fractie
zecimala: b = 0, b1 b2 b3 . . . bn . . ., cu cifrele zecimale b1 , b2 , b3 , . . . , bn , . . . si cu
proprietatea ca, pentru orice n N, bn
/ {0, an,n , 9} (eliminam pe 0 si 9 pentru a
evita cazul dat de egalitatea 1 = 0, (9) = 0, 9999 . . ., usor verificabila prin
exprimarea cu fractii a acestor numere). Atunci, pentru orice n N, b 6= f (n),
pentru ca au a na zecimala diferita, ceea ce arata ca f nu este surjectiva. Deci
nu exista nicio surjectie de la N la R, asadar nu exista nicio bijectie ntre N si R.
Remarca
Se poate arata ca R
= P(N).
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
40 / 41
Numere cardinale
Definitie
|R| se numeste puterea continuumului.
Ipoteza continuumului: Nu exista niciun cardinal C cu proprietatea ca
0 = |N| < C < |R|. (Adica |R| este primul cardinal infinit nenumarabil.)
S-a demonstrat ca:
ipoteza continuumului este o proprietate independenta de sistemele
consacrate de axiome pentru teoria multimilor (ZermeloFraenkel, von
NeumannBernaysGodel etc.), i. e. nu poate fi nici demonstrata, nici
infirmata pornind de la axiomele din aceste sisteme.
Claudia MURES
AN (Universitatea din Bucuresti)
Curs II logic
a matematic
a si computational
a
2011-2012, semestrul I
41 / 41