Documente Academic
Documente Profesional
Documente Cultură
Logică matematică
Seminar 1
(S1.1) Fie X o mulţime. Să se arate că nu există o funcţie surjectivă cu domeniul X şi
codomeniul P(X).
Demonstraţie: Presupunem că ar exista şi fie f : X → P(X) surjectivă. Fie mulţimea
A = {x ∈ X | x ∈
/ f (x)} ∈ P(X).
R ◦ R = {(a, a), (a, b), (a, c), (a, d), (b, a), (b, b), (b, c)},
R−1 = {(b, a), (c, a), (d, c), (a, a), (a, b)}.
(ii) A × (B ∩ C) = (A × B) ∩ (A × C).
Demonstraţie:
1
(i) Avem că
x ∈ A × (B ∪ C) ⇐⇒ există a ∈ A şi y ∈ B ∪ C cu x =(a, y)
⇐⇒ există a ∈ A şi y ∈ B sau y ∈ C cu x = (a, y)
⇐⇒ există a ∈ A şi y ∈ B cu x = (a, y)
sau există a ∈ A şi y ∈ C cu x = (a, y)
⇐⇒ x ∈ A × B sau x ∈ A × C
⇐⇒ x ∈ (A × B) ∪ (A × C).
Prin urmare, A × (B ∪ C) = (A × B) ∪ (A × C).