Intermediate treatment of tensors

Intermediate treatment of tensors

In mathematics and physics, a tensor is an idealized geometric or physical quantity whose numerical description, relative to a particular frame of reference, consists of a multiple indexed array of numbers. A vector, for example, is a tensor with a single index; thus, tensors can be regarded as a multi-index generalization of the vector concept. Just as it is with vectors,a change of reference frame induces a transformation of the components.

This way of viewing tensors, called tensor analysis, was used by Einstein and is generally preferred by physicistsFact|date=April 2008. It is, very grossly, a generalization of the concept of vectors, matrices, and linear transformations, and allows the writing of equations independently of any given coordinate system.

Overview

Tensor quantities may be categorized by considering the number of indices inherent in their description. The scalar quantities are those that can be represented by a single number (indices are not needed) —speed, mass, temperature, for example. There are also vector-like quantities such as force that require a list of numbers for their description (one index is required so that direction can be accounted for). Finally, quantities such as quadratic forms naturally require a multiply-indexed array for their representation. These latter quantities can only be conceived of as tensors. Some well known examples of tensors in geometry are quadratic forms, and the curvature tensor. Examples of physical tensors are the energy-momentum tensor and the polarization tensor.

Actually, the tensor notion is quite general and applies to all of the above examples; scalars and vectors are special kinds of tensors. The feature that distinguishes a scalar from a vector, and distinguishes both of those from a more general tensor quantity is the number of indices in the representing array. This number is called the rank (or the order) of a tensor. Thus, scalars are rank zero tensors (with no indices at all) and vectors are rank one tensors.

It should be noted that the array-of-numbers representation of a tensor "is not the same thing as" the tensor. An image and theobject represented by the image are not the same thing. The mass of a stone is not a number. Rather, the mass can be described by anumber relative to some specified unit mass. Similarly, a given numerical representation of a tensor only makes sense in a particular coordinate system.

It is also necessary to distinguish between two types of indices, depending on whether the corresponding numbers transform covariantly or contravariantly relative to a change in the frame of reference. Contravariant indices are written as superscripts, while the covariant indices are written as subscripts. The type (or valence) of a tensor is the pair (p,q), where p is the number of contravariant and q the number of covariant indices, respectively. Note that a tensor of type (p,q) has a rank of "p + q". It is customary to represent the actual tensor, as a standalone entity, by a bold-face symbol such as mathbf{T}. The corresponding array of numbers for a type (p,q) tensor is denoted by the symbol T^{i_1ldots i_p}_{j_1ldots j_q}, where the superscripts andsubscripts are indices that vary from 1 to n. The number n, therange of the indices, is called the dimension of the tensor; the total number of degrees of freedom required for the specification of a particular tensor is the dimension of the tensor raised to the power of the tensor's rank.

Again, it must be emphasized that the tensor mathbf{T} and the representing array T^{i_1ldots i_q}_{j_1ldots j_p} are not the same thing. The values of the representing array are given relative to some frame of reference, and undergo a linear transformation when the frame is changed.

Finally, it must be mentioned that most physical and geometric applications are concerned with tensor fields, that is to say tensor valued functions, rather than tensors themselves. Some care is required, because it is common to see a tensor field called simply a tensor. There is a difference, however; the entries of a tensor array T^{i_1ldots i_q}_{j_1ldots j_p} are numbers, whereas the entries of a tensor field are functions. The present entry treats the purely algebraic aspect of tensors. Tensor field concepts, which typically involve derivatives of some kind, are discussed elsewhere.

Definition

The formal definition of a tensor quantity begins with a finite-dimensional vector space mathcal{U}, which furnishes the uniform "building blocks" for tensors of all valences. In typical applications, mathcal{U} is the tangent space at a point of a manifold; the elements of mathcal{U} typically represent physical quantities such as velocities or forces. The space of (p,q)-valent tensors, denoted here by mathcal{U}^{p,q} is obtained bytaking the tensor product of p copies of mathcal{U} and q copies of the dual vector spacemathcal{U}^*. To wit,:mathcal{U}^{p,q} = left{mathcal{U}otimesldotsotimesmathcal{U} ight}otimesleft{mathcal{U}^*otimesldotsotimesmathcal{U}^* ight}

In order to represent a tensor by a concrete array of numbers, werequire a frame of reference, which is essentially a basis of mathcal{U},saymathbf{e}_1,ldots,mathbf{e}_n in mathcal{U}.Every vector in mathcal{U} can be"measured" relative to this basis, meaning that for everymathbf{v}inmathcal{U} there exist unique scalars v^i, suchthat (note the use of the Einstein notation):mathbf{v} = v^imathbf{e}_i

These scalars are called the components of mathbf{v} relative to the frame in question.

