Artykuł wymaga poszerzenia.
Zajrzyj na stronę dyskusji, by dowiedzieć się, czego brakuje i uzupełnij braki, jeśli to możliwe.
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 jest elementem zbioru ( należy do ) zapisuje się .
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 ).
Podanie wszystkich elementów zbioru określa ten zbiór jednoznacznie. Zbiór zawierający elementy oznacza się przez . W przypadku , zbiór 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 utworzony z takich i tylko takich elementów , które mają własność oznacza się przez .
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 potęgowy zbioru – zbiór wszystkich podzbiorów zbioru
dopełnienie zbioru – zbiór tych elementów przestrzeni (definicja przestrzeni wynika każdorazowo z kontekstu, np. jeśli zbiorem jest figura płaska, przestrzenią będzie na ogół płaszczyzna), które nie należą do zbioru
Uogólnienia
W matematyce rozpatruje się uogólnienia pojęcia zbioru; można zaliczyć do nich:
multizbiory, które mogą zawierać jeden element wiele razy;
zbiory rozmyte (ang. fuzzy sets), do których elementy mogą należeć "tylko w części" (klasyczny zbiór jest jednoznaczny: 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 .
zbiory przybliżone (ang. rough sets), implementujące trójstanową logikę w zakresie zbiorów. Zbiór przybliżony można rozumieć jako parę zwykłych zbiorów, której elementy oznaczają dolne i górne oszacowanie. Dany element albo jest w obydwu zbiorach, albo w żadnym, albo tylko w górnym. Ten ostatni przypadek można zastosować do modelowania niepewności.