In mathematics, the term “ direct sum ” denotes the outer direct sum and the inner direct sum .
In both cases, the direct sum is written with the link sign (circled plus sign , Unicode : U + 2295 circled plus sign , or as a multi-digit operator analogous to the summation sign : U + 2A01 n-ary circled plus operator ).
External direct sum
In mathematics, the external direct sum is the standard representative of the coproduct of Abelian groups or modules (and thus also vector spaces ) defined in category theory (only except for isomorphism ). It is given by the subgroup or sub-module of the direct product , which consists of the tuples with at most a finite number of entries different from the (respective) zero element. In the case of a finite number of factors, this structure obviously corresponds to the direct product. (In the following, for the sake of simplicity, we will only deal with the case of vector spaces, but this is analogous for the direct sum of Abelian groups and the direct sum of modules.)
Another way of describing the coproduct is the inner direct sum explained below , which is isomorphic to the outer direct sum.
Be a body and a family of vector spaces. Then is called
for almost everyone
is the outer direct sum of the family , where is the direct product of vector spaces.
In the finite case, for example, this results
The distinction between direct sum and direct product is therefore only necessary if the index amount is infinite.
In addition, for such a direct sum of finitely many vector spaces, the dimension of the sum is equal to the sum of the dimensions of its summands.
Inner direct sum
In the case of a family of subspaces of the vector space , the inner direct sum is called the (they are then also called the direct decomposition of ), if each (apart from the sequence) is uniquely the sum of finitely many elements of the subspaces, with at most one element from each subspace and never the zero element is selected, can be displayed, d. H.:
- For every vector there is exactly one family of vectors with for all and only for finitely many of , so that is.
Like the outer sum, the inner sum is symbolized as follows:
or in the finite case
A sum of a family of subspaces is direct if and only if it holds for all :
that is, if for each the intersection with the sum of the remaining sub-vector spaces contains only the zero vector.
In special cases one calls and complementary to each other . The following applies
A subspace of a vector space is called a direct summand of if there is a subspace that is too complementary, i.e. for which applies.
Note: The outer sum of subspaces can always be formed, but the inner sum of subspaces is usually not direct.
The relationship between the inner and outer total can be established as follows.
For each, consider the embedding in the outer direct sum, so:
for and for
The inner direct sum of the images in these images then forms the outer direct sum.
Direct sum of representations
Be depictions of or the direct sum of the representations is defined as: being for all and
in this way is again a linear representation.
If representations of the same group are defined, for the sake of simplicity, the direct sum of the representations is also defined as representation of, i.e. in which one understands as the diagonal subgroup of .
Let be the linear representation given by
And be the linear representation that is given by
Then is a linear representation of in which the for by definition looks like this:
Since it is sufficient to give the picture of the group's creator, we note that is given by: