x, y  A  C  x, y  B  C  x, y  A  C  B  C.

2 Demonstăm că C  A  B  C  A  C  B.
Fie x, y  C  A  B  x  C y  A  B 
xC  xC  yA  yB 
xC  yA  xC  yB 
x, y  C  A  x, y  C  B  x, y  C  A  C  B.

Propoziţie. Fie n  N, n  2 şi obiectele a 1 , . . . , a n , b 1 , . . , b n . Atunci

a 1 , a 2 , . . . , a n   b 1 , b 2 , . . . , b n   a 1  b 1  a 2  b 2 . . .  a n  b n .

Demonstraţie. Vom proceda prin inducţie după n  N, n  2.

Pentru n  2, egalitatea este adevărată ( conform obsevaţiei).
În continuare, presupunem că a 1 , a 2 , . . . , a n1   b 1 , b 2 , . . . , b n1  
a 1  b 1  a 2  b 2 . . .  a n1  b n1 şi demonstrăm că:
a 1 , a 2 , . . . , a n   b 1 , b 2 , . . . , b n   a 1  b 1  a 2  b 2 . . .  a n  b n .
a 1 , a 2 , . . . , a n   b 1 , b 2 , . . . , b n   a 1 , a 2 , . . . , a n1 , a n   b 1 , b 2 , . . . , b n1 , b n .
Aplicând pasul n  2, ultima egalitate este echivalentă cu a 1 , a 2 , . . . , a n1  
b 1 , b 2 , . . . , b n1  şi a n  b n . Conform ipotezei de inducţie obţinem că a 1  b 1 
a 2  b 2 . . .  a n1  b n1  a n  b n .

Definiţie. Fie n  N, n  2 şi mulţimile A 1 , A 2 . . . , A n . Mulţimea

A 1  A 2 . . . A n 
a 1 , a 2 , . . . , a n  / a 1  A 1 , a 2  A 2 , . . . , a n  A n se numeşte
produsul cartezian (ordonat) al mulţimilor A 1 , A 2 . . . , A n .

Definiţie. Fie A şi B două mulţimi. Osubmulţime   A  B se numeşte relaţie

binară de la A la B.
Dacă   A  A, ea se numeşte relaţie binară pe A.
Pentru perechea ordonată a, b  A  B, putem avea a, b  , caz în care scriem
ab şi citim „ a este în relaţie  cu b “ sau putem avea a, b  , caz în care citim „ a
nu este în relaţie  cu b “.
Exemplu de relaţie binară. Fie A  1; 2, B  1; 2; 3,   A  B,
  1, 1; 1, 2; 2, 2.

Definiţie. Fie trei mulţimi A, B, C şi relaţiile binare  1  A  B,  2  B  C.

Relaţia  2   1  A  C,
 2   1  x, z  A  C /  y  B a.î. x, y   1 şi y, z   2 se numeşte

13
compunerea relaţiilor  1 şi  2 .

Exemplu: A  1, 2, B  1, 2, 3,  1  A  B,

 1  1, 1, 1, 2, 2, 1, 2, 3 şi  2  B  B,
 2  1, 1, 1, 3, 2, 1, 2, 2, 3, 2, 3, 3. Avem:  2   1  A  B,
 2   1  1, 1, 1, 3, 1, 2, 2, 1, 2, 3, 2, 2 şi  2   2  B  B,
 2   2  1, 1, 1, 3, 1, 2, 2, 1, 2, 3, 2, 2, 3, 1, 3, 2, 3, 3.

Propoziţie. Fie mulţimile A, B, C, D şi relaţiile binare  1  A  B,  2  B  C,

 3  C  D. Atunci  3   2    1   3   2   1  (asociativitatea compunerii
relaţiilor).

Demonstraţie. Avem  3   2  B  D;  3   2    1  A  D;
 2   1  A  C;  3   2   1   A  D.
Fie x, u   3   2   1    z  C a.î
x, z   2   1  z, u   3 
 z  C  y  B a.î. x, y   1  y, z   2  z, u   3 
 y  B  z  C a.î. x, y   1  y, z   2  z, u   3 
 y  B a.î. x, y   1  y, u   3   2  x, u   3   2    1 .

Definiţie. Fie o mulţime A. Relaţia 1 A  A  A, 1 A  x, y  A  A / x  y se

numeşte relaţia de egalitate pe mulţimea A.

Exemple: 1) Fie mulţimea A  1, 2, 3, 4.

1 A  A  A, 1 A  1, 1, 2, 2, 3, 3, 4, 4.
2) 1 R  R  R, 1 R  x, y  R 2 / x  y ( are ca reprezentare în plan prima
bisectoare a axelor de coordonate).

Propoziţie. Fie două mulţimi A şi B. Atunci, pentru orice relaţie   A  B avem:

  1 A    1 B  .

Demonstraţie. 1 A  A  A,   A  B, 1 B  B  B    1 A  A  B şi
1 B    A  B.
Fie x, z    1 A   y  A a.î. x, y  1 A  y, z     y  A a.î.
y  x  y, z    x, z  . Deci   1 A  . Analog se demonstrează că
1 B    .
Definiţie. Fie două mulţimi A şi B şi o relaţie binară   A  B.

