Iloczyn kartezjański
Z Wikipedii
Iloczyn kartezjański zbiorów A i B to zbiór wszystkich par uporządkowanych <a,b>, takich, że a należy do zbioru A, zaś b należy do zbioru B. Oznacza się go symbolem A×B. Formalnie:
Każdy podzbiór iloczynu kartezjańskiego można utożsamić z pewną relacją binarną.
W naturalny sposób można zdefiniować iloczyn kartezjański więcej niż dwóch zbiorów: jako , jako i tak dalej. Na przykład iloczyn kartezjański trzech zbiorów będzie w rezultacie zbiorem wszystkich trójek uporządkowanych (ciągów trójelementowych) a,b,c, takich, że a należy do A, b należy do B, a c należy do C.
Można rozpatrywać też tak zwany uogólniony iloczyn kartezjański (produkt kartezjański lub po prostu produkt), czyli iloczyn kartezjański rodziny zbiorów. Jeśli nasza rodzina jest postaci , gdzie T jest jakimś zbiorem indeksów (na przykład zbiorem liczb naturalnych lub liczb rzeczywistych), to iloczynem kartezjańskim tej rodziny będzie zbiór wszystkich funkcji takich, że .
Nazwa iloczyn kartezjański pochodzi od Kartezjusza, wybitnego francuskiego filozofa i matematyka, który wprowadził to pojęcie w kontekście geometrii analitycznej.
[edytuj] Przykład:
Niech dane będą zbiory A = {1,2,3} oraz B = {‘a’, ‘b’}. Iloczyn kartezjański jest zatem równy: A×B = {(1, ‘a’), (1, ‘b’), (2, ‘a’), (2, ‘b’), (3, ‘a’), (3, ‘b’)}