Search results
Results From The WOW.Com Content Network
Consequently, a general curvilinear coordinate system has two sets of basis vectors for every point: {b 1, b 2, b 3} is the contravariant basis, and {b 1, b 2, b 3} is the covariant (a.k.a. reciprocal) basis. The covariant and contravariant basis vectors types have identical direction for orthogonal curvilinear coordinate systems, but as usual ...
The first is that vectors whose components are covariant (called covectors or 1-forms) actually pull back under smooth functions, meaning that the operation assigning the space of covectors to a smooth manifold is actually a contravariant functor. Likewise, vectors whose components are contravariant push forward under smooth mappings, so the ...
As before, , are covariant basis vectors and b i, b j are contravariant basis vectors. Also, let (e 1, e 2, e 3) be a background, fixed, Cartesian basis. A list of orthogonal curvilinear coordinates is given below.
At each point of a manifold, the tangent and cotangent spaces to the manifold at that point may be constructed. Vectors (sometimes referred to as contravariant vectors) are defined as elements of the tangent space and covectors (sometimes termed covariant vectors, but more commonly dual vectors or one-forms) are elements of the cotangent space.
In particular, if is a diffeomorphism between open subsets of and , viewed as a change of coordinates (perhaps between different charts on a manifold ), then the pullback and pushforward describe the transformation properties of covariant and contravariant tensors used in more traditional (coordinate dependent) approaches to the subject.
The basis vectors shown above are covariant basis vectors (because they "co-vary" with vectors). In the case of orthogonal coordinates, the contravariant basis vectors are easy to find since they will be in the same direction as the covariant vectors but reciprocal length (for this reason, the two sets of basis vectors are said to be reciprocal ...
Such charts allow the standard vector basis (,,) on to be pulled back to a vector basis on the tangent space of . This is done as follows. This is done as follows. Given some arbitrary real function f : M → R {\displaystyle f:M\to \mathbb {R} } , the chart allows a gradient to be defined:
When interpreted as the matrices of the action of a set of orthogonal basis vectors for contravariant vectors in Minkowski space, the column vectors on which the matrices act become a space of spinors, on which the Clifford algebra of spacetime acts. This in turn makes it possible to represent infinitesimal spatial rotations and Lorentz boosts.