[Math] Tensors as geometric objects

definitiontensors

Wikipedia's article on tensors starts with:

"Tensors are geometric objects…"

https://en.wikipedia.org/wiki/Tensor

However there is no definition of "geometric object" in Wikipedia. To my amateur mind, "geometric object" relates to things like polygons and polyhedra, but I fail to grasp the connection between these kind of objects and tensors. What would be a good definition of "geometric object", when it is used to describe tensors?

Best Answer

$\newcommand{\Reals}{\mathbf{R}}\newcommand{\Basis}{\mathbf{e}}$"Geometric" here sounds like a breezy way of saying: Tensors are usually expressed and manipulated in terms of a coordinate system, but (thanks to the way a tensor transforms under change of coordinates) a tensor has an existance independent of a coordinate system.

Mathematicians first used calculus to study physical problems in terms of coordinate systems, and only later learned how to assemble these local investigations into global, coordinate-independent (i.e., "geometric") objects and concepts.

For example, a vector field on the unit sphere $S^{2}$ in $\Reals^{3}$ might be described analytically (in a manner amenable to calculus) by covering the sphere with smoothly-overlapping coordinate systems, and writing the vector field as a linear combination of coordinate vector fields in each chart in such a way that the respective local definitions are compatible where the charts overlap.

By contrast, a geometric version of a vector field on the sphere would be to construct a space $TS^{2}$ from the union of the tangent planes of $S^{2}$ (the space $TS^{2}$ "naturally" sits in $\Reals^{3} \times \Reals^{3} \simeq \Reals^{6}$), and to view a vector field as a mapping $V:S^{2} \to TS^{2}$ that assigns a tangent vector at $p$ to each point $p$ of the sphere.

That is, instead of viewing a tensor (field) as a collection of functions associated to a coordinate system, we might ("geometrically") view a tensor as a mapping from one coordinate-independent space to another. The classical transformation rules for tensor components are built into the construction of $TS^{2}$ and its generalizations to "tensor bundles" over an arbitrary "smooth manifold".

There are substantial conceptual and technical benefits to the geometric picture. For instance, tools of topology might tell us "how many times" two surfaces in $TS^{2}$ intersect each other. Since a smooth vector field on $S^{2}$ defines a special type of surface in $TS^{2}$, knowledge about the geometry of $TS^{2}$ might translate into information about vector fields. (As a loose analogy, "any two non-parallel lines in the Euclidean plane intersect precisely once.") In this particular example, it turns out that a "generic" smooth vector field on the sphere has precisely two zeros, counting multiplicity.