16/11/05 10:37:27.37 DzICE8Th.net
ところで
>>63
Ｔさん、難しく考えすぎ
というか、決定番号を守ろうという意識が強すぎるだろう
>そのような、世の中に既に存在する文字列の「連接」の定義において、
>a＊b＝b＊a は一般的には成り立たないのだよ。
>しかし、君の定義では常に a＊b＝b＊a になってしまうので、
>連接の定義としては不完全なんだよ。
>>62で示した、２つ添え字ijを使う頻出テクを使えば簡単だろ。可算集合は、可付番集合ともいう（下記）
a＊bという数列に、頭から(1,1),(1,2),・・・・(1,n),・・・、(2,1),(2,2),・・・・(2,n),・・・ と連番を付ける。これ可付番集合で可算集合だ
同様に、数列b＊aにも、頭から(1,1),(1,2),・・・・(1,n),・・・、(2,1),(2,2),・・・・(2,n),・・・ と連番を付ける。
a＊b≠b＊a だろ？
それは、>>64で、”そのような連接が可能であることは俺も分かっている”と認めているのかな・・・？ 次にそれを示そう
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
可算集合（かさんしゅうごう、countable set 又は denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。
(引用終り)