Zbiór

Z Wikipedii

Ten artykuł dotyczy pojęcie w matematyce. Zobacz też: inne znaczenia zbioru.

Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi.
Dokładniejsze informacje o tym, co należy poprawić, być może znajdziesz na stronie dyskusji tego artykułu.
Po naprawieniu wszystkich błędów można usunąć tę wiadomość.

Zbiór - pojęcie pierwotne w matematyce, a dokładniej w teorii mnogości. Oznacza mnogość, wielość, nieuporządkowany wykaz, kolekcję pewnych różnych elementów rozpatrywanych jako całość. Pojęcie zbioru jest jednym z najbardziej fundamentalnych pojęć matematyki.

Zdanie " $a$ jest elementem zbioru $A$ " ( $a$ należy do $A$ ) zapisuje się $a \in A$ .

Zamiennie ze słowem zbiór używa się terminu mnogość (stąd właśnie polski termin teoria mnogości oznaczający po prostu teorię zbiorów). Zbiór, którego wszystkie elementy są zbiorami, nazywa się rodziną zbiorów.

Zbiór, do którego nie należy żaden element, nazywa się zbiorem pustym (oznaczenie $\emptyset$ (U+2205)).

Podanie wszystkich elementów zbioru określa ten zbiór jednoznacznie. Zbiór zawierający elementy $a_1,a_2,\dots,a_n$ oznacza się przez $\{a_1,a_2,\dots,a_n\}$ . W przypadku $n = 2$ , zbiór ${x 1, x 2}$ nazywa się parą nieuporządkowaną (porównaj też: para uporządkowana).

Innym sposobem określenia zbioru jest podanie własności charakteryzującej jego elementy. Podzbiór zbioru A utworzony z takich i tylko takich elementów x, które mają własność F(x) oznacza się przez $\{x \in A: F(x)\}$ .

Zwyczajowo wielkimi literami oznaczamy zbiory, małymi literami oznaczamy elementy zbioru.

W przeciwieństwie do relacji zawierania się części w całości relacja przynależności elementu do zbioru nie jest przechodnia; na przykład koła stanowią wprawdzie część każdego samochodu, ale nie są elementami zbioru samochodów jako takich.

Zbiór zawierający skończenie wiele elementów nazywa się zbiorem skończonym; zbiór nie będący skończonym nazywa się zbiorem nieskończonym.

[edytuj] Uogólnienia

W matematyce rozpatruje się uogólnienia pojęcia zbioru; można zaliczyć do nich:

klasy,
multizbiory, które mogą zawierać jeden element wiele razy;
zbiory rozmyte, do którego elementy mogą należeć "tylko w części" (klasyczny zbiór jest jedynkowy: albo dany element do niego należy, albo nie). Pojęcie to okazało się bardzo użyteczne w automatyce. Z punktu widzenia matematyki zbiór rozmyty nie jest jednak zbiorem, lecz funkcją, która elementom jakiegoś klasycznego zbioru przyporządkowuje liczby rzeczywiste z przedziału [0,1].

[edytuj] Działania na zbiorach

Działania, które możemy wykonać na zbiorach:

suma zbiorów A i B - zbiór elementów należących do zbioru A lub do zbioru B
przekrój (iloczyn, część wspólna) zbiorów - zbiór tych elementów, które należą do zbioru A i do zbioru B
różnica zbiorów A i B - zbiór elementów, które należą do zbioru A, lecz nie należą do zbioru B
różnica symetryczna zbiorów A i B - zbiór elementów, które należą do zbioru A albo do zbioru B (lecz nie należą do obydwu naraz)
iloczyn kartezjański zbiorów A i B - zbiór wszystkich takich par, których pierwszy element należy do zbioru A, zaś drugi do B
suma rozłączna
zbiór potęgowy zbioru X - zbiór wszystkich podzbiorów zbioru X
dopełnienie zbioru - zbiór tych elementów przestrzeni, które nie należą do zbioru X