Matematyka dla liceum/Zaczynamy/Zbiory

Pojęcie zbioru

Zbiór jest jednym z podstawowych pojęć matematycznych. Pojęcia tego nie definiujemy – jest ono pojęciem pierwotnym. Czasami, zamiast „zbiór” możemy powiedzieć „rodzina”, „przestrzeń” czy „kolekcja”. Zbiór będziemy intuicyjnie rozumieć jako pewną całość złożoną z wielu obiektów, które będziemy nazywać elementami tego zbioru. Jeszcze bardziej obrazowo, zbiór można przedstawić jako worek, wypełniony przedmiotami, które są elementami zbioru.

Popatrzmy na przykłady:

• zbiór ciastek,
• zbiór liczb całkowitych nieparzystych,
• zbiór uczniów w klasie.

Wyobraźmy sobie, że trzymamy w ręce cztery cukierki – jeden o smaku cytrynowym, drugi o smaku truskawkowym, trzeci o smaku jabłkowym, a czwarty o smaku waniliowym. Zbiory są oznaczane zazwyczaj wielkimi literami alfabetu, np. Szablon:Math, Szablon:Math, Szablon:Math, Szablon:Math. Możemy nasz zbiór cukierków nazwać literą Szablon:Math (oczywiście, od słowa „cukierki”).

Element (przedmiot), który należy do pewnego zbioru, najczęściej oznaczamy małą literą, np. Szablon:Math, Szablon:Math, Szablon:Math. W związku z tym, oznaczmy cukierek cytrynowy jako Szablon:Math, truskawkowy jako Szablon:Math, jabłkowy jako Szablon:Math, a waniliowy jako Szablon:Math.

Jeśli element Szablon:Math należy do zbioru Szablon:Math, zapisujemy to $a\in A$ i czytamy „element Szablon:Math należy do zbioru Szablon:Math”. Możemy zapisać, używając naszych oznaczeń, że cukierek truskawkowy Szablon:Math należy do naszego zbioru cukierków Szablon:Math jako $t\in C$.

Podobnie, aby zaznaczyć, że dany element nie należy do zbioru, użyjemy zapisu $a\notin A$ -czyli Szablon:Math nie należy do zbioru Szablon:Math. Ponieważ nie posiadamy cukierka pomarańczowego Szablon:Math, cukierek Szablon:Math nie należy do naszego zbioru cukierków Szablon:Math, co zapiszemy: $p\notin C$.

Aby oznaczyć, że wymieniane elementy tworzą razem zbiór (lub odwrotnie, że zbiór składa się z danych elementów), umieszczamy je w nawiasach klamrowych. Nasz zbiór Szablon:Math składa się z cukierka cytrynowego Szablon:Math, truskawkowego Szablon:Math, jabłkowego Szablon:Math i waniliowego Szablon:Math, więc możemy zapisać $C=\{c,t,j,w\}$.

Liczbę elementów zbioru Szablon:Math oznaczamy $|A|$ i nazywamy mocą zbioru Szablon:Math. W przykładzie z cukierkami powiemy, że moc zbioru cukierków Szablon:Math wynosi Szablon:Math, co zapiszemy $|C|=4$.

Ze względu na liczbę elementów w zbiorze, wyróżniamy zbiory skończone, np. nasz zbiór cukierków, oraz zbiory nieskończone, np. zbiór liczb rzeczywistych.

Szczególnym przypadkiem zbioru jest zbiór pusty, do którego nie należy żaden element. Oznaczamy go $\varnothing$ lub $\mathrm{\varnothing }$.

Zbiory liczb

Wyróżniamy pewne zbiory liczb, które odgrywają istotną rolę w matematyce; do najważniejszych zaliczamy:

• zbiór liczb naturalnych,
• zbiór liczb całkowitych,
• zbiór liczb wymiernych,
• zbiór liczb niewymiernych,
• zbiór liczb rzeczywistych.

Przyjrzymy się teraz pokrótce każdemu z nich. Przedstawionych niżej opisów nie można traktować jako definicji tych zbiorów, ale raczej jako luźne wytłumaczenie tych pojęć, które może zawierać pewne nieścisłości.

Zbiór liczb naturalnych

Liczba naturalna to każda z liczb, do której możemy doliczyć, startując od Szablon:Math (co może trwać bardzo długo...). Zbiór liczb naturalnych jest więc zbiorem wszystkich takich liczb. Liczbą naturalną jest więc Szablon:Math, Szablon:Math i Szablon:Math. Liczbą naturalną nie jest natomiast Szablon:Math ani Szablon:Math, ani też Szablon:Math.

W matematyce zbiór liczb naturalnych jest z reguły oznaczany przez $\mathbb{N}$. Ponieważ początkowe liczby naturalne to Szablon:Math, Szablon:Math, Szablon:Math, Szablon:Math itd., zbiór liczb naturalnych jest to

