Обсуждение:Моноид — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 3: Строка 3:
 
разве там не <tex> S^* = \varnothing </tex> ?
 
разве там не <tex> S^* = \varnothing </tex> ?
 
: Нет, все ок. <tex>S^*</tex> содержит последовательности, которые можно набрать элементами из <tex>S</tex>. Можно набрать только пустую последовательность, хотя бы её всегда можно набрать, так что не должно быть просто <tex> S^* = \varnothing </tex>. [[Участник:Shersh|Дмитрий Коваников]] 18:21, 22 января 2015 (GST)
 
: Нет, все ок. <tex>S^*</tex> содержит последовательности, которые можно набрать элементами из <tex>S</tex>. Можно набрать только пустую последовательность, хотя бы её всегда можно набрать, так что не должно быть просто <tex> S^* = \varnothing </tex>. [[Участник:Shersh|Дмитрий Коваников]] 18:21, 22 января 2015 (GST)
 +
 +
Множество N с умножением же должно являться моноидом, в N же нет 0?

Версия 13:56, 18 мая 2015

>>тривиальный пример: множество [math] S = \varnothing [/math]. Тогда [math] S^* = \{\varnothing\} [/math]

разве там не [math] S^* = \varnothing [/math] ?

Нет, все ок. [math]S^*[/math] содержит последовательности, которые можно набрать элементами из [math]S[/math]. Можно набрать только пустую последовательность, хотя бы её всегда можно набрать, так что не должно быть просто [math] S^* = \varnothing [/math]. Дмитрий Коваников 18:21, 22 января 2015 (GST)

Множество N с умножением же должно являться моноидом, в N же нет 0?