9.1.1 Tensor Basis Representation Scope

Tensor Basis Representation Scope is the extent of the underlying space — all of it, or only some open region of it — over which a chosen basis or coordinate system actually provides a valid component representation of tensors, ranging from the unrestricted, whole-space scope of a linear basis on a vector space to the strictly local scope of a coordinate chart on a curved or topologically nontrivial manifold. It is the positive counterpart to the component boundary: rather than cataloguing where representation fails, it names, for a given basis or chart, exactly how much of the space that representation is guaranteed to cover.

Global Scope on a Vector Space

A Linear Basis Covers the Entire Space at Once

A basis {e₁, ..., eₙ} of a vector space V has scope equal to the whole of V: every vector in V, without exception or restriction to any subregion, is expressible as a linear combination of the basis vectors, and every tensor built from V and its dual has components defined relative to that basis at every point of the space simultaneously, since a vector space has no "location" for the basis representation to fail at.

Why Linear Algebra Rarely Discusses Scope Explicitly

Because a vector space basis's scope is automatically the entire space, elementary linear algebra rarely needs to discuss scope as a separate concept at all; the notion only becomes essential once tensors are considered on curved or topologically nontrivial manifolds, where the analogous coordinate basis need not, and typically does not, extend to the whole space.

Local Scope on a Manifold

Coordinate Charts Cover Only an Open Region

A coordinate chart on a manifold assigns coordinates x¹, ..., xⁿ only to points within some open subset of the manifold, and the coordinate basis vectors ∂/∂xⁱ built from that chart are correspondingly defined, and provide a valid tensor component representation, only within that same open subset; the chart's scope is precisely this subset, and outside of it the chart's coordinate functions and coordinate basis simply do not exist.

Why Manifolds Generally Require More Than One Chart

For many manifolds, no single chart's scope covers the entire space, so a full description of tensor fields over the whole manifold requires an atlas — a collection of charts whose scopes together cover the manifold, with each chart's coordinate representation valid only within its own scope and related to any overlapping chart's representation by the appropriate transition transformation on the region where their scopes intersect.

Scope Failures at Special Points and Configurations

Coordinate Singularities Shrink the Effective Scope

A chart's nominal domain of definition may include points at which its coordinate basis actually degenerates — becomes linearly dependent or ill-defined — such as the origin in polar coordinates; the chart's effective scope for tensor representation purposes excludes such points even if the coordinate functions themselves extend to them, since a component representation relying on a degenerate basis is not meaningful there.

Topological Obstructions to a Single Global Chart

Some manifolds cannot be covered by any single chart at all, regardless of how the chart is chosen, because of their global topology; a sphere, for instance, admits no single coordinate system whose scope is the entire sphere without some form of degeneracy or discontinuity, which is a structural fact about the manifold's topology rather than a deficiency of any particular choice of coordinates, and is the fundamental reason an atlas of multiple charts is unavoidable in such cases.

Diagram of Differing Basis Scopes

Extending and Restricting Scope in Practice

Restricting Scope to Avoid a Known Failure Point

When a chart's coordinate basis is known to degenerate at certain points, the standard practice is to explicitly restrict the chart's stated scope to exclude those points, treating the calculation as valid only on the resulting smaller, well-behaved open region and switching to an alternative chart to cover the excluded points if a representation there is needed.

Extending Scope by Combining Charts

Where a single chart's scope is insufficient to cover a region of interest, its scope is extended in practice not by modifying the chart itself but by introducing one or more additional charts whose scopes fill in the gaps, with the transition transformations between overlapping charts ensuring that tensor components computed in one chart's scope can be consistently converted into components valid in an adjacent chart's scope, together giving a complete, if patchwork, representation over the union of all the charts' individual scopes.