Multilinear algebra

Last updated

Multilinear algebra is the study of functions with multiple vector-valued arguments, with the functions being linear maps with respect to each argument. It involves concepts such as matrices, tensors, multivectors, systems of linear equations, higher-dimensional spaces, determinants, inner and outer products, and dual spaces. It is a mathematical tool used in engineering, machine learning, physics, and mathematics. [1]

Contents

Topics in multilinear algebra

The field of multilinear algebra has experienced many changes in its presentation over the years. The following pages provide additional information that is central to the topic:

There is also a glossary available for tensor theory.

Applications

Multilinear algebra concepts find applications in various areas, including:

Origin

While many theoretical concepts and applications involve single vectors, mathematicians such as Hermann Grassmann considered structures involving pairs, triplets, and multivectors that generalize vectors. With multiple combinational possibilities, the space of multivectors expands to 2n dimensions, where n is the dimension of the relevant vector space. [2] The determinant can be formulated abstractly using the structures of multilinear algebra.

Multilinear algebra appears in the study of the mechanical response of materials to stress and strain, involving various moduli of elasticity. The term "tensor" describes elements within the multilinear space due to its added structure. Despite Grassmann's early work in 1844 with his Ausdehnungslehre , which was also republished in 1862, the subject was initially not widely understood, as even ordinary linear algebra posed many challenges at the time.

The concepts of multilinear algebra find applications in certain studies of multivariate calculus and manifolds, particularly concerning the Jacobian matrix. Infinitesimal differentials encountered in single-variable calculus are transformed into differential forms in multivariate calculus, and their manipulation is carried out using exterior algebra. [3]

Following Grassmann, developments in multilinear algebra were made by Victor Schlegel in 1872 with the publication of the first part of his System der Raumlehre [4] and by Elwin Bruno Christoffel. Notably, significant advancements came through the work of Gregorio Ricci-Curbastro and Tullio Levi-Civita, [5] particularly in the form of absolute differential calculus within multilinear algebra. Marcel Grossmann and Michele Besso introduced this form to Albert Einstein, and in 1915, Einstein's publication on general relativity, explaining the precession of Mercury's perihelion, established multilinear algebra and tensors as important mathematical tools in physics.

In 1958, Nicolas Bourbaki included a chapter on multilinear algebra titled "Algèbre Multilinéaire" in his series Éléments de mathématique, specifically within the algebra book. The chapter covers topics such as bilinear functions, the tensor product of two modules, and the properties of tensor products. [6]

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

In mathematics, a geometric algebra is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the geometric product. Multiplication of vectors results in higher-dimensional objects called multivectors. Compared to other formalisms for manipulating geometric objects, geometric algebra is noteworthy for supporting vector division and addition of objects of different dimensions.

<span class="mw-page-title-main">Tensor</span> Algebraic object with geometric applications

In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tensors. There are many types of tensors, including scalars and vectors, dual vectors, multilinear maps between vector spaces, and even some operations such as the dot product. Tensors are defined independent of any basis, although they are often referred to by their components in a basis related to a particular coordinate system; those components form an array, which can be thought of as a high-dimensional matrix.

<span class="mw-page-title-main">Hermann Grassmann</span> German polymath, linguist and mathematician (1809–1877)

Hermann Günther Grassmann was a German polymath known in his day as a linguist and now also as a mathematician. He was also a physicist, general scholar, and publisher. His mathematical work was little noted until he was in his sixties. His work preceded and exceeded the concept which is now known as a vector space. He introduced the Grassmannian, the space which parameterizes all k-dimensional linear subspaces of an n-dimensional vector space V. In linguistics he helped free language history and structure from each other.

<span class="mw-page-title-main">Exterior algebra</span> Algebra of a vector space

In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogs. The exterior product of two vectors u and v, denoted by uv, is called a bivector and lives in a space called the exterior square, a vector space that is distinct from the original space of vectors. The magnitude of uv can be interpreted as the area of the parallelogram with sides u and v, which in three dimensions can also be computed using the cross product of the two vectors. Like the cross product, the exterior product is anticommutative, meaning that uv = −(vu) for all vectors u and v, but, unlike the cross product, the exterior product is associative. One way to visualize a bivector is as a family of parallelograms all lying in the same plane, having the same area and orientation, which is a choice of rotational direction within the plane (clockwise or counterclockwise from some view).

In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space. Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis of stress and strain in materials, and in numerous applications in the physical sciences. As a tensor is a generalization of a scalar and a vector, a tensor field is a generalization of a scalar field or vector field that assigns, respectively, a scalar or vector to each point of space. If a tensor A is defined on a vector fields set X(M) over a module M, we call A a tensor field on M.