$\mathbb{N}=\{0,1,2,3,4,\dots \}$.

Należy dodać, że czasami przyjmuje się, że Szablon:Math nie należy do naturalnych. Dla jednoznaczności niektórzy autorzy stosują wówczas symbol ${\mathbb{N}}^{+}$:

${\mathbb{N}}^{+}=\{1,2,3,4,\dots \}$.

Zbiór liczb całkowitych

Co to znaczy, że liczba jest całkowita? Liczba całkowita, to liczba postaci Szablon:Math, Szablon:Math, Szablon:Math, czyli liczby całkowite różnią się od naturalnych tym, że mogą być ujemne. Liczbą całkowitą znowu nie będzie Szablon:Math, jako że Szablon:Math, więc ma jakąś niezerową część ułamkową.

Zbiór liczb całkowitych będziemy oznaczać przez $\mathbb{Z}$. Widzimy, że

$\mathbb{Z}=\{\dots ,-4,-3,-2,-1,0,1,2,3,4,\dots \}$.

• Ciekawostka

  Mała dygresja dla bardziej spostrzegawczych. Niektórzy może zarzucą, dlaczego $\mathbb{Z}$, a nie $ℂ$. To prawda, że w wielu podręcznikach szkolnych używa się literki C do oznaczania zbioru liczb całkowitych, jednak w rzeczywistości, większość podręczników dotyczących matematyki zawiera oznaczenie $\mathbb{Z}$. Są to jednocześnie oznaczenia międzynarodowe, ponadto, używane są na uczelniach wyższych. Z podobnych względów oznaczymy zbiór liczb wymiernych literką $\mathbb{Q}$.

Zbiór liczb wymiernych

Liczba wymierna to taka liczba, którą można zapisać w postaci ułamka zwykłego, gdzie licznik i mianownik będą liczbami całkowitymi przy czym mianownik będzie różny od zera. Liczbami wymiernymi będą: Szablon:Math, Szablon:Math, $\frac{-3}{5}$, $\frac{10000}{-99999999}$, czy też Szablon:Math. Czy będzie nią liczba Szablon:Math? Okazuje się, że nie - ponieważ liczba Szablon:Math jest na tyle skomplikowana, że nie da się jej zapisać w postaci ułamka zwykłego.

Zbiór liczb wymiernych w matematyce oznaczamy przez $\mathbb{Q}$.

Zbiór liczb rzeczywistych

Jest to "uniwersalny worek", ponieważ wszystkie liczby (których będziemy używać w liceum) są liczbami rzeczywistymi. Wszystkie zbiory liczb, opisane wyżej, możemy do tego "worka" włożyć. Tak więc.. przykładem może być każda liczba, jaka przyjdzie do głowy.

Czym charakteryzują się liczby rzeczywiste? Otóż posiadają one w zapisie dziesiętnym cyfry od Szablon:Math do Szablon:Math, mogą posiadać znak minus i część ułamkową po przecinku, ale nic więcej. Można by zapytać: jaka liczba nie spełnia tych warunków? Istnieje, na przykład, pewien zbiór (jest on jednakże w programie uczelni wyższych) liczb zespolonych (oznaczenie: $ℂ$).

Zbiór liczb rzeczywistych oznaczamy przez $ℝ$.

Zbiór liczb niewymiernych

Jest to dopełnienie zbioru liczb wymiernych. Oznacza to, że każda liczba rzeczywista, która nie jest liczbą wymierną, jest liczbą niewymierną (i żadna inna). Są to wszystkie liczby rzeczywiste, których nie można zapisać w postaci ułamka zwykłego, gdzie licznik i mianownik są liczbami całkowitymi. Tu też znajdzie się liczba Szablon:Math i pierwiastki takie jak np. pierwiastek z trzech czy pięciu, ale nie z czterech, gdyż wynosi on 2. Z kolei, nie będą już liczbami niewymiernymi:Szablon:Math, Szablon:Math, $\frac{-3}{5}$, $\frac{10000}{-99999999}$ (do niewymiernych należą te liczby rzeczywiste, które nie są wymiernymi).

Zbiór liczb niewymiernych będziemy oznaczać przez $ℝ\setminus \mathbb{Q}$ (co można tłumaczyć jako "zbiór liczb rzeczywistych $ℝ$ bez liczb wymiernych $\mathbb{Q}$", symbol $\setminus$ oznacza różnicę zbiorów).

Zbiory - więcej

• liczba 0.9999... - czy całkowita? więcej w Rozwinięcie dziesiętne danej liczby,

• więcej o tej tematyce - Liczby i ich zbiory: pojęcie zbioru.

Szablon:Nawigacja