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.\)
∎