Produsul cartezian este una dintre cele mai importante construcții din teoria mulțimilor. Își datorează numele lui René Descartes (Cartesius), care a introdus sistemul de coordonate carteziene, făcând posibilă asocierea fiecărui punct din plan cu o pereche ordonată de numere reale.
Această operație permite trecerea de la ideea de mulțime privită izolat la construirea unor structuri ordonate, constituind fundamentul riguros al noțiunilor de relație, funcție, grafic și spații multidimensionale.
Cuprins
- Definiție formală
- Proprietăți fundamentale
- Proprietăți distributive
- Interpretare geometrică
- Produsul cartezian al mai multor mulțimi
- Relații și funcții
- O privire mai atentă asupra cardinalității
- Exerciții cu soluții
- Concluzie
Definiție formală
Fie \(A\) și \(B\) două mulțimi. Produsul cartezian al mulțimilor \(A\) și \(B\), notat cu \(A \times B\), este mulțimea tuturor perechilor ordonate posibile:
\[ A \times B = \{(a, b) \mid a \in A \land b \in B\} \]
Perechea \((a,b)\) este ordonată: ordinea componentelor este esențială. Într-adevăr:
\[(a, b) = (c, d) \quad \iff \quad a = c \ \text{și} \ b = d\]
Exemplu clasic
Fie \(A = \{1, 2\}\) și \(B = \{x, y\}\). Atunci:
\[ A \times B = \{(1,x), (1,y), (2,x), (2,y)\} \]
Observație: ce este, de fapt, o pereche ordonată?
La nivel intuitiv, o pereche ordonată înseamnă pur și simplu „două elemente așezate într-o anumită ordine”. Însă în teoria mulțimilor, unde totul trebuie construit pornind numai de la conceptul de mulțime, este necesară o definiție precisă. Cea mai răspândită este definiția lui Kuratowski:
\[ (a, b) := \{\, \{a\},\ \{a, b\} \,\} \]
Se poate demonstra că, prin această definiție, este satisfăcută proprietatea caracteristică \((a,b) = (c,d) \iff a = c \land b = d\), care este, în fond, singura proprietate pe care o cerem unei „perechi ordonate”. În calculele practice, această construcție nu este folosită niciodată: ea servește doar pentru a garanta că produsul cartezian este un obiect bine definit în cadrul teoriei mulțimilor.
Proprietăți fundamentale
Dacă \(A\) și \(B\) sunt mulțimi finite, cardinalitatea produsului cartezian este dată de formula:
\[ |A \times B| = |A| \cdot |B| \]
În plus, produsul cartezian este vid exact atunci când cel puțin unul dintre cei doi factori este vid:
\[ A \times B = \varnothing \quad \iff \quad A = \varnothing \ \text{sau} \ B = \varnothing \]
În particular:
\[ A \times \varnothing = \varnothing \times A = \varnothing \]
În general, produsul cartezian nu este comutativ. Mai precis:
\[ A \times B = B \times A \quad \iff \quad A = B \ \text{sau} \ A = \varnothing \ \text{sau} \ B = \varnothing \]
Este valabilă și o proprietate simplă de monotonie în raport cu incluziunea: dacă \(A \subseteq A'\) și \(B \subseteq B'\), atunci \(A \times B \subseteq A' \times B'\). Verificarea este imediată: dacă \((a,b) \in A \times B\), atunci \(a \in A \subseteq A'\) și \(b \in B \subseteq B'\), deci \((a,b) \in A' \times B'\).
Proprietăți distributive
Produsul cartezian este distributiv față de principalele operații cu mulțimi:
- \( A \times (B \cap C) = (A \times B) \cap (A \times C) \)
- \( A \times (B \cup C) = (A \times B) \cup (A \times C) \)
- \( A \times (B \setminus C) = (A \times B) \setminus (A \times C) \)
Demonstrația distributivității față de intersecție. Fie \((a,x)\in A\times(B\cap C)\). Atunci \(a\in A\) și \(x\in B\cap C\), adică \(x\in B\) și \(x\in C\). Prin urmare, \((a,x)\in A\times B\) și \((a,x)\in A\times C\), deci \((a,x)\in (A\times B)\cap(A\times C)\).
Reciproc, fie \((a,x)\in (A\times B)\cap(A\times C)\). Atunci \((a,x)\in A\times B\) și \((a,x)\in A\times C\). Prin urmare, \(a\in A\), \(x\in B\) și \(x\in C\), deci \(x\in B\cap C\) și \((a,x)\in A\times(B\cap C)\).
Demonstrația distributivității față de reuniune. Fie \((a,x)\in A\times(B\cup C)\). Atunci \(a\in A\) și \(x\in B\cup C\), adică \(x\in B\) sau \(x\in C\). Prin urmare, \((a,x)\in A\times B\) sau \((a,x)\in A\times C\), deci \((a,x)\in (A\times B)\cup(A\times C)\).
Reciproc, fie \((a,x)\in (A\times B)\cup(A\times C)\). Atunci \(a\in A\) și (\(x\in B\) sau \(x\in C\)), deci \(a\in A\) și \(x\in B\cup C\). Prin urmare, \((a,x)\in A\times(B\cup C)\).
Atenție: o greșeală frecventă
O tentație frecventă este să scriem:
\[ (A \cup C) \times (B \cup D) \stackrel{?}{=} (A \times B) \cup (C \times D) \]
însă această egalitate este falsă în general. Este suficient un contraexemplu: fie \(A = \{1\}\), \(C = \{2\}\), \(B = \{3\}\), \(D = \{4\}\). Atunci:
\[ (A \cup C) \times (B \cup D) = \{1,2\} \times \{3,4\} = \{(1,3),(1,4),(2,3),(2,4)\} \]
în timp ce:
\[ (A \times B) \cup (C \times D) = \{(1,3)\} \cup \{(2,4)\} = \{(1,3),(2,4)\} \]
Cele două mulțimi sunt clar diferite: în prima apar și „perechile mixte” \((1,4)\) și \((2,3)\). În schimb, este adevărată, și se demonstrează ușor, egalitatea:
\[ (A \cap C) \times (B \cap D) = (A \times B) \cap (C \times D) \]
Interpretare geometrică
Atunci când \(A, B \subseteq \mathbb{R}\), produsul cartezian \(A \times B\) corespunde unei regiuni din planul cartezian \(\mathbb{R}^2\).
Exemple
- \([0,1] \times [0,1]\) reprezintă pătratul unitar închis
- \(\mathbb{R} \times \mathbb{R}\) reprezintă întregul plan cartezian
Produsul cartezian al mai multor mulțimi
Definiția se extinde în mod natural la mai multe mulțimi. Date \(n\) mulțimi \(A_1, \dots, A_n\), definim:
\[ A_1 \times A_2 \times \cdots \times A_n = \{(a_1,a_2,\dots,a_n) \mid a_i \in A_i \ \forall i=1,\dots,n\} \]
În particular, spațiul euclidian \(n\)-dimensional se definește prin:
\[ \mathbb{R}^n = \underbrace{\mathbb{R} \times \mathbb{R} \times \cdots \times \mathbb{R}}_{n \text{ ori}} \]
Observație: este produsul asociativ?
Strict vorbind, mulțimile \((A \times B) \times C\) și \(A \times (B \times C)\) nu sunt egale: prima conține elemente de forma \(((a,b),c)\), iar a doua conține elemente de forma \((a,(b,c))\). Există însă o corespondență biunivocă naturală între ele, precum și cu \(A \times B \times C\), înțeles ca mulțime a tripletelor ordonate:
\[ ((a,b),c) \ \longleftrightarrow \ (a,b,c) \ \longleftrightarrow \ (a,(b,c)) \]
Din acest motiv, în practică, asociativitatea este considerată implicită și se scrie pur și simplu \(A \times B \times C\), fără paranteze.
Relații și funcții
O relație între două mulțimi \(A\) și \(B\) este orice submulțime a produsului cartezian:
\[ R \subseteq A \times B \]
O funcție \(f: A \to B\) este o relație particulară care asociază fiecărui element din \(A\) exact un element din \(B\):
\[ \forall a \in A, \ \exists! \, b \in B \quad \text{astfel încât} \ (a,b) \in f \]
Funcții reale de variabilă reală
O funcție \(f: \mathbb{R} \to \mathbb{R}\) poate fi identificată cu propriul său grafic:
\[ G_f = \{(x, f(x)) \mid x \in \mathbb{R}\} \subseteq \mathbb{R} \times \mathbb{R} \]
Din punct de vedere geometric, graficul trebuie să respecte criteriul dreptei verticale: orice dreaptă verticală intersectează graficul în cel mult un punct.
Câte funcții există?
Mulțimea tuturor funcțiilor de la \(A\) la \(B\) se notează cu \(B^A\). Pentru mulțimi finite este valabilă formula:
\[ |B^A| = |B|^{|A|} \]
Există aici o paralelă elegantă cu formula \(|A \times B| = |A| \cdot |B|\): în produsul cartezian alegem două componente, una din \(A\) și una din \(B\); în cazul funcțiilor \(A \to B\), alegem câte un element din \(B\) pentru fiecare dintre cele \(|A|\) elemente ale lui \(A\), de unde apare exponentul.
O privire mai atentă asupra cardinalității
Pentru mulțimi finite, formula \(|A \times B| = |A| \cdot |B|\) este foarte intuitivă: este suficient să numărăm perechile. În cazul mulțimilor infinite, însă, lucrurile devin mai subtile, iar rezultatele sunt adesea surprinzătoare.
Un rezultat celebru al lui Georg Cantor afirmă că există o corespondență biunivocă între punctele unei drepte și punctele unui plan:
\[ |\mathbb{R} \times \mathbb{R}| = |\mathbb{R}| \]
Spus informal, planul conține „tot atâtea puncte câte” o dreaptă. Același lucru este valabil pentru spațiul tridimensional și, în general, pentru \(\mathbb{R}^n\), cu \(n \geq 1\): toate aceste mulțimi au aceeași cardinalitate, notată cu \(\mathfrak{c}\), cardinalitatea continuului.
Acest rezultat este mai puțin paradoxal decât pare: egalitatea privește numai „numărul de puncte” considerat ca mulțime, nu dimensiunea geometrică sau structura topologică. O dreaptă și un plan rămân obiecte profund diferite din punct de vedere geometric.
Exerciții cu soluții
Exercițiul 1. Fie \(A = \{a, b\}\) și \(B = \{1, 2, 3\}\). Determinați \(A \times B\) și cardinalitatea sa.
Soluție:
Prin definiție, produsul cartezian \(A \times B\) este mulțimea tuturor perechilor ordonate \((x,y)\) cu \(x \in A\) și \(y \in B\).
Pornim de la elementul \(a \in A\). Acestuia îi putem asocia toate elementele lui \(B\):
\[ (a,1),\ (a,2),\ (a,3) \]
Procedăm apoi la fel pentru elementul \(b \in A\):
\[ (b,1),\ (b,2),\ (b,3) \]
Prin urmare:
\[ A \times B = \{(a,1), (a,2), (a,3), (b,1), (b,2), (b,3)\} \]
Mulțimea \(A\) are \(2\) elemente, iar mulțimea \(B\) are \(3\) elemente. Aplicând formula cardinalității produsului cartezian, obținem:
\[ |A \times B| = |A| \cdot |B| = 2 \cdot 3 = 6 \]
Exercițiul 2. Arătați că \(A \times B \neq B \times A\), folosind \(A = \{1,2\}\) și \(B = \{3\}\).
Soluție:
Calculăm separat cele două produse carteziene.
Pentru \(A \times B\), primul element al perechii trebuie să aparțină lui \(A\), iar al doilea lui \(B\). Cum:
\[ A=\{1,2\}, \qquad B=\{3\} \]
obținem:
\[ A \times B = \{(1,3), (2,3)\} \]
Calculăm acum \(B \times A\). De această dată, primul element trebuie să aparțină lui \(B\), iar al doilea lui \(A\):
\[ B \times A = \{(3,1), (3,2)\} \]
Cele două mulțimi sunt diferite, deoarece perechile ordonate:
\[ (1,3) \neq (3,1) \]
și:
\[ (2,3) \neq (3,2) \]
Ordinea componentelor este esențială într-o pereche ordonată. Prin urmare:
\[ A \times B \neq B \times A \]
Exercițiul 3. Fie \(A = \{1,2,3\}\). Calculați \(|A \times A \times A|\) și interpretați rezultatul.
Soluție:
Produsul cartezian:
\[ A \times A \times A \]
este mulțimea tuturor tripletelor ordonate:
\[ (x,y,z) \]
cu:
\[ x,y,z \in A \]
Deoarece:
\[ A=\{1,2,3\} \]
fiecare componentă a tripletului poate fi aleasă în \(3\) moduri independente.
Pentru prima componentă avem \(3\) posibilități, pentru a doua încă \(3\), iar pentru a treia tot \(3\).
Aplicând principiul multiplicării, obținem:
\[ |A \times A \times A| = 3 \cdot 3 \cdot 3 = 27 \]
Rezultatul reprezintă numărul tuturor tripletelor ordonate care pot fi formate folosind elementele mulțimii \(\{1,2,3\}\).
Exercițiul 4. Considerați relația
\[ R = \{(x,y) \in \mathbb{N} \times \mathbb{N} \mid x \leq y\} \]
Este aceasta o funcție? Justificați răspunsul.
Soluție:
O funcție trebuie să asocieze fiecărui element al domeniului exact un singur element al codomeniului.
În relația dată:
\[ R = \{(x,y) \in \mathbb{N} \times \mathbb{N} \mid x \leq y\} \]
fiecare număr natural \(x\) este asociat cu toate numerele naturale \(y\) mai mari sau egale cu \(x\).
De exemplu, pentru \(x=1\), avem:
\[ (1,1),\ (1,2),\ (1,3),\ \dots \]
Prin urmare, aceluiași element \(1\) îi corespund mai multe valori diferite ale lui \(y\).
Condiția de unicitate cerută unei funcții este astfel încălcată.
Concluzionăm că relația \(R\) nu este o funcție.
Exercițiul 5. Determinați dacă următoarea relație este o funcție de la \(A = \{1,2,3\}\) la \(B = \{a,b\}\):
\[ f = \{(1,a), (2,b), (3,a)\} \]
Soluție:
Pentru ca o relație să fie funcție, fiecare element al mulțimii de plecare trebuie să apară exact o singură dată ca primă componentă a unei perechi ordonate.
Observăm că:
- \(1\) este asociat cu \(a\);
- \(2\) este asociat cu \(b\);
- \(3\) este asociat cu \(a\).
Fiecare element al lui \(A\) are exact o imagine și niciun element nu este asociat cu două valori diferite.
Faptul că două elemente distincte ale lui \(A\) pot avea aceeași imagine — în acest caz \(1\) și \(3\) sunt asociate cu \(a\) — nu reprezintă o problemă.
Prin urmare, relația dată este o funcție.
Exercițiul 6. Demonstrați că:
\[ (A \cap C) \times (B \cap D) = (A \times B) \cap (C \times D) \]
Soluție:
Pentru a demonstra egalitatea dintre două mulțimi, trebuie să arătăm că fiecare este inclusă în cealaltă.
Demonstrăm mai întâi incluziunea:
\[ (A \cap C) \times (B \cap D) \subseteq (A \times B) \cap (C \times D) \]
Fie:
\[ (x,y)\in (A \cap C) \times (B \cap D) \]
Prin definiția produsului cartezian, avem:
\[ x\in A\cap C \qquad \text{și} \qquad y\in B\cap D \]
Prin definiția intersecției, rezultă:
\[ x\in A,\quad x\in C,\quad y\in B,\quad y\in D \]
Din \(x\in A\) și \(y\in B\) deducem:
\[ (x,y)\in A\times B \]
iar din \(x\in C\) și \(y\in D\) obținem:
\[ (x,y)\in C\times D \]
Prin urmare:
\[ (x,y)\in (A\times B)\cap(C\times D) \]
ceea ce demonstrează prima incluziune.
Demonstrăm acum incluziunea inversă:
\[ (A \times B) \cap (C \times D) \subseteq (A \cap C) \times (B \cap D) \]
Fie:
\[ (x,y)\in (A\times B)\cap(C\times D) \]
Atunci:
\[ (x,y)\in A\times B \qquad \text{și} \qquad (x,y)\in C\times D \]
Din prima apartenență rezultă:
\[ x\in A \qquad \text{și} \qquad y\in B \]
iar din a doua:
\[ x\in C \qquad \text{și} \qquad y\in D \]
Prin urmare:
\[ x\in A\cap C \qquad \text{și} \qquad y\in B\cap D \]
ceea ce implică:
\[ (x,y)\in (A\cap C)\times(B\cap D) \]
Cele două incluziuni fiind demonstrate, rezultă:
\[ (A \cap C) \times (B \cap D) = (A \times B) \cap (C \times D) \]
Exercițiul 7. Găsiți un contraexemplu pentru a arăta că, în general:
\[ (A \cup C) \times (B \cup D) \neq (A \times B) \cup (C \times D) \]
Soluție:
Considerăm:
\[ A=\{1\}, \qquad B=\{2\}, \qquad C=\{3\}, \qquad D=\{4\} \]
Calculăm mai întâi membrul stâng:
\[ (A\cup C)\times(B\cup D) \]
Avem:
\[ A\cup C=\{1,3\} \]
și:
\[ B\cup D=\{2,4\} \]
Prin urmare:
\[ (A\cup C)\times(B\cup D) = \{1,3\}\times\{2,4\} \]
Dezvoltând produsul cartezian, obținem:
\[ (A\cup C)\times(B\cup D) = \{(1,2),(1,4),(3,2),(3,4)\} \]
Calculăm acum membrul drept:
\[ (A\times B)\cup(C\times D) \]
Avem:
\[ A\times B=\{(1,2)\} \]
și:
\[ C\times D=\{(3,4)\} \]
Prin urmare:
\[ (A\times B)\cup(C\times D) = \{(1,2),(3,4)\} \]
Comparând cele două mulțimi, observăm că perechile:
\[ (1,4) \qquad \text{și} \qquad (3,2) \]
aparțin primei mulțimi, dar nu aparțin celei de-a doua.
Prin urmare:
\[ (A \cup C) \times (B \cup D) \neq (A \times B) \cup (C \times D) \]
Exercițiul 8. Fie \(A\), \(B\), \(C\) mulțimi cu \(A \neq \varnothing\). Demonstrați că, dacă:
\[ A \times B = A \times C \]
atunci:
\[ B=C \]
Soluție:
Pentru a demonstra egalitatea dintre două mulțimi, demonstrăm cele două incluziuni:
\[ B\subseteq C \qquad \text{și} \qquad C\subseteq B \]
Demonstrăm mai întâi:
\[ B\subseteq C \]
Fie:
\[ b\in B \]
Deoarece \(A\neq\varnothing\), există cel puțin un element:
\[ a\in A \]
Din \(a\in A\) și \(b\in B\) rezultă:
\[ (a,b)\in A\times B \]
Dar prin ipoteză:
\[ A\times B=A\times C \]
deci:
\[ (a,b)\in A\times C \]
Prin definiția produsului cartezian, aceasta implică:
\[ b\in C \]
Așadar:
\[ B\subseteq C \]
Incluziunea:
\[ C\subseteq B \]
se demonstrează în mod analog, schimbând rolurile lui \(B\) și \(C\).
Prin urmare:
\[ B=C \]
Condiția \(A\neq\varnothing\) este esențială. Dacă:
\[ A=\varnothing \]
atunci:
\[ A\times B=A\times C=\varnothing \]
pentru orice mulțimi \(B\) și \(C\), chiar dacă:
\[ B\neq C \]
Concluzie
Produsul cartezian este mult mai mult decât o simplă operație cu mulțimi: este instrumentul fundamental care permite construirea riguroasă a conceptelor de relație, funcție și spațiu geometric. Datorită acestei construcții, matematica modernă poate trece de la ideea de „mulțime” la bogăția structurilor folosite în mod constant în analiză, algebră și geometrie.