>>705
ベクトル空間と具体的構成とが書いてあるようなときに選択公理を気にするのはなんで?