16/10/23 06:41:35.10 MjfWcywG.net
>>531 補足
左端の文字列はこれ以上は簡約できないので規約であるという。
↓
左端の文字列はこれ以上は簡約できないので既約であるという。
だろうな
ところで、>>2-5
"「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい."
"問題に戻り，閉じた箱を100列に並べる."だった。
そこで、game２ by Sergiu Hart Choice Games URLﾘﾝｸ(www.ma.huji.ac.il) で
xn ∈ {0, 1, ..., 9} として、箱に0～9の数字を入れると、数列ができる
数字を文字と考えれば、箱の列は文字列でもある。文字列の「連接」又は「連結」の定義は、モノイドと同じと考えれば良い。>>531の通り
確かに、文字列を有限に制限している場合もある。しかし、モノイドは、台集合が無限でも可能だ。>>462の通り
なので、閉じた箱がを１列に並べる。１列を100列に並べ変える。100列から２つ列を取り出して、「連接」することができる。それを禁止する理由がない
そもそも、可算無限個ある箱の１列を100列に並べ変える操作を許容する立場で、なんで、100列から２つ列を取り出して「連接」することを禁止する？
「禁止」もありと思うが、そこに数学的な理屈がないといかんぜ（＾＾；