0 views

Uploaded by josgau

Tensor Field

- 4310_HW5
- Notice-NDA-I-2019-Engl.pdf
- 324FinalExam 15ece1 Solution
- Tensors, Contravariant and Covariant
- Lie Group Lectures
- Vector Fields
- Paper-1 a Note on Generalized Almost P-sasakian Structure
- Kerr Geometry
- Tensor Analysis
- DiffeoDemons-NeuroImage08-Vercauteren
- Curve alignment with known correspondences
- Horman Der Companion
- mathgen-877526717
- A Visconti-Introductory Differential Geometry for Physicists-Wspc (1992) (1)
- iiib sc vsem mathematics
- MATH2315_001_Davis_Sp14
- stokes problem
- BTech EC Scheme & Syllabus 2012
- fourier
- ABB Robot Coordinate Systems

You are on page 1of 5

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 of stress and strain in materials, and in numerous applications in the physical

sciences. As a tensor is a generalization of a scalar (a pure number representing a value, like length) and a vector (a geometrical arrow in space), 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.

Many mathematical structures called "tensors" are tensor fields. For example, the Riemann curvature tensor is not a tensor, as the name implies, but a tensor

field: It is named after Bernhard Riemann, and associates a tensor to each point of a Riemannian manifold, which is a topological space.

Contents

Geometric introduction

Via coordinate transitions

Tensor bundles

Notation

The C∞(M) module explanation

Applications

Tensor calculus

Twisting by a line bundle

The flat case

Cocycles and chain rules

Generalizations

Tensor densities

See also

Notes

References

Geometric introduction

Intuitively, a vector field is best visualized as an "arrow" attached to each point of a region, with variable length and direction. One example of a vector field on a

curved space is a weather map showing horizontal wind velocity at each point of the Earth's surface.

The general idea of tensor field combines the requirement of richer geometry – for example, an ellipsoid varying from point to point, in the case of a metric tensor

– with the idea that we don't want our notion to depend on the particular method of mapping the surface. It should exist independently of latitude and longitude,

or whatever particular "cartographic projection" we are using to introduce numerical coordinates.

Following Schouten (1951) and McConnell (1957), the concept of a tensor relies on a concept of a reference frame (or coordinate system), which may be fixed

(relative to some background reference frame), but in general may be allowed to vary within some class of transformations of these coordinate systems.[1]

For example, coordinates belonging to the n-dimensional real coordinate space may be subjected to arbitrary affine transformations:

(with n-dimensional indices, summation implied). A covariant vector, or covector, is a system of functions that transforms under this affine transformation by

the rule

The list of Cartesian coordinate basis vectors transforms as a covector, since under the affine transformation . A contravariant vector is a system of

functions of the coordinates that, under such an affine transformation undergoes a transformation

This is precisely the requirement needed to ensure that the quantity is an invariant object that does not depend on the coordinate system chosen. More

generally, a tensor of valence (p,q) has p downstairs indices and q upstairs indices, with the transformation law being

The concept of a tensor field may be obtained by specializing the allowed coordinate transformations to be smooth (or differentiable, analytic, etc). A covector

field is a function of the coordinates that transforms by the Jacobian of the transition functions (in the given class). Likewise, a contravariant vector field

transforms by the inverse Jacobian.

Tensor bundles

The vector bundle is a natural idea of "vector space depending continuously (or smoothly) on parameters" – the parameters being the points of a manifold M. For

example, a vector space of one dimension depending on an angle could look like a Möbius strip as well as a cylinder. Given a vector bundle V over M, the

corresponding field concept is called a section of the bundle: for m varying over M, a choice of vector

vm in Vm,

Since the tensor product concept is independent of any choice of basis, taking the tensor product of two vector bundles on M is routine. Starting with the tangent

bundle (the bundle of tangent spaces) the whole apparatus explained at component-free treatment of tensors carries over in a routine way – again independently

of coordinates, as mentioned in the introduction.

