次数付きベクトル空間

数学における次数付きベクトル空間（じすうつき­ベクトル­くうかん、; 次数ベクトル空間、次数付き線型空間、次数線型空間）は、 ("grading") と呼ばれる追加の構造を持つベクトル空間であり、次数付けにより適当な線型部分空間の直和として記述される。
導入.
非負整数全体の成す集合 に対し、 で次数付けられたベクトル空間はしばしば単に次数線型空間のように を落として呼ばれる。次数付きベクトル空間 は、各 がベクトル空間となるような形の直和分解 formula_1 を持つベクトル空間を言う。また各 に対し を次数 の斉次成分、その各元を次数 の斉次元と呼ぶ。
次数付き線型空間は一般的によく用いられる概念である。例えば、
formula_2
のように一変数（あるいは多変数）の多項式全体の成す集合は次数付き線型空間を成し、その次数 の斉次元はちょうど斉次次数 の斉次多項式——次数 の単項式からなる線型結合——によって与えられる。他にもベクトル空間 に対して、そのテンソル代数 や対称代数 あるいは外積代数 formula_3 などにも自然に次数を定義することができる。
一般の定義.
次数付きベクトル空間の各斉次成分は、自然数の集合 に限らず、任意の添字集合 で添字付けることができる。すなわち、-次数付き線型空間 は集合 の各元 で添字付けられた部分線型空間の直和 formula_4 に書けるベクトル空間を言う。
特に、添字集合 が整数の剰余類環 の場合は物理学において重要で、-次数付き線型空間はとも呼ばれる。
次数付き準同型.
一般の添字集合 に対する -次数線型空間の間の線型写像 がであるとは、それが斉次元の次数付けを保つとき、すなわち formula_5 を満たすときに言う。次数線型写像のことを、次数線型空間の間の準同型または射とも、あるいは斉次線型写像とも呼ぶ。
係数体および添字集合を固定して考えるとき、次数付き線型空間の全体は次数線型写像を射として圏を成す。
 が可換モノイドであるときには（たとえば自然数の集合 のときはそう）、より一般に任意の に対する斉次性を formula_6 なる条件によって定義することができる。ここで " はモノイドの演算とする。さらに が消約性を満足し、したがって適当な可換群に埋め込めるときは（たとえば自然数の集合 のときはそう）、 の生成する可換群 の任意の元 を次数として斉次線型写像を同じ式（ただし " を の群演算として）で定義できる。とくに、任意の に対し、()-次の斉次準同型は formula_7 で定義される。ただし、 が に入らないときには とする。
線型空間からそれ自身への線型写像全体が自己準同型環と呼ばれる結合多元環を成すのとまったく同様にして、次数線型空間上の斉次自己準同型全体は（次数をモノイド に制限しても、群 の元となることを許しても、それぞれで次数付けられる）結合的な次数付き多元環を成す。
次数線型空間の演算.
ベクトル空間の場合と同様に次数線型空間に対しても、既知の次数線型空間から新たな次数線型空間を与える操作（次数ベクトル空間同士の演算）をいくつか定義することができる。
同じ で次数付けられた二つの -次数線型空間 に対し、それらの直和は formula_8 として次数付けられる -次数線型空間を言う。
 が半群であるとき、ふたつの -次数線型空間 のテンソル積 formula_9 は formula_10 なる -次数線型空間を言う。