9.23.2 Tensor Coordinate Definition Boundary

Understanding the boundaries and definitions of tensor coordinates in algebraic structures and their mathematical applications.

Tensor Coordinate Definition Boundary is the precise limit marking which assignments of numbers to points, or which coordinate charts, qualify as valid coordinate systems for tensor purposes, and where such an assignment ceases to define legitimate coordinates because it fails smoothness, invertibility, or completeness requirements.

Requirements for a Valid Coordinate Definition

Smooth Invertibility

A coordinate system on a region is defined by a map assigning to each point an (n)-tuple of real numbers, and this map qualifies as valid coordinates only where it is smooth and has a smooth inverse, so that nearby points receive nearby coordinate values and distinct points always receive distinct coordinate tuples.

x : U \to ℝ^{n}

Where this map fails to be invertible, or fails to be smooth, the region lies outside the coordinate definition boundary, and points there cannot be assigned well-defined coordinate-based tensor components.

Nonvanishing Jacobian

The boundary of validity is tested locally by the Jacobian determinant of the coordinate map; wherever this determinant vanishes, the coordinate definition breaks down at that point even if it remains valid nearby.

\det (\frac{\partial x^{i}}{\partial y^{j}}) \neq 0

Charts and the Limits of a Single Coordinate Definition

Single Charts Rarely Cover an Entire Space

A single coordinate definition, called a chart, is typically valid only over a limited open region; attempting to extend it beyond that region, for instance past a coordinate singularity, takes the definition outside its boundary of validity, which is why manifolds are generally covered by an atlas of multiple overlapping charts rather than one universal coordinate system.

Overlap Consistency at the Boundary Between Charts

Where two coordinate charts overlap, the transition map between them must itself be smooth and invertible; this transition condition defines the boundary at which one coordinate definition hands off validly to another, and a failure of this condition marks a genuine incompatibility between the two coordinate definitions rather than a mere inconvenience.

y^{i} = y^{i} (x^{1}, \dots, x^{n})

Examples at the Boundary

Polar Coordinates at the Origin

Polar coordinates in the plane fail to be a valid coordinate definition exactly at the origin, since the angular coordinate is undefined there and the map from coordinates to points fails to be invertible at that single point; everywhere else in the plane minus the origin, the coordinate definition remains fully valid.

Coordinate Patches Near the Poles of a Sphere

Spherical coordinates on a sphere fail to give a valid coordinate definition at the north and south poles, where the longitude coordinate becomes ill-defined; a complete atlas for the sphere requires additional charts to cover these boundary points, since no single spherical coordinate patch can validly extend across them.

Consequence for Tensor Components

Components Undefined Outside the Boundary

Because tensor components in a coordinate basis are built from the coordinate basis vectors, which are themselves derivatives of the coordinate map, any point outside the coordinate definition boundary has no well-defined coordinate basis and therefore no well-defined tensor components in that coordinate system, regardless of how smooth the underlying tensor field may be intrinsically.

Visual Illustration

Significance of Fixing This Boundary

Precisely delimiting the tensor coordinate definition boundary is what allows coordinate-based tensor calculus to be applied correctly across an entire manifold: by identifying exactly where a given coordinate chart fails, mathematicians know when to switch to an overlapping chart, ensuring that every point of the space is eventually covered by some valid coordinate definition even though no single chart may cover all of it.