積空間というと、集合としての直積に成分ごとの演算を入れたベクトル空間のことだよね。