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 ...
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.
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.
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:
The metric g can take up to two vectors or vector fields X, Y as arguments. In the former case the output is a number, the (pseudo-)inner product of X and Y. In the latter case, the inner product of X p, Y p is taken at all points p on the manifold so that g(X, Y) defines a smooth function on M. Vector fields act (by definition) as differential ...