We therefore can give a definition of tensor field, namely as a section of some tensor bundle. (There are vector bundles which are not tensor bundles: the

Möbius band for instance.) This is then guaranteed geometric content, since everything has been done in an intrinsic way. More precisely, a tensor field assigns to

any given point of the manifold a tensor in the space

where V is the tangent space at that point and V∗ is the cotangent space. See also tangent bundle and cotangent bundle.

Given two tensor bundles E → M and F → M, a linear map A: Γ(E) → Γ(F) from the space of sections of E to sections of F can be considered itself as a tensor

section of if and only if it satisfies A(fs,...) = fA(s,...) in each argument, where f is a smooth function on M. Thus a tensor is not only a linear map on the

vector space of sections, but a C∞(M)-linear map on the module of sections. This property is used to check, for example, that even though the Lie derivative and

covariant derivative are not tensors, the torsion and curvature tensors built from them are.

Notation

The notation for tensor fields can sometimes be confusingly similar to the notation for tensor spaces. Thus, the tangent bundle TM = T(M) might sometimes be

written as

to emphasize that the tangent bundle is the range space of the (1,0) tensor fields (i.e., vector fields) on the manifold M. This should not be confused with the very

similar looking notation

in the latter case, we just have one tensor space, whereas in the former, we have a tensor space defined for each point in the manifold M.

Curly (script) letters are sometimes used to denote the set of infinitely-differentiable tensor fields on M. Thus,

are the sections of the (m,n) tensor bundle on M which are infinitely-differentiable. A tensor field is an element of this set.

There is another more abstract (but often useful) way of characterizing tensor fields on a manifold M which makes tensor fields into honest tensors (i.e. single

multilinear mappings), though of a different type (although this is not usually why one often says "tensor" when one really means "tensor field"). First, we may

consider the set of all smooth (C∞) vector fields on M, (see the section on notation above) as a single space &3; a module over the ring of smooth functions,

C∞(M), by pointwise scalar multiplication. The notions of multilinearity and tensor products extend easily to the case of modules over any commutative ring.

As a motivating example, consider the space of smooth covector fields (1-forms), also a module over the smooth functions. These act on smooth vector

fields to yield smooth functions by pointwise evaluation, namely, given a covector field ω and a vector field X, we define

(ω(X))(p) = ω(p)(X(p)).

Because of the pointwise nature of everything involved, the action of ω on X is a C∞(M)-linear map, that is,

for any p in M and smooth function f. Thus we can regard covector fields not just as sections of the cotangent bundle, but also linear mappings of vector fields

into functions. By the double-dual construction, vector fields can similarly be expressed as mappings of covector fields into functions (namely, we could start

"natively" with covector fields and work up from there).

In a complete parallel to the construction of ordinary single tensors (not fields!) on M as multilinear maps on vectors and covectors, we can regard general (k,l)

tensor fields on M as C∞(M)-multilinear maps defined on l copies of and k copies of into C∞(M).

Now, given any arbitrary mapping T from a product of k copies of and l copies of into C∞(M), it turns out that it arises from a tensor field on M if

and only if it is a multilinear over C∞(M). Thus this kind of multilinearity implicitly expresses the fact that we're really dealing with a pointwise-defined object, i.e.

a tensor field, as opposed to a function which, even when evaluated at a single point, depends on all the values of vector fields and 1-forms simultaneously.

A frequent example application of this general rule is showing that the Levi-Civita connection, which is a mapping of smooth vector fields taking

a pair of vector fields to a vector field, does not define a tensor field on M. This is because it is only R-linear in Y (in place of full C∞(M)-linearity, it satisfies the

Leibniz rule, )). Nevertheless, it must be stressed that even though it is not a tensor field, it still qualifies as a geometric object with

a component-free interpretation.

Applications

The curvature tensor is discussed in differential geometry and the stress–energy tensor is important in physics and mathematics of these are related by Einstein's

theory of general relativity.

In electromagnetism, the electric and magnetic fields are combined into an electromagnetic tensor field.

