ベクトル空間の基底とヒルベルト空間の基底が違っても問題ないだろ