>>622 補足

落合理先生は、形式的冪級数で、”係数が無限個0 でないものもゆるす形式的べき級数K[[X]] を考えると, V = K[[X]] もK ベクトル空間であるが, 次元は非可算無限である.”
とあるから、ヒルベルト空間の外なんだろうね

が、「次元は非可算無限である」の理屈がわからん・・（＾＾；