Iloczyn kartezjański i losowania: po co to w ogóle jest w zadaniach?

Skąd się bierze iloczyn kartezjański w zadaniach losowych?

Intuicja: „wszystkie możliwe połączenia”

Iloczyn kartezjański w zadaniach z losowaniami pojawia się zawsze, gdy wynik doświadczenia składa się z kilku kroków. Każdy krok ma własne możliwe wyniki, a interesuje nas, co może się stać łącznie. W praktyce iloczyn kartezjański to nic innego, jak zapis zbioru: „wszystkie możliwe połączenia wyników z pierwszego kroku z wynikami z drugiego kroku, trzeciego kroku itd.”.

Jeśli w pierwszym kroku losujesz kolor kuli (np. czerwona, niebieska), a w drugim kroku liczbę na kostce (od 1 do 6), to całkowity wynik doświadczenia opisuje para: (kolor, liczba). Możliwych kolorów jest 2, liczb na kostce 6, a wszystkich możliwych połączeń – 2·6 = 12. Zbiór tych 12 par to właśnie iloczyn kartezjański.

Tak samo myśli się, gdy chodzi o dwie kostki, dwie monety, kartę i kostkę, dwie kolejne odpowiedzi w teście. Za każdym razem wynik to krotka (para, trójka, czwórka…) opisująca przebieg całego doświadczenia krok po kroku.

Doświadczenie losowe a iloczyn kartezjański

Doświadczenie losowe to procedura, którą można powtórzyć w tych samych warunkach, a wyników nie da się przewidzieć z góry. Rzut kostką, losowanie karty, dwukrotne losowanie kuli z urny – to klasyczne przykłady. Matematycznie każde takie doświadczenie ma swoją przestrzeń wyników (oznacza się ją często grecką literą Ω) – czyli zbiór wszystkich możliwych wyników elementarnych.

Przy jednym prostym kroku (np. jednym rzucie kostką) przestrzeń wyników wygląda banalnie: Ω = {1, 2, 3, 4, 5, 6}. Ale gdy dorzucasz drugi krok (drugi rzut kostką, losowanie karty po rzucie itd.), wynik całego doświadczenia ma dwa „składniki”. I to jest naturalny moment, w którym przestrzeń wyników przestaje być prostym zbiorem liczb czy kolorów, a staje się zbiorem par uporządkowanych (albo trójek itd.). To właśnie jest iloczyn kartezjański.

Jeśli X to zbiór możliwych wyników pierwszego etapu, a Y – drugiego, to przestrzeń wyników całego doświadczenia to X × Y. Każdy element tego zbioru to jedna możliwa „historia” eksperymentu: najpierw zdarzyło się coś z X, potem coś z Y. Iloczyn kartezjański stanowi więc językowy i techniczny sposób na opis całego losowania.

Pary uporządkowane w losowaniach wieloetapowych

Gdy doświadczenie ma więcej etapów, wynik zapisuje się jako krotkę: (wynik etapu 1, wynik etapu 2, …). Kolejność ma znaczenie, więc mówimy o parach uporządkowanych, trójkach uporządkowanych itd. To nie tylko szczegół techniczny – to fundament wielu zadań.

Przykład pokazowy to dwukrotny rzut kostką. Wynik „najpierw 1, potem 6” notujemy jako (1, 6). Wynik „najpierw 6, potem 1” to (6, 1). Są to dwa różne wyniki doświadczenia, mimo że suma oczek jest taka sama. Jeśli nie odróżnisz tych par, późniejsze liczenie prawdopodobieństw sum, różnic, „pierwsza większa od drugiej” będzie zniekształcone.

Dopóki każdemu etapowi możesz przypisać niezależny zbiór możliwych wyników, przestrzeń wszystkich możliwych przebiegów doświadczenia ma naturalną postać iloczynu kartezjańskiego. Dlatego w podręcznikach tak często pojawiają się zapisy typu {1,2,3,4,5,6} × {1,2,3,4,5,6} – to po prostu elegancki sposób opisania wszystkich par wyników z dwóch rzutów.

Zbiór elementów a zbiór przebiegów doświadczenia

Typowe źródło nieporozumień to mylenie zbioru elementów (np. zbiór kart w talii, zbiór kul w urnie) ze zbiorem możliwych przebiegów doświadczenia (czyli przestrzenią wyników). Zbiór elementów opisuje, z czego losujemy. Przestrzeń wyników – co dokładnie może być efektem całego procesu.

Przykład: w urnie są 3 kule: czerwona (C), niebieska (N), zielona (Z). Zbiór elementów to {C, N, Z}. Jeśli losujesz raz, przestrzeń wyników jest taka sama. Jeśli jednak losujesz dwa razy z zwracaniem, przestrzeń wyników jest już zupełnie inna: Ω = {C, N, Z} × {C, N, Z}. Elementem Ω nie jest sama kuleczka „C”, tylko para, np. (C, Z) – co oznacza: w pierwszym losowaniu wyszła czerwona, w drugim zielona.

Zadania z iloczynem kartezjańskim wymagają więc ciągłego pilnowania, czy patrzysz na „statyczny” zbiór rzeczy, czy na „dynamiczny” zbiór wszystkich możliwych przebiegów, w których te rzeczy mogą się pojawić w różnych kolejnościach.

