Обсуждение:Полукольца и алгебры — различия между версиями
(просьба посмотреть) |
|||
| Строка 3: | Строка 3: | ||
Тут походу должно быть что-то вроде «найдутся такие подмножества, что их дизъюнктное объединение блаблабла», из определения Додонова это вроде не очевидно. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 06:23, 21 ноября 2011 (MSK) | Тут походу должно быть что-то вроде «найдутся такие подмножества, что их дизъюнктное объединение блаблабла», из определения Додонова это вроде не очевидно. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 06:23, 21 ноября 2011 (MSK) | ||
: Хотя в той версии, которую сделал я, создаётся ощущение что их должно быть конечное число, а это, наверное, не обязательно | : Хотя в той версии, которую сделал я, создаётся ощущение что их должно быть конечное число, а это, наверное, не обязательно | ||
| + | |||
| + | == Определение алгебры == | ||
| + | В третьей аксиоме, наверное, должно быть <tex> B, C \in \mathcal A \Rightarrow B \cup C \in \mathcal A </tex>. | ||
| + | |||
| + | И, похоже, что все-таки «Из данных аксиом следует, что <tex> X = \overline \varnothing \in \mathcal A </tex> и <tex> B \cap C = \overline {\overline B \cup \overline C} \in \mathcal A </tex>» | ||
| + | |||
| + | Плюсаните, если я прав. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 05:22, 31 декабря 2011 (MSK) | ||
Версия 05:22, 31 декабря 2011
Определение полукольца
Тут походу должно быть что-то вроде «найдутся такие подмножества, что их дизъюнктное объединение блаблабла», из определения Додонова это вроде не очевидно. --Дмитрий Герасимов 06:23, 21 ноября 2011 (MSK)
- Хотя в той версии, которую сделал я, создаётся ощущение что их должно быть конечное число, а это, наверное, не обязательно
Определение алгебры
В третьей аксиоме, наверное, должно быть .
И, похоже, что все-таки «Из данных аксиом следует, что и »
Плюсаните, если я прав. --Дмитрий Герасимов 05:22, 31 декабря 2011 (MSK)
