「零空間」の版間の差分

[[数学]]、とくに[[関数解析学]]において、[[線形型写像|線形型作用素]] ''A'': ''V'' → ''W'' の'''零空間'''（ぜろくうかん、れいくうかん、null space）あるいは'''核空間'''（かくくうかん、kernel space）とは、

のことである。Nul(''A'') は ''N''(''A'') や Ker(''A'') などとも書かれる。とくに Ker は零空間が[[線形型写像]]としての ''A'' の[[核 (数学)|核]] (Kernel) にあたることを意味するのであるが、零空間という語を用いる文脈においては、核ということばを[[熱核]] (heat kernel) などの積分核に対して用いていることがほとんどであろうから注意されたい。

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

零空間は、[[ベクトル空間]] ''V'' の[[部分空間_(線形型代数)|部分空間]]である。さらに、 [[商空間_(線形型代数)|商空間]] ''V''/(Ker ''A'') は、 ''A'' の像 Ran(''A'') に同型である; 特に[[次元_(線形型代数)|次元]]について

Nul ''A'' = {'''0'''} であることと、線形型写像 ''A'' が[[単射]]であることとは同値である。

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

{{scimath-stub}}