14
 Relaţia  1  y, x  B  A / x, y  A  B  B  A se numeşte inversa
relaţiei . Avem: y, x   1  x, y  .

Exemplu: Fie mulţimile A  a, b; B  x, y, z, t,   A  B,

  a, x; a, y; b, x; b, t. Atunci  1  B  A,
 1  x, a; y, a; x, b; t, b.

Propoziţie. Fie A, B, C 3 mulţimi şi relaţiile binare  1  A  B,  2  B  C.

Atunci  2   1  1   1 1
1  2 .

1
Demonstraţie.  2   1  A  C  2  1  C  A,

 1 1 1 1
2  C  B,  1  B  A   1   2  C  A.

Fie z, x   2   1  1  x, z   2   1 

 y  B x, y   1  y, z   2
  y  B y, x   1 1
1  z, y   2  z, x   1 1
1  2 .

Propoziţie. Fie A şi B două mulţimi o relaţie binară   A  B. Atunci

1
 1   .

Demonstraţie.  1  B  A   1  1  A  B.
Fie x, y   1  1  y, x   1  x, y  .

2.3. Relaţii de echivalenţă

Fie  o relaţie binară pe o mulţime A.

Definiţie.  se numeşte reflexixă dacă pentru  x  A : x, x  .

15
 Definiţie.  se numeşte simetrică dacă pentru  x, y  A cu proprietatea că
x, y    y, x  .

Definiţie.  se numeşte tranzitivă dacă pentru  x, y, z  A cu proprietatea că

x, y   şi y, z    x, z  .

Definiţie. O relaţie binară  pe o mulţime A se numeşte relaţie de echivalenţă dacă

este reflexivă, simetrică şi tranzitivă.

Propoziţie. Fie  o relaţie binară pe o mulţime A. Atunci:

i  este reflexixă dacă şi numai dacă 1 A  ;
ii  este simetrică dacă şi numai dacă  1   (în care caz  1  );
iii  este tranzitivă dacă şi numai dacă     ;
iv  este relaţie de echivalenţă dacă şi numai dacă 1 A  ;  1  ;     .

Demonstraţie. i „“  reflexivă  pentru  x  A : x, x    1 A  .

„“ 1 A    pentru  x  A : x, x     reflexivă.
ii „“  simetrică. Demonstrăm că  1  .
Fie y, x   1  x, y  . Ştiind că  este simetrică, rezultă că y, x  . Deci
 1  .
„“ Ştim că  1  . Demonstrăm că  este simetrică.
Fie x, y    y, x   1     este simetrică.
iii „“  tranzitivă. Demonstrăm că     .
Fie x, z       y  A x, y    y, z   . Aplicând faptul că 
este tranzitivă obţinem x, z  . Rezultă că     .

„“ Ştim că     . Demonstrăm că  tranzitivă.

Fie x, y   şi y, z    x, z         tranzitivă.
 reflexivă 1A  
iv „“  este relaţie de echivalenţă   simetrică   1  
 tranzitivă     .

În plus, dacă x, y  , din reflexivitate y, y  , deci x, y    . Rezultă că

    .
Ţinând cont de ipoteză obţinem că     .
„“ Se demontrează uşor ţinând cont de i; ii; iii.

16
 Definiţie. Fie o mulţime A. O familie A i  iI de sunbmulţimi ale lui A se numeşte
partiţie a lui A, dacă satisface următoarele condiţii:
a A i   i  I;
b A i  A j   i, j  I, i  j;
c  A i  A.
iI

Definiţie. Fie o mulţime A şi  o relaţie de echivalenţă pe A. Pentru x  A

definim  x  y  A / x, y   .
 x se mai notează cu x şi se numeşte clasa de echivalenţă a elementului x.

Propoziţie. Fie o mulţime A şi   A  A o relaţie de echivalenţă pe A. Atunci,

următoarele afirmaţii sunt echivalente:
i x  x , x  A;
ii x  y  x, y  ;
iii x  y    x, y  ;
iv A   x.
xA

Demonstraţie. i  reflexivă  pentru  x  A : x, x    x  x .

ii „“ y  y  x  x, y  .
„“x, y  .
Demonstrăm că x  y . Fie z  x  x, z  . Dein faptul că  este simetrică
rezultă că z, x  . Dar x, y   şi aplicând faptul că  este tranzitivă obţinem că
z, y    z  y . Deci x  y . Analog se obţine că y  x , deci x  y .
iii „“ x  y  .
Presupunem prin absurd că x, y    y  x . Dar y  y  y  x  y , ceea ce
contrazice ipoteza  x, y  .
„“x, y  . Demonstrăm că x  y  .
Presupunem prin absurd că  z  x  y  z, x   şi z, y  . Folosind
faptul că  este simetrică rezultă că x, z   şi z, y  . Aplicând tranzitivitatea lui
, rezultă că x, y  , ceea ce contrazice ipoteza  x  y  .
iv „ “ Fie y  A  y  y  y   x . Deci A   x .
xA xA

„ “ Evidentă.

17