行列が到達できるもの
の形で到達できるベクトルの集まりが の列空間で、列のあらゆる組み合わせです。どのベクトルも他の組み合わせで書けないとき、それらは線形独立です。基底は空間を張る独立な集合で、その個数が次元です。 の階数は列空間の次元で、消去法のピボットの数、独立な列(および行)の数に等しくなります。
(1)
の零空間は を満たす の集合で、写像が「無」に送ってしまう入力です。その次元(退化次数)は です(階数・退化次数の定理)。これですべての連立一次方程式が決まります。 に解があるのは が列空間にあるときに限り、その場合の解は1つの特解に零空間の任意の元を加えたものです。したがって解が一意なのは零空間が のときに限ります。
冗長な行を持つ行列 とします。第2行は第1行の2倍なので、独立な行は2本で、階数は2、退化次数は です。 を解くと 、 となり、零空間は で張られます。したがって が解を持つのは のときだけで、解があるときは直線1本分の無数の解があります。
- 列空間:すべての 。 が解けるのは がここにあるときに限る。
- 零空間: を満たすすべての 。 以外を含むなら解は一意にならない。
- 階数・退化次数の定理:階数と退化次数の和は列の数に等しい。
データにおける階数:冗長な資産ある資産のリターン系列が他の資産の組み合わせと完全に一致する場合(ETFとその構成銘柄、2つのセクターリターンの和など)、データ行列は階数を失い、共分散は特異になり、それら全部での回帰には一意の解がありません。実際のデータが完全に従属することは稀ですが、ほぼ従属していることはよくあり、それが前のトピックの悪条件です。
ラボ:採点される内容
- 階数15点
- 退化次数15点
- 零空間のベクトル15点
- 解を持つ条件15点
- 解の個数20点
- 冗長な資産20点