Podstawy – co to jest iloczyn kartezjański w języku zadań?

Definicja bez przeładowanej symboliki

Formalnie: jeśli A i B są zbiorami, to ich iloczyn kartezjański A × B to zbiór wszystkich par uporządkowanych (a, b), takich że a ∈ A i b ∈ B. Brzmi abstrakcyjnie, ale w języku zadań można to czytać po prostu jako: wszystkie możliwe dwuelementowe wyniki składające się z „czegoś z A” i „czegoś z B” w ustalonej kolejności.

Jeśli A jest zbiorem możliwych wyników pierwszego ruchu, a B – zbiorem możliwych wyników drugiego ruchu, to A × B jest po prostu zbiorem wszystkich możliwych scenariuszy dwuetapowego doświadczenia:

• pierwszy element pary – to, co wyszło w pierwszym kroku,
• drugi element pary – to, co wyszło w drugim kroku.

W ten sposób język „iloczynu kartezjańskiego” przekłada się bardzo bezpośrednio na język „pierwszy etap – drugi etap” i jest naturalny w zadaniach z losowaniami krok po kroku.

Interpretacja A × B jako dwóch następujących po sobie wyborów

Jeśli mamy dwa kroki losowania, z których każdy ma swoje możliwe wyniki, to iloczyn kartezjański A × B można czytać jako „wszystko, co może się wydarzyć, gdy najpierw wybieramy coś z A, a potem coś z B”. Nie ma tu magii – to po prostu mechaniczne łączenie każdego elementu A z każdym elementem B.

Przykład: A = {koszula biała, koszula niebieska}, B = {spodnie czarne, spodnie szare}. Iloczyn kartezjański A × B to:

• (białe, czarne),
• (białe, szare),
• (niebieskie, czarne),
• (niebieskie, szare).

W zadaniu probabilistycznym można to od razu przetłumaczyć np. na: „pierwszy los to kolor koszuli, drugi los to kolor spodni” – czyli wynik doświadczenia to konkretna para ubrań. Taka sama logika stoi za dwoma rzutami kostką czy za „losuję literę, potem liczbę”.

Drzewko możliwości, tabela wyników, iloczyn kartezjański

Iloczyn kartezjański ma kilka równoważnych reprezentacji, które w zadaniach często się przeplatają:

• lista par – wypisanie wszystkich elementów A × B jako (a, b),
• drzewko możliwości – graf, w którym od każdego wyniku pierwszego etapu odchodzą gałęzie odpowiadające wynikom drugiego etapu,
• tabela wyników – szczególnie wygodna przy dwóch kostkach czy przy „litera–cyfra”.

Wszystkie trzy sposoby opisują ten sam zbiór. Drzewko i tabela są tylko wygodnymi narzędziami wizualnymi. Drzewko pokazuje krok po kroku, jak powstają pary. Tabela jest dobra, gdy oba zbiory A i B są niezbyt duże i można ich elementy umieścić w wierszach i kolumnach.

Dla dwóch kostek A = {1,2,3,4,5,6}, B = {1,2,3,4,5,6}. Iloczyn kartezjański A × B ma 36 elementów. Tabelka 6×6 pozwala jednym rzutem oka zobaczyć wszystkie pary (a, b), a także szybko policzyć, ile par ma daną sumę oczek, ile spełnia „pierwsza większa od drugiej” itd.

„Kolory koszul i spodni” kontra „losowanie kolejnych elementów”

Prosty przykład garderoby pokazuje: iloczyn kartezjański nie jest niczym wyjątkowo „prawdopodobnościowym”. Pojawia się zawsze wtedy, gdy łączymy wybory z dwóch różnych zbiorów. To samo robimy, gdy w zadaniu:

• najpierw losujemy kolor kuli,
• potem liczbę na kostce.

Matematycznie sytuacja „koszula–spodnie” i „kula–liczba” jest identyczna. Różni się tylko interpretacja. Dlatego tak ważne jest, by od początku patrzeć na iloczyn kartezjański jako na systematyczne mnożenie możliwości, a nie jako na skomplikowany symbol A × B.

Przestrzeń wyników doświadczenia losowego a iloczyn kartezjański

Wynik elementarny – co dokładnie obserwujemy?

Przestrzeń wyników Ω ma sens tylko wtedy, gdy jasno określisz, co uważasz za pojedynczy, nierozbijalny wynik. To jedna z kluczowych decyzji przy modelowaniu losowania. Jeśli źle opiszesz wynik elementarny, będziesz liczyć „inne” prawdopodobieństwo niż to, o które chodzi w zadaniu.

Dla jednego rzutu kostką naturalny wynik elementarny to liczba oczek od 1 do 6. Dla dwóch rzutów już nie pojedyncza liczba, ale para liczb – pierwsza i druga. Dla „rzut kostką + losowanie karty” wynik elementarny to krotka (wynik kostki, karta). W każdym z tych przypadków przestrzeń wyników jest inna, nawet jeśli liczba możliwych wyników jest równa (co czasem myli).

Rola iloczynu kartezjańskiego polega na tym, że wymusza myślenie w kategoriach: „wynik to cała sekwencja zdarzeń, a nie tylko jakiś ich fragment”. Dzięki temu zapis Ω staje się ścisły i można na nim bezpiecznie operować.

