スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ)

F=∪Fm,Fm={(s0,s1,…,sm-1,0,…)|si∈X}=X^m,F0=X^0={(0)}
F=ΣGm,Gm=Fm-Fm-1 (F-1=φ)
Gm={(s0,s1,…,sm-1,0,…)|si∈X,sm-1≠0}=X^m-X^(m-1)×{0}=X^(m-1)×(X-{0}) (m>0), X^0={(0)} (m=0)
F^n=∪(Fm)^n
km:(Fm)^n→n:km(s^0,…s^n-1)=n-#{k∈n|s^k∈Fm-1}
(Fm)^n=ΣHm,d,Hm,d=km^-1(d),Hm,0=(Fm-1)^n,H0,n=(F0)^n,H0,k=φ (k<n)
F^n=Σ{Hm,d|d>0}
今はここまで