スレタイ 箱入り無数目を語る部屋13

R^Nはポーランド空間（可分完備距離空間）である。