まず、Xを集合として、 X[n] ： Xのn-縦タプルの集合 X[n] ： Xのn-横タプルの集合 Xn, X[n], X[n] は同型だが同一視はしない。Vがベクトル空間のとき、V[n]は、ベクトルのn-横タプルの集合、Vのベクトルのn-横タプルを、Vのベクトルn-横タプル、nが不要なら…