Graded vector space

From Wikipedia, the free encyclopedia

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

Contents

[edit] 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_{n \in \mathbb{N}} V_n

where each Vn is a vector space. For a given n the elements of Vn 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.

[edit] 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_{i \in I} 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=Z2 is particularly important in physics. A Z2-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_{\{j,k|jk=i\}} V_j \otimes W_k

[edit] 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_{M\times N} L(V_m,W_n).

For example, a linear map T between two Z2-graded spaces can be decomposed into four parts: T00 which carries even vectors to even vectors, T10 which carries odd vectors to even vectors, T01 which carries even vectors to odd vectors, and T11 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_{\alpha\beta}

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_{\alpha \in M}L(V_\alpha,V_{\beta\alpha})

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_{\alpha\beta},

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.

[edit] See also


Retrieved from "http://en.wikipedia.org../../../g/r/a/Graded_vector_space.html"