9.1.4 Tensor Coordinate Change Scope

Tensor Coordinate Change Scope is the specific region — the overlap of two coordinate charts' individual domains, further restricted to wherever the transition map between them is smoothly invertible — over which a change-of-coordinates transformation, and the corresponding tensor transformation law built from its Jacobian, is actually valid and may be applied to convert components from one coordinate system into the other. It differs from the scope of a single coordinate assignment by being inherently a property of a pair of charts together: the scope of a coordinate change is never larger than the overlap of the two individual charts' scopes, and can be smaller still if the transition map itself misbehaves somewhere within that overlap.

Defining the Scope of a Coordinate Change

Bounded Above by the Overlap of the Two Charts

If chart x has scope (domain) U and chart x̄ has scope Ū, a coordinate change between them can only be defined on the intersection U ∩ Ū, since outside this intersection at least one of the two coordinate systems is simply not assigned; the coordinate change scope is therefore always a subset of this intersection, never larger, regardless of how well-behaved the transition function might otherwise be.

Further Restricted by the Transition Map's Own Behavior

Even within the overlap U ∩ Ū, the transition map x̄ = x̄(x) relating the two coordinate systems must itself be smooth and have an invertible Jacobian for the tensor transformation law to apply; if the Jacobian degenerates at some point within the overlap, the coordinate change scope excludes that point even though both individual charts remain separately valid there, since the transformation rule connecting them specifically breaks down at that location.

Why the Scope Can Shrink Further Than Expected

An Otherwise Well-Behaved Overlap With a Bad Transition Function

Two charts can each individually have generous, well-behaved scopes, and their overlap can be a sizable region, while the transition function relating them is nonetheless singular or non-invertible at isolated points or along a subregion of that overlap; the coordinate change scope in such a case is the overlap with those problematic points or subregions excluded, illustrating that the change scope is a genuinely separate, and generally smaller, notion than either chart's individual scope or their simple set-theoretic overlap.

Multiple Disconnected Pieces of Overlap

If two charts' domains overlap in more than one disconnected region — as can happen with charts that wrap around a manifold in different ways — the coordinate change scope may itself be disconnected, consisting of separate pieces each requiring its own transition formula to be checked and applied, rather than a single connected region governed by one uniform transition function throughout.

Diagram of a Coordinate Change Scope Shrinking Within an Overlap

Consequences for Tensor Transformation Formulas

A Transformed Component Formula Inherits This Narrower Scope

A tensor component formula obtained by applying the transformation law to convert from one chart's components to another's is valid only within the coordinate change scope, not merely within the broader region where either chart individually happens to be defined; treating the transformed formula as valid throughout one chart's full domain, without checking that the transition map remains well-behaved there, risks applying the formula at points where the transformation itself was never actually justified.

Verifying Scope Before Trusting a Transformed Result

Because the coordinate change scope can be smaller than either chart's own domain, a standard precaution when converting tensor components between two coordinate systems is to explicitly identify the region where the transition map is smooth and invertible before relying on the transformed components there, rather than assuming the transformation law's validity extends automatically to the full extent of the charts involved.