実数が可算だとすると、実数の上に測度とかどうやって入れるんだろう。
類似のものが構成できるんだろうか。