Изменения
Нет описания правки
{{Определение|definition=''Множество '' {{- --}} первичное математическое понятие, которому не может быть дано строгое математическое определение. Часто множество определяют как "Представляет собой набор, совокупность обьектовкаких-либо объектов, обьединенных объединенных общим свойством".}}
==== Общие элементы ====* <tex>A ∩ ∅ = ∅;</tex> и <tex>B</tex> не пересекаются, если у них нет общих элементов:*: <tex>A</tex> и <tex>B</tex> не пересекаются <tex>{\displaystyle \Leftrightarrow \forall a\in A \ \colon a\notin B}</tex>
{{Определение|definition=''Пустое множество'' {{---}} множество, не содержащее ни одного элемента. Обычно пустое множество обозначают как <mathtex>\bigcup_{j \in R} A_j = A_1 \cup A_2 \cup varnothing</mathtex> ...}}
{{Определение|definition=''Универсальное множество'' {{---}} множество, содержащее все объекты и все множества. В тех аксиоматиках, в которых универсальное множество существует, оно единственно. Обычно универсальное множество обозначают как <mathtex> \bigcup_\displaystyle \mathbb {0 < x < 1U} A_x </mathtex>.}}
* Пересечение <mathtex>\overline{A} = U </mathtex> и <tex>B</tex> \ . *: <mathtex> {\displaystyle A\cap B =\{x\mid x\in A\land x\in B\}}</mathtex> - дополнение множества А, дополнительное множество к А до U;
* Разность <mathtex>A</tex> и <tex>B</tex>. *: <tex>\overline{\bigcup A_displaystyle A\alpha} setminus B = A\bigcap cap {\overline{A_B}}=\{x\mid x\in A\land x\alphanotin B\}} </mathtex>
* Симметрическая разность <mathtex>A</tex> и <tex>B</tex>. *: <tex> {\overline{displaystyle A \bigcap A_bigtriangleup B \alpha} equiv A - B = (A \bigcup cup B) \overline{A_setminus (A \alphacap B) }; </mathtex>
* Дополнение определяется следующим образом:*: <tex>{\displaystyle {{\overline{A}}\bigcap A_equiv A^{\alphacomplement } = \bigcup {x\overline{A_mid x\notin A\}}=U\alphasetminus A}; </tex>.
== Теорема де Моргана == {{Теорема|about=де Моргана|statement= <amsmathtex>\labeldisplaystyle {e:barwq}\beginoverline{split\bigcup\limits_\alpha A_\alpha}H_c&=\fracbigcap\limits_\alpha \overline{1A_\alpha}\\\overline{2n\bigcap\limits_\alpha A_\alpha} = \sum^n_bigcup\limits_\alpha \overline{lA_\alpha}} </tex>|proof=0}Докажем первое утверждение, второе доказывается аналогично.Для того, чтобы доказать равенство множеств, докажем, что первое множество включает второе и наоборот (-1частый приём при доказательстве равенства двух множеств)^. Сначала докажем, что <tex> \ \displaystyle \overline{l\bigcup\limits_\alpha A_\alpha}\displaystyle \subseteq \bigcap\limits_\alpha \overline{A_\alpha}</tex>. Пусть <tex>x \in \left (n-\overline{l\bigcup\limits_\alpha A_\alpha}\right )^</tex>. Значит, <tex>\nexists \ \alpha_i</tex> такого, что <tex>x \in A_{p-2\alpha_i}</tex>. Следовательно, <tex>\forall \alpha : \ x \in \sum_overline{l _1+A_\dots+ l _p=lalpha}\prod^p_Rightarrow x \in \left (\bigcap\limits_\alpha \overline{i=1A_\alpha} \binomright )</tex>.В силу выбора <tex>x</tex> (любой элемент множества <tex>\overline{n_i\bigcup\limits_\alpha A_\alpha}</tex>) следует искомое включение. Теперь докажем, что <tex> \ \displaystyle \bigcap\limits_\alpha \overline{l _iA_\alpha}\subseteq \overline{\bigcup\limits_\alpha A_\alpha}</tex>&Пусть <tex>x \quadin \cdot[left (n-l \bigcap\limits_\alpha \overline{A_\alpha} \right )-(n_i-l _i)]^</tex>. Тогда <tex>\forall \alpha : \ x \in \overline{n_i-l _iA_\alpha}\Rightarrow x \notin A_\alpha</tex>. Поскольку <tex>x</tex> не входит ни в одно объединяемое множество, то <tex>x \notin \bigcup\limits_\alpha A_\alpha \Rightarrow x \in \overline{\bigcup\limits_{\alpha} A_\alpha}</tex>&Аналогично, в силу выбора <tex>x</tex> выполняется искомое включение.}} Теорема де Моргана устанавливает двойственность понятий объединения и пересечения множеств. То есть, имея некоторое верное равенство, содержащее объединения и пересечения, можно переписать его, заменив пересечения на объединения и наоборот. Например, из равенства:<tex>(A \quadcup B) \cdotcap C = (A \cap C) \cup (B \cap C) \Bigl[Rightarrow (n-l A \cap B)^2-\sum^p_{jcup C =1}(n_i-l _iA \cup C)^2\Bigr].cap (B \end{split}cup C)</amsmathtex>Доказывается это следующим образом: равны множества, значит, равны дополнения. После раскрытия дополнений приходим к написанному равенству.