Jeden rzut kostką, dwa rzuty, kostka i karta

Zobacz, jak zmienia się przestrzeń wyników, gdy dokładamy kolejne etapy:

• Jeden rzut kostką: Ω = {1, 2, 3, 4, 5, 6}. Tu nie ma iloczynu kartezjańskiego, bo jest tylko jeden etap. Wynik to jedna liczba.
• Dwa rzuty kostką: niech A = {1,2,3,4,5,6} – możliwe wyniki pierwszego rzutu, B = {1,2,3,4,5,6} – możliwe wyniki drugiego. Przestrzeń wyników to A × B. Każdy wynik to para (a, b). Elementów jest 6·6 = 36.
• Rzut kostką i losowanie karty z pełnej talii: jeśli K to zbiór 52 kart, a C = {1,2,3,4,5,6}, to przestrzeń wyników to K × C (albo C × K, zależnie, którą czynność robisz najpierw – ważne, by trzymać się konsekwencji). Elementem jest np. (dama kier, 4) albo (3 karo, 6).

W dwóch ostatnich przypadkach pojawia się iloczyn kartezjański – bo wynik jest już parą. Jeśli dołożysz trzeci krok (np. losowanie litery), otrzymasz trójkę uporządkowaną i iloczyn trzech zbiorów: K × C × L.

Wynik jako para lub krotka

Kiedy mówimy, że wynik to para (x, y), mamy na myśli, że oba komponenty są potrzebne, aby w pełni opisać sytuację. Bez jednego z nich nie wiemy jeszcze, co dokładnie zaszło. W zadaniach z losowaniami jest to kluczowe np. przy wydarzeniach typu:

• „pierwsza kostka pokazuje liczbę parzystą, druga – nieparzystą”,
• „suma oczek jest równa 7”,
• „wylosowana karta to dama, a na kostce wypadło co najmniej 4”.

Wszystkie te zdania odnoszą się do par (lub trójek) wyników. Każde konkretne (x, y) albo spełnia warunek, albo nie. Dzięki temu zdarzenia można opisywać jako podzbiory iloczynu kartezjańskiego, a prawdopodobieństwa – jako ułamki „liczba elementów w podzbiorze / liczba elementów w całej przestrzeni wyników”.

Kiedy warto wypisywać cały iloczyn, a kiedy nie?

W praktyce szkolnej pojawia się pytanie: czy za każdym razem trzeba wypisywać wszystkie pary (a, b) albo rysować pełne drzewko? Odpowiedź zależy od rozmiaru zadania i celu obliczeń.

Iloczyn kartezjański warto rozrysować, gdy:

• zbiory są małe (np. dwie monety, dwie kostki, kilka kul),
• chcesz wizualnie upewnić się, że dobrze rozumiesz strukturę wyników,
• zadanie dotyczy konkretnych własności par (np. „liczba par o sumie 7”).

Kiedy iloczyn kartezjański „robi się za duży”

Jeżeli liczba etapów lub liczebność zbiorów gwałtownie rośnie, pełne rozpisywanie Ω jako iloczynu kartezjańskiego przestaje być praktyczne. Dla trzech rzutów kostką Ω = {1,…,6} × {1,…,6} × {1,…,6} ma już 6³ = 216 elementów. Dla pięciu rzutów – 6⁵, co jest zupełnie nieczytelne, jeśli chciałbyś to rysować ręcznie.

To nie znaczy, że iloczyn kartezjański „przestaje istnieć” – struktura Ω nadal jest produktem zbiorów wyników kolejnych etapów. Zmienia się tylko metoda pracy: zamiast wypisywać wszystkie elementy, operujesz na nich symbolicznie, korzystając z kombinatoryki, wzorów i własności zdarzeń.

W wielu zadaniach wystarczy:

• zdefiniować przestrzeń wyników jako iloczyn (bez wypisywania elementów),
• policzyć jej moc, używając prostego mnożenia (np. 6·6·6),
• policzyć moc interesującego zdarzenia inną metodą (kombinacje, wariacje, permutacje),
• użyć definicji prawdopodobieństwa klasycznego: P(A) = |A| / |Ω|.

Iloczyn kartezjański jest więc szkieletem, na którym „wieszasz” bardziej wyrafinowane narzędzia liczenia.

Iloczyn kartezjański krok po kroku na prostych przykładach

Dwie monety – od iloczynu do drzewka i tabeli

Niech M = {O, R} – możliwe wyniki rzutu monetą: orzeł (O) albo reszka (R). Dla dwóch rzutów przestrzeń wyników to M × M. Elementy tego zbioru to:

• (O, O),
• (O, R),
• (R, O),
• (R, R).

Drzewko możliwości ma dwa poziomy: z korzenia wychodzą dwie gałęzie (O, R) dla pierwszego rzutu. Od każdej z nich wychodzą znowu dwie (O, R) dla drugiego rzutu. Liście drzewka to dokładnie pary powyżej. Tabelka 2×2, w której wiersze to pierwszy rzut, a kolumny – drugi, też pokazuje te cztery pary. Wszystko to różne widoki tej samej konstrukcji M × M.

Kostka i moneta – łączenie zbiorów o różnej liczności

Niech K = {1,2,3,4,5,6} – wyniki kostki, M = {O, R} – wyniki monety. Przestrzeń wyników „rzut kostką, potem rzut monetą” to K × M. Zbiór ma 6·2 = 12 elementów, np.:

• (1, O), (1, R),
• (2, O), (2, R),
• …
• (6, O), (6, R).

Każdy element opisuje pełny scenariusz dwustopniowy: „na kostce X, na monecie Y”. Jeśli interesuje Cię zdarzenie „na kostce parzysta liczba oczek”, to w języku Ω mówisz: wybieram wszystkie pary (k, m), w których k ∈ {2,4,6}, a m ∈ {O, R}. Od razu widać, że takich par jest 3·2 = 6.

Losowanie litery i cyfry – klasyczny przykład iloczynu

Niech L = {A, B, C}, C = {0, 1, 2, 3}. Doświadczenie: losujesz literę, potem cyfrę. Przestrzeń wyników: L × C. Każdy element to „kod dwuznakowy”, np. (A, 0), (C, 3). Produkt daje 3·4 = 12 możliwych wyników, które możesz zwizualizować w tabeli 3×4.

Jeśli ktoś zapyta: „ile jest kodów zaczynających się na literę B?”, to w notacji iloczynu: liczysz wszystkie (B, c), gdzie c ∈ C. Zbiorów literek i cyferek nie trzeba nigdzie przepisywać, wystarczy rozumieć, że iloczyn kartezjański mechanicznie łączy każdy element pierwszego z każdym elementem drugiego.

Trzy etapy – iloczyn trzech zbiorów

Jeśli etapów są trzy, powstaje krotka trójkowa, a przestrzeń wyników to iloczyn trzech zbiorów. Np. „rzut monetą, rzut kostką, wybór koloru”:

• M = {O, R},
• K = {1,2,3,4,5,6},
• Kol = {czerwony, niebieski}.

Ω = M × K × Kol. Liczba elementów to 2·6·2 = 24. Każdy wynik ma postać (wynik monety, wynik kostki, kolor), np. (O, 4, niebieski). Tak zdefiniowana Ω jest od razu gotowa do opisu zdarzeń typu „na kostce parzysta liczba, kolor czerwony”.

Losowania wieloetapowe – kiedy iloczyn kartezjański wystarcza, a kiedy potrzebna jest kombinatoryka

Niezależne etapy z powtórzeniami – czysty iloczyn

Jeśli w każdym etapie losujesz z tego samego zbioru, a wynik z poprzedniego etapu nie wpływa na kolejny, struktura jest prosta: iloczyn kartezjański kilku identycznych zbiorów. Przykłady:

• kilka rzutów tą samą kostką,
• kilka rzutów tą samą monetą,
• wielokrotne losowanie z „odkładaniem” – po każdym losowaniu element wraca do urny.

Dla n rzutów kostką Ω = K × K × … × K (n razy) i ma 6ⁿ elementów. Zdarzenia opisujesz jako zbiory krotek długości n. Kombinatoryka pojawia się jedynie jako wygodne narzędzie do liczenia liczby krotek spełniających dany warunek (np. „dokładnie dwa rzuty dają szóstkę”).

Losowania bez zwracania – iloczyn kartezjański z warunkiem

Przy losowaniu „bez zwracania” z jednego zbioru A sytuacja jest subtelnie inna. Formalnie, jeśli losujesz po kolei k elementów z A, każde ogólne „surowe” Ω można by opisać jako A × A × … × A (k razy). Jednak nie wszystkie krotki są wtedy dopuszczalne, bo nie wolno powtórzyć elementu.

Przykład: urna z trzema kulami: {czerwona, zielona, niebieska}. Losujesz dwie bez zwracania. Produkt A × A zawiera pary typu (czerwona, czerwona), (zielona, zielona) itd., które fizycznie nie mogą się zdarzyć przy takim sposobie losowania. Rzeczywista przestrzeń wyników to podzbiór:

• Ω = {(C, Z), (C, N), (Z, C), (Z, N), (N, C), (N, Z)}.

Można na to patrzeć na dwa sposoby:

• iloczyn kartezjański A × A jako „wszystkie pary, także nierealne”,
• rzeczywista Ω jako zbiór wszystkich uporządkowanych par różnych elementów z A, czyli wariacji bez powtórzeń.

W praktycznych obliczeniach wygodniej używa się już bezpośrednio wariacji i kombinacji, ale mentalny schemat „pierwszy etap – drugi etap” wciąż jest tym samym iloczynem kartezjańskim z nałożonym ograniczeniem „bez powtórzeń”.

Losowania, w których kolejność nie ma znaczenia

Często zadania formułowane są tak, że kolejność wylosowania nie interesuje. Na przykład: „wylosowano z urny 3 kule, oblicz prawdopodobieństwo, że wszystkie są czerwone”. W rzeczywistości kula pierwsza, druga, trzecia istnieją, ale w odpowiedzi nie rozróżniasz scenariuszy (C, C, C) permutowanych między sobą, bo to „te same trzy kule”.

Matematycznie:

• pełna przestrzeń wyników wieloetapowego losowania (sekwencje) to iloczyn kartezjański,
• ale zdarzenia często opisujesz tylko liczbą wylosowanych obiektów danego typu, ignorując ich położenia w krotce.

To jest moment, w którym pojawiają się kombinacje: liczysz ile różnych podzbiorów (bez uwzględniania kolejności) odpowiada różnym grupom krotek w Ω. Iloczyn kartezjański ukrywa się w tle jako pełny opis wszystkich ułożonych w czasie wyników, a kombinatoryka grupuje je w klasy równoważności „ta sama zawartość, inna kolejność”.

Gdzie kończy się rysowanie drzewka, a zaczyna liczenie wzorami

Granica jest praktyczna, nie teoretyczna. Drzewko i wypisywanie elementów Ω sprawdza się, gdy:

• liczba etapów jest mała (1–3),
• każdy etap ma kilka możliwych wyników (2–6),
• zdarzenie zależy mocno od konkretnego przebiegu (np. „pojawia się dokładnie taki wzór HHTT”).

Gdy etapów jest więcej albo zbiór wyników w każdym kroku jest duży, iloczyn kartezjański lepiej traktować symbolicznie, a do obliczeń używać:

• wzoru na liczbę wszystkich krotek (proste potęgi typu mⁿ),
• kombinacji i wariacji do liczenia liczby „dobrych” krotek.

Jak na iloczynie kartezjańskim liczyć prawdopodobieństwa

Prawdopodobieństwo klasyczne na iloczynie – założenia

Model klasyczny opiera się na założeniu, że wszystkie wyniki elementarne w Ω są równoprawdopodobne. W kontekście iloczynu kartezjańskiego oznacza to zwykle, że:

• w każdym etapie losujemy „uczciwie” (np. kostka nieważona, moneta symetryczna),
• losowania w kolejnych etapach są niezależne lub kontrolowane w jasny sposób,
• przestrzeń wyników Ω została zdefiniowana tak, aby każdy element odpowiadał „tak samo możliwemu” scenariuszowi.

Jeśli te warunki są spełnione, to dla zdarzenia A ⊆ Ω prawdopodobieństwo wynosi P(A) = |A| / |Ω|.

Prosty przykład: suma oczek równa 7 przy dwóch rzutach kostką

Ω = K × K, |Ω| = 6·6 = 36. Zdarzenie A: „suma oczek = 7”. Zapis w Ω:

• A = {(1,6), (2,5), (3,4), (4,3), (5,2), (6,1)}.

Moc zdarzenia: |A| = 6. Prawdopodobieństwo: P(A) = 6/36 = 1/6. Całe zadanie to tak naprawdę policzenie, ile par (a, b) z K × K spełnia a + b = 7.

Liczenie „dobrych” krotek warunkami na elementach

Na przestrzeni produktu wygodnie opisuje się zdarzenia, nakładając warunki na poszczególne współrzędne krotki. Przykłady:

• „pierwszy rzut – parzysty, drugi – większy od 3” – to zbiór wszystkich (a, b) z K × K, gdzie a ∈ {2,4,6}, b ∈ {4,5,6};
• „moneta: orzeł, kostka: co najmniej 5” – zbiór wszystkich (m, k) z M × K, gdzie m = O, k ∈ {5,6}.

Aby policzyć P(A), często wystarczy policzyć:

• ile możliwości ma współrzędna pierwsza (spełniająca warunek),
• ile możliwości ma współrzędna druga, trzecia itd.,
• pomnożyć te liczby, jeśli warunki rozdzielają się na kolejne współrzędne,
• podzielić przez |Ω|.

Przykład: „pierwszy rzut parzysty, drugi > 3”. Możliwości dla pierwszego: 3, dla drugiego: 3, razem 3·3 = 9. P(A) = 9/36 = 1/4.

Zdarzenia typu „dokładnie k sukcesów” – liczenie na produkcie

Przy wielu etapach (np. n rzutów monetą) przestrzeń wyników to Mⁿ = M × … × M. Elementem jest ciąg długości n, np. (O, R, O, O, R). Zdarzenie „dokładnie k orłów” to zbiór wszystkich krotek, w których liczba pozycji z O wynosi k.

Liczba takich krotek to kombinacja C(n, k): wybierasz, na których dokładnie k pozycjach w n-elementowej krotce pojawi się O, a pozostałe pozycje „automatycznie” zajmie R. Stąd klasyczna formuła prawdopodobieństwa:

P(dokładnie k orłów w n rzutach) = C(n, k) / 2ⁿ.

Iloczyn kartezjański jest tutaj przestrzenią wszystkich ciągów długości n, a wzory kombinatoryczne liczą, ile z nich trafia do konkretnego zdarzenia.

Prawdopodobieństwo warunkowe na iloczynie

Na Ω = A × B łatwo też formułować prawdopodobieństwo warunkowe. Przykład: dwie kostki, Ω = K × K. Zdarzenia:

• A – „suma oczek ≥ 9”,
• B – „pierwsza kostka pokazuje co najmniej 4”.

Żeby policzyć P(A | B), określasz:

• Ω_B – „przestrzeń roboczą” ograniczoną warunkiem B, czyli wszystkie (a, b) z K × K, gdzie a ∈ {4,5,6},
• A ∩ B – pary (a, b) w Ω, które spełniają oba warunki naraz.

