ご回答大変有難うございます。

> ああ, もう一つ. m_d は(定数倍を除いて) Lebesgue 測度 m と
> 一致します. 単位立方体を I^d とするとき,
>  m_d(E) = m_d(I^d) m(E)
> となります. m_d(E) = 0 と m(E) = 0 とは同値です.

ありがとうございます。重宝します。

> m(∪_{n=1}^∞ E_n) ≦ Σ_{n=1}^∞ m(E_n) ですから,
> 全ての n について m(E_n) = 0 なら, m(∪_{n=1}^∞ E_n) = 0
> ですが, ∪_{n=1}^∞ E_n = R^n なら, m(R^n) = ∞ ですから,
> そんなことは起きません.

納得できました。

吉田京子