零ベクトル空間

線型代数学における零ベクトル空間（れいベクトルくうかん、ゼロベクトルくうかん、, ）あるいは短く零空間（ゼロくうかん、, ）は零ベクトルただ一つだけからなるベクトル空間  を言う。零ベクトル空間は同型を除いて唯一の次元が   のベクトル空間で、その基底は空集合である。任意のベクトル空間が、その最小の部分空間として零ベクトル空間を持つ。ベクトル空間の直和やベクトル空間の直積をベクトル空間の間の演算と見なすとき、零ベクトル空間はそれら演算の単位元となる。圏論的には、零ベクトル空間は与えられた体上のベクトル空間の圏における零対象となる（ も参照）。

定義 
零ベクトル空間  は、与えられた体  上のベクトル空間であって、これはただ一つの元  からなる集合  に、ただ一つの加法  と可能なただ一種類のスカラー倍  を備えたものと述べられる。ゆえにただ一つの元  は加法単位元であり、零ベクトルと呼ばれる。

性質

ベクトル空間の公理を満たすこと 
零ベクトル空間はベクトル空間の公理を満足する:
  はアーベル群（とくに自明群）を成す。
 スカラー乗法の結合性および加法への分配性が成り立つ。つまり  として
  
 
 
 単型、つまり  の乗法単位元  は恒等写像として作用する:

基底と次元 
零ベクトル空間の基底はただ一つ、空集合である:  左辺は空集合で張られる部分空間を意味する。よって零ベクトル空間の次元は  となる。

逆に、与えられた体上の零次元ベクトル空間は必ず零ベクトル空間に同型になる。

部分空間としての零空間 
与えられた体  上の任意のベクトル空間  をとると、 にはベクトルの加法に関する単位元として零ベクトル  が一意的に存在する。部分集合  はベクトルの加法およスカラー乗法に関して閉じている—式で書けば
 
 
 
が成り立つ—から、 は  の部分空間となる。よって  はそれ自身零ベクトル空間に同型な一元ベクトル空間を成し、 の（部分）零ベクトル空間などと呼ばれる。部分空間は少なくとも一つの元を含まなければならないから、零ベクトル空間は最小の部分空間である。 が  において互いに補な部分空間ならば常に  である。

直和およびテンソル積 
ベクトル空間の直和（あるいはベクトル空間の直積）に関して、零ベクトル空間はその単位元である。つまり任意のベクトル空間  に対して  が成り立つ。一方、ベクトル空間のテンソル積に関しては吸収元（零元）で  が成り立つ。

圏論的性質 

与えられた体  上のすべてのベクトル空間を対象としすべての -線型写像を射とする圏  において、零ベクトル空間は零対象となる。
 任意のベクトル空間から零ベクトル空間への線型写像はただ一つ存在して、すべてのベクトルが零ベクトルに写される（つまり零写像）。かつ、零ベクトル空間から任意のベクトル空間への線型写像はただ一つ存在して、ただ一つのベクトルが各ベクトル空間内の零ベクトルとして埋め込まれる。

関連項目 
 
  - 零環 /

参考文献

外部リンク 
 

線型代数学
数学に関する記事
ベクトル空間