Na Ω = K × K można to przeanalizować geometrycznie (podzbiór prostokąta 6×6), ale logicznie to tylko praca na krotkach. Dzięki jasnej strukturze iloczynu łatwiej uniknąć błędów w liczeniu „wszystkich przypadków sprzyjających”.

Iloczyn kartezjański a różne „naturalne” wybory przestrzeni Ω

Ta sama sytuacja losowa może być modelowana różnymi przestrzeniami wyników. Iloczyn kartezjański narzuca opis „krok po kroku”, ale czasem lepiej jest przejść na opisy bardziej „zagregowane”. Różnica nie jest kosmetyczna – od wyboru Ω zależy, co jest naprawdę równoprawdopodobne.

Przykład: urna z kulami ponumerowanymi 1–10, losujesz 3 kule bez zwracania.

• Model sekwencyjny (iloczyn kartezjański z ograniczeniem): Ω_seq – wszystkie uporządkowane trójki różnych liczb z {1,…,10}. Każdy scenariusz „pierwsza – druga – trzecia” ma taki sam „mikroprawdopodobieństwo”.
• Model podzbiorowy: Ω_set – wszystkie 3-elementowe podzbiory z {1,…,10}. Tutaj elementem Ω jest po prostu zestaw wylosowanych kul, bez kolejności.

Jeśli losujesz fizycznie po jednej kuli z urny, a potem po prostu odkładasz 3 wyciągnięte kule na stół i nie interesuje cię, która wyszła pierwsza, to:

• w modelu sekwencyjnym wszystkie elementy Ω_seq są równoprawdopodobne,
• w modelu podzbiorowym nie jest oczywiste, że każdy 3-elementowy podzbiór ma tę samą szansę, dopóki nie sprawdzisz, ile sekwencji z Ω_seq do niego prowadzi.

Przewaga iloczynu kartezjańskiego polega na tym, że „naturalna” symetria zwykle dotyczy sekwencji, czyli właśnie krotek. Dopiero potem grupuje się je w klasy: każdy 3-elementowy podzbiór ma tyle samo realizujących go uporządkowanych trójek, więc faktycznie jest równie prawdopodobny jak inny. Przy mniej symetrycznych procedurach (np. ważona urna, różne prawdopodobieństwa w kolejnych etapach) to przejście nie jest już tak oczywiste.

Uważne definiowanie Ω – typowe błędy

Najwięcej pomyłek w zadaniach losowych bierze się z niejednoznacznego zdefiniowania „co uważamy za wynik elementarny”. Kilka typowych potknięć:

• mieszanie sekwencji i podzbiorów – w jednym miejscu liczone są sekwencje (krotki z iloczynu kartezjańskiego), a w innym tylko kombinacje bez kolejności, ale w mianowniku dalej stoi liczba sekwencji;
• pomijanie niewykonalnych elementów Ω – używanie „surowego” iloczynu A × A × … × A przy losowaniu bez zwracania, bez wyrzucenia krotek z powtórzeniami;
• różne „szanse” elementów Ω – przy nierównych prawdopodobieństwach rezultatów częściowych (np. nieuczciwa kostka) przyjmuje się mimo to wzór |A| / |Ω|, jakby wszystkie krotki miały ten sam ciężar.

Dobrą praktyką jest zawsze doprecyzować:

• czy „wynik elementarny” to pełny scenariusz etapów (krotka), czy tylko końcowy stan (np. zbiór wylosowanych kart),
• czy każdy element Ω ma tę samą szansę, czy trzeba wprowadzić indywidualne prawdopodobieństwa dla krotek.

Iloczyn kartezjański a notacja zdarzeń złożonych

Zdarzenia jako podzbiory Ω opisane warunkami

Na iloczynie kartezjańskim zdarzenia najwygodniej definiować przez warunki na współrzędnych. Każdy wynik elementarny to krotka, np. (x₁, x₂, …, x_n). Zdarzenie A można wtedy opisać jako:

• warunek na jedną współrzędną, np. „x₁ parzysty”,
• warunki na wiele współrzędnych, np. „x₂ > x₃ i x₄ ≠ 6”,
• warunki globalne, np. „suma wszystkich współrzędnych > 10”.

Formalnie zdarzenie A jest podzbiorem Ω, ale praktycznie zapisuje się je jako zbiór wszystkich krotek spełniających konkretną logikę.

Przecięcie, suma, dopełnienie – praca na warunkach

Operacje na zdarzeniach mają prostą interpretację w języku warunków na krotkach:

• A ∩ B – „muszą być spełnione warunki A oraz B naraz”,
• A ∪ B – „wystarczy, że spełniony jest A lub B (albo oba)”,
• A^c – „wszystkie krotki, które nie spełniają warunku A”.

Przykład: dwa rzuty kostką, Ω = K × K. Zdarzenia:

• A: „co najmniej jedna szóstka” – opis: {(a, b): a = 6 lub b = 6},
• B: „suma oczek ≥ 9” – opis: {(a, b): a + b ≥ 9}.

Wtedy:

• A ∩ B – krotki, gdzie „(a = 6 lub b = 6) i jednocześnie a + b ≥ 9”,
• A^c – krotki, gdzie „a ≠ 6 i b ≠ 6”.

