Produk Cartesius {\displaystyle \scriptstyle A\times B} Set {\displaystyle \scriptstyle A=\{x,y,z\}} an {\displaystyle \scriptstyle B=\{1,2,3\}}
Dalam matematika, khususnya teori himpunan, **produk Cartesius** dari dua himpunan *A* dan *B*, dilambangkan *A* × *B,* adalah himpunan semua pasangan terurut (*a*, *b*) di mana *a* berada di *A* dan *b* berada di *B*. Dalam notasi pembentuk himpunan dapat dinyatakan sebagai

{\displaystyle A\times B=\{\,(a,b)\mid a\in A\ {\mbox{ dan }}\ b\in B\,\}.}
Suatu tabel dapat dibuat dengan mengambil produk Cartesius dari suatu himpunan baris dan suatu himpunan kolom. Jika produk Cartesius *baris × kolom* diambil, sel-sel tabel berisi pasangan terurut dalam bentuk (nilai baris, nilai kolom).

Dengan cara yang sama, produk Cartesius dari n himpun, juga dikenal sebagai **produk Cartesius *n*-lipat**, yang dapat diwakili oleh himpunan *n*-dimensi, di mana setiap elemen adalah *n*-tuple. Pasangan yang dipesan adalah 2-tupel atau pasangan. Lebih umum lagi, kita dapat mendefinisikan produk Cartesius dari kumpulan set yang diindeks.

Produk Cartesius dinamai dari René Descartes, yang formulasi geometri analitiknya memunculkan konsep, yang selanjutnya digeneralisasikan dalam hal produk langsung.

Contoh
------

### Setumpuk kartu

Dek standar 52 kartu
Contoh ilustrasinya adalah setumpuk 52 kartu standar. kartu bermain standar peringkat {A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2} membentuk himpunan 13 elemen. Kartu ini cocok dengan {♠, ♥, ♦, ♣}  membentuk himpunan empat elemen. Hasil kali Cartesian dari set ini mengembalikan set 52 elemen yang terdiri dari 52 pasangan terurut, yang sesuai dengan semua 52 kemungkinan kartu remi.

*Ranks* × *Sets* mengembalikan satu himpunan formulir {(A, ♠), (A, ♥), (A, ♦), (A, ♣), (K, ♠), ... (3, ♣), (2, ♠), (2, ♥), (2, ♦), (2, ♣)}.

*Sets* × *Ranks* returns a set of the form {(♠, A), (♠, K), (♠, Q), (♠, J), (♠, 10), ... (♣, 6), (♣, 5), (♣, 4), (♣, 3), (♣, 2)}.

Kedua set ini berbeda, bahkan terputus-putus.

### Sistem koordinat dua dimensi

Koordinat cartesius dari titik contoh
Contoh sejarah utama adalah bidang cartesius dalam geometri analitik. Untuk merepresentasikan bentuk geometris dengan cara numerik, dan mengekstrak informasi numerik dari representasi numerik bentuk, René Descartes menetapkan pasangan bilangan real pada setiap titik di bidang, yang disebut koordinat. Biasanya, komponen pasangan pertama dan kedua masing-masing disebut koordinat *x* dan *y* (lihat gambar). Himpunan dari semua pasangan seperti itu (yaitu, hasil kali Cartesius ℝ×ℝ, dengan ℝ menunjukkan bilangan riil) dengan demikian ditetapkan ke himpunan semua titik di bidang.[*butuh rujukan*]

Implementasi paling umum (teori himpunan)
-----------------------------------------

Artikel utama: Implementasi matematika dalam teori himpunan
Definisi formal produk Cartesian dari prinsip teori himpunan mengikuti dari definisi pasangan terurut. Definisi paling umum dari pasangan terurut, Definisi Kuratowski adalah {\displaystyle (x,y)=\{\{x\},\{x,y\}\}}. Di bawah ini pada terdapat definisi {\displaystyle (x,y)} adalah elemen dari {\displaystyle {\mathcal {P}}({\mathcal {P}}(X\cup Y))}, dan {\displaystyle X\times Y} adalah bagian dari himpunan itu, di mana {\displaystyle {\mathcal {P}}} mewakili operator set daya. Oleh karena itu, keberadaan perkalian Cartesius dari dua himpunan manapun di ZFC mengikuti aksioma pemasangan, serikat, himpunan daya, dan spesifikasi. Karena fungsi biasanya didefinisikan sebagai kasus khusus dari hubungan, dan hubungan biasanya didefinisikan sebagai himpunan bagian dari produk Cartesius, definisi dari perkalian dua himpunan Cartesian harus sebelum sebagian besar definisi lainnya.

Non-komutatif dan non-asosiatif
-------------------------------

Karena *A*, *B*, *C*, dan *D* menjadi himpunan produk.

Produk Cartesius *A*×*B* bukan termasuk komutatif,

