Iloczyn kartezjański
Iloczyn kartezjański, produkt zbiorów[1] – dla danych zbiorów i zbiór wszystkich takich par uporządkowanych że należy do zbioru i należy do zbioru [2][3]. Iloczyn kartezjański zbiorów i oznacza się symbolem [3][4].
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 można zatem utożsamiać z punktami na płaszczyźnie[5]. Jednak w ogólności elementy zbiorów i nie muszą być liczbami, mogą być dowolnymi obiektami matematycznymi.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Cartesian_Product_qtl1.svg/200px-Cartesian_Product_qtl1.svg.png)
Definicje
Iloczynem kartezjańskim zbiorów i nazywamy zbiór
W analogiczny sposób można zdefiniować iloczyn kartezjański więcej niż dwóch zbiorów. Mianowicie to zbiór wszystkich trójek uporządkowanych takich, że Definicja ta wymaga uściślenia, co się rozumie przez owe trójki. Można tego dokonać w rozmaity sposób. Jeden z nich[6][7], to traktowanie tych trójek jako ciągów trójwyrazowych, czyli funkcji na zbiorze w zbiór Przy drugim[8] jako bierze się a zatem trójka to para par: Formalnie zbiór zdefiniowany jako zbiór trójek i zbiór nie są równe, ale w praktyce to rozróżnienie nie ma znaczenia[b][9][10].
Podobnie można określić jako zbiór czwórek uporządkowanych takich, że Czwórki te można interpretować dwojako:
- jako funkcje z w zbiór
- jako pary par wówczas iloczyn określa się jako
Iloczyny kartezjańskie większej liczby zbiorów definiuje się analogicznie.
Przykłady
Niech dane będą zbiory oraz Iloczyn kartezjański zbiorów i zgodnie z definicją jest równy:
Zbiór służy do konstruowania n-wymiarowej przestrzeni euklidesowej.
Uogólniony produkt kartezjański
Dla rodziny zbiorów 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[11]
takich że dla każdego nazywa się produktem kartezjańskim rodziny zbiorów i oznacza takimi symbolami jak
- lub
Zobacz też
- m-produkt
- produkt (teoria kategorii)
- suma prosta
- topologia produktowa
- twierdzenie o mnożeniu
- zbiór potęgowy
Uwagi
- ↑ Istnieje kilka nierównoważnych definicji par uporządkowanych. Najczęściej przyjmowana jest definicja Kuratowskiego, przy której Ponieważ i dla więc i gdzie oznacza zbiór potęgowy zbioru a stąd wynika, że
- ↑ Zbiory i nie są równe, bowiem mają różne elementy, ale są między nimi oczywiste, kanoniczne bijekcje. S. Eilenberg i S. Mac Lane (General Theory of Natural Equivalences, Transactions of the American Mathematical Society, 58 (1945), s. 231–294; pdf) pokazali, że te bijekcje są transformacjami naturalnymi odpowiednich funktorów.
Przypisy
- ↑ iloczyn kartezjański zbiorów, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-10-02] .
- ↑ Kuratowski i Mostowski 1952 ↓, s. 52.
- ↑ a b Rasiowa 1975 ↓, s. 60.
- ↑ Kuratowski i Mostowski 1952 ↓, s. 53.
- ↑ Waliszewski (red.) 1988 ↓, s. 42.
- ↑ Kuratowski i Mostowski 1952 ↓, s. 56.
- ↑ Rasiowa 1975 ↓, s. 71.
- ↑ K. Kuratowski i A. Mostowski, Teoria mnogości, wyd. trzecie zmienione, PWN, Warszawa 1978, s. 84.
- ↑ Kuratowski i Mostowski 1952 ↓, s. 73.
- ↑ Rasiowa 1975 ↓, s. 72.
- ↑ Rasiowa 1975 ↓, s. 70.
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.
- p
- d
- e
działania |
| ||||||||
---|---|---|---|---|---|---|---|---|---|
własności działań |
| ||||||||
powiązane relacje |
| ||||||||
tworzone struktury algebraiczne |
| ||||||||
inne rodziny zdefiniowane działaniami |
| ||||||||
twierdzenia | |||||||||
powiązane nauki |
| ||||||||
badacze |
|
- p
- d
- e
pojęcia podstawowe |
| ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
własności i typy |
| ||||||||||
działania na relacjach |
| ||||||||||
powiązane struktury |
| ||||||||||
pozostałe pojęcia |
- Britannica: topic/Cartesian-product