304
правки
Изменения
Нет описания правки
* Формулы криво оформлены. Не надо использовать везде \bigcap, где нужно использовать \cap (\bigcap нужен для индексированного пересечения). Не нужно вручную увеличивать размер скобок в формулах (использовать \Big, \Bigg и так далее), а использовать \left( \right), \left| \right| при необходимости (при выделении в скобке дробей и индексированных сумм, пересечений или объединений).
--[[Участник:Андрей Шулаев|Андрей Шулаев]] 07:59, 19 октября 2011 (MSD)
* Зачем используются две формы записи <tex>N_{-1}</tex> и <tex>N \setminus \{n\}</tex> для одного и того же множества? Лучше ввести одно короткое обозначение (скажем, <tex>N'</tex>) и использовать его.
* <tex>I</tex> — не подмножество множества <tex>2^N</tex>, а его элемент! Лучше убрать эту фразу в формулировке теоремы совсем.
* Фразу "за <tex>j</tex> примем индекс..." надо убрать. Что она должна пояснять? Если надо пояснить, что в слагаемом пересекаются все множества <tex>A_j</tex> с номерами <tex>j \in I</tex>, то можно так и написать.
* Не стоит использовать "очевидность" для случаев <tex>l = 1</tex> и <tex>l = 2</tex>. Лучше показать, что для <tex>l = 1</tex> равенство обращается в тривиальное, а для <tex>l = 2</tex> оно пояснено выше.
* Доказательство уже выглядит несколько лучше, хотя всё же есть некоторые претензии:
** Не стоит начинать предложения со слова "Тогда"
** В равенстве (2) мощности не используются вообще — зачем их писать? Все преобразования идут только для теоретико-множественных операций
** "Подставим '''полученные значение'''". Перед отправкой надо проверять текст на такие тривиальные ошибки и опечатки.
** Внесение минуса в степень <tex>(-1)^{|I| + 1}</tex> слагаемых не является нетривиальной операцией и не должна занимать отдельную строчку. Если хочется пояснить этот переход, пояснение можно сделать текстом.
** В конце, где множества разбиваются на три группы — множество <tex>\{n\}</tex> есть то же самое, что <tex>\{n\} \cup \varnothing</tex>, а пустое множество входит в семейство множеств <tex>I^{N \setminus \{n\}}</tex> (в текущих обозначениях). Таким образом, получается не три, а две группы.
** Писать <tex>\{n\} \cup I \in 2^{N \setminus \{n\}}</tex> нельзя категорически! В записи всё смешано — что с чем объединяется и что где лежит. Можно написать "<tex>\{n\} \cup I</tex>, где <tex>I \in N'</tex>" (в рекомендованных новых обозначениях)
** Вроде равенств в доказательстве не так много, чтобы их нумеровать, но если всё же нумерация требуется — надо придумать несколько другой способ, а не писать (1) в пределах тега tex.
** В конце доказательства знаки равенства прилегают к левой части — исправить.
--[[Участник:Андрей Шулаев|Андрей Шулаев]] 20:45, 22 октября 2011 (MSD)
