数学、特に関数解析学において、線型作用素 A: VW零空間(ゼロくうかん、れいくうかん、: null space)あるいは核空間(かくくうかん、: kernel space)とは、

のことである。Ker(A) は N(A) や Nul(A) などとも書かれる。特に Ker は零空間が線型写像としての A (: kernel) に当たることを意味するのであるが、零空間という語を用いる文脈においては、核という言葉を熱核 (heat kernel) などの積分核に対して用いていることがほとんどであろうから注意されたい。

また、零空間という語をもちいる文脈においては、線型写像の像 (image) は値域 (range) と呼ばれ、線型作用素 A の値域は Ran(A) や R(A) と綴るのが通例のようである。

零空間は、ベクトル空間 V部分空間である。さらに、 商空間 V/(Ker A) は、 A の像 に同型である;特に次元について

が成り立つ。

Ker A = {0} であることと、線型写像 A単射であることとは同値である。

もし、VW有限次元であり、基底が選ばれているならば、A行列 M として表すことができて、 零空間は、線型連立方程式 Mx = 0 を解くことで計算できる。零空間の次元は、行列 M の列の数から階数 rank M を引くことで与えられ、それはまた行列 M退化次数 (nullity) でもある。

関連項目

編集

外部リンク

編集