Search results
Results From The WOW.Com Content Network
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 ...
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 ...
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.
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 ...
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.
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.
The contravariant basis isn't a very convenient one to use, however it shows up in definitions so must be considered. We'll favor writing quantities with respect to the covariant basis. Since the basis vectors are all constant, vector addition and subtraction will simply be familiar component-wise adding and subtraction. Now, let
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: