En teoria de conjunts, el producte cartesià és un producte directe de conjunts. En particular, el producte cartesià de dos conjunts X i Y, expressat com X × Y, és el conjunt de tots els parells ordenats en els quals el primer component pertany a X i el segon a Y.[1][2]
El producte cartesià rep el seu nom de René Descartes, qui va donar origen a aquest concepte al formular la geometria analítica. Així, per exemple, el producte cartesià del conjunt dels tretze elements de la baralla anglesa {As, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2} amb el conjunt dels quatre pals {♠, ♥, ♦, ♣} és el conjunt de les 52 cartes de la baralla {(As, ♠), (K, ♠), ..., (2, ♠), (As, ♥), ..., (3, ♣), (2, ♣)}.
Si els conjunts involucrats són conjunts finits, la cardinalitat (o nombre d'elements) del producte cartesià és el producte de les cardinalitats dels conjunts involucrats:[3]
En l'exemple anterior, el nombre d'elements del producte era 52 = 13⋅4.
El quadrat cartesià d'un conjunt X es defineix com . Un exemple d'això és l'espai euclidià de dues dimensions ℝ², on ℝ és el conjunt dels nombres reals; ℝ² és aleshores el conjunt de tots els punts (x, y) on x i y són tots dos reals.[4]
Això es pot generalitzar en un producte cartesià n-ari sobre n conjunts :
Aquest conjunt es pot identificar amb ; és un conjunt de n-ples.
De manera anàloga al quadrat cartesià, es pot usar en potències majors: ℝ3 = ℝ × ℝ × ℝ és l'espai euclidià tridimensional.
En la teoria de categories, el producte cartesià no és més que el producte en la categoria de conjunts.