This is the main purpose of this article to explore the notion of contravariant and covariant vectors in di. It is the opposite direction from the coordinate transform procedure. Nazrul islams book entitled tensors and their applications. Notice how the contravariant basis vector g is not differentiated. This post is a short introdcution into covariant and contravariant coordinates in terms of linear algebra. There is a hidden use of the metric tensor that converts one of the input vectors to a covariant 1form. Christoffel symbols 657 if the basis vectors are not constants, the rhs of equation f. Covariant and contravariant vectors alok kumar1 iiser, bhopal iti campus gas rahat building govindpura, bhopal 23 india. This is important, because when we move to systems where the basis vectors are no longer constants, the gradient operation does not need to be modified in any way. Transformation of the contravariant and covariant components. The covariant components are the result of a projection, so they are images of a linear form applied to the vector. One is called the contravariant vector or just the vector, and the other one is called the covariant vector or dual vector or onevector. For a covariant transformation, we switch the prime and unprimed, but then due to the nature of the contravariant and covariant vectors, the indices also switches, i. A contravariant tensor in other words a vector, transform oppositely contra to the way basis vectors transform, while a covariant tensor or dual vector transforms in he same way as basis vectors.
It gives me great pleasure to write the foreword to dr. The diagram represents the covariant vectors as arrows, so long as they are in a dual inverse space. Chapter 10 vectors and tensors georgia institute of. Reciprocal base system covariant and contravariant vectors122 7. One is called the contravariant vector or just the vector, and the other one is called the covariant vector or dual vector or. If an object transforms in the same way as basis vectors, its a covariant vector also called a 1form. As always in physics, this notion and the way to talk about it is obscured and the connection to a proper mathematical treatment is left out. The g term accounts for the change in the coordinates. Lets work in the three dimensions of classical space forget time, relativity, fourvectors etc. With covariant and contravariant vectors defined, we are now ready to extend our analysis to tensors of arbitrary rank. This inverse transformation gives rise to the word dual in dual vector space. A case that was particularly often considered is when is a form in one single contravariant vector. I understand covariance in such a manner that i think most developers understand intuitively.
Likewise, vectors whose components are contravariant push forward under smooth mappings, so the operation assigning the space of contravariant vectors to a smooth manifold is a covariant functor. Vectors, contravariant and covariant penn engineering. In the ordered pair, an element of is called a contravariant vector. Now, a position vector is represented by either a row or column of numbers row vector or column vector. But we can instead use the fact that we found above in 1. Kolkers answer gives the gory detail, but heres a quick and dirty version. Covariance and contravariance of vectors wikipedia. This means that they have components that are both covariant and contravariant. We need to replace the matrix elements u ij in that equation by partial derivatives of the kinds occurring in eqs.
In cartesian space they must be an orthogonal norm preserving matrix. The indices are flipped, but this isnt always the inverse of the transformation. The goal is to provide the necessary vocabulary that would enable the reader to be better equipped for understanding continuum mechanics. Abstract vector is a physical quantity and it does not depend on any coordinate system. It should be remarked that the dot product operation simply hides the distinction between covariant and contravariant vectors. Since you asked for an intuitive way to understand covariance and contravariance, i think this will do. Mar 23, 2019 in this video, i describe the meaning of contravariant and covariant vector components. Vectors, metric and the connection 1 contravariant and covariant vectors 1. Before moving on to covariant vectors, we must define the notion of a dual basis. We now examine the dual or covariant vector counterpart to the contravariant vector. Tensors, contravariant and covariant components of a. Tk mn rp is a mixed tensor with contravariant rank 4 and covariant rank 2. As mentioned in a previous video, tensors are invariant under coordinate transformations. An orthonormal basis is selfdual, there no distinction between.
We do so by generalizing the cartesiantensor transformation rule, eq. So we can apply covariant vectors to contravariant vectors to get a scalar. Using the product rule of derivation, the rate of change of the components v. In this video, i describe the meaning of contravariant and covariant vector components. Covariance and contravariance are collectively referred to as variance.
Also this implies that there is the covariant four vector. Even if that sentence does not make sense right now, it will soon, so bear with me. Contravariant and covariant as transforms there is a lot more behind the concepts of contravariant and covariant tensors of any rank than the fact that their basis vectors are mutually orthogonal to each other. The vector space or linear space, mve4 space, or just space of all kcontravariant, covariant tensors tensors of valence k at the point p in a manifold m will be denoted tk. Covariant and contravariant vectors can be interconverted with use of the metric tensor, given by9. Tensors of rank 1, 2, and 3 visualized with covariant and contravariant components. Vectors, metric and the connection 1 contravariant and. Multiplying a point by such a matrix will annihilate its covariant index, leaving a result that has a free contravariant index, making the result be a point.
Similarly, the set of numbers f with downstairs indices is called the components of a covariant vector. Contravariant and covariant components of a vector in a curvinilinear coordinate system. General relativitycontravariant and covariant indices. Contravariant and covariant vectors and tensors so that we can get ready for a discussion of special relativity, we need to take up a distinction between di erent kinds of vectors and tensors based on abstract geometry. The precise rule 11 12 is that the return types of all methods in the interface must be valid covariantly and all the method parameter types. Covariant type fparam occurs in contravariant position in type seqfparam of value guesses. First of all, remember that the reason of having covariant or contravariant tensors is because you want to represent the same thing in a different coordinate system. A generic interface or delegate is called variant if its generic parameters are declared covariant or contravariant. Within the general scheme for the construction of tensors, a covariant vector is identified with a covariant tensor of valency 1.
Since components of ordinary vectors transform oppositely to basis vectors they are often called contravariant vectors. We wish to write the velocity vector at some time t 0. Suppose we are given a system of equations u 1 u 1 x, y, z u 2 u 2 x, y, z. I know the author as a research scholar who has worked with me for several years. A basic explanation of the covariance and contravariance of vectors and of tensors too, since vectors are tensors of rank math1math is best done with the help of a geometric representation or illustration. The relationship between v and v is one of mutual duality, and to. The basis for these names will be explained in the next section, but at this stage it is just a name used to distinguish two types of vector. The second is a brief introduction to coordinatefree geometry, which necessitates a discussion of contravariant and covariant vectors. Obviously, our space coordinates and time variable join to form a contravariant four vector x. Imagine a particle moving along some path in the 2dimensional.
In ndimensional space a tensor of rank n has nn components. Here, each vector y j of the f basis is a linear combination of the vectors x i of the f basis, so that contravariant transformation a vector v in v is expressed uniquely as a linear combination of the elements of the f basis as 2. This article is an attempt to briefly introduce some of the most basic abstractions of differential geometry such as contravariant versus covariant representations of vectors and points, metric and metric tensor and affine connection. One is the notation we use for vectors written as components, especially the einstein summation notation.
Rectangular means that the base vectors are mutually perpendicular. The property of transforming with basis vectors gives rise to the co in covariant vector and its shorter form covector. The terms contravariant and covariant apply based on how they are derived. Cartesian means that all three coordinates have the same physical units 12, p90. The same notion appears in quantum mechanics as ket and bra vectors and we compare the two equivalent situation via the completeness relation. Since this gives us two choices for each transformation. For a given nonorthogonal basis a, b, c, we can always construct an. What are the physical differences between contravariant and. Covariance and contravariance computer science wikipedia. Covariant differentiation for a contravariant vector consider a vector v v. Then the prototypical example of a contravariant vector is a. A transformation matrix has one contravariant and one covariant index. Thus, contravariant vectors are elements of v and covariant vectors are elements of v. What are the physical differences between contravariant.
This covariant contravariant distinction doesnt seem to mean much right now because they are the same for this vector v. The degree of this form is called the order of the covariant. The expansion in equation 17 or in equation 18 similar to the orthogo. Secondly, in the classical approach to differential geometry, it is not bases of the tangent bundle that are the most primitive object, but rather. The difference between these two kinds of tensors is how they transform under a continuous change of coordinates. In the lexicon of category theory, covariance and contravariance are properties of functors.
Feb 17, 2010 with the notion of contravariant and covariant components of a vector, we make nonorthogonal basis to behave like orthonormal basis. Lets work in the three dimensions of classical space forget time, relativity, four vectors etc. Vector is a physical quantity and it does not depend on any coordinate system. The covariant derivative of the r component in the q direction is the regular derivative plus another term. The covariant derivative of the r component in the r direction is the regular derivative. An element of the vector space dual to an dimensional vector space, that is, a linear functional linear form on. In the classical theory of invariants was called the covariant of. How to define flatmap for a class with covariantcontravariant type parameters. Preliminaries to studying noneuclidean geometry evocd. The valence or type of a tensor gives the number of covariant and contravariant component indices. Covariance and contravariance support for method groups allows for matching method signatures with delegate types. Although the geometrical view of vectors is fundamental, in practice it is often easier to convert vectors to a set of numbers.
Covariance and contravariance in generics microsoft docs. Covariant transformation is that which preserves the order of types and contravariant transformation is one that reverses it. A generic type parameter that is not marked covariant or contravariant is referred to as invariant. In rowvector notation, the basis vectors themselves are just i ex 1,0,0 j ey 0,1,0 k ez 0,0,1 1. It need to be expanded in some basis for practical calculation and its components do depend on the chosen basis. Introduction to tensors contravariant and covariant vectors rotation in 2space. A brief summary of facts about variance in the common language runtime.
1626 260 1063 1058 416 835 856 1010 1042 1130 674 233 791 576 1017 357 920 1005 1584 123 823 447 1377 583 4 580 1340 535 898 871 273 478 1143 1080 1393