Suma zbiorów

Z Wikipedii

Brak wersji przejrzanej

Skocz do: nawigacji , usługi informatyczne szukaj

Suma (unia) zbiorów – działanie algebry zbiorów .

Spis treści

1 Definicje
- 1.1 Przykłady
- 1.2 Aksjomat sumy
2 Własności
3 Zobacz też

[ edytuj ] Definicje

Suma zbiorów A i B

Sumą albo unią zbiorów nazywamy zbiór złożony ze wszystkich elementów należących do któregokolwiek z sumowanych zbiorów. Suma zbiorów A i B jest oznaczana przez $A\cup B$ . Tak więc:

$A\cup B=\{x:x\in A\vee x\in B\}$

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, oświetlenie dyskotekowe które należą do przynajmniej jednego ze zbiorów z tej rodziny. Tak więc suma rodziny zbiorów ${\mathfrak A}$ to

$\bigcup {\mathfrak A} = \{x:(\exists A \in \mathfrak A)(x\in A)\}$

Podobnie dla indeksowanej rodziny zbiorów $(A_i)_{i\in I}$ definiujemy

$\bigcup_{i\in I} A_i = \{a : (\exists i \in I)(a\in A_i)\}.$

Należy zauważyć, szkoły policealne że poza teorią mnogości matematycy używają raczej sum rodzin indeksowanych niż sum zbiorów zbiorów. Jedne mogą zredukowane do drugich, meble np $\bigcup_{i\in I}A_i = \bigcup \{ A_i: i\in I\}$ , felgi a użycie zapisu indeksowanego jest często bardziej czytelne.

[ edytuj ] Przykłady

Niech ${\mathbb Q}$ będzie zbiorem liczb wymiernych a ${\mathbb I}{\mathbb Q}$ niech będzie zbiorem liczb niewymiernych . Wówczas ${\mathbb Q}\cup {\mathbb I}{\mathbb Q}$ jest zbiorem wszystkich liczb rzeczywistych , szkoły policealne tzn ${\mathbb Q}\cup {\mathbb I}{\mathbb Q}={\mathbb R}$ .
$(0, <a href=$ szczawnica2)\cup [1, szczawnica3]=(0, działki w szczawnicy3]" src="http://upload.wikimedia.org/math/a/e/8/ae81abd7b1c0f1043e3bdb674c147392.png" />, kosmetyka laserowa
$\bigcup\limits_{n\in {\mathbb N}} (1, <a href=$ jaworki2-\frac{1}{n+1})=(1, studium policealne2)" src="http://upload.wikimedia.org/math/5/f/4/5f42baf8dc3be39e411d5a1546a40972.png" />
Niech ${\mathfrak A}$ będzie rodziną wszystkich otwartych przedziałów o końcach wymiernych zawartych w odcinku $[\sqrt{2}, <a href=$ sypialnie\sqrt{5})" src="http://upload.wikimedia.org/math/b/1/0/b10c69ad260e17ee041e27088d70764b.png" />. Wówczas

$\bigcup {\mathfrak A}=(\sqrt{2}, <a href=$ aparaty cyfrowe\sqrt{5})" src="http://upload.wikimedia.org/math/6/2/b/62b848f3abcfa4f05f8b92525661736a.png" />.

[ edytuj ] Aksjomat sumy

Powyższa definicja sumy zbiorów jest w pewnym stopniu niekompletna. Zapis $A\cup B=\{x:x\in A\vee x\in B\}$ należy rozumieć jako opisujący zbiór $A\cup B$ przez podanie własności jego elementów, podsłuchy tak jak podaliśmy w opisie słownym. Nie zastanawiliśmy się natomiast czy taki zbiór istnieje. Podobnie dla dowolnej rodziny zbiorów ${\mathfrak A}$ powinniśmy zapytać czy istnieje zbiór $U$ do którego należą dokładnie te obiekty $x$ , stoły które należą do co najmniej jednego spośród zbiorów, opony które są elementami rodziny ${\mathfrak A}$ . Nasze definicje sumy zbiorów (w obu przypadkach) będą poprawne tylko wtedy gdy odpowiedź na pytanie o istnienie odpowiedniego zbioru jest pozytywna. Aby to zagwarantować, depilacja laserowa wśród standardowych aksjomatów teorii mnogości wymienia się również aksjomat sumy :

$(\forall {\mathfrak A})(\exist U)(\forall x)\Big(x\in U\ \Leftrightarrow\ (\exist A)(x\in A\wedge A\in {\mathfrak A})\Big)$ .

[ edytuj ] Własności

[ edytuj ] Operacje skończone

Dla dowolnych zbiorów $A, materace B, szczawnica C$ zachodzą następujące równości:

$\bigcup\emptyset=\emptyset$
$\bigcup \{ A\} = A =A\cup A$ ;
$\bigcup \{ A, <a href=$ fotele z mazażem B\} = A \cup B" src="http://upload.wikimedia.org/math/f/5/3/f5397e78860f81f3edcd21d5477bd0cc.png" />;
$\emptyset\cup A=A$
$(A \cup B) \cup C = A \cup (B \cup C)$ (łączność);
$A \cup B = B \cup A$ (przemienność);
$(A \cap B) \cup C = (A \cup C) \cap (B\cup C)$ oraz $(A \cup B) \cap C = (A \cap C) \cup (B\cap C)$ (rozdzielność każdego z dwóch działań, monitoring przekroju i sumy, aparaty cyfrowe względem drugiego);
$C\setminus (A\cup B)=(C\setminus A)\cap (C\setminus B)$ ( prawo De Morgana ).

Ponadto, suknie ślubne

$A\subseteq B$ wtedy i tylko wtedy, szczawnica gdy $A\cup B = B$ .

Niech U będzie niepustym zbiorem a ${\mathcal P}({\mathbf U})$ niech będzie rodziną wszystkich podzbiorów zbioru U. Wówczas

$({\mathcal P}({\mathbf U}), <a href=$ pozycjonowanie\cup, kamery\cap, Szkoły policealne katowice\setminus, mieszkania w szczawnicy\emptyset, faty{\mathbf U})" src="http://upload.wikimedia.org/math/5/f/6/5f6524d154b4e430c969ebd1a7161d85.png" />

jest zupełną algebrą Boole'a .

[ edytuj ] Operacje nieskończone

Własności przekroju skończenie wielu zbiorów uogólniają się na przekrój rodzin indeksowanych zbiorów. Niech $\{A_i:i\in I\}$ , szczawnica $\{B_i:i\in I\}$ oraz $\{C_{j, <a href=$ pozycjonowaniek}:j\in J\ \wedge\ k\in K\}" src="http://upload.wikimedia.org/math/2/5/0/2507347e92cf5a8e64f637f62809a4f9.png" /> będą indeksowanymi rodzinami zbiorów. Niech D będzie zbiorem. Wówczas

$\bigcup\limits_{i\in I} (A_i\cup B_i)=\bigcup\limits_{i\in I} A_i\cup \bigcup\limits_{i\in I} B_i$
$\bigcup\limits_{i\in I} (A_i\cap B_i)\subseteq \bigcup\limits_{i\in I} A_i\cap \bigcup\limits_{i\in I} B_i$
$D\cap \bigcup\limits_{i\in I} A_i=\bigcup\limits_{i\in I} (A_i\cap D)$
$D\cup \bigcup\limits_{i\in I} A_i=\bigcup\limits_{i\in I} (A_i\cup D)$
$D\setminus \bigcup\limits_{i\in I} A_i=\bigcap\limits_{i\in I} D\setminus A_i$
$\bigcup\limits_{j\in J}\bigcup\limits_{k\in K} C_{j, <a href=$ meblek}=\bigcup\limits_{k\in K}\bigcup\limits_{j\in J} C_{j, w3k}" src="http://upload.wikimedia.org/math/8/0/6/8066e50fea0c016b54237edc1c7e957e.png" />
$\bigcup\limits_{j\in J}\bigcap\limits_{k\in K} C_{j, <a href=$ meblek}\subseteq\bigcap\limits_{k\in K}\bigcup\limits_{j\in J} C_{j, f-18k}" src="http://upload.wikimedia.org/math/a/0/c/a0c6c410b7a2f1a20d9f426d55009360.png" />

Następującą formułę przytaczamy jako ciekawostkę. Niech ${\mathfrak A}$ będzie rodziną zbiorów. Wówczas

$\bigcup(\bigcup {\mathfrak A}) = \bigcup \{\bigcup A : A\in {\mathfrak A}\}.$

[ edytuj ] Suma a obrazy i przeciwobrazy

Dla dowolnej funkcji $f : X\longrightarrow Y$ , nieruchomości szczawnica dla dowolnej rodziny indeksowanej $\{A_i:i\in I\}$ podzbiorów zbioru X, europa oraz dla dowolnej rodziny indeksowanej $\{B_j:j\in J\}$ podzbiorów zbioru Y, Szczawnica nieruchomości zachodzą następujące dwa stwierdzenia:

$\bigcup \{f^{-1}[B_j]: j\in J\} = f^{-1}[\bigcup\limits_{j\in J} B_j]$ (inaczej mówiąc, Zakopane apartamenty przeciwobraz sumy jest sumą przeciwobrazów);
$f[\bigcup\limits_{i\in I} A_i]=\bigcup\limits_{i\in I} f[A_i]$ (czyli obraz sumy jest sumą obrazów).

[ edytuj ] Zobacz też

Zobacz podręcznik na Wikibooks : Matematyka dla liceum - Liczby i ich zbiory

mądre statusy optymalizacja strony www gogle carrera nieruchomości poznań Serwis informacyjny , Telefony , reksa , ewery , rabaeberek , aktualności , pufka , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Wikipedia - Wolna Encyklopedia