Przeczytaj
Załóżmy, że w wyniku podziału (rozbicia) pewnego zbioru otrzymaliśmy dwa podzbiory, i . Wtedy ten zbiór oznaczamy jako i mówimy, że jest on sumą dwóch zbiorów rozłącznych i .
Wtedy liczba elementów zbioru jest sumą liczb i , które opisują liczby elementów jego rozłącznych podzbiorów i , otrzymanych w wyniku tego podziału:
.
Wykażemy, że w każdym ze zbiorów:
– trzycyfrowych liczb parzystych
oraz
– trzycyfrowych liczb nieparzystych
jest elementów.
Ponieważ zbiory oraz są rozłączne, a ich suma jest zbiorem wszystkich liczb trzycyfrowych:
,
więc
.
Ponadto (co wiemy z reguły równolicznościreguły równoliczności) , a to oznacza, że .
Uwaga. Powyżej stwierdziliśmy, że zbiory i są rozłączne. Używając symbolu iloczynu (części wspólnej) zbiorów oraz symbolu zbioru pustego zapisujemy ten fakt następująco:
Jeżeli zbiory są parami rozłączne, to liczba elementów zbioru jest równa sumie liczb elementów każdego ze zbiorów :
Obliczymy, ile jest liczb trzycyfrowych, które są podzielne przez lub są podzielne przez .
Oznaczmy:
– zbiór liczb trzycyfrowych podzielnych przez ,
– zbiór liczb trzycyfrowych podzielnych przez .
Mamy obliczyć, ile jest liczb trzycyfrowych, które są podzielne przez lub przez , czyli liczbę elementów zbioru .
Korzystając z reguły równolicznościreguły równoliczności zauważamy, że:
wszystkich liczb trzycyfrowych jest ,
wszystkich liczb trzycyfrowych podzielnych przez jest ,
wszystkich liczb trzycyfrowych podzielnych przez jest ,
Zbiory i nie są jednak rozłączne – wśród liczb trzycyfrowych są takie, które dzielą się zarówno przez , jak i przez . Ponieważ liczba całkowita dzieli się przez i przez wtedy i tylko wtedy, gdy dzieli się przez , więc należy jeszcze obliczyć, ile jest liczb trzycyfrowych podzielnych przez , czyli elementów zbioru . Korzystając z reguły równolicznościreguły równoliczności stwierdzamy, że .
Zbiór da się więc podzielić na trzy rozłączne podzbiory:
zbiór liczb trzycyfrowych podzielnych przez i podzielnych przez ,
zbiór tych liczb trzycyfrowych, które dzielą się przez i nie dzielą się przez ,
zbiór tych liczb trzycyfrowych, które dzielą się przez i nie dzielą się przez .
Zbiór liczb trzycyfrowych podzielnych przez możemy rozbić na dwa podzbiory: podzbiór liczb podzielnych przez i podzbiór liczb niepodzielnych przez .
Wobec tego z reguły dodawaniareguły dodawania otrzymujemy równość , skąd
Zbiór liczb trzycyfrowych podzielnych przez możemy rozbić na dwa podzbiory: podzbiór liczb podzielnych przez i podzbiór liczb niepodzielnych przez .
Na podstawie reguły dodawaniareguły dodawania wynika stąd, że , a więc .
Korzystając z reguły dodawaniareguły dodawania stwierdzamy, że wszystkich liczb trzycyfrowych, które są podzielne przez lub przez jest .
Ponieważ dla dowolnych dwóch zbiorów oraz prawdziwe są równości:
,
oraz
więc
Dla dowolnych dwóch zbiorów oraz prawdziwa jest równość
W konkursie matematycznym uczestniczyło uczniów. Każdy z uczestników miał do rozwiązania pięć tych samych zadań.
Po zakończeniu zawodów okazało się, że:
uczestników nie rozwiązało żadnego z dwóch pierwszych zadań,
uczestników rozwiązało zadanie pierwsze,
uczestników rozwiązało zadanie drugie.
Ustalimy, ilu uczestników tego konkursu rozwiązało oba zadania: pierwsze i drugie.
Z treści zadania wynika, że liczba uczestników konkursu, którzy rozwiązali zadanie pierwsze lub zadanie drugie jest równa .
Przyjmiemy teraz następujące oznaczenia:
– zbiór uczestników konkursu, którzy rozwiązali zadanie pierwsze,
- zbiór uczestników konkursu, którzy rozwiązali zadania drugie.
Wiemy, że , oraz .
Oznaczmy przez liczbę uczestników konkursu, którzy rozwiązali oba zadania.
Na podstawie reguły dodawaniareguły dodawania prawdziwe są następujące zależności
, .
Zatem jeszcze raz korzystając z reguły dodawaniareguły dodawania otrzymujemy równość
,
skąd
,
a więc
.
Oznacza to, że uczestników tego konkursu rozwiązało oba zadania: pierwsze i drugie.
Uwaga.
Wiedząc, że , oraz można było od razu skorzystać z powyższego twierdzeniatwierdzenia i zapisać, że z równości
dostajemy
.
Słownik
jeżeli zbiory są parami rozłączne, to liczba elementów zbioru jest równa sumie liczb elementów każdego ze zbiorów :
dwa zbiory i są równoliczne (mają tyle samo elementów) jeżeli ich elementy można przyporządkować wzajemnie jednoznacznie, to znaczy: każdemu elementowi zbioru przyporządkujemy dokładnie jeden element zbioru oraz każdemu elementowi zbioru przyporządkujemy dokładnie jeden element zbioru
dla dowolnych dwóch zbiorów oraz prawdziwa jest równość