>>236
素人、R^∞が基礎空間だよ