16/11/06 13:18:38.00 6UoZYVsS.net
>>222
しっぽの同値類はx,y∈R^ωに対して
x~y⇔(def)∃n∈ω,∀m>n,π_m(x)=π_m(y) ただしπ_m:R^ω→Rはm番目の標準射影
としてR^ωの中で完結している
消えるべき末尾での同値類なんて時枝は取っていない
16/11/06 13:18:38.00 6UoZYVsS.net
>>222
しっぽの同値類はx,y∈R^ωに対して
x~y⇔(def)∃n∈ω,∀m>n,π_m(x)=π_m(y) ただしπ_m:R^ω→Rはm番目の標準射影
としてR^ωの中で完結している
消えるべき末尾での同値類なんて時枝は取っていない