9.9.4 Tensor Coordinate Domain Context

Tensor Coordinate Domain Context is the set of conditions that the specific region of space over which a coordinate system is defined must satisfy in order for that coordinate system to function correctly, together with the practice of remembering which region those conditions were verified for whenever the coordinate system is subsequently used; it isolates the domain itself as the object of scrutiny, apart from the coordinate map or the neighboring charts, focusing on what makes a given region a legitimate home for a coordinate system in the first place.

Conditions a Domain Must Satisfy

Openness of the Region

A coordinate domain is required to be an open region of the space, meaning every point within it has some surrounding neighborhood also entirely contained within the domain; this openness ensures that coordinate lines and coordinate basis vectors, which require differentiation, can be formed at every point of the domain without running into its edge.

Exclusion of Singular Points

Certain points must often be excluded from a coordinate domain because the coordinate map fails to remain one-to-one or invertible there; polar-type coordinates, for instance, typically exclude the origin, since direction becomes undefined at that single point even though radius remains well defined.

Why the Domain Context Must Be Remembered

Formulas Derived on a Domain Do Not Extend Automatically

A component formula, a basis vector expression, or a transformation rule derived using a coordinate system carries an implicit assumption that the point in question lies within that coordinate system's domain; nothing in the formula itself signals this restriction, so the domain context must be carried alongside the formula by the person using it.

Domains May Be Connected or Disconnected

A coordinate domain need not be a single connected piece of the space; some coordinate systems are naturally defined on domains consisting of several separate pieces, and any statement about the coordinate system holding "throughout the domain" must be understood as applying to every piece independently, without implying any relationship between them.

Domain Context Versus Related Notions

Domain Context Versus Chart Context

The domain context concerns the properties of the region itself — its openness, its connectedness, which points it excludes — while the broader chart context concerns the region together with its coordinate map and its relationship to other overlapping charts; domain context is the narrower notion, focused on the region alone.

Domain Context and the Label Set

The size of the coordinate label set is fixed by the dimension of the ambient space, not by the particular domain chosen within it; a smaller or larger domain does not change how many coordinate labels are needed, only how much of the space those labels are permitted to describe.

Diagram of a Coordinate Domain With an Excluded Point

Consequences of a Carefully Specified Domain Context

It Prevents Applying Coordinate Formulas Where They Fail

Explicitly tracking the domain context prevents the mistake of applying a coordinate-derived formula at an excluded point, or outside the region where the coordinate map was ever shown to be invertible, avoiding conclusions that rest on an undefined or ill-behaved coordinate assignment.

It Clarifies When a Second Chart Is Required

Recognizing precisely which points a domain excludes clarifies exactly where a second, overlapping chart is needed to describe the space fully, since the excluded points of one domain must be covered by the domain of some other chart if the whole space is to be described using coordinates.