223
правки
Изменения
Нет описания правки
<tex>B \cup C = \overline{\overline{B} \cap \overline{C}}</tex>
: Это добавлено после определения алгебры. Подписывайтесь, чтоли. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 04:38, 3 января 2012 (MSK)
==Немного формализма==
Третья аксиома в определении кольца:
3. <tex> B \setminus A = \bigcup\limits_n D_n</tex>.
Возникает вопрос: объединение <tex>\bigcup\limits_n D_n</tex> счетное или конечное или не важно? Кажется мы не уточнили это на паре (в тетрадях этого вроде ни у кого не видел), но в википедии написано, что это объединение конечное. Может быть это не играет роли.
--[[Участник:Dmitriy D.|Dmitriy D.]] 04:27, 4 января 2012 (MSK)
Вот в этой строчке доказательства индексы в конце стоят некрасиво (может быть даже некорректно):
<tex> B \setminus \bigcup\limits_{j = 1}^{n} A_j = ( B \setminus \bigcup\limits_{j = 1}^{n-1} A_j\ ) \setminus A_n = (\bigcup\limits_{k} D_k) \setminus A_n = \bigcup\limits_{k}(D_k \setminus A_n) = \bigcup\limits_{k}(\bigcup\limits_{j} D_{k_j}) = \bigcup\limits_{l} D_l </tex>
Прошу прощения, если здесь авторская задумка, но я исправлю.
--[[Участник:Dmitriy D.|Dmitriy D.]] 04:27, 4 января 2012 (MSK)
