- 189 名前：１３２人目の素数さん mailto:sage [2015/08/16(日) 04:16:41.64 ID:vdtpr1kr.net]
- >>175
＞>E_{n,k}の定義上E_{n,k}は2進立方体の部分集合で、
＞勘違いしてるな。
＞E_{n,k} = {x∈ X: k/2^n ≦ f(x) ＜ (k+1)/2^n}
＞これがなんで可算集合になるんだよ。
これは間違いを書き失礼を致した。確かにE_{n,k}は必ずしも可算集合ではないな。
だが、解読する限りでは、E_∞を使う以上、fは上に非有界としないとE_∞＝∅になって
E_∞の特性関数χ_∞が定義されず、E_∞を導入する意味がなくなる。
なので、fが上に有界のときを考えていないことに変わりはない。
