Zdefiniujemy teraz jeszcze jedno działanie na zbiorach. Jeśli dane są dwa zbiory skończone A i B , to iloczynem kartezjańskim tych zbiorów nazywamy zbiór, którego elementami są pary elementów: jednego ze zbioru A i drugiego ze zbioru B . Parę takich elementów oznaczamy symbolem (a,b).
Dwie pary uporządkowane (a,b) i (c,d) są równe wtedy i tylko wtedy, gdy a = c i b = d. W szczególności para (a,b) na ogół jest różna od pary (b,a). Równość zachodzi wtedy i tylko wtedy, gdy a = b. (Dlatego właśnie używa się nazwy para uporządkowana - kolejność elementów ma tu znaczenie.)
Iloczyn kartezjański zbiorów A i B oznaczamy symbolem \(A \times B.\) Możemy więc zapisać:
\(A \times B = \{ (a,b):\, a \in A \, \land \, b \in B\} .\)
Liczba elementów iloczynu kartezjańskiego dwóch zbiorów skończonych A i B (zbiór A ma m elementów, a zbiór B ma n elementów) wyraża się prostym wzorem:
\(|A \times B| = m \cdot n = |A| \cdot |B|.\)
\(A=\{ a_1,a_2,a_3,\ldots ,a_ m\} , \quad B=\{ b_1,b_2,b_3,\ldots ,b_ n\} .\)
Wtedy elementy iloczynu kartezjańskiego można wypisać w następującej tablicy:
\(\begin{array}{ccccc} (a_1,b_1) & (a_1,b_2) & (a_1,b_3) & \ldots & (a_1,b_ n) \\ (a_2,b_1) & (a_2,b_2) & (a_2,b_3) & \ldots & (a_2,b_ n) \\ (a_3,b_1) & (a_3,b_2) & (a_3,b_3) & \ldots & (a_3,b_ n) \\ \ldots & \ldots & \ldots & \ldots & \ldots \\ (a_ m,b_1) & (a_ m,b_2) & (a_ m,b_3) & \ldots & (a_ m,b_ n) \\ \end{array}\)
Ta tablica ma m wierszy, w każdym wierszu znajduje się n par. Mamy zatem łącznie \(m \cdot n\) par uporządkowanych; tak właśnie określa się mnożenie dwóch liczb. Te pary to są wszystkie elementy iloczynu kartezjańskiego. Zatem
\(|A \times B| = m \cdot n = |A| \cdot |B|.\)
Reguła mnożenia - najprostsza wersja
Wzór na liczbę elementów iloczynu kartezjańskiego to w istocie jeden z najważniejszych faktów w kombinatoryce, który zasługuje na wyraźne sformułowanie w potocznym języku i na oddzielną nazwę.
Twierdzenie (reguła mnożenia): |
Przypuśćmy, że mamy do wykonania dwie czynności. Pierwsza z nich kończy się jednym z m możliwych wyników, druga zaś jednym z n możliwych wyników. Wtedy wykonanie jednej czynności po drugiej zakończy się jednym z \(m \cdot n\) wyników (tu wynikiem jest oczywiście para: wynik pierwszej czynności i wynik drugiej czynności). |
Popatrzmy teraz na typowy prosty przykład, w którym można zastosować regułę mnożenia.
Zadanie 1.4.1: Mamy wybrać dwuosobową delegację parlamentu, w skład której ma wejść jeden poseł i jeden senator. Na ile sposobów możemy wybrać taką delegację?
∎
Uogólnione wersje reguły mnożenia
Regułę mnożenia można uogólnić na więcej czynności.
Twierdzenie (uogólniona reguła mnożenia): |
Przypuśćmy, że mamy do wykonania n czynności, przy czym pierwsza kończy się jednym z k1 wyników, druga jednym z k2 wyników itd, aż do n -tej czynności, która kończy się jednym z kn wyników. Wówczas wykonanie tych wszystkich czynności jedna po drugiej zakończy się jednym z \(k_1 \cdot k_2 \cdot \ldots \cdot k_ n\) wyników (wynikiem jest tu oczywiście ciąg uporządkowany n wyników: pierwszej czynności, drugiej czynności itd. aż do n-tej czynności). |
Zadanie 1.4.2: Rzucamy trzy razy kostką do gry i zapisujemy kolejno otrzymywane wyniki rzutów. Wynikiem naszego doświadczenia jest więc trójka liczb, każda z nich jest liczbą naturalną z przedziału \(\langle 1;6 \rangle\) . Ile jest takich wyników?
∎
Regułę mnożenia można uogólnić w jeszcze jeden sposób, tak, aby rozszerzyć możliwości jej stosowania. Okazuje się, że zbiór wyników drugiej czynności wcale nie musi być ustalony. Ważne jest tylko, by ustalona była liczba tych wyników.
Twierdzenie (reguła mnożenia, wersja 2): |
Przypuśćmy, że mamy do wykonania po sobie dwie czynności. Pierwsza kończy się jednym z m wyników. Wyniki drugiej czynności nie są ustalone, jak to było poprzednio, ale zależą teraz od wyniku pierwszej. Jest jednak tak, że - niezależnie od wyniku pierwszej czynności! - zawsze druga czynność kończy się jednym z n wyników. Wtedy wykonanie tych czynności po sobie, najpierw pierwszej, potem drugiej, zakończy się jednym z \(m \cdot n\) wyników. |
Zadanie 1.4.3: Mamy 5 kart, na każdej z nich jest napisana jedna liczba od 1 do 5. Będziemy losować kolejno dwie karty, przy czym kartę wylosowaną za pierwszym razem odkładamy na bok, tak że nie możemy jej wylosować po raz drugi. W skrócie będziemy mówić, że losujemy kolejno dwie liczby ze zbioru liczb {1,2,3,4,5} . Wylosowane liczby zapisujemy, z uwzględnieniem kolejności (wynikiem całego doświadczenia jest więc para liczb). Ile różnych wyników można otrzymać w takim losowaniu?
∎
W podobny sposób postępujemy, jeśli mamy wykonać więcej czynności.
Twierdzenie (uogólniona reguła mnożenia, wersja 2): |
Jeśli pierwsza czynność kończy się jednym z k1 wyników, druga czynność, niezależnie od wyniku pierwszej, kończy się jednym z k2 wyników, trzecia czynność, niezależnie od wyników pierwszych dwóch czynności, kończy się jednym z k3 wyników i tak dalej, aż do n-tej czynności, która niezależnie od wyników pierwszych n − 1 czynności kończy się jednym z kn wyników, to wykonanie tych czynności po kolei da jeden z \(k_1 \cdot k_2 \cdot k_3 \cdot \ldots \cdot k_ n\) wyników.
|
Przykłady (zadań i typowych błędów)
Zadanie 1.4.4: Ile jest liczb trzycyfrowych mających różne cyfry (dokładniej: żadna cyfra nie może się powtórzyć)?
∎
Przestroga. Przy obliczaniu liczby możliwych wyników uczniowie często popełniają błąd polegający na dwukrotnym policzeniu tej samej możliwości. Popatrzmy na następujące dwa zadania.
Zadanie 1.4.5: Ile jest trzycyfrowych liczb naturalnych o trzech różnych cyfrach i takich, że jedną z tych cyfr jest 9 i żadna z pozostałych dwóch cyfr nie jest zerem?
∎
Zadanie 1.4.6: Ile jest trzycyfrowych liczb naturalnych o tej własności, że wśród cyfr danej liczby jest co najmniej jedna 9 i żadna cyfra nie jest zerem?
Wiemy, że jedną z cyfr jest 9; możemy ją umieścić na jednym z trzech miejsc. Na każdym z pozostałych miejsc może stać jedna z dziewięciu cyfr (oprócz zera). Mamy zatem trzy czynności: umieszczenie cyfry 9 na jednym z trzech miejsc, umieszczenie dowolnej cyfry różnej od zera na pierwszym wolnym miejscu i wreszcie umieszczenie dowolnej cyfry różnej od zera na pozostałym wolnym miejscu. Pierwsza czynność kończy się jednym z trzech wyników, każda z dwóch następnych kończy się jednym z 9 wyników. Korzystając z reguły mnożenia dostajemy łącznie \(3 \cdot 9 \cdot 9 = 243\) możliwych wyników, a więc tyle jest szukanych liczb trzycyfrowych.
∎
Przypuśćmy, że w pierwszej czynności umieściliśmy cyfrę 9 na pierwszym miejscu, a w czynnościach drugiej i trzeciej na pozostałych miejscach umieściliśmy kolejno cyfry 5 i 9. Otrzymaliśmy liczbę 959. Przypuśćmy teraz, że w czynności pierwszej umieściliśmy cyfrę 9 na trzecim miejscu, a w czynnościach drugiej i trzeciej umieściliśmy na pierwszych dwóch miejscach kolejno cyfry 9 i 5. Znów otrzymaliśmy liczbę 959. Ta liczba została więc w powyższym sposobie zliczania policzona dwukrotnie.
Zobaczmy teraz cztery poprawne sposoby rozwiązania tego zadania.
∎
∎
∎
\(\begin{array}{ll}& |A| = |B| = |C| = 9^2 = 81, \\ & |A \cap B| = |A \cap C| = |B \cap C| = 9, \\ & |A \cap B \cap C| = 1. \\ \end{array}\)
Z zasady włączeń i wyłączeń dostajemy
\(\begin{array}{ll} |A \cup B \cup C| & = |A|+|B|+|C|-|A \cap B|-|A \cap C|-|B \cap C|+|A \cap B \cap C| = \\ & = 3 \cdot 81 - 3 \cdot 9 + 1 = 243 - 27 + 1 = 217. \\ \end{array}\)
∎
Zadanie 1.4.7: Ile jest ciągów długości n o wyrazach ze zbioru A = {1,2,3} , w których występują wszystkie liczby należące do A ?
\(|A_1 \cup A_2 \cup A_3| = 3 \cdot 2^ n - 3.\)
Ponieważ z reguły mnożenia łatwo wynika, że istnieje 3n wszystkich ciągów długości n o wyrazach ze zbioru A , więc liczba ciągów, o które chodzi w zadaniu, jest równa \(3^ n - 3 \cdot 2^ n + 3.\)
∎