>>171
おっちゃん、どうも。スレ主です。

R^N→二値集合[0,1]^N
に変えたら、可算選択公理で間に合わないかな？
そして、二値集合[0,1]^Nの完全代表系を得るのではなく、その一部の100列だけ代表系を得ることにするんだよ