The Graßmann algebra or outer algebra of a vector space is an associative, skew-symmetrically graduated algebra with one element. It is - depending on the definition - a subalgebra or a factor algebra of an antisymmetrized tensor algebra of and is represented by . The multiplication is called an outer product , wedge product , roof product , or wedge product . A special case of this product is related to the cross product . This calculus is used not only in elementary linear algebra (for example in the theory of determinants ), but above all in algebraic geometry and differential geometry as the algebra of differential forms. In this form, the theory of alternating differential forms goes back to Élie Cartan , who thus unified the existing concepts of area theory. Anti-commutative products of vectors as well as abstract vector spaces in general were first considered by Hermann Graßmann in 1846 .
Let it be a vector space over a body . Be further
(with the conventions and ). The subspace is generated by elementary tensors for which two factors are equal:
The -th external power is then defined as the quotient space
The direct sum
is a two-sided, homogeneous ideal in tensor algebra
The outer algebra is the factor algebra
Regarded as a vector space, this is isomorphic to
For is .
The product in outer algebra is traditionally written as.
Similarly, one can define the outer algebra of modules using commutative rings.
In addition to the definition of the outer algebra given above, there are other equivalent options for defining the outer algebra. For example, one can understand the elements of external algebra as alternating tensors . In the following, let the body characteristic be 0.
The symmetrical group operates on the homogeneous components . A tensor is called alternating if
holds for all permutations ( is the sign of the permutation). Let the vector space of the alternating tensors of the degree be .
One can assign an alternating tensor to each tensor in a canonical way with the help of the antisymmetrization mapping (also called “alternator”) . It is defined by
She is a projection on . The factor ensures that it is the identity mapping, i.e. mapping alternating tensors on itself.
With the product
for and bilinear continuation an associative, anti-commutative graded algebra arises in the space of the alternating tensors. The canonical mapping is an algebra isomorphism .
This section deals with the essential properties of external algebra such as its graduation and the universal property and its product. It is always assumed that there is a -dimensional vector space.
The product of outer algebra is associative . It is also commutatively graded, that is, it applies
for and . In particular is for everyone , but in general is for with straight.
In the terminology of Super geometry is used instead of commutative-grading the equivalent term superkommutativ and using the Superkommutators the condition of Superkommutativität can be expressed as
for and .
Is a - form and a form, this is the explicit formula for the outer product of and for any finite dimensional vector spaces (and infinite-Banach):
where the symmetric group should represent the order and the sign of the permutation .
Graduation, basis and dimension
The outer algebra
is a graduate algebra . That is, it can be represented as a direct sum of sub-algebras . For outer algebra this follows directly from the definition. The outer powers are the corresponding sub-algebras.
Now be a basis of the -dimensional vector space . Then
a base of . The dimension is . In particular , if .
The basis of external algebra is then obtained by combining the bases of all degrees. The following then applies to the dimension
where denotes the binomial coefficient . It follows that each element of Graßmann algebra can be represented as
where the coefficients characterize the element with respect to a basis and is with .
As an example one can choose the vector space with the canonical basis . The 3rd degree of external algebra is spanned by:
By counting you can see that it is.
If a vector space (or module) and an associative algebra , there is a bijection between
- the homomorphisms of vector spaces (or modules) , so that for all applicable
- the algebra homomorphisms .
If the vector space has a scalar product, the outer algebra can also be equipped with one. Subspaces of various degrees are defined as orthogonal . Within a subspace it is sufficient to define the scalar product on pure products. Be in and pure products . The Gram's matrix of scalar products can be assigned to them. Then the scalar product can be defined as the determinant of the Gram's matrix:
If the -dimensional column vector space , then the matrix can be defined. From this one can consider the maximum square sub-matrices . A multi-index is off
and consists of exactly these lines of .
The following identity applies according to the Binet-Cauchy theorem , in the case and also called "surface pythagoras":
The main field of application of external algebra is in differential geometry. Let be a -dimensional differentiable manifold . So one chooses the cotangent space of this manifold as the underlying vector space and forms the outer algebra. A differential form is a cut in the bundle of these vector spaces, i.e. a mapping that assigns an element of the outer algebra to each point of the manifold over the cotangent space at this point. These forms have the great advantage that they can be used to integrate on a manifold independently of the map .
Let (as above) be a vector space and be the outer algebra of . Furthermore, be oriented and provided with a scalar product. The Hodge operator or Hodge star operator is a natural isomorphism . The Hodge operator assigns everyone in a unique way , the so-called "dual element" . Is an oriented basis of , then is unambiguous by the formula
set. For example, if there is also an orthonormal basis,
for (whereby the empty product, for or , is to be interpreted as 1). The Hodge operator can thus be understood as an algebraic generalization of the geometric concept of the orthogonal complement of subspaces of .
Relationship to the cross product and the late product (Hodge duality of vectors) and concepts of physics
Let be the canonical basis of and be two elements from the outer algebra (or outer power) of the real vector space. The Hodge operator is referred to with respect to the standard (Euclidean) scalar product and the standard orientation. For the outer product of and , with the help of the distributive law
The Hodge operator assigns the vector to the product of the basis vectors in three-dimensional space . The other base vectors are assigned by cyclically swapping the indices. This results in the cross product in three-dimensional real space. So one can understand the external algebra as a generalization of the cross product. With the help of this generalization, the differential operator rotation, known from vector analysis, can also be generalized to the -dimensional case.
The late product of three vectors im can be understood as an element of the third outer power. Note that the Hodge star operator is only defined in terms of a scalar product and an orientation. The external product, on the other hand, can be defined independently of such a choice.
Quantities originating from classical physics, which are called pseudovectors in physics , such as a magnetic field strength or an angular momentum , can be understood as elements of . In many cases, a pseudoscalar is a quantity that can be understood as an element of .
Relation to determinant theory; Expansion of m -vectors
The concept of duality associated with the Hodge operator is even simpler for scalars: These are dual to the determinant of a matrix. In detail:
The same requirements should apply as in the previous section; only be allowed now , and if now, for a -leg the form is given ( i.e. a sum of elementary -legs), then as above results the antisymmetrized product , except for an alternating sign that depends on the respective orientation ( “Right-handedness” versus “left-handedness”), the hypersurface dimension of the -leg dual to the respective “base direction”, i.e. its -dimensional “volume” in or at the same time, this expression represents a sub-determinant of a matrix with columns and rows Manner, namely because of the multilinearity and multi-associativity of the given expression, the well-known determinant expansion theorems. In particular, the volume measure generated in this way (= base area times height) of the respective parallel epiped is invariant to displacements parallel to the base area, because determinants of linearly dependent vectors vanish.
Relationship to Clifford Algebra
Be a symmetric form on .
Now let the two-digit, bilinear link be
for . The hats over the factors mean that they are omitted from the product. By introducing this new link as a multiplication, one obtains the Clifford algebra . In particular, with the zero bilinear form, the Graßmann algebra is obtained again: because the additional term in the above equation is omitted and therefore applies.
For simple definitions, the above definition means the elementary relationship
according to which the "geometric" product of two vectors can be broken down into an antisymmetric wedge product and a symmetric scalar product component. The sum is defined here in Graßmann algebra, the sign being a matter of convention.
↑ In physics, pseudoscalar quantities are used in this context .
↑ and thus result in dual -legs.
↑ There is no restriction of generality in the antisymmetrization of the specified products, because additional terms would automatically add up to zero.
↑ These are so-called "shearings", e.g. B. Transformations with
↑ Precise applies to the degree of expansion of -Beins :
. This is again a "generalized Pythagorean theorem ."
^ D. Hestenes: A Unified Language for Mathematics and Physics . In: JSR Chisholm / AK Common (eds.): Clifford Algebras and their Applications in Mathematical Physics (Reidel: Dordrecht / Boston, 1986), p. 1-23.
- Hans-Joachim Kowalsky, Gerhard O. Michler: Lineare Algebra . De Gruyter, Berlin 2003, ISBN 978-3-11-017963-7 .
- Ralph Abraham, Jerrold E. Marsden, Tudor S. Rațiu: Manifolds, tensor analysis, and applications . Addison-Wesley, Reading, Mass. 1983, ISBN 0-201-10168-8 .
Herbert Federer : Geometric measure theory . 1st edition. Springer, Berlin 1996, ISBN 3-540-60656-4 (English).
IR Shafarevich , AO Remizov: Linear Algebra and Geometry . Springer, 2012, ISBN 978-3-642-30993-9 .