Zbiory — worki na obiekty

[poza podstawą]

🎯 Po co Ci to?

Zauważ, jak często matematyka mówi o zbiorowiskach: „wszystkie liczby parzyste", „punkty leżące na prostej", „rozwiązania równania". Żeby o takich kolekcjach mówić krótko i bez nieporozumień, potrzebujemy jednego, prostego pojęcia: zbioru. Zbiór to worek na obiekty. Ta jednostka daje Ci słownik zbiorów: jak do worka wkładać, jak porównywać worki i jak je ze sobą łączyć. To pojęcie wróci dosłownie wszędzie, od dziedziny funkcji po przestrzeń zdarzeń w rachunku prawdopodobieństwa.

✅ Czego się nauczysz

Po tej jednostce potrafisz:

• zapisać zbiór przez wyliczenie i przez warunek;
• używać symboli $\in, \notin, \subset, \varnothing$;
• wykonać działania $\cup$, $\cap$, $\setminus$ i zobaczyć w nich echo logiki z §1.2.

📘 Wyjaśnienie

Zbiór to kolekcja różnych obiektów zwanych jego elementami. Nie definiujemy go głębiej, to pojęcie pierwotne, jak „punkt" w geometrii; opisujemy je przez to, jak się zachowuje. Zbiory oznaczamy wielkimi literami, elementy: małymi.

Że coś należy do zbioru, piszemy $\in$; że nie należy: $\notin$. Na przykład $3 \in {1,2,3}$, ale $5 \notin {1,2,3}$.

Zbiór można opisać na dwa sposoby:

