>>0282
K = R or C で, H が K 上の線型空間とします.
x ∈ H の k によるスカラー倍というのは, k ∈ K というのが前提となっています.
これは, 線型空間の定義がそうなっており, k ∈ H と x ∈ H
に対して積 kx が定義されるというのとは異なります.