Glossary of tensor theory
   HOME

TheInfoList



OR:

This is a glossary of tensor theory. For expositions of tensor theory from different points of view, see: *
Tensor 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 tensor ...
*
Tensor (intrinsic definition) In mathematics, the modern component-free approach to the theory of a tensor views a tensor as an abstract object, expressing some definite type of multilinear concept. Their properties can be derived from their definitions, as linear maps or ...
* Application of tensor theory in engineering science For some history of the abstract theory see also
multilinear algebra Multilinear algebra is a subfield of mathematics that 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' ...
.


Classical notation

; Ricci calculus :The earliest foundation of tensor theory – tensor index notation. ; Order of a tensor :The components of a tensor with respect to a basis is an indexed array. The ''order'' of a tensor is the number of indices needed. Some texts may refer to the tensor order using the term ''degree'' or ''rank''. ; Rank of a tensor :The rank of a tensor is the minimum number of rank-one tensor that must be summed to obtain the tensor. A rank-one tensor may be defined as expressible as the outer product of the number of nonzero vectors needed to obtain the correct order. ;
Dyadic tensor In mathematics, specifically multilinear algebra, a dyadic or dyadic tensor is a second Tensor (intrinsic definition)#Definition via tensor products of vector spaces, order tensor, written in a notation that fits in with vector algebra. There are n ...
:A ''dyadic'' tensor is a tensor of order two, and may be represented as a square matrix. In contrast, a ''dyad'' is specifically a dyadic tensor of rank one. ; Einstein notation :This notation is based on the understanding that whenever a multidimensional array contains a repeated index letter, the default interpretation is that the product is summed over all permitted values of the index. For example, if ''aij'' is a matrix, then under this convention ''aii'' is its
trace Trace may refer to: Arts and entertainment Music * ''Trace'' (Son Volt album), 1995 * ''Trace'' (Died Pretty album), 1993 * Trace (band), a Dutch progressive rock band * ''The Trace'' (album) Other uses in arts and entertainment * ''Trace'' ...
. The Einstein convention is widely used in physics and engineering texts, to the extent that if summation is not to be applied, it is normal to note that explicitly. ;
Kronecker delta In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 & ...
;
Levi-Civita symbol In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol or Levi-Civita epsilon represents a collection of numbers; defined from the parity of a permutation, sign of a permutation of the n ...
; Covariant tensor ; Contravariant tensor :The classical interpretation is by components. For example, in the differential form ''aidxi'' the components ''ai'' are a covariant vector. That means all indices are lower; contravariant means all indices are upper. ; Mixed tensor :This refers to any tensor that has both lower and upper indices. ;Cartesian tensor :Cartesian tensors are widely used in various branches of continuum mechanics, such as
fluid mechanics Fluid mechanics is the branch of physics concerned with the mechanics of fluids ( liquids, gases, and plasmas) and the forces on them. It has applications in a wide range of disciplines, including mechanical, aerospace, civil, chemical and ...
and elasticity. In classical continuum mechanics, the space of interest is usually 3-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean ...
, as is the tangent space at each point. If we restrict the local coordinates to be Cartesian coordinates with the same scale centered at the point of interest, the metric tensor is the
Kronecker delta In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 & ...
. This means that there is no need to distinguish covariant and contravariant components, and furthermore there is no need to distinguish tensors and
tensor densities In differential geometry, a tensor density or relative tensor is a generalization of the tensor field concept. A tensor density transforms as a tensor field when passing from one coordinate system to another (see tensor field), except that it ...
. All Cartesian-tensor indices are written as subscripts.
Cartesian tensor In geometry and linear algebra, a Cartesian tensor uses an orthonormal basis to represent a tensor in a Euclidean space in the form of components. Converting a tensor's components from one such basis to another is through an orthogonal trans ...
s achieve considerable computational simplification at the cost of generality and of some theoretical insight. ;
Contraction of a tensor In multilinear algebra, a tensor contraction is an operation on a tensor that arises from the natural pairing of a finite-dimensional vector space and its dual. In components, it is expressed as a sum of products of scalar components of the tens ...
;
Raising and lowering indices In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions. Vectors, covectors and the metric Math ...
;
Symmetric tensor In mathematics, a symmetric tensor is a tensor that is invariant under a permutation of its vector arguments: :T(v_1,v_2,\ldots,v_r) = T(v_,v_,\ldots,v_) for every permutation ''σ'' of the symbols Alternatively, a symmetric tensor of orde ...
;
Antisymmetric tensor In mathematics and theoretical physics, a tensor is antisymmetric on (or with respect to) an index subset if it alternates sign (+/−) when any two indices of the subset are interchanged. section §7. The index subset must generally either be all ' ...
;
Multiple cross products In geometry and algebra, the triple product is a product of three 3-dimensional vectors, usually Euclidean vectors. The name "triple product" is used for two different products, the scalar-valued scalar triple product and, less often, the vector- ...


Algebraic notation

This avoids the initial use of components, and is distinguished by the explicit use of the tensor product symbol. ;Tensor product :If ''v'' and ''w'' are vectors in
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can ...
s ''V'' and ''W'' respectively, then ::v \otimes w :is a tensor in ::V \otimes W. :That is, the ⊗ operation is a binary operation, but it takes values into a fresh space (it is in a strong sense ''external''). The ⊗ operation is a
bilinear map In mathematics, a bilinear map is a function combining elements of two vector spaces to yield an element of a third vector space, and is linear in each of its arguments. Matrix multiplication is an example. Definition Vector spaces Let V, W ...
; but no other conditions are applied to it. ;Pure tensor :A pure tensor of ''V'' ⊗ ''W'' is one that is of the form ''v'' ⊗ ''w''. :It could be written dyadically ''aibj'', or more accurately ''aibj'' e''i'' ⊗ f''j'', where the e''i'' are a basis for ''V'' and the f''j'' a basis for ''W''. Therefore, unless ''V'' and ''W'' have the same dimension, the array of components need not be square. Such ''pure'' tensors are not generic: if both ''V'' and ''W'' have dimension greater than 1, there will be tensors that are not pure, and there will be non-linear conditions for a tensor to satisfy, to be pure. For more see
Segre embedding In mathematics, the Segre embedding is used in projective geometry to consider the cartesian product (of sets) of two projective spaces as a projective variety. It is named after Corrado Segre. Definition The Segre map may be defined as the map ...
. ;Tensor algebra :In the tensor algebra ''T''(''V'') of a vector space ''V'', the operation \otimes becomes a normal (internal) binary operation. A consequence is that ''T''(''V'') has infinite dimension unless ''V'' has dimension 0. The
free algebra In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials" with non-commuting variables. Likewise, the po ...
on a set ''X'' is for practical purposes the same as the tensor algebra on the vector space with ''X'' as basis. ;Hodge star operator ;Exterior power :The
wedge product A wedge is a triangular shaped tool, and is a portable inclined plane, and one of the six simple machines. It can be used to separate two objects or portions of an object, lift up an object, or hold an object in place. It functions by convert ...
is the anti-symmetric form of the ⊗ operation. The quotient space of ''T''(''V'') on which it becomes an internal operation is the ''
exterior algebra In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is a ...
'' of ''V''; it is a graded algebra, with the graded piece of weight ''k'' being called the ''k''-th exterior power of ''V''. ;Symmetric power, symmetric algebra :This is the invariant way of constructing
polynomial algebra In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables ...
s.


Applications

; Metric tensor ;
Strain tensor In continuum mechanics, the infinitesimal strain theory is a mathematical approach to the description of the deformation of a solid body in which the displacements of the material particles are assumed to be much smaller (indeed, infinitesimal ...
; Stress–energy tensor


Tensor field theory

; Jacobian matrix ;
Tensor field In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space (typically a Euclidean space or manifold). Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis ...
;
Tensor density In differential geometry, a tensor density or relative tensor is a generalization of the tensor field concept. A tensor density transforms as a tensor field when passing from one coordinate system to another (see tensor field), except that it is ...
;
Lie derivative In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector fi ...
;
Tensor derivative In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a different ...
; Differential geometry


Abstract algebra

;
Tensor product of fields In mathematics, the tensor product of two fields is their tensor product as algebras over a common subfield. If no subfield is explicitly specified, the two fields must have the same characteristic and the common subfield is their prime subf ...
:This is an operation on fields, that does not always produce a field. ; Tensor product of R-algebras ;
Clifford module In mathematics, a Clifford module is a representation of a Clifford algebra. In general a Clifford algebra ''C'' is a central simple algebra over some field extension ''L'' of the field ''K'' over which the quadratic form ''Q'' defining ''C'' is de ...
:A representation of a Clifford algebra which gives a realisation of a Clifford algebra as a matrix algebra. ;
Tor functor In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to con ...
s :These are the
derived functor In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Motivation It was noted in vari ...
s of the tensor product, and feature strongly in homological algebra. The name comes from the
torsion subgroup In the theory of abelian groups, the torsion subgroup ''AT'' of an abelian group ''A'' is the subgroup of ''A'' consisting of all elements that have finite order (the torsion elements of ''A''). An abelian group ''A'' is called a torsion group (or ...
in
abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is comm ...
theory. ; Symbolic method of invariant theory ;
Derived category In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction pr ...
; Grothendieck's six operations :These are ''highly'' abstract approaches used in some parts of geometry.


Spinors

See: ;
Spin group In mathematics the spin group Spin(''n'') page 15 is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathrm_2 \to \operatorname(n) \to \operatorname(n) \to 1. As a ...
; Spin-c group ;
Spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
;
Pin group The PIN Group was a German courier and postal services company. It belonged to PIN Group S.A., a Luxembourg-based corporate affiliation made up of several German postal companies. History and shareholding The PIN Group originally traded under ...
; Pinors ;
Spinor field In differential geometry, given a spin structure on an n-dimensional orientable Riemannian manifold (M, g),\, one defines the spinor bundle to be the complex vector bundle \pi_\colon\to M\, associated to the corresponding principal bundle \pi_\col ...
; Killing spinor ; Spin manifold


References


Books

* * * * * {{DEFAULTSORT:Glossary Of Tensor Theory Tensor theory * Wikipedia glossaries using description lists