Изменения

[[Категория:Математический анализ 1 курс]][[Категория:Дискретная математика и алгоритмы]] [[Категория:Отношения]] 

''Множество'' {{---}} первичное математическое понятие, которому не может быть дано строгое математическое определение. Представляет собой набор, совокупность каких-либо объектов, объединенных общим свойством.

<tex> A = \{a: \mid P\} </tex> , где <tex>P</tex> {{---}} определенное свойство элемента <tex>a</tex>.

# == Специальные множества == {{Определение|definition=''Пустое множество'' {{---}} множество, не содержащее ни одного элемента. Обычно пустое множество обозначают как <tex> A \subset B varnothing</tex> (A является подмножеством B.}} {{Определение|definition=''Универсальное множество'' {{---}} множество, каждый элемент из А также принадлежит содержащее все объекты и все множества. В (тех аксиоматиках, в которых универсальное множество существует, оно единственно. Обычно универсальное множество обозначают как <tex> \forall x: x \in A \Rightarrow x displaystyle \in B mathbb {U}</tex>));.}} == Операции над множествами == ==== Бинарные операции над множествами ==== # * Пересечение <tex> A \cap B </tex> (Пересечение множеств А и В: <tex> (x \in A) \wedge (x \in B) </tex>);. # *: <tex> {\displaystyle A \cup cap B </tex> (Объединение множеств А и В: <tex> (=\{x\mid x \in A) \vee (land x \in B) \}}</tex>);# * Объединение <tex> B \backslash A </tex> (Разность множеств: и <tex> (x \in B) \wedge (x \notin A) </tex>;. # *: <tex> {\varnothing </tex> {{---}} пустое множество:#* <tex> displaystyle A \cup B =\{x\mid x\varnothing = in A \lor x\in B\}}</tex>#* Разность <tex> A \cap \varnothing = \varnothing </tex>#* и <tex> \forall A: \varnothing \subseteq A B</tex>. # *: <tex> \bigcup\limits_{\alphadisplaystyle A\in W} A_setminus B =A\alpha</tex> cap {\overline {---B}} объединение нескольких множеств. В общем случае может состоять из бесконечного количества множеств:#* <tex> =\bigcup{x\limits_{j mid x\in N} A_j = A_1 A\land x\cup A_2 notin B\cup }}</tex> ...#* Симметрическая разность <tex> \bigcup\limits_{0 < x < 1} A_x A</tex>#* и <tex> \bigcup\limits_{\alpha \in W} A_{\alpha} B</tex>, и так далее..# *: <tex> {\displaystyle A \bigtriangleup B \equiv A - B = (A \cup B ) \cup C ... setminus (A \subseteq U cap B) }</tex> {{---}} &laquo;множество всего&raquo;, &laquo;универсальное множество&raquo;;# ==== Унарные операции над множествами ==== * Дополнение определяется следующим образом:*: <tex>{\displaystyle {{\overline{A}}\equiv A^{\complement }=\{x\mid x\notin A\}} = U </tex> \ <tex> setminus A }</tex> {{---}} дополнение множества А, дополнительное множество к А до U.

<tex>\displaystyle {\overline{\bigcup\limits_\alpha A_\alpha} = \bigcap\limits_\alpha \overline{A_\alpha} \\\overline{\bigcap\limits_\alpha A_\alpha} = \bigcup\limits_\alpha \overline{A_\alpha}} </tex>

# Сначала докажем, что <tex>\ \displaystyle \overline{\bigcup\limits_\alpha A_\alpha} \displaystyle \subseteq \bigcap\limits_\alpha \overline{A_\alpha}</tex>. #* Пусть <tex>x \in \left ( \overline{\bigcup\limits_\alpha A_\alpha} \right )</tex>. Значит, не существует <tex>\alpha_1nexists \ \alpha_i</tex> такого, что <tex>x \in A_{\alpha_1alpha_i}</tex>. Следовательно, <tex>\forall \alpha : \ x \in \overline{A_\alpha}</tex> для любого <tex>\alpha</tex> и <tex>Rightarrow x \in \left (\bigcap\limits_\alpha \overline{A_\alpha} \right )</tex>.#* В силу выбора <tex>x</tex> (любой элемент множества <tex>\overline{\bigcup\limits_\alpha A_\alpha}</tex>) следует искомое включение.#  Теперь докажем, что <tex>\ \displaystyle \bigcap\limits_\alpha \overline{A_\alpha} \subseteq \overline{\bigcup\limits_\alpha A_\alpha}</tex>#* Пусть <tex>x \in \left ( \bigcap\limits_\alpha \overline{A_\alpha} \right )</tex>. Тогда для любого <tex>\forall \alpha</tex> <tex>: \ x \in \overline{A_\alpha}</tex>, то есть, <tex>\Rightarrow x \notin A_\alpha</tex>. Поскольку <tex>x</tex> не входит ни в одно объединяемое множество, то <tex>x \notin \bigcup\limits_\alpha A_\alpha</tex>, то есть, <tex>\Rightarrow x \in \overline{\bigcup\limits_{\alpha} A_\alpha}</tex>#* Аналогично, в силу выбора <tex>x</tex> выполняется искомое включение.

:<tex>(A \cup B) \cap C = (A \cap C) \cup (B \cap C)</tex> следует равенство:<tex>\Rightarrow (A \cap B) \cup C = (A \cup C) \cap (B \cup C)</tex>.