>>717
{ AB の各行ベクトル }ってのは
ＡＢの各行ベクトルa[1],a[2],…,a[n]で張られるベクトル空間[a[1],…,a[n]]って意味で
別にa[1],…,a[n]が線形独立じゃなくっても意味を持つ。