• przez wyliczenie: wypisując elementy: $A = {2, 4, 6, 8}$;
• przez warunek: podając regułę wstępu: $A = {n : n \text{ jest parzyste i } 0 < n < 10}$ (czytamy: „zbiór tych $n$, że…").

Drugi sposób jest potężniejszy, bo pozwala opisać także zbiory nieskończone, których nie da się wypisać: ${x \in \mathbb{R} : x > 0}$ to wszystkie liczby dodatnie.

Dwa graniczne przypadki warto znać z nazwy. Zbiór pusty $\varnothing$ nie ma żadnego elementu (np. zbiór liczb rzeczywistych spełniających $x^2 = -1$). A gdy każdy element zbioru $A$ jest zarazem elementem $B$, mówimy, że $A$ jest podzbiorem $B$ i piszemy $A \subset B$.

Działania na zbiorach. I tu robi się elegancko, bo działania na zbiorach to te same „i / lub / nie", które poznałeś w logice, tylko ubrane w worki:

Działanie	Symbol	Element należy, gdy…	Echo logiki
suma	$A \cup B$	jest w $A$ lub w $B$	$\lor$
iloczyn (część wspólna)	$A \cap B$	jest w $A$ i w $B$	$\land$
różnica	$A \setminus B$	jest w $A$, ale nie w $B$	$\land \lnot$

Najłatwiej zobaczyć to na diagramie, dwa nachodzące na siebie koła (tzw. diagram Venna):

💭 Pomyśl: Niech $A = {1,2,3,4}$, $B = {3,4,5,6}$. Ile elementów ma $A \cup B$, a ile $A \cap B$?

Sprawdź odpowiedź

$A \cup B = {1,2,3,4,5,6}$: 6 elementów (każdy z obu, ale $3$ i $4$ liczymy raz: element albo jest w worku, albo nie, nie ma „dwa razy"). $A \cap B = {3,4}$: 2 elementy, tylko wspólne. A na marginesie: $A \setminus B = {1,2}$.

Matrioszki liczbowe. Najważniejsze zbiory, z którymi będziesz pracować przez całe liceum, zagnieżdżają się jeden w drugim jak rosyjskie matrioszki:

$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$$

liczby naturalne $\subset$ całkowite $\subset$ wymierne $\subset$ rzeczywiste. Każdy kolejny worek jest większy, bo dokłada liczby, których poprzedni nie mieścił, i to jest dokładnie temat następnego działu, w którym zobaczysz, dlaczego te worki musiały rosnąć.

[rozszerzenie] De Morgan wraca: tym razem dla zbiorów. Jeśli ustalimy pewien „świat" $U$ (przestrzeń), to dopełnienie zbioru $A$, oznaczane $A'$, to wszystko z $U$ poza $A$: workowy odpowiednik negacji $\lnot$. I obowiązują te same prawa De Morgana, co w logice: $$(A \cup B)' = A' \cap B' \qquad (A \cap B)' = A' \cup B'$$ To nie przypadek. Logika i teoria zbiorów to dwie twarze tej samej struktury: „lub" ↔ suma, „i" ↔ iloczyn, „nie" ↔ dopełnienie. Kto rozumie jedno, rozumie drugie za darmo.

⚠️ Uwaga, pułapka

Nie myl $\in$ z $\subset$. $\in$ łączy element ze zbiorem: $3 \in {1,2,3}$. $\subset$ łączy zbiór ze zbiorem: ${3} \subset {1,2,3}$. Zapis $3 \subset {1,2,3}$ jest błędny (liczba to nie zbiór), a ${3} \in {1,2,3}$ też (bo elementami tego worka są liczby $1,2,3$, a nie worek ${3}$). Element wkładasz, podzbiór porównujesz.

🛠️ Teraz Ty

Dla $A = {1,2,3,4,5}$ i $B = {2,4,6}$ wyznacz: (a) $A \cup B$, (b) $A \cap B$, (c) $A \setminus B$, (d) $B \setminus A$.

Sprawdź

(a) ${1,2,3,4,5,6}$. (b) ${2,4}$. (c) ${1,3,5}$. (d) ${6}$. Zauważ, że $A \setminus B \ne B \setminus A$: kolejność w różnicy ma znaczenie, inaczej niż w sumie i iloczynie.

🕰️ Skąd to się wzięło

Pojęcie zbioru (dziś tak oczywiste) wprowadził Georg Cantor (1845–1918) w latach 70. XIX wieku i od razu zrobił rzecz szaloną: zaczął liczyć nieskończoności i udowodnił, że jedne są większe od drugich. Współcześni pukali się w czoło (podobno jeden wielki matematyk nazwał to „chorobą"), a Cantor przypłacił spór o nieskończoność zdrowiem. Dziś jego teoria mnogości to fundament, na którym stoi cała matematyka, każda „dziedzina funkcji" i „przestrzeń zdarzeń", które spotkasz dalej, to jego zbiory.

📌 Najważniejsze w pigułce

• Zbiór to worek na elementy; opisujemy go przez wyliczenie albo przez warunek.
• $\in$ (element w zbiorze) $\ne$ $\subset$ (podzbiór). $\varnothing$ to worek pusty.
• $\cup$ = „lub", $\cap$ = „i", $\setminus$ = „i nie": działania na zbiorach to logika w workach.
• $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$: matrioszki liczbowe (rozwinięcie w Dziale 2).

🎒 Zadania

1. Zapisz przez warunek zbiór wszystkich wielokrotności liczby 3 mniejszych od 20. Ile ma elementów?
2. Dla $A = {x \in \mathbb{R} : x > 0}$ i $B = {x \in \mathbb{R} : x < 5}$ opisz słownie $A \cap B$.
3. Wypisz wszystkie podzbiory zbioru ${a, b}$ (nie zapomnij o $\varnothing$ i o całości). Ile ich jest?

Rozwiązanie krok po kroku

1. ${n : n=3k,\ k\in\mathbb{N},\ 0<n<20}$, czyli ${3,6,9,12,15,18}$; 6 elementów.

2. $A\cap B$ to liczby spełniające OBA warunki naraz: $x>0$ i $x<5$. Słownie: liczby rzeczywiste z przedziału od $0$ do $5$ (bez końców), czyli $0<x<5$.

3. Podzbiory ${a,b}$: $\varnothing$, ${a}$, ${b}$, ${a,b}$; razem 4. (Nie zapomnij o zbiorze pustym i o całości, to też podzbiory.)

🔍 Sprawdź, czy umiesz

• zapisać zbiór dwoma sposobami i użyć symboli $\in, \subset, \varnothing$;
• wykonać $\cup, \cap, \setminus$ i wyjaśnić ich związek z „lub / i / nie".

---