9.1 Tensor Basis Coordinate Scope

Tensor Basis Coordinate Scope is the general concept, spanning both algebraic bases of vector spaces and coordinate charts on manifolds, of the specific domain over which a given choice of basis or coordinate system is defined and usable for expressing tensors in components — a domain that is automatically the entire space in the algebraic case but is typically only a limited open region in the coordinate case, and understanding this difference is what governs when a single basis or chart suffices and when multiple must be assembled together. It is the umbrella notion under which the more specific representation-scope question (how far a particular chosen representation actually reaches) and the coordinate-chart-scope question (how a manifold's charts are pieced together into an atlas) both sit as instances.

Two Distinct Sources of Scope

Algebraic Scope From a Vector Space Basis

When tensors are built purely from a fixed vector space V and its dual, without reference to any manifold, a chosen basis of V has scope equal to all of V: there is no notion of the basis being "valid near some vectors but not others," since linear independence and spanning are global properties holding uniformly across the entire space. This is the simplest and least restrictive form of scope encountered in tensor algebra.

Geometric Scope From a Manifold's Coordinate Chart

When tensors are instead defined as fields over a manifold, varying from point to point, the relevant basis at each point is typically the coordinate basis induced by some chart, and the chart itself is defined only on some open subset of the manifold; the scope of the resulting coordinate basis inherits this restriction, being limited to wherever the chart itself is defined; two different charts on overlapping regions generally induce two different coordinate bases whose scopes overlap only partially.

How the Two Notions of Scope Interact

A Tensor Field Combines Both

A tensor field on a manifold, expressed in a particular chart, uses that chart's coordinate basis (with its geometric, chart-limited scope) to express, at each point within the chart's domain, an underlying algebraic tensor built from the tangent space at that point (whose own basis, restricted to that single tangent space, has the unrestricted algebraic scope described above). The overall scope of the tensor field's component representation in a given chart is therefore governed entirely by the chart's geometric scope, since the algebraic scope at each individual point is never itself the limiting factor.

Multiple Charts Needed When Geometric Scope Falls Short

Because the geometric scope of any single chart is typically less than the entire manifold, a complete component-based description of a tensor field over the whole manifold requires stitching together the restricted-scope representations from an atlas of charts, using the transition transformations on overlaps to ensure that the pieces describe one and the same underlying tensor field consistently.

Diagram Contrasting the Two Kinds of Scope

Consequences for How Scope Is Reported and Used

Scope Must Be Stated Alongside Any Coordinate-Based Result

Because geometric scope can genuinely fail — a chart simply does not describe points outside its domain — any tensor calculation carried out in a specific coordinate system is properly understood as holding only within that system's scope, and extending the result beyond that scope requires either verifying the formula continues to hold in an overlapping chart or re-deriving it there directly, rather than assuming the original chart's formula automatically applies everywhere.

Algebraic Scope Is Rarely the Limiting Concern

Because algebraic basis scope, at a single point or within a single vector space, essentially never fails (a genuine basis, once verified, spans and is independent everywhere in that space), practical concerns about tensor basis coordinate scope in geometric settings are almost always concerns about the geometric, chart-based component of scope rather than the algebraic one, which is why discussions of coordinate scope in differential geometry focus overwhelmingly on chart domains, atlases, and transition functions rather than on properties of linear bases in isolation.