3622
правки
Изменения
Нет описания правки
разве там не <tex> S^* = \varnothing </tex> ?
: Нет, все ок. <tex>S^*</tex> содержит последовательности, которые можно набрать элементами из <tex>S</tex>. Можно набрать только пустую последовательность, хотя бы её всегда можно набрать, так что не должно быть просто <tex> S^* = \varnothing </tex>. [[Участник:Shersh|Дмитрий Коваников]] 18:21, 22 января 2015 (GST)
Множество N с умножением же должно являться моноидом, в N же нет 0?
: Адекватные натуральные числа должны содержать <tex> 0 </tex>. Если использовать неформальное определение натуральных чисел, что это числа, которые используются для счёта, то <tex> 0 </tex> вполне можно использовать для счёта. Это, конечно, ещё та тема для холивара. Для избавления от неточностей лучше писать что-то в духе <tex> \mathbb{N}_0 </tex> или <tex> \mathbb{N}_1 </tex>, явно указывая, о каких натуральных числах идёт речь. А ещё <tex> 0 </tex> есть в натуральных из-за связи с аксиомами множеств. Короче, как-то так. [[Участник:Shersh|Дмитрий Коваников]] 19:02, 18 мая 2015 (GST)
