0.99999……は１ではない　その７

>>501
当然装置次第だが、
>>483
> 2π(Σ[k=1,n](1/2)^k):=m_n とおく。
> メータの針の角度の集合M:={m_n|ｎ∈N}
> f:N→M を f(n)=m_n と定義すればNからMへの全単射であり、f(N)=M。
のメーターと画面を同期させるならば、角度が2πの時だな
もちろん2πはMには含まれない