Iloczyn kartezjański działa tu jak tło: operacje na zdarzeniach to po prostu logika na współrzędnych.

Zdarzenia „w jednym etapie” jako iloczyn z pełną resztą

Często potrzebne są zdarzenia, które dotyczą tylko wybranych etapów, a pozostałe etapy „są dowolne”. Na iloczynie kartezjańskim wygodnie widać wtedy strukturę:

Jeśli Ω = A₁ × … × A_n, a chcemy zdarzenie „w i-tym etapie wystąpiła wartość z podzbioru B ⊆ A_i”, to formalnie:

A = A₁ × … × A_i−1 × B × A_i+1 × … × A_n.

Czyli warunek dotyczy jednej współrzędnej, a pozostałe współrzędne pozostają „wolne” – bierzemy pełne zbiory A_j. Od razu widać też moc zdarzenia:

|A| = |A₁| · … · |A_i−1| · |B| · |A_i+1| · … · |A_n|.

W zadaniach tekstowych sprowadza się to do jednego zdania: „na i-tym miejscu – tylko elementy z B, na pozostałych – wszystko”, a iloczyn kartezjański nadaje temu konkretną postać.

Opis zdarzeń typu „minimum”, „maksimum”, „co najmniej raz”

Na przestrzeni produktu łatwo zapisać klasyczne zdarzenia zadań testowych:

• „co najmniej raz orzeł” – w n rzutach monetą: A = {krotki z przynajmniej jednym O}, czyli dopełnienie zdarzenia „same reszki”,
• „maksimum oczek równe 4” – w n rzutach kostką: wszystkie krotki z wartościami ≤ 4 oraz z przynajmniej jednym 4,
• „minimum równe 2” – krotki, gdzie żadna współrzędna nie jest < 2, a przynajmniej jedna równa jest 2.

Przykład: 3 rzuty kostką, Ω = K³. Zdarzenie C: „maksymalne oczko równe 4”. Formalny zapis:

• warunek 1: wszystkie współrzędne w {1,2,3,4},
• warunek 2: co najmniej jedna współrzędna = 4.

Często wygodniej liczyć P(C) jako P(maks ≤ 4) − P(maks ≤ 3), ale logika zdarzenia jest wprost w definicji na Ω.

Rozpisywanie zdarzeń w notacji zbiorowej

W bardziej formalnej notacji zdarzenia można zapisać jako:

• A = {(x₁,…,x_n) ∈ Ω : x₁ ∈ B₁, x₂ ∈ B₂, …, x_n ∈ B_n} – warunek „współrzędna i-ta należy do zadanego podzbioru B_i”,
• A = {(x₁,…,x_n) ∈ Ω : f(x₁,…,x_n) ∈ C} – warunek na jakąś funkcję krotki, np. suma, maksimum, liczba sukcesów.

Takie zapisy są mniej wygodne do czytania w prostych zadaniach, ale pomagają przy bardziej abstrakcyjnych rozumowaniach (np. kiedy później definiuje się rozkład zmiennej losowej jako obrazu funkcji f na Ω).

Zmienne losowe jako funkcje na iloczynie kartezjańskim

Od krotek do liczb – po co wprowadzać zmienne losowe

Iloczyn kartezjański opisuje wyniki w postaci jakościowej (wzory HHTT, konkretne pary (3,5), kolory kul). W wielu zadaniach interesuje jednak tylko pewna liczba związana z wynikiem – suma oczek, liczba trafionych pytań, uzyskany wynik punktowy.

Zmienne losowe formalizują to przejście. Są to funkcje X: Ω → ℝ, które każdej krotce (wynikowi elementarnemu) przypisują liczbę. Przykłady:

• Ω = K × K, X(a, b) = a + b (suma oczek),
• Ω = Mⁿ, Y(ω) = liczba orłów w ciągu ω,
• Ω = {0,1}ⁿ, Z(ω) = liczba „jedynek” w odpowiedziach (np. poprawnych odpowiedzi w teście).

Kluczowe jest to, że zmienne losowe działają zawsze na pełnej przestrzeni krotek. Bez iloczynu kartezjańskiego nie ma sensu mówić o „rozkładzie” tych zmiennych: trzeba wiedzieć, ile krotek daje tę samą wartość X(ω).

Rozkład zmiennej losowej zliczaniem krotek

Zakładając model klasyczny (każda krotka jednakowo prawdopodobna), rozkład zmiennej losowej X oblicza się przez grupowanie wyników elementarnych według wartości X:

• Dla każdej liczby x liczymy liczbę krotek ω ∈ Ω takich, że X(ω) = x,
• prawdopodobieństwo P(X = x) to (liczba takich ω) / |Ω|.

Przykład: 3 rzuty monetą, Ω = M³, |Ω| = 8. Zmienna X – liczba orłów.

• X = 0 – tylko krotka (R,R,R),
• X = 1 – krotki (O,R,R), (R,O,R), (R,R,O),
• X = 2 – krotki (O,O,R), (O,R,O), (R,O,O),
• X = 3 – krotka (O,O,O).

Dla każdej wartości X = k liczba krotek to C(3, k), co daje rozkład dwumianowy. Cały rachunek sprowadza się do liczenia krotek na iloczynie M³, które „wpadają” do danego poziomu X.

