(x1,x2,x3)∈R^3
(y1,y2,y3)∈R^3
とする

(x1,x2,x3,y1,y2,y3)∈R^3×R^3(=R^6) から
(z11,z12,z13,z21,z22,z23,z31､z32､z33)∈R^3⊗R^3(=R^9)への
写像ｆを以下のように定義する

z11 = x1 * y1
z12 = x1 * y2
z13 = x1 * y3
z21 = x2 * y1
z22 = x2 * y2
z23 = x2 * y3
z31 = x3 * y1
z32 = x3 * y2
z33 = x3 * y3

このとき、以下が云える

f(R^6)は、R^9の部分多様体であり、その次元はたかだか5(=6-1)

一般にR^n×R^m(=R^(n+m))から、R^n⊗R^m(=R^(n*m))への写像fを
上記と同様の形で定義した場合
f(R^(n+m))は、R^(n*m)の部分多様体であり、その次元はたかだかn+m-1である