零ベクトル空間

線型代数学における零ベクトル空間（れいベクトルくうかん、ゼロベクトルくうかん、, ）あるいは短く零空間（ゼロくうかん、, ）は零ベクトルただ一つだけからなるベクトル空間 を言う。零ベクトル空間は同型を除いて唯一の次元が のベクトル空間で、その基底は空集合である。任意のベクトル空間が、その最小の部分空間として零ベクトル空間を持つ。ベクトル空間の直和やベクトル空間の直積をベクトル空間の間の演算と見なすとき、零ベクトル空間はそれら演算の単位元となる。圏論的には、零ベクトル空間は与えられた体上のベクトル空間の圏における零対象となる（ も参照）。
定義.
零ベクトル空間 は、与えられた体 上のベクトル空間であって、これはただ一つの元 からなる集合 に、ただ一つの加法 formula_1 と可能なただ一種類のスカラー倍 formula_2 を備えたものと述べられる。ゆえにただ一つの元 は加法単位元であり、零ベクトルと呼ばれる。
性質.
ベクトル空間の公理を満たすこと.
零ベクトル空間はベクトル空間の公理を満足する:
基底と次元.
零ベクトル空間の基底はただ一つ、空集合である: formula_7 左辺は空集合で張られる部分空間を意味する。よって零ベクトル空間の次元は formula_8 となる。
逆に、与えられた体上の零次元ベクトル空間は必ず零ベクトル空間に同型になる。
部分空間としての零空間.
与えられた体 上の任意のベクトル空間 をとると、 にはベクトルの加法に関する単位元として零ベクトル が一意的に存在する。部分集合 はベクトルの加法およスカラー乗法に関して閉じている—式で書けば
が成り立つ—から、 は の部分空間となる。よって はそれ自身零ベクトル空間に同型な一元ベクトル空間を成し、 の（部分）零ベクトル空間などと呼ばれる。部分空間は少なくとも一つの元を含まなければならないから、零ベクトル空間は最小の部分空間である。 が において互いに補な部分空間ならば常に formula_12 である。
直和およびテンソル積.
ベクトル空間の直和（あるいはベクトル空間の直積）に関して、零ベクトル空間はその単位元である。つまり任意のベクトル空間 に対して formula_13 が成り立つ。一方、ベクトル空間のテンソル積に関しては吸収元（零元）で formula_14 が成り立つ。
圏論的性質.
与えられた体 上のすべてのベクトル空間を対象としすべての -線型写像を射とする圏 において、零ベクトル空間は零対象となる。