Доказательства теории множеств

Feanorro · Сообщение **Feanorro** » 15 авг 2013, 17:02

$A\cap (C \cup B)=(A \cap C) \cup (A \cap B)$
$A\cup (C \cap B)=(A \cup C) \cap (A \cup B)$

Как правильно выглядит доказательство, а то представляю только диаграмамми Венна.
Пример из Зорича "Матанализ" том 1
Заранее спасибо.

folk · Сообщение **folk** » 15 авг 2013, 18:03

Как вариант доказываете что любой элемент слева принадлежит тому что справа. А потом наоборот. Используя определения пересечения и объединения.

Feanorro · Сообщение **Feanorro** » 15 авг 2013, 18:07

Большое спасибо именно в это и вся фишка

Sonic86 · Сообщение **Sonic86** » 16 авг 2013, 06:05

Можете использовать в качестве инструмента теоретико-множественных соотношений доказательства характеристические функции - очень удобно и работать с многочленами привычно проще.

yourdomain.com