Kilka zmiennych losowych na jednej przestrzeni produktu

Na tym samym Ω często definiuje się wiele zmiennych losowych, np.:

• Ω = K × K, X(a, b) = a + b, Y(a, b) = |a − b|,
• Ω = Mⁿ, X(ω) = liczba orłów, Y(ω) = długość najdłuższego bloku kolejnych orłów.

Fakt, że obie zmienne działają na tej samej przestrzeni produktów, pozwala badać ich zależność, rozkład łączny (X, Y), warunkowe prawdopodobieństwa typu P(X = x | Y = y). Technicznie zawsze chodzi o te same krotki w Ω, tylko patrzy się na nie przez różne „liczbowe okulary”.

Rzeczywisty przykład: punktacja testu wyboru

Wyobraźmy sobie test z n pytaniami jednokrotnego wyboru, każde ma 4 odpowiedzi, dokładnie jedna prawidłowa. Student losuje odpowiedzi.

• Przestrzeń wyników Ω to iloczyn kartezjański A¹ × … × Aⁿ, gdzie A = {A,B,C,D} – wszystkie krotki wybranych odhaczonych odpowiedzi.
• Zmienne losowe:
  • X(ω) – liczba poprawnych odpowiedzi,
  • Y(ω) – uzyskany wynik punktowy przy danej skali ocen.

Każda krotka ω opisuje pełen scenariusz zaznaczeń. Jeśli przyjmiemy, że student na każdych danych odpowiada „na chybił trafił” z równym prawdopodobieństwem, model jest klasyczny – wszystkie krotki są równoprawdopodobne. Rozkład X znowu sprowadza się do policzenia, ile krotek daje k sukcesów – to sytuacja identyczna z n rzutami czterostronną kostką, gdzie wartością „sukces” jest 1 z 4 ścian.

Iloczyn kartezjański w bardziej złożonych schematach losowania

Mieszane eksperymenty – różne typy losowań w jednym Ω

Nie wszystkie zadania to czyste „rzuty kostką n razy”. W praktyce częste są sekwencje o różnej naturze etapów:

• najpierw losujesz liczbę z przedziału, potem rzucasz tyle razy kostką,
• najpierw wybierasz kartę z talii, potem bierzesz jeszcze jedną kartę z innej talii,
• najpierw rzucasz monetą, by zdecydować, z której urny losujesz kulę.

Najważniejsze punkty

• Iloczyn kartezjański pojawia się w losowaniach zawsze wtedy, gdy doświadczenie ma kilka etapów, a wynik opisuje pełną „historię” przebiegu krok po kroku.
• Przestrzeń wyników wieloetapowego doświadczenia to zbiór krotek uporządkowanych (para, trójka itd.); to, co formalnie zapisujemy jako A × B (× C…), jest po prostu zbiorem wszystkich możliwych scenariuszy.
• Kolejność w krotce ma znaczenie: (1, 6) i (6, 1) to inne wyniki doświadczenia, nawet jeśli dają tę samą sumę lub „taki sam układ oczek” w potocznym sensie.
• Trzeba odróżniać zbiór elementów, z których losujemy (np. karty w talii, kule w urnie), od przestrzeni wyników, która opisuje całe przebiegi losowania, często właśnie jako iloczyn kartezjański.
• Iloczyn kartezjański ma prostą interpretację „najpierw wybieramy coś z A, potem coś z B”, czyli mechaniczne łączenie każdego wyniku pierwszego kroku z każdym wynikiem drugiego.
• W zadaniach rachunku prawdopodobieństwa poprawne zapisanie przestrzeni wyników jako iloczynu kartezjańskiego jest kluczowe, bo od tego zależy poprawne liczenie liczby możliwych przypadków i prawdopodobieństw zdarzeń.

Bibliografia

• A First Course in Probability. Pearson (2019) – Wprowadzenie do przestrzeni zdarzeń, doświadczeń losowych i iloczynu kartezjańskiego
• Introduction to Probability. Cambridge University Press (2018) – Przestrzeń wyników, zdarzenia, przykłady rzutów kostką i losowań wieloetapowych
• Probability and Random Processes. Oxford University Press (2001) – Formalne ujęcie doświadczeń losowych i konstrukcji przestrzeni zdarzeń jako iloczynów kartezjańskich
• Measure Theory and Probability Theory. Springer (2005) – Ścisła definicja przestrzeni probabilistycznych Ω i produktów przestrzeni wyników
• Elements of Set Theory. Academic Press (1977) – Iloczyn kartezjański, krotki uporządkowane, relacje między zbiorami
• Kombinatorik für Einsteiger. Springer Spektrum (2013) – Zliczanie wyników doświadczeń wieloetapowych, drzewka możliwości, tabele wyników
• Probability and Statistics. W. H. Freeman (2010) – Podstawy rachunku prawdopodobieństwa, przykłady losowań krok po kroku i przestrzeni Ω
• Matematyka. Podręcznik dla liceum i technikum. Zakres rozszerzony. Część 2. Nowa Era (2020) – Szkolne ujęcie doświadczeń losowych, iloczynu kartezjańskiego i zadań z losowaniami