13.7 张量表示空间;可约性