(ちょっと発展(脱線?)させるためR^Nを確率空間にするならせめてXn:R^N→R:Xn(s0,s1,…)=snという第n項を取り出す確率変数X0,X1,…が独立なもので考えたいね)