Iloczyn kartezjański

×

Iloczyn kartezjański, produkt zbiorów – dla danych zbiorów $A$ i $B$ zbiór wszystkich takich par uporządkowanych $(a,b),$ że $a$ należy do zbioru $A$ i $b$ należy do zbioru $B$. Iloczyn kartezjański zbiorów $A$ i $B$ oznacza się symbolem $A\times B$.

Nazwa iloczyn kartezjański odwołuje się do pojęcia kartezjańskiego układu współrzędnych na płaszczyźnie ze względu na następującą analogię: punkty w kartezjańskim układzie współrzędnych na płaszczyźnie opisane są za pomocą uporządkowanych par liczb (pierwsza liczba nazywana jest odciętą, druga rzędną) – elementy iloczynu kartezjańskiego $\mathbb {R} \times \mathbb {R}$ można zatem utożsamiać z punktami na płaszczyźnie. Jednak w ogólności elementy zbiorów $A$ i $B$ nie muszą być liczbami, mogą być dowolnymi obiektami matematycznymi.

Iloczyn kartezjański trójelementowych zbiorów A i B

Definicje

Iloczynem kartezjańskim zbiorów $X$ i $Y$ nazywamy zbiór

$X\times Y:=\left\{(x,y)\colon x\in X\;\wedge \;y\in Y\right\}$

W analogiczny sposób można zdefiniować iloczyn kartezjański więcej niż dwóch zbiorów. Mianowicie $A\times B\times C$ to zbiór wszystkich trójek uporządkowanych $(a,b,c)$ takich, że $a\in A,$ $b\in B,$ $c\in C.$ Definicja ta wymaga uściślenia, co się rozumie przez owe trójki. Można tego dokonać w rozmaity sposób. Jeden z nich, to traktowanie tych trójek jako ciągów trójwyrazowych, czyli funkcji na zbiorze $\{1,2,3\}$ w zbiór $A\cup B\cup C.$ Przy drugim jako $A\times B\times C$ bierze się $A\times (B\times C),$ a zatem trójka to para par: $(a,(b,c)).$ Formalnie zbiór $A\times B\times C$ zdefiniowany jako zbiór trójek i zbiór $A\times (B\times C)$ nie są równe, ale w praktyce to rozróżnienie nie ma znaczenia.

Podobnie $A\times B\times C\times D$ można określić jako zbiór czwórek uporządkowanych $(a,b,c,d)$ takich, że $a\in A,$ $b\in B,$ $c\in C,$ $d\in D.$ Czwórki te można interpretować dwojako:

• jako funkcje z $\{1,2,3,4\}$ w zbiór $A\cup B\cup C\cup D,$
• jako pary par $\{a,\{b,\{c,d\}\}\},$ wówczas iloczyn $A\times B\times C\times D$ określa się jako $A\times (B\times (C\times D)).$

Iloczyny kartezjańskie większej liczby zbiorów definiuje się analogicznie.

Przykłady

Niech dane będą zbiory $A=\{x,y\}$ oraz $B=\{1,2,3\}.$ Iloczyn kartezjański zbiorów $A$ i $B$ zgodnie z definicją jest równy:

$A\times B=\{(x,1),(y,1),(x,2),(y,2),(x,3),(y,3)\}.$

Zbiór $\mathbb {R} ^{n}=\mathbb {R} \times \mathbb {R} \times \ldots \times \mathbb {R}$ służy do konstruowania n-wymiarowej przestrzeni euklidesowej.

Uogólniony produkt kartezjański

Dla rodziny zbiorów $\{A_{i}\colon i\in I\}$ można wprowadzić pojęcie uogólnionego iloczynu kartezjańskiego (często nazywanego produktem kartezjańskim (rodziny) zbiorów). Dokładniej, zbiór złożony ze wszystkich tych funkcji

$f\colon I\to \bigcup _{i\in I}A_{i},$

takich że $f(i)\in A_{i}$ dla każdego $i\in I$ nazywa się produktem kartezjańskim rodziny zbiorów $\{A_{i}\colon i\in I\}$ i oznacza takimi symbolami jak

$\prod _{i\in I}A_{i},$ ${\underset {i\in I}{\times }}A_{i}$ lub ${\underset {i\in I}{\operatorname {P} }}\;A_{i}.$

Zobacz też

• m-produkt
• produkt (teoria kategorii)
• suma prosta
• topologia produktowa
• twierdzenie o mnożeniu
• zbiór potęgowy

Bibliografia

• Rozdział II (pdf). W: Kazimierz Kuratowski, Andrzej Mostowski: Teoria mnogości. Warszawa; Wrocław: Polskie Towarzystwo Matematyczne, 1952, s. 51–53, 73, seria: Monografie matematyczne, t. 27. [dostęp 2016-10-24].
• Kazimierz Kuratowski: Wstęp do teorii mnogości i topologii. Wyd. 7. Warszawa: Państwowe Wydawnictwo Naukowe, 1977.
• Helena Rasiowa: Wstęp do matematyki współczesnej. Wyd. 5. Warszawa: PWN, 1975. OCLC 749626864.
• Matematyka. Włodzimierz Waliszewski (red.). Warszawa: Wydawnictwa Szkolne i Pedagogiczne, 1988, s. 298, seria: Encyklopedia szkolna. ISBN 83-02-02551-8.