Suma zbiorów
Suma zbiorów (rzadko: unia zbiorów) – działanie algebry zbiorów.
Definicje formalne
edytujSumą zbiorów nazywa się zbiór złożony ze wszystkich elementów należących do któregokolwiek z sumowanych zbiorów (i niezawierający innych elementów)[1][2][3].
Suma zbiorów i jest oznaczana symbolem (rzadziej [3]). Tak więc:
co można równoważnie zapisać jako
gdzie i jest zbiorem wszystkich rozważanych obiektów zwanym przestrzenią[6][7] lub uniwersum[8].
Suma jest zdefiniowana również dla większej ilości zbiorów: sumę rodziny zbiorów (zwaną też sumą uogólnioną) definiujemy jako zbiór elementów, które należą do przynajmniej jednego ze zbiorów z tej rodziny. Tak więc suma rodziny zbiorów to
- [9].
Podobnie dla indeksowanej rodziny zbiorów definiujemy
co jest równoważne
Należy zauważyć, że poza teorią mnogości matematycy używają raczej sum rodzin indeksowanych niż sum zbiorów zbiorów. Jedne mogą zostać zredukowane do drugich, np. a użycie zapisu indeksowanego jest często bardziej czytelne.
Przykłady
edytuj- Niech będzie zbiorem liczb wymiernych a niech będzie zbiorem liczb niewymiernych. Wówczas jest zbiorem wszystkich liczb rzeczywistych, tzn. [1].
- Niech będzie rodziną wszystkich otwartych przedziałów o końcach wymiernych zawartych w odcinku Wówczas
Poprawność definicji sumy zbiorów
edytujW powyższej definicji zakłada się, że dodawane zbiory są podzbiorami pewnego zbioru Ω zwanego przestrzenią. Definicja sumy dwóch zbiorów jest więc pewnym dwuargumentowym działaniem określonym na zbiorze potęgowym pewnego ustalonego zbioru
Poprawność zdefiniowanego działania tj. istnienie jednoznacznego wyniku dla dowolnych dwóch argumentów wynika np. z aksjomatu podzbiorów.
Takie rozumienie definicji sumy wzmacniają diagramy Venna, w których zbiory obrazowane są owalami rozgraniczającymi elementy przestrzeni Ω na te, które należą do danego zbioru, od tych, które do niego nie należą.
Opuszczenie warunku, aby dodawane zbiory były podzbiorami pewnego wspólnego zbioru, prowadzi do poważnych problemów teoriomnogościowych. Dodawanie zbiorów byłoby wówczas dwuargumentowym działaniem określonym na zbiorze wszystkich zbiorów, co oznacza odwołanie się do nieistniejącego obiektu (patrz paradoks zbioru wszystkich zbiorów). Z kolei definicja postaci jest konstruowaniem zbioru poprzez podanie formuły, którą muszą spełniać jego elementy, co jest metodą, której należy unikać aksjomatycznej teorii mnogości. Ostatecznie oznacza to nieistnienie dwuargumentowego działania dodawania zbiorów, o których nie ma dodatkowych założeń, a dla stwierdzenia istnienia sumy dwóch danych zbiorów należy powołać na aksjomat sumy.
Własności
edytujOperacje skończone
edytujDla dowolnych zbiorów zachodzą następujące równości:
- [12] (idempotentność)
- [12] (zbiór pusty jest elementem neutralnym sumowania zbiorów)
- [12] (łączność)
- [12] (przemienność)
- oraz [13] (rozdzielność każdego z dwóch działań, przekroju i sumy, względem drugiego)
- oraz [14] (prawo De Morgana).
Ponadto:
- wtedy i tylko wtedy, gdy
- Niech będzie niepustym zbiorem a niech będzie rodziną wszystkich podzbiorów zbioru Wówczas
- jest zupełną algebrą Boole’a.
- Za pomocą sumy i różnicy symetrycznej można wyrazić iloczyn i różnicę zbiorów:
- oraz
Operacje nieskończone
edytujWłasności sumy skończenie wielu zbiorów uogólniają się na sumę rodzin indeksowanych zbiorów. Niech oraz będą indeksowanymi rodzinami zbiorów. Niech będzie zbiorem. Wówczas
Suma a obrazy i przeciwobrazy
edytujDla dowolnej funkcji dla dowolnej rodziny indeksowanej podzbiorów zbioru oraz dla dowolnej rodziny indeksowanej podzbiorów zbioru prawdziwe są następujące dwa stwierdzenia:
- (czyli obraz sumy jest sumą obrazów).
- (inaczej mówiąc, przeciwobraz sumy jest sumą przeciwobrazów);
Zobacz też
edytujPrzypisy
edytuj- ↑ a b c Rasiowa 1975 ↓, s. 12.
- ↑ a b Kuratowski 1980 ↓, s. 20.
- ↑ a b c Kuratowski i Mostowski 1952 ↓, s. 6.
- ↑ Leitner 1999 ↓, s. 38.
- ↑ Ross i Wright 1996 ↓, s. 25.
- ↑ Kuratowski i Mostowski 1952 ↓, s. 18.
- ↑ Rasiowa 1975 ↓, s. 21.
- ↑ Ross i Wright 1996 ↓, s. 27.
- ↑ Kuratowski i Mostowski 1952 ↓, s. 44.
- ↑ Rasiowa 1975 ↓, s. 52.
- ↑ Kuratowski 1980 ↓, s. 43.
- ↑ a b c d Rasiowa 1975 ↓, s. 13.
- ↑ Rasiowa 1975 ↓, s. 17.
- ↑ Rasiowa 1975 ↓, s. 19.
Bibliografia
edytuj- Kazimierz Kuratowski, Andrzej Mostowski: Teoria mnogości. Warszawa: Polskie Towarzystwo Matematyczne, 1952, seria: Monografie matematyczne, t. 27. OCLC 250182901. [dostęp 2016-09-23].
- Kazimierz Kuratowski: Wstęp do teorii mnogości i topologii. Wyd. 8. Warszawa: PWN, 1980, seria: Biblioteka Matematyczna, t. 9. ISBN 83-01-01372-9.
- Roman Leitner: Zarys matematyki wyższej dla studentów. Wyd. 11. Cz. 1. Warszawa: WNT, 1999. ISBN 83-204-2395-3.
- Helena Rasiowa: Wstęp do matematyki współczesnej. Wyd. 5. Warszawa: PWN, 1975, seria: Biblioteka Matematyczna, t. 30. OCLC 749626864.
- Kenneth A. Ross, Charles R.B Wright: Matematyka dyskretna. E. Sepko-Guzicka (tłum.), W. Guzicki (tłum.), P. Zakrzewski (tłum.). Warszawa: Wydawnictwo Naukowe PWN, 1996. ISBN 83-01-12129-7.
Linki zewnętrzne
edytuj- Union of sets (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-09-19].