It is worth noting that differential forms, used in defining integration on manifolds, are a type of tensor field.

Tensor calculus

In theoretical physics and other fields, differential equations posed in terms of tensor fields provide a very general way to express relationships that are both

geometric in nature (guaranteed by the tensor nature) and conventionally linked to differential calculus. Even to formulate such equations requires a fresh

notion, the covariant derivative. This handles the formulation of variation of a tensor field along a vector field. The original absolute differential calculus notion,

which was later called tensor calculus, led to the isolation of the geometric concept of connection.

An extension of the tensor field idea incorporates an extra line bundle L on M. If W is the tensor product bundle of V with L, then W is a bundle of vector spaces

of just the same dimension as V. This allows one to define the concept of tensor density, a 'twisted' type of tensor field. A tensor density is the special case

where L is the bundle of densities on a manifold, namely the determinant bundle of the cotangent bundle. (To be strictly accurate, one should also apply the

absolute value to the transition functions – this makes little difference for an orientable manifold.) For a more traditional explanation see the tensor density

article.

One feature of the bundle of densities (again assuming orientability) L is that Ls is well-defined for real number values of s; this can be read from the transition

functions, which take strictly positive real values. This means for example that we can take a half-density, the case where s = ½. In general we can take sections of

W, the tensor product of V with Ls, and consider tensor density fields with weight s.

Half-densities are applied in areas such as defining integral operators on manifolds, and geometric quantization.

When M is a Euclidean space and all the fields are taken to be invariant by translations by the vectors of M, we get back to a situation where a tensor field is

synonymous with a tensor 'sitting at the origin'. This does no great harm, and is often used in applications. As applied to tensor densities, it does make a

difference. The bundle of densities cannot seriously be defined 'at a point'; and therefore a limitation of the contemporary mathematical treatment of tensors is

that tensor densities are defined in a roundabout fashion.

As an advanced explanation of the tensor concept, one can interpret the chain rule in the multivariable case, as applied to coordinate changes, also as the

requirement for self-consistent concepts of tensor giving rise to tensor fields.

Abstractly, we can identify the chain rule as a 1-cocycle. It gives the consistency required to define the tangent bundle in an intrinsic way. The other vector

bundles of tensors have comparable cocycles, which come from applying functorial properties of tensor constructions to the chain rule itself; this is why they also

are intrinsic (read, 'natural') concepts.

What is usually spoken of as the 'classical' approach to tensors tries to read this backwards – and is therefore a heuristic, post hoc approach rather than truly a

foundational one. Implicit in defining tensors by how they transform under a coordinate change is the kind of self-consistency the cocycle expresses. The

construction of tensor densities is a 'twisting' at the cocycle level. Geometers have not been in any doubt about the geometric nature of tensor quantities; this

kind of descent argument justifies abstractly the whole theory.

Generalizations

Tensor densities

The concept of a tensor field can be generalized by considering objects that transform differently. An object that transforms as an ordinary tensor field under

coordinate transformations, except that it is also multiplied by the determinant of the Jacobian of the inverse coordinate transformation to the wth power, is

called a tensor density with weight w.[2] Invariantly, in the language of multilinear algebra, one can think of tensor densities as multilinear maps taking their

values in a density bundle such as the (1-dimensional) space of n-forms (where n is the dimension of the space), as opposed to taking their values in just R.

Higher "weights" then just correspond to taking additional tensor products with this space in the range.

A special case are the scalar densities. Scalar 1-densities are especially important because it makes sense to define their integral over a manifold. They appear, for

instance, in the Einstein–Hilbert action in general relativity. The most common example of a scalar 1-density is the volume element, which in the presence of a

metric tensor g is the square root of its determinant in coordinates, denoted . The metric tensor is a covariant tensor of order 2, and so its determinant

scales by the square of the coordinate transition:

More generally, any tensor density is the product of an ordinary tensor with a scalar density of the appropriate weight. In the language of vector bundles, the

determinant bundle of the tangent bundle is a line bundle that can be used to 'twist' other bundles w times. While locally the more general transformation law

can indeed be used to recognise these tensors, there is a global question that arises, reflecting that in the transformation law one may write either the Jacobian

determinant, or its absolute value. Non-integral powers of the (positive) transition functions of the bundle of densities make sense, so that the weight of a density,

in that sense, is not restricted to integer values. Restricting to changes of coordinates with positive Jacobian determinant is possible on orientable manifolds,

because there is a consistent global way to eliminate the minus signs; but otherwise the line bundle of densities and the line bundle of n-forms are distinct. For

more on the intrinsic meaning, see density on a manifold.

See also

Jet bundle

Ricci calculus

Spinor field

Notes

1. The term "affinor" employed in the English translation of Schouten is no longer in use.

2. Hazewinkel, Michiel, ed. (2001) [1994], "Tensor density" (https://www.encyclopediaofmath.org/index.php?title=T/t092390), Encyclopedia of Mathematics,

Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

References

Frankel, T. (2012), The Geometry of Physics (3rd edition), Cambridge University Press, ISBN 978-1-107-60260-1.

Parker, C.B. (1994), McGraw Hill Encyclopaedia of Physics (2nd Edition), McGraw Hill, ISBN 0-07-051400-3.

Lerner, R.G.; Trigg, G.L. (1991), Encyclopaedia of Physics (2nd Edition), VHC Publishers.

C. Misner, K. S. Thorne, J. A. Wheeler (1973), Gravitation, W.H. Freeman & Co, ISBN 0-7167-0344-0.

McMahon, D. (2006), Relativity DeMystified, McGraw Hill (USA), ISBN 0-07-145545-0.

Lambourne [Open University], R.J.A. (2010), Relativity, Gravitation, and Cosmology, Cambridge University Press, ISBN 978-0-521-13138-4.

Schouten, Jan Arnoldus (1951), Tensor Analysis for Physicists, Oxford University Press.

McConnell, A. J. (1957), Applications of Tensor Analysis, Dover Publications.

Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and

Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.

- 4310_HW5Uploaded byGag Paf
- Notice-NDA-I-2019-Engl.pdfUploaded byHimanshu mishra
- 324FinalExam 15ece1 SolutionUploaded byKỳ Trí Nguyễn
- Tensors, Contravariant and CovariantUploaded bymarcelo
- Lie Group LecturesUploaded byjavamanprime
- Vector FieldsUploaded byPrasanta Naskar
- Paper-1 a Note on Generalized Almost P-sasakian StructureUploaded byRachel Wheeler
- Kerr GeometryUploaded byAnusar Farooqui
- Tensor AnalysisUploaded byLuis Fernando Nicolini
- DiffeoDemons-NeuroImage08-VercauterenUploaded byNikola Mijailović
- Curve alignment with known correspondencesUploaded byamadeus84
- Horman Der CompanionUploaded byMarty Raymond
- mathgen-877526717Uploaded byTravis Bennett
- A Visconti-Introductory Differential Geometry for Physicists-Wspc (1992) (1)Uploaded byÍcaro Samir
- iiib sc vsem mathematicsUploaded byapi-374723435
- MATH2315_001_Davis_Sp14Uploaded byTuan Phan Nguyen
- stokes problemUploaded byMazikeen Morningstar
- BTech EC Scheme & Syllabus 2012Uploaded bykldfurio111
- fourierUploaded bySourav Chatterjee
- ABB Robot Coordinate SystemsUploaded byJacob Trahan
- Dc Ct 170811Uploaded byJoo-Hyun Yoo
- Lin Alg Lecture NotesUploaded bypattyq12
- Upper & Lower Contour SetsUploaded byAbraham Jyothimon
- Programming AssignmentsUploaded byjcvoscrib
- Geometric Modeling MortensonUploaded byMadhava Reddy
- mathgen-1357109914Uploaded byRodrigo San Jose
- Pyramid SolUploaded byaaaaa987
- Method on Holomorphic Vector Functions and Applications in Two Dimensional QuasicrystalsUploaded byManda Ramesh Babu
- Linear Dynamical System KalmanUploaded byNitin Bhitre
- Mathematics Mains SyllabusUploaded byharshmyks1991

- Tensor CalculusUploaded byjosgau
- CircuiTikZ 0.8.3 -Massimo Redaelli & Stefan Lindner & Stefan ErhardtUploaded byJacobo Simonides
- Ley de AmpèreUploaded byjosgau
- Geometric CalculusUploaded byjosgau
- TensorUploaded byjosgau
- Theory of RelativityUploaded byjosgau
- Riemann Curvature TensorUploaded byjosgau
- Magnetic CircuitUploaded byjosgau
- Aplicación LinealUploaded byjosgau
- Qué es un imán.docxUploaded byCornelio Fernandez
- Geometría analíticaUploaded byjosgau
- Tullio Levi CivitaUploaded byjosgau
- ElectromecánicaUploaded byjosgau
- Density on a ManifoldUploaded byjosgau
- Volume nUploaded byjosgau
- Transformación afínUploaded byjosgau
- Energía RenovableUploaded byjosgau
- ArduinoUploaded byjosgau
- Differential GeometryUploaded byjosgau
- Electric Power SystemUploaded byjosgau
- Mathematical AnalysisUploaded byjosgau
- Green VehicleUploaded byjosgau
- Line ElementUploaded byjosgau
- FibradoUploaded byjosgau
- Geometría analíticaUploaded byjosgau
- Dualidad de PontryaginUploaded byjosgau
- Super Fi CieUploaded byjosgau
- Absolute Differential Form in NLabUploaded byjosgau
- Geometría No EuclidianaUploaded byjosgau

- Mql4 CourseUploaded byKolyo Dankov
- 3HAC18152-1_RevB_enUploaded bySusheel Shukla
- A Modal Series Representation of Genesio Chaotic SystemUploaded byijicsjournal
- Design of Experiments OverviewUploaded bydaveawoods
- BEST_SQL_PLSQL_material.rtfUploaded byRavisankar Periasamy
- Mole Concept StoichiometryUploaded bytapas kundu
- BroadbandUploaded byradeeyjd
- Learning Haskell Data Analysis - Sample ChapterUploaded byPackt Publishing
- Poisson's RatioUploaded byksheikh777
- unit 1Uploaded bysimalaravi
- The Golden Ratio in Graphic DesignUploaded byHassan
- E15lab4 TheveninUploaded bymonighos
- FEM 16Node 37MemUploaded byJan Alexis Monsalud
- EE215_Lab4Uploaded byLynn Franklin
- xid-4523473_1Uploaded bymic_sim_mou
- Ansys Lab ManualUploaded bysourav
- (eBook) Nasa - Fault - Tree - HandbookUploaded byEdgardo Boiero
- Fuzzy Logic Controller Based Energy Management for a Grid-Connected Wind/Fuel Cell/Battery Hybrid Renewable Energy SystemUploaded byIJRASETPublications
- E-7000_RAS_05-2012Uploaded byPravesh Kumar Thakur
- CNC Micromilling Properties and Optimization Using Genetic AlgoritmosUploaded bygande10
- BP & Chevron - Cement ManualUploaded byellswors
- Physics 12 NotesUploaded byBobby Barnes
- Bezier Curves and SurfacesUploaded byWade Tang
- sp1 - derivativesUploaded byapi-302403854
- I K Rana: Technology and Math Education - What? Why? How?Uploaded byAmber Habib
- Eamcet UsefulUploaded byGarlapati Srinivasa Rao
- ACM ICPCUploaded bynakul salat
- Mechanical Engineering Reference Manual - HVAC sectionUploaded byMax Phillips
- SyllabusUploaded byKaushiikBaskaran
- Metodologías de MuestreoUploaded byGabrielSantelices