Let varepsilon^1,ldots,varepsilon^ninmathcal{U}^* be the corresponding dual basis, i.e.,:varepsilon^i(mathbf{e}_j) = delta^i {}_j,where the latter is the Kronecker delta array. For every covectormathbf{alpha}inmathcal{U}^* there exists a unique array of components alpha_i suchthat:mathbf{alpha} = alpha_i, varepsilon^i.

More generally, every tensor mathbf{T}inmathcal{U}^{p,q} has a unique representation in terms of components. That is to say, there exists aunique array of scalars T^{i_1ldots i_p}_{j_1ldots j_q} such that:mathbf{T} = T^{i_1ldots i_p}_{j_1ldots j_q}, mathbf{e}_{i_1} otimesldotsotimes mathbf{e}_{i_q} otimes varepsilon^{j_1}otimesldotsotimes varepsilon^{j_p}.

Transformation rules

Next, suppose that a change is made to a different frame of reference, sayhat{mathbf{e_1,ldots,hat{mathbf{e_ninmathcal{U}.Any two frames are uniquely related by an invertible transition matrix A^i {}_j, having the property that for all values of j we have the "frame transformation rule":hat{mathbf{e_j = A^i {}_j, mathbf{e}_i.

Let mathbf{v}inmathcal{U} be a vector, and let v^iand hat{v}^i denote the corresponding component arrays relative tothe two frames. From:mathbf{v} = v^imathbf{e}_i = hat{v}^ihat{mathbf{e_i,and from the frame transformation rule we infer the "vector transformation rule":hat{v}^i = B^i {}_j, v^j,

where B^i {}_j is the matrix inverse of A^i {}_j, i.e.,:A^i {}_k B^k {}_j = delta^i {}_j.Thus, the transformation rule for a vector's components is contravariant to the transformation rule for the frame of reference. It is for this reason that the superscript indices of a vector are called contravariant.

To establish the transformation rule for covectors, we note that the transformation rule for the dual basis takes the form:hat{v}e^i = B^i {}_j , varepsilon^j,and that:v^i = varepsilon^i(mathbf{v}),while:hat{v}^i = hat{v}e^i(mathbf{v}).

The transformation rule for covector components is covariant. Letmathbf{alpha}in mathcal{U}^* be a given covector, and let alpha_i andhat{alpha}_i be the corresponding component arrays. Then:hat{alpha}_j = A^i {}_j alpha_i.The above relation is easily established. We need only remark that:alpha_i = mathbf{alpha}(mathbf{e}_i),and that:hat{alpha}_j = mathbf{alpha}(hat{mathbf{e_j),and then use the transformation rule for the frame of reference.

In light of the above discussion, we see that the transformation rulefor a general type (p,q) tensor takes the form:hat{T}^{i_1ldots i_p}_{,j_1ldots j_q} =A^{i_1} {}_{k_1}cdots A^{i_q} {}_{k_q}B^{l_1} {}_{j_1}cdots B^{l_p} {}_{j_p}T^{k_1ldots k_p}_{l_1ldots l_q}.

ee also

* tensor product
* tensor derivative
* absolute differentiation
* curvature
* Riemannian geometry

Further reading

* Bernard Schutz, "Geometrical methods of mathematical physics", Cambridge University Press, 1980.
* "Schaum's Outline of Tensor Calculus"
* Synge and Schild, "Tensor Calculus", Toronto Press: Toronto, 1949
* James Munkres, "Analysis on Manifolds," Westview Press, 1991. Chapter six gives a "from scratch" introduction to covariant tensors.

----

"An earlier version of this article was adapted from the GFDL article on tensors at http://planetmath.org/encyclopedia/Tensor.html from PlanetMath, written by Robert Milson and others"


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Mathematics of general relativity — For a generally accessible and less technical introduction to the topic, see Introduction to mathematics of general relativity. General relativity Introduction Mathematical formulation Resources …   Wikipedia

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

  • List of mathematics articles (I) — NOTOC Ia IA automorphism ICER Icosagon Icosahedral 120 cell Icosahedral prism Icosahedral symmetry Icosahedron Icosian Calculus Icosian game Icosidodecadodecahedron Icosidodecahedron Icositetrachoric honeycomb Icositruncated dodecadodecahedron… …   Wikipedia

  • One-form — In linear algebra, a one form on a vector space is the same as a linear functional on the space. The usage of one form in this context usually distinguishes the one forms from higher degree multilinear functionals on the space. For details, see… …   Wikipedia

  • Pseudotensor — In physics and mathematics, a pseudotensor is usually a quantity that transforms like a tensor under a proper rotation, but gains an additional sign flip under an improper rotation (a transformation that can be expressed as an inversion followed… …   Wikipedia

  • Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”