Glossary of tensor theory

Glossary of tensor theory

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

* Tensor
* Classical treatment of tensors
* Tensor (intrinsic definition)
* Intermediate treatment of tensors
* Application of tensor theory in engineering science

Classical notation

Tensor Rank

A tensor written in component form is an indexed array. The "rank" of a tensor is the number of indices required.

A "dyadic" tensor has rank two, and may be represented as a square matrix. The conventions "a""ij", "a""i""j", and "a""ij", do have different meanings, in that the first may represent a quadratic form, the second a linear transformation, and the distinction is important in contexts that require tensors that aren't "orthogonal" (see below). A "dyad" is a tensor such as "a""i""b""j", product component-by-component of rank one tensors. In this case it represents a linear transformation, of rank one in the sense of linear algebra - a clashing terminology that can cause confusion.

Einstein notationThis states that in a product of two indexed arrays, if an index letter in the first is repeated in the second, then the (default) interpretation is that the product is summed over all values of the index. For example if "a""ij" is a matrix, then under this convention "a""ii" is its trace. The Einstein convention is generally used in physics and engineering texts, to the extent that if summation is not applied it is normal to note that explicitly.

Kronecker delta

Levi-Civita symbol

Covariant tensor, Contravariant tensor

The classical interpretation is by components. For example in the differential form "a""i""dx""j" the "components" "a""i" are a covariant vector. That means all indices are lower; contravariant means all indices are upper.

Mixed tensor

This refers to any tensor with lower and upper indices.

Cartesian tensor

Cartesian tensors are widely used in various branches of continuum mechanics, such as fluid mechanics and elasticity. In classical continuum mechanics, the space of interest is usually 3-dimensional Euclidean space, 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. 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. All cartesian-tensor indices are written as subscripts. Cartesian tensors achieve considerable computational simplification at the cost of generality and of some theoretical insight.

Contraction of a tensor

Raising and lowering indices

Symmetric tensor

Antisymmetric tensor

Multiple cross products

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 spaces "V" and "W" respectively, then

:$v otimes w$

is a tensor in

:$V otimes W$.

That is, the $otimes$ operation is a binary operation, but it takes values in a fresh space (it is in a strong sense "external"). The $otimes$ operation is bilinear; but no other conditions are applied to it.

Pure tensor

A pure tensor of $V otimes W$ is one that is of the form $v otimes w$.

It could be written dyadically "a""i""b""j", or more accurately "a""i""b""j" e"i"$otimes$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 > 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.

Tensor algebra

In the tensor algebra "T"("V") of a vector space "V", the operation

:$otimes$

becomes a normal (internal) binary operation. This is at the cost of "T"("V") being of infinite dimension, unless "V" has dimension 0. The free algebra 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 is the anti-symmetric form of the $otimes$ operation. The quotient space of T(V) on which it becomes an internal operation is the "exterior algebra" 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 algebras.

Applications

Metric tensor

Strain tensor

Stress-energy tensor

Tensor field theory

Jacobian matrix

Tensor field

Tensor density

Lie derivative

Tensor derivative

Differential geometry

Abstract algebra

Tensor product of fields

This is an operation on fields, that does not always produce a field.

Tensor product of R-algebras

Clifford module

A representation of a Clifford algebra which gives a realisation of a Clifford algebra as a matrix algebra.

Tor functors

These are the derived functors of the tensor product, and feature strongly in homological algebra. The name comes from the torsion subgroup in abelian group theory.

Symbolic method of invariant theory

Derived categoryGrothendieck's six operations

These are "highly" abstract approaches used in some parts of geometry.

pinors

See: spin group, spin-c group, spinors, pin group, pinors, spinor field, Killing spinor, spin manifold.

Wikimedia Foundation. 2010.

Поможем написать реферат

Look at other dictionaries:

• Glossary of scheme theory — This is a glossary of scheme theory. For an introduction to the theory of schemes in algebraic geometry, see affine scheme, projective space, sheaf and scheme. The concern here is to list the fundamental technical definitions and properties of… …   Wikipedia

• Glossary of field theory — Field theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject. (See field theory (physics) for the unrelated field theories in physics.) Definition of a field A field is a commutative ring… …   Wikipedia

• Tensor — For other uses, see Tensor (disambiguation). Note that in common usage, the term tensor is also used to refer to a tensor field. Stress, a second order tensor. The tensor s components, in a three dimensional Cartesian coordinate system, form the… …   Wikipedia

• Glossary of semisimple groups — This is a glossary for the terminology applied in the mathematical theories of semisimple Lie groups. It also covers terms related to their Lie algebras, their representation theory, and various geometric, algebraic and combinatorial structures… …   Wikipedia

• List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

• List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

• 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… …   Wikipedia

• Lists of mathematics topics — This article itemizes the various lists of mathematics topics. Some of these lists link to hundreds of articles; some link only to a few. The extremely long list of mathematics articles contains all mathematical articles in alphabetical order.… …   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

• Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia