列空間

数学の線型代数学の分野において、ある行列 "A" の列空間（れつくうかん、）C("A")（しばしば、行列の値域（range）とも呼ばれる） とは、その行列の列ベクトルの線型結合としてあり得るすべてのものからなる集合のことを言う。
"K" を（実数あるいは複素数全体のような）体とする。"K" の成分からなる、ある "m" × "n" 行列の列空間は、"m"-空間 "K""m" の線型部分空間である。列空間の次元は、その行列の階数と呼ばれる。（整数全体のような）環 "K" についての行列に対しても、同様に列空間を定義することが出来る。
ある行列の列空間は、対応する線型写像の像あるいは値域である。
定義.
"K" をスカラー体とする。"A" を、列ベクトル v1, v2, ..., v"n" を伴う "m" × "n" 行列とする。それら列ベクトルの線型結合とは、次の形式で記述される任意のベクトルのことを言う：
ここで "c"1, "c"2, ..., "cn" はスカラーである。v1, ... ,v"n" の線型結合としてあり得るすべてのベクトルからなる集合のことを、"A" の列空間と言う。すなわち、"A" の列空間は、ベクトル v1, ... , v"n" の張る部分空間である。
行列 "A" の列ベクトルの任意の線型結合は、"A" と列ベクトルの積として記述される。すなわち
として記述される。したがって "A" の列空間は、x ∈ R"n" に対するすべてのあり得る積 "A"x からなる。これは、対応する線型写像の像（あるいは、値域）と同様である。
基底.
"A" の列ベクトルは列空間を張るが、それらが線型独立でない場合には基底を形成しないこともあり得る。幸運なことに、行列の基本変形は列ベクトルの間の依存関係に影響を与えない。このことは、列空間の基底を見つけるためにガウスの消去法を使用することを可能にする。
例えば、行列
を考える。この行列の列ベクトルは、列空間を張るが、線型独立でない可能性もあり、その場合にはそれら列ベクトルの集合のある部分集合が、基底を形成する。この基底を見つけるために、"A" を行既約階段形へと書き下す：
この時点で、第一、第二、第四の列ベクトルは線型独立であることが明白になるが、第三の列ベクトルははじめの二つの列ベクトルの線形結合となっている（具体的に、v3 = −2v1 + v2 である）。したがって、もとの行列の第一、第二および第四の列ベクトル
が、その行列の列空間の基底である。ここで、行既約階段形の独立な列ベクトルは、を伴う列ベクトルであることに注意されたい。このことから、階段形へと書き下すことのみで、どの列ベクトルが線型独立であるか決定することが可能となる。
上述の計算法は一般的に、任意のベクトルの集合の間の依存関係を調べるため、および任意の張られる集合から基底を見つけるために用いられる。張られる集合から基底を見つけるための異なる計算方法は、記事「行空間」で述べられている：すなわち、"A" の列空間の基底を見つけることは、転置行列 "A"T の行空間の基底を見つけることと同値なのである。
次元.
列空間の次元は、その行列の階数と呼ばれる。階数は、行既約階段形におけるピボットの数と等しく、その行列から選ぶことの出来る線型独立な列の最大数である。例えば、上の例の 4 × 4 列の階数は 3 である。
列空間は、対応する行列変換の像であるため、行列の階数はその像の次元と等しい。例えば、上の例の行列として表現される変換 R4 → R4 は、R4 に属するすべての元を、ある4次元部分空間へと写す。
行列の退化次数（nullity）とは、零空間の次元のことを言い、行既約階段形においてピボットを持たない列の数に等しい。"n" 個の列を含む行列 "A" の階数と退化次数には、次の方程式で与えられる関係がある：
この方程式は階数・退化次数の定理として知られる。
左零空間との関係.
"A" の左零空間とは、xT"A" = 0T を満たすような全てのベクトル x の集合のことを言う。"A" の転置行列の零空間に等しい。行列 "A"T とベクトル x の積は、ベクトルのドット積を用いて次のように記述することが出来る：
これはなぜかと言うと、"A"T の行ベクトルは "A" の列ベクトル v"k" の転置だからである。したがって、"A"Tx = 0 が成立することと、x が "A" の各列ベクトルに直交することは、同値である。
左零空間（"A"T の零空間）は、A の列空間の直交補空間である。
行列 "A" に対し、列空間、行空間、零空間および左零空間は、しばしば四つの基本部分空間と呼ばれる。
環上の行列に対して.
上述の議論と同様に、列空間（しばしば「右」列空間と区別される）は環 "K" 上の行列に対して次のように定義される：
ここで "c"1, ..., "cn" は任意で、「右自由加群」への "m"-次元ベクトルを置き換えが行われている。したがって、通常とは異なる順番「ベクトル → スカラー」となるようにベクトルのが書き換えられている。