Изменения

Перейти к: навигация, поиск

Обсуждение участника:MetaMockery

82 байта убрано, 15 июнь
Теорема де Моргана
Сначала докажем, что <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>\nexists \ \alpha_i</tex> такого, что <tex>x \in A_{\alpha_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) \implies Rightarrow (A \cap B) \cup C = (A \cup C) \cap (B \cup C)</tex>
Доказывается это следующим образом: равны множества, значит, равны дополнения. После раскрытия дополнений приходим к написанному равенству.
69
правок

Навигация