行列間のマップに対する次の拡張も当てはまる(定理5および定理4.7も参照)。