In non-orthogonal coordinate systems, a vector $v$ possesses two distinct sets of components: contravariant $\left(v^a\right)$ and covariant $\left(v_a\right)$, which are extracted by projecting the vector onto different bases. While the contravariant components define how the vector is "built" from the tangent basis $\left(E_a\right)$, they are mathematically isolated by taking the dot product with the dual basis ( $E^a$ ). Conversely, covariant components are found by projecting the vector onto the tangent basis. This reciprocal relationship, governed by the property $E^a \cdot E_b=\delta_b^a$, ensures that the dual basis acts as a "filter" that picks out specific directional magnitudes, providing a complete and symmetric framework for vector decomposition in any curvilinear space.
This sequence diagram illustrates the step-by-step process of vector construction and component extraction as described in the sources, moving from the physical assembly of a vector to its mathematical probing.
---
title: The Mechanics of Vector Construction and Component Extraction
---
sequenceDiagram
autonumber
participant T as Tangent Basis (E_b)
participant V as Vector (v)
participant D as Dual Basis (E^a)
participant K as Kronecker Delta (δ)
Note over T, V: Phase 1: Construction (Building)
T->>V: Scale & sum arrows tip-to-tail ($$v = v^b * E_b$$)
Note right of V: The vector is physically assembled
Note over D, K: Phase 2: Configuration (Reciprocity)
D->>T: Align $$\\ E^a\\ \\text{perpendicular to}\\ E_b\\ $$ partners
T-->>D: Mutual relationship: $$\\ E^a · E_b = \\delta^a_b$$
Note right of D: Dual vectors stretch/rotate to compensate
Note over V, D: Phase 3: Extraction (Probing)
V->>D: Vector is "probed" via dot product ($$E^a · v$$)
D->>K: Apply sifting property to the sum
K-->>D: "Kill" components where a ≠b
D->>D: Isolate specific component ($$v_a$$)
Note over D: Final Result: $$v^a = E^a · v$$
timeline
title The Geometry of Dual Bases and Vector Projection
Resulmation: Visualize why we can use the tangent basis to build the vector
: See how this visualization changes if we make the basis vectors nearly parallel
: How the dual basis vectors rotate and stretch in real-time to maintain their orthogonality as the primary basis vectors close in on each other
IllustraDemo: Dual Basis Vectors Adapt To Skewed Grids: Visualizing Operational Logic and Geometric Stability
Ex-Demo: The Mathematical Sieve - Dual Vectors and the Geometry of Measurement
Narr-graphic: The Geometry of Projection - Navigating Tangent and Dual Bases: Mapping the Operational Flow and Geometric Transitions of Dual Basis Vector Extraction