{\displaystyle A\times B\neq B\times A,}
karena pasangan terurut dibalik kecuali setidaknya satu dari kondisi berikut terpenuhi:

* *A* sama dengan  *B* , atau
* *A* dan  *B*  adalah himpunan kosong.

Sebagai contoh:

*A* = {1,2}; *B* = {3,4}
*A* × *B* = {1,2} × {3,4} = {(1,3), (1,4), (2,3), (2,4)}
*B* × *A* = {3,4} × {1,2} = {(3,1), (3,2), (4,1), (4,2)}
*A* = *B* = {1,2}
*A* × *B* = *B* × *A* = {1,2} × {1,2} = {(1,1), (1,2), (2,1), (2,2)}
*A* = {1,2}; *B* = ∅
*A* × *B* = {1,2} × ∅ = ∅
*B* × *A* = ∅ × {1,2} = ∅
Sebenarnya, produk Cartesius bukanlah asosiatif (kecuali salah satu set yang terlibat kosong).

{\displaystyle (A\times B)\times C\neq A\times (B\times C)}
Kalau contohnya *A* = {1}, maka (*A* × *A*) × *A* = { ((1,1),1) } ≠ { (1,(1,1)) } = *A* × (*A* × *A*).

Irisan, gabungan, dan himpunan bagian
-------------------------------------

Contoh himpunan  

*A*={*y*∈ℝ:1≤*y*≤4},   

*B*={*x*∈ℝ:2≤*x*≤5}, dan *C*={*x*∈ℝ:4≤*x*≤7}, membuktikan   

*A*×(*B*∩*C*) = (*A*×*B*)∩(*A*×*C*),   

*A*×(*B*∪*C*) = (*A*×*B*)∪(*A*×*C*), dan   

*A*×(*B*Templat:Tsp\ *C*) = (*A*×*B*)Templat:Tsp\ (*A*×*C*)Contoh himpunan   

*A*={*x*∈ℝ:2≤*x*≤5}, *B*={*x*∈ℝ:3≤*x*≤7},   

*C*={*y*∈ℝ:1≤*y*≤3}, *D*={*y*∈ℝ:2≤*y*≤4}, membuktikan   

(*A*∩*B*)×(*C*∩*D*) = (*A*×*C*)∩*(B*×*D*).(*A*∪*B*)×(*C*∪*D*) ≠ (*A*×*C*)∪(*B*×*D*) bisa dilihat dari contoh yang sama.
Produk Cartesian memenuhi properti berikut sehubungan dengan irisan (lihat gambar tengah).

{\displaystyle (A\cap B)\times (C\cap D)=(A\times C)\cap (B\times D)}
Dalam kebanyakan kasus, pernyataan di atas tidak benar jika kita mengganti interseksi dengan gabungan (lihat gambar paling kanan).

{\displaystyle (A\cup B)\times (C\cup D)\neq (A\times C)\cup (B\times D)}
Faktanya, kami memiliki:

{\displaystyle (A\times C)\cup (B\times D)=[(A\setminus B)\times C]\cup [(A\cap B)\times (C\cup D)]\cup [(B\setminus A)\times D]}
Untuk perbedaan set, kami juga memiliki identitas berikut:

{\displaystyle (A\times C)\setminus (B\times D)=[A\times (C\setminus D)]\cup [(A\setminus B)\times C]}
Berikut adalah beberapa aturan yang menunjukkan distribusi dengan operator lain (lihat gambar paling kiri):

{\displaystyle {\begin{aligned}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),\end{aligned}}}
{\displaystyle (A\times B)^{\complement }=\left(A^{\complement }\times B^{\complement }\right)\cup \left(A^{\complement }\times B\right)\cup \left(A\times B^{\complement }\right),}
dimana {\displaystyle A^{\complement }} menunjukkan pelengkap mutlak dari *A*.

Properti lain yang terkait dengan himpunan bagian adalah:

{\displaystyle {\text{Bila }}A\subseteq B{\text{, maka }}A\times C\subseteq B\times C;}
{\displaystyle {\text{bila keduanya }}A,B\neq \emptyset {\text{, setelah itu }}A\times B\subseteq C\times D\iff A\subseteq C{\text{ dan }}B\subseteq D.}

Kardinalitas
------------

Lihat pula: Aritmetika kardinal
Kardinalitas dari suatu himpunan adalah jumlah elemen dari himpunan tersebut. Misalnya, mendefinisikan dua himpunan: *A* = {a, b} dan *B* = {5, 6}. Kedua himpunan  *A*  dan himpunan  *B*  masing-masing terdiri dari dua elemen. Produk Cartesian mereka, ditulis sebagai *A* × *B*, menghasilkan himpunan baru yang memiliki elemen berikut:

*A* × *B* = {(a,5), (a,6), (b,5), (b,6)}.
di mana setiap elemen  *A*  dipasangkan dengan setiap elemen  *B* , dan di mana setiap pasangan membentuk satu elemen himpunan keluaran.
Jumlah nilai di setiap elemen dari himpunan yang dihasilkan sama dengan jumlah himpunan yang produk Kartesiannya diambil; 2 dalam kasus ini.
Kardinalitas dari himpunan keluaran sama dengan hasil perkalian dari kardinalitas dari semua himpunan masukan. Maka rumusnya adalah,

|*A* × *B*| = |*A*| · |*B*|.
Pada kasus ini, |*A* × *B*| = 4

sama halnya

|*A* × *B* × *C*| = |*A*| · |*B*| · |*C*|
and so on.

Himpunan *A* × *B* adalah himpunan tak hingga dari  *A*  atau  *B*  pada bilangan tak hingga, dan himpunan lainnya yang bukan termasuk himpunan kosong.

Lihat pula
----------

* Relasi biner
* Penggabungan kumpulan string
* Produk gabungan
* Produk silang
* Produk langsung dari grup
* Produk kosong
* Ruang Euklides
* Objek eksponensial
* Relasi finiter
* Gabungan (SQL)§Gabung silang
* Pesanan pada produk Cartesius dari himpunan yang dipesan seluruhnya
* Aksioma himpunan daya#Konsekuensi Aksioma himpunan daya (untuk membuktikan keberadaan produk Cartesius)
* Produk (teori kategori)
* Topologi produk
* Tipe produk
* Ultraproduk

Referensi
---------

1. ↑  Warner, S. (1990). *Modern Algebra*. Dover Publications. hlm. 6.
2. ↑  "Cartesian". *Merriam-Webster.com*. 2009. Diakses tanggal December 1, 2009.
3. 1 2
4. 1 2  Singh, S. (August 27, 2009). *Cartesian product*. Retrieved from the Connexions Web site:
5. 1 2  CartesianProduct, PlanetMath.org.
6. ↑  Cartesian Product of Subsets. (February 15, 2011). *ProofWiki*. Retrieved 05:06, August 1, 2011 from
7. ↑  Peter S. (1998). Kursus Singkat dalam Matematika Himpunan Tak Terbatas. *St. John's Review, 44*(2), 35–59. Retrieved August 1, 2011, from

Pranala luar
------------

* Cartesian Product at ProvenMath
* Hazewinkel, Michiel, ed. (2001) [1994], "Direct product", *Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
* How to find the Cartesian Product, Education Portal Academy

| * l
* b
* s
Teori himpunan |
| --- |
| Umum | 
* Himpunan (matematika)

 | Diagram Venn irisan himpunan |
| Aksioma | 
* Adjungsi
* Batas ukuran
* Determinasi
* Gabungan
* Himpunan kuasa
* Keberaturan
* Kebisadibangunan (V=L)
* Perluasan
* Pasangan
* Pemilihan
	+ tercacah
	+ terikat
	+ global
* Takhingga
* Aksioma Martin

* Skema aksioma
	+ penggantian
	+ spesifikasi

 |
| Operasi | 
* Gabungan
* Gabungan lepas
* Himpunan kuasa
* Hukum De Morgan
* Irisan
* Komplemen
* Produk Kartesius
* Selisih himpunan
* Beda setangkup

 |
| * Konsep
* Metode
 | 
* Argumen diagonal
* Bilangan kardinal (besar)
* Bilangan ordinal
* Diagram Venn
* Elemen
	+ pasangan terurut
	+ rangkap
* Hipotesis kontinum
* Induksi lintas-hingga
* Kardinalitas
* Kelas
* Keluarga
* Korespondensi satu-ke-satu
* Pemaksaan
* Semesta yang bisa dibangun

 |
| Jenis himpunan | 
* Himpunan bagian **·** Superhimpunan
* Berhingga (turun-temurun)
* Takhingga (takhingga Dedekind)
* Kabur
* Kosong
* Rekursif
* Semesta
* Tercacah
* Tak tercacah
* Transitif

 |
| Teori | 
* Aksiomatik
* Alternatif
* Naif
* Teorema Cantor

* Zermelo
	+ Umum
* *Principia Mathematica*
	+ New Foundations (NF, NFU)
* Zermelo–Fraenkel (ZFC)
	+ von Neumann–Bernays–Gödel (NBG)
		- Morse–Kelley
	+ Kripke–Platek
	+ Tarski–Grothendieck

 |
| * Paradoks
* Masalah
 | 
* Paradoks Russell
* Masalah Suslin
* Paradoks Burali-Forti

 |
| Teoretisi himpunan | 
* Abraham Fraenkel
* Bertrand Russell
* Ernst Zermelo
* Georg Cantor
* John von Neumann
* Kurt Gödel
* Paul Bernays
* Paul Cohen
* Richard Dedekind
* Thomas Jech
* Thoralf Skolem
* Willard Quine

 |