- Multilinear algebra
In mathematics, multilinear algebra extends the methods of linear algebra. Just as linear algebra is built on the concept of a vector and develops the theory of vector spaces, multilinear algebra builds on the concepts of p-vectors and multivectors with Grassmann algebra.
In a vector space of dimension n, one usually considers only the vectors. According to Hermann Grassmann and others, this presumption misses the complexity of considering the structures of pairs, triples, and general multivectors. Since there are several combinatorial possibilities, the space of multivectors turns out to have 2n dimensions. The abstract formulation of the determinant is the most immediate application. Multilinear algebra also has applications in mechanical study of material response to stress and strain with various moduli of elasticity. This practical reference led to the use of the word tensor to describe the elements of the multilinear space. The extra structure in a multilinear space has led it to play an important role in various studies in higher mathematics. Though Grassmann started the subject in 1844 with his Ausdehnungslehre, and re-published in 1862, his work was slow to find acceptance as ordinary linear algebra provided sufficient challenges to comprehension.
The topic of multilinear algebra is applied in some studies of multivariate calculus and manifolds where the Jacobian matrix comes into play. The infinitesimal differentials of single variable calculus become differential forms in multivariate calculus, and their manipulation is done with exterior algebra.
After some preliminary work by Elwin Bruno Christoffel, a major advance in multilinear algebra came in the work of Gregorio Ricci-Curbastro and Tullio Levi-Civita (see references). It was the absolute differential calculus form of multilinear algebra that Marcel Grossman and Michele Besso introduced to Albert Einstein. The publication in 1915 by Einstein of a general relativity explanation for the precession of the perihelion of Mercury, established multilinear algebra and tensors as important mathematics.
Use in algebraic topology
Around the middle of the 20th century the study of tensors was reformulated more abstractly. The Bourbaki group's treatise Multilinear Algebra was especially influential — in fact the term multilinear algebra was probably coined there.
One reason at the time was a new area of application, homological algebra. The development of algebraic topology during the 1940s gave additional incentive for the development of a purely algebraic treatment of the tensor product. The computation of the homology groups of the product of two spaces involves the tensor product; but only in the simplest cases, such as a torus, is it directly calculated in that fashion (see Künneth theorem). The topological phenomena were subtle enough to need better foundational concepts; technically speaking, the Tor functors had to be defined.
The material to organise was quite extensive, including also ideas going back to Hermann Grassmann, the ideas from the theory of differential forms that had led to De Rham cohomology, as well as more elementary ideas such as the wedge product that generalises the cross product.
The resulting rather severe write-up of the topic (by Bourbaki) entirely rejected one approach in vector calculus (the quaternion route, that is, in the general case, the relation with Lie groups). They instead applied a novel approach using category theory, with the Lie group approach viewed as a separate matter. Since this leads to a much cleaner treatment, there was probably no going back in purely mathematical terms. (Strictly, the universal property approach was invoked; this is somewhat more general than category theory, and the relationship between the two as alternate ways was also being clarified, at the same time.)
Indeed what was done is almost precisely to explain that tensor spaces are the constructions required to reduce multilinear problems to linear problems. This purely algebraic attack conveys no geometric intuition.
Its benefit is that by re-expressing problems in terms of multilinear algebra, there is a clear and well-defined 'best solution': the constraints the solution exerts are exactly those you need in practice. In general there is no need to invoke any ad hoc construction, geometric idea, or recourse to co-ordinate systems. In the category-theoretic jargon, everything is entirely natural.
Conclusion on the abstract approach
In principle the abstract approach can recover everything done via the traditional approach. In practice this may not seem so simple. On the other hand the notion of natural is consistent with the general covariance principle of general relativity. The latter deals with tensor fields (tensors varying from point to point on a manifold), but covariance asserts that the language of tensors is essential to the proper formulation of general relativity.
Some decades later the rather abstract view coming from category theory was tied up with the approach that had been developed in the 1930s by Hermann Weyl (in his book The Classical Groups). In a way this took the theory full circle, connecting once more the content of old and new viewpoints.
Topics in multilinear algebra
The subject matter of multilinear algebra has evolved less than the presentation down the years. Here are further pages centrally relevant to it:
- dual space
- bilinear operator
- inner product
- multilinear map
- Cramer's rule
- component-free treatment of tensors
- Kronecker delta
- tensor contraction
- mixed tensor
- Levi-Civita symbol
- tensor algebra, free algebra
- symmetric algebra, symmetric power
- exterior derivative
- Einstein notation
- symmetric tensor
- metric tensor
There is also a glossary of tensor theory.
From the point of view of applications
Some of the ways in which multilinear algebra concepts are applied:
- classical treatment of tensors
- dyadic tensor
- bra-ket notation
- geometric algebra
- Clifford algebra
- outer product
- hypercomplex number
- multilinear subspace learning
- Hermann Grassmann (2000) Extension Theory, American Mathematical Society. Translation by Lloyd Kannenberg of the 1862 Ausdehnungslehre.
- Wendell H. Fleming (1965) Functions of Several Variables, Addison-Wesley.
- Ricci-Curbastro, Gregorio; Levi-Civita, Tullio (1900), "Méthodes de calcul différentiel absolu et leurs applications", Mathematische Annalen 54 (1): 125–201, doi:10.1007/BF01454201, ISSN 1432-1807
Areas of mathematics Areas
Arithmetic · Algebra (elementary – linear – multilinear – abstract) · Geometry (Discrete geometry – Algebraic geometry – Differential geometry) · Calculus/Analysis · Set theory · Logic · Category theory · Number theory · Combinatorics · Graph theory · Topology · Lie theory · Differential equations/Dynamical systems · Mathematical physics · Numerical analysis · Computation · Information theory · Probability · Statistics · Optimization · Control theory · Game theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
Multilinear subspace learning — (MSL) aims to learn a specific small part of a large space of multidimensional objects having a particular desired property. It is a dimensionality reduction approach for finding a low dimensional representation with certain preferred… … Wikipedia
Multilinear map — In linear algebra, a multilinear map is a function of several variables that is linear separately in each variable. More precisely, a multilinear map is a function where and are vector spaces (or modules), with the following property: for each ,… … Wikipedia
Multilinear form — In multilinear algebra, a multilinear form is a map of the type where V is a vector space over the field K, that is separately linear in each its n variables. For n = 2, i.e. only two variables, one calls ƒ a bilinear form. An important type… … Wikipedia
Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… … Wikipedia
Multilinear polynomial — In algebra, a multilinear polynomial is a polynomial that is linear in each of its variables. In other words, no variable occurs to a power of 2 or higher; or alternatively, each monomial is a constant times a product of distinct variables. They… … Wikipedia
Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… … Wikipedia
Linear algebra — R3 is a vector (linear) space, and lines and planes passing through the origin are vector subspaces in R3. Subspaces are a common object of study in linear algebra. Linear algebra is a branch of mathematics that studies vector spaces, also called … Wikipedia
Minor (linear algebra) — This article is about a concept in linear algebra. For the unrelated concept of minor in graph theory, see Minor (graph theory). In linear algebra, a minor of a matrix A is the determinant of some smaller square matrix, cut down from A by… … Wikipedia
List of linear algebra topics — This is a list of linear algebra topics. See also list of matrices glossary of tensor theory. Contents 1 Linear equations 2 Matrices 3 Matrix decompositions 4 … Wikipedia
Geometric algebra — In mathematical physics, a geometric algebra is a multilinear algebra described technically as a Clifford algebra over a real vector space equipped with a non degenerate quadratic form. Informally, a geometric algebra is a Clifford algebra that… … Wikipedia