Graded vector space

Encyclopedia : G : GR : GRA : Graded vector space

In mathematics, a graded vector space is a vector space with an extra piece of structure, known as a grading.

Contents

1 Graded vector spaces
2 ''I''-graded vector spaces
3 Linear maps
4 See also

Graded vector spaces

A graded vector space is a vector space V which can be written as a direct sum of the form

[V = \bigoplus_} V_n]

where each [V_n] is a vector space. For a given n the elements of [V_n] are then called homogeneous elements of degree n.

Graded vector spaces are common. For example the set of all polynomials in one variable form a graded vector space, where the homogeneous elements of degree n are exactly the polynomials of degree n.

I-graded vector spaces

I-graded vector spaces generalize graded vector spaces. Let I be a set. An I-graded vector space V is a vector space that can be written as a direct sum of subspaces indexed by I:

[V = \bigoplus_ V_i].

A graded vector space, as defined above, is just an N-graded vector space, where N is the set of natural numbers.

The case when I=Z₂ is particularly important in physics. A Z₂-graded vector space also known as a supervector space.

If I is a semigroup, then the tensor product of two I-graded vector spaces V and W is another I-graded vector space, [V \otimes W]

[ (V \otimes W)_i = \bigoplus_ V_j \otimes W_k ]

Linear maps

When considering graded vector spaces, the nicest linear maps are those which respect the grading. With this in mind, we define a linear map T between M-graded vector space V and N-graded vector space W to be such that for every m in M, there is some n in N with

[T(V_m)\subseteq W_n.]

Then the vector space L(V,W) of graded linear maps is itself an M×N-graded vector space, where M×N is the Cartesian product, since for each choice of homogeneous subspace in the domain, the map may choose a different range homogeneous subspace in the codomain.

[L(V,W)=\bigoplus_ L(V_m,W_n).]

For example, a linear map T between two Z₂-graded spaces can be decomposed into four parts: T₀₀ which carries even vectors to even vectors, T₁₀ which carries odd vectors to even vectors, T₀₁ which carries even vectors to odd vectors, and T₁₁ which carries odd vectors to odd vectors.

When the domain and codomain coincide, and if the grading set is a monoid which satisfies the cancellation law (for example, the natural numbers or any group), then one may define the graded map to be one which satisfies

[T_\alpha(V_\beta)\subseteq V_]

This introduces a grading on this space of graded maps which is coarser than the grading available for whole space L(V,W) listed above, in the sense that the grading set of the latter is a subset of the former, and thus is compatible with it

[L_\beta=\bigoplus_L(V_\alpha,V_)]

Because these homogeneous spaces include sums over all the subspaces of the domain, the elements may be considered as being defined over the whole domain, unlike the finer grading above. Thus when the domain and codomain coincide, composition of maps is always defined. By construction, these graded maps satisfy

[L_\alpha L_\beta\subseteq L_,]

so that just as the set of linear maps from a vector space to itself forms an associative algebra (the algebra of endomorphisms of the vector space), the graded linear maps from a space to itself forms an associative graded algebra. This is the benefit of restricting to only the graded maps.

Graded vector space

Graded vector spaces

I-graded vector spaces

Linear maps

See also