This is a glossary of tensor theory. For expositions of tensor theory from different points of view, see:

In mathematics, tensor calculus, tensor analysis, or Ricci calculus is an extension of vector calculus to tensor fields.

<span class="mw-page-title-main">Tullio Levi-Civita</span> Italian mathematician (1873–1941)

Tullio Levi-Civita, was an Italian mathematician, most famous for his work on absolute differential calculus and its applications to the theory of relativity, but who also made significant contributions in other areas. He was a pupil of Gregorio Ricci-Curbastro, the inventor of tensor calculus. His work included foundational papers in both pure and applied mathematics, celestial mechanics, analytic mechanics and hydrodynamics.

<span class="mw-page-title-main">Gregorio Ricci-Curbastro</span> Italian mathematician (1853–1925)

Gregorio Ricci-Curbastro was an Italian mathematician. He is most famous as the discoverer of tensor calculus.

<span class="mw-page-title-main">Differentiable manifold</span> Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

This is a list of contributors to the mathematical background for general relativity. For ease of readability, the contributions are unlinked but can be found in the contributors' article.

In multilinear algebra, a multivector, sometimes called Clifford number or multor, is an element of the exterior algebra Λ(V) of a vector space V. This algebra is graded, associative and alternating, and consists of linear combinations of simplek-vectors (also known as decomposablek-vectors or k-blades) of the form

<span class="mw-page-title-main">Jan Arnoldus Schouten</span>

Jan Arnoldus Schouten was a Dutch mathematician and Professor at the Delft University of Technology. He was an important contributor to the development of tensor calculus and Ricci calculus, and was one of the founders of the Mathematisch Centrum in Amsterdam.

A rotor is an object in the geometric algebra of a vector space that represents a rotation about the origin. The term originated with William Kingdon Clifford, in showing that the quaternion algebra is just a special case of Hermann Grassmann's "theory of extension" (Ausdehnungslehre). Hestenes defined a rotor to be any element of a geometric algebra that can be written as the product of an even number of unit vectors and satisfies , where is the "reverse" of —that is, the product of the same vectors, but in reverse order.

In mathematics, a symmetric tensor is a tensor that is invariant under a permutation of its vector arguments:

In mathematics and physics, vector is a term that refers colloquially to some quantities that cannot be expressed by a single number, or to elements of some vector spaces.

Mathematics is a broad subject that is commonly divided in many areas that may be defined by their objects of study, by the used methods, or by both. For example, analytic number theory is a subarea of number theory devoted to the use of methods of analysis for the study of natural numbers.

<span class="mw-page-title-main">Victor Schlegel</span> German mathematician (1843 to 1905)

Victor Schlegel was a German mathematician. He is remembered for promoting the geometric algebra of Hermann Grassmann and for a method of visualizing polytopes called Schlegel diagrams.

Robert C. Hermann was an American mathematician and mathematical physicist. In the 1960s Hermann worked on elementary particle physics and quantum field theory, and published books which revealed the interconnections between vector bundles on Riemannian manifolds and gauge theory in physics, before these interconnections became "common knowledge" among physicists in the 1970s.

References

  1. Pandey, Divyanshu; Venugopal, Adithya; Leib, Harry (2024). "Linear to multi-linear algebra and systems using tensors". Frontiers in Applied Mathematics and Statistics. 9. arXiv: 2304.10658 . doi: 10.3389/fams.2023.1259836 . ISSN   2297-4687.
  2. Grassmann, Hermann (2000) [1862]. Extension Theory [Die Ausdehnungslehre]. Translated by Kannenberg, Lloyd. American Mathematical Society. ISBN   978-0-8218-9049-3.
  3. Fleming, Wendell H. (1977). "Exterior algebra and differential calculus". Functions of Several Variables. Undergraduate Texts in Mathematics (2nd ed.). Springer. pp. 275–320. doi:10.1007/978-1-4684-9461-7_7. ISBN   978-1-4684-9461-7. OCLC   2401829.
  4. Schlegel, Victor (2018). System der Raumlehre: Nach den Prinzipien der Grassmann'schen Ausdehnungslehre und als Einleitung in Dieselbe; Geometrie; Die Gebiete des Punktes, der Geraden, der Ebene. Forgotten Books. ISBN   978-0-364-22177-8.
  5. 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. S2CID   120009332.
  6. Nicolas Bourbaki (1958) Algèbra Multilinéair, chapter 3 of book 2 Algebra, in Éléments de mathématique, Paris: Hermann