So, rather than saying contravariant vectors and covariant vectors are both covariant, we can say vectors and oneforms are both lorentz invariant. What different between covariant metric tensor and. The tensor itself is independent of the coordinate system we are using. When studying tensor calculus the distinction between covariance and contravariance may be obscure and is rarely explained visually. Conventionally, indices identifying the basis vectors are placed as lower indices. If n 2 quantities in a coordinate system are related to n 2 other quantities in another coordinate system by the transformation equations or, by our conventions, they are called components of a contravariant tensor. In multilinear algebra and tensor analysis, covariance and contravariance describe how the. Here are the examples from msdn that i hope will show you what contravariance really means i own these documents now, so if you think something is unclear in the docs, feel free to give me feedback. A brief summary of facts about variance in the common language runtime. Covariance and contravariance of vectors semantic scholar. Then the prototypical example of a contravariant vector is a. Similarly, contravariant vectors can be thought of as scalarvalued linear functions of one covariant vector each, with the following definition.
Thus contravariant vectors often called simply vectors are the simplest kind of contravariant tensor. The following code demonstrates the difference between assignment compatibility, covariance, and contravariance. For instance, a covariant vector is a rankone covariant tensor and thus it is also referred to as a oneform. Chapter 4 covariance, regression, and correlation corelation or correlation of structure is a phrase much used in biology, and not least in that branch of it which refers to heredity, and the idea is even more frequently present than the phrase. If w is a covariant vector, and v a contravariant vector, then vw is defined as wv. But that would be contravariance but again, arrays are not contravariant, they support covariance only. This procedure naturally generalizes to multilinear maps with different numbers of covariant and contravariant arguments and also shows where the transforms like a tensor bit comes from. Introduction to tensors contravariant and covariant vectors rotation in 2space. The covariant and contravariant components of the metric tensor are such that. Chapter 10 vectors and tensors in this chapter we explain how a vector space v gives rise to a family of associated tensor spaces, and how mathematical objects such as linear maps. We wish to write the velocity vector at some time t 0. The rules for transformation of tensors of arbitrary rank are a generalization of the rules for vector transformation. Array covariance delegate covariance variance in generic type parameters conclusion. Converting contravariant or covariant tensors to mixed tensors.
Since you asked for an intuitive way to understand covariance and contravariance, i think this will do. Since vectors and dual vectors may be defined without dependence on a coordinate system, a tensor defined in this way is independent of the choice of a coordinate system. An ordinary matrix is a rank 2 tensor, a vector is a rank 1 tensor, and a scalar is rank 0. Merge covariant into covariance meta stack overflow. Covariance and contravariance of functors, in category theory. Introduction these notes contain an introduction to tensor analysis as it is commonly used in physics, but mostly limited to the needs of this course. Covariance preserves assignment compatibility and contravariance reverses it. To state this strange behavior in the proper jargon, we allow function types to be covariant in their return type and contravariant in their argument type.
Now that we have talked about tensors, we need to figure out how to classify them. Vectors and tensors in curved space time asaf peer1 may 20, 2015 this part of the course is based on refs. Vectors, metric and the connection 1 contravariant and. We present here a brief summary of tensor notation in three dimensions simply to refresh the memory of the reader and provide a smooth introduction to the relativistic tensor notation which follows.
Contravariant and covariant as transforms dy 1 general relativity. Net framework 4, variant type parameters are restricted to generic interface and generic. Lets work in the three dimensions of classical space forget time, relativity, fourvectors etc. First we will explain the distinction between the covariant and contravariant components of vectors, thinking of vectorfields where a vector is defined at a. In cartesian space they must be an orthogonal norm preserving matrix. For example, for a tensor of contravariant rank 2 and covariant rank 1. That is, a parameter that was declared covariant must not occur in any contravariant positions where a position is contravariant if it occurs under an odd number of contravariant type constructors. For what its worth i cleaned up a document i wrote a while ago which tries to give a slightly lesssucky overview of covariance and contravariance without getting tangled in the whole differential geometry of it.
For the contravariant components it is customary to use superscripts for the indices such as j and k. Tensors, contravariant and covariant components of a. Physics stack exchange is a question and answer site for active researchers, academics and students of physics. Covariance and contravariance computer science, whether a type system preserves the ordering. Tensors this will be a brief summary of what we have already covered as it applies to tensors, plus a little about. Change of basis, reciprocal basis vectors, covariant and. A generic type parameter that is not marked covariant or contravariant is referred to as invariant. Introduction in this entire article we will learn all about covariance and contravariance, including what the issues were with development before these two. Jun 15, 2011 similarly, contravariant vectors can be thought of as scalarvalued linear functions of one covariant vector each, with the following definition. Contents i covariant and contravariant components of a vector. Combining mathematical models and computer technologies serves. Useful expressions for the contravariant coordinates of ov are, using the sine rule, 4 covariant coordinates the covariant components of a vector are defined by the transformation 5.
For example, depending on whether the determinant of a is 1, we would characterize vectors as polar vectors or axial vectors. A tensor of type r, s may be defined as a realvalued multilinear function of r dual vectors and s vectors. In physics, a covariant transformation is a rule that specifies how certain entities, such as vectors or tensors, change under a change of basis. This is almost completely unintelligible, since the space which contains the. Hence acceleration is also a contravariant tensor of rank two. The dimension of contravariant vector is the inverse of the covariant vector and hence we expect the behaviour of contravariant vector and covariant vector under coordinate. Jul 21, 2017 to state this strange behavior in the proper jargon, we allow function types to be covariant in their return type and contravariant in their argument type. If n 2 quantities in a coordinate system are related to n 2 other quantities in another coordinate system by the transformation equations or, by our conventions, they are called components of a contravariant tensor of the second rank or of rank two. Indeed, a vector is a tensor of rank one, and a scalar is a tensor of rank zero.
In ndimensional space a tensor of rank n has nn components. Recall that any n linearly independent vectors in n form a basis in n. A covariant tensor of rank two is called a twoform, and so on. Chapter 10 vectors and tensors georgia institute of.
For other uses of covariant or contravariant, see covariance and contravariance disambiguation. Tensors can, in general, have rank greater than 2, and. A di erent metric will, in general, identify an f 2v with a completely di erent ef 2v. Cliquer ici pour le pdf en francais the foolish purpose of this post is to tackle the concept of tensor, while trying to keep it accessible to the widest audience possible. General relativitycontravariant and covariant indices. The duality between covariance and contravariance intervenes whenever a vector or tensor quantity is represented by its components, although modern. 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. Associated to any metric tensor is the quadratic form defined in each tangent space by, if q m is positive for all nonzero x m, then the metric is positivedefinite at m. Contravariant tensors of any rank are derived from the derivative of the coordinate axes. Covariance, in probability theory and statistics, the measure of. More compactly, the q are the components of a tensor of type 2.
For example, a bilinear form is the same thing as a 0, 2tensor. A polar vector in 3 dimensions 3d is an object which, given a coordinate frame, can be. Tensors, contravariant and covariant components of a vector. Tensor notation tensor notation in three dimensions. Kolkers answer gives the gory detail, but heres a quick and dirty version. Covariant and contravariant tensors physics forums. More generally, if the quadratic forms q m have constant signature independent of m, then the signature of g is this. By combining equations 65 and 66, and exploiting the symmetry of the first two indices. Fact is that covariant doesnt have a wiki description and only 33 questions are.
This table shows important examples of tensors on vector spaces and tensor fields on manifolds. Conversion of mixed tensors into mixed tensors and into covariant or contravariant ones 0 i wanted to know of book suggestions that can help me overcome my fear of indices. Covariance and contravariance computer science wikipedia. Coordinate systems and the role of tensor calculus change of coordinates. I think covariant should be merged into covariance and be a tag synonym for it. One important characteristic is the rank of a tensor, which is the number of indicies needed to specify the tensor. A covariant tensor is obtained by lowering the contravariant indexes of the tensor with the metric tensor. Fact is that covariant doesnt have a wiki description and only 33 questions are tagged with it whereas covariance h. For every contravariant index there is an a transformation and for every covariant index there is a b. Although the assertion covariance and contravariance refer to how coordinates change under a change of basis seems about right, the next few sentences try to say roughly that vectors in v have contravariant components and vectors in v have covariant components. Covariance generic with parameterized type decorated with out covariance is widely used with immutable collections i. Covariance of the dirac equation 5 this is the solution to the problem. Covariance and contravariance in generics microsoft docs.
Contravariant metric tensor coordinate basis covariant. We may play this game in the euclidean space en with its \dot inner product. It is an idea that seems to originate in physics but in fact it is a more a mathematical concept. Physics 221a fall 2019 appendixe introduction to tensor analysis 1.
The contravariant component of any arbitrary vector a is ai with superscript index and covariant component is a i with subscript index are taken to be understood. In fact, einsteins original articulation of relativity could justi. Covariance and contravariance of vectors, in mathematics and theoretical physics. Vectors, metric and the connection 1 contravariant and covariant vectors 1. A covariant 4d formalism to establish constitutive models. 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. Vectors, contravariant and covariant penn engineering.
Converting contravariant or covariant tensors to mixed. In the mathematical field of differential geometry, one definition of a metric tensor is a type of function which takes as input a pair of tangent vectors v and w at a point of a surface or higher dimensional differentiable manifold and produces a real number scalar gv, w in a way that generalizes many of the familiar properties of the dot product of vectors in euclidean space. The valence of a tensor is the number of variant and covariant terms, and in einstein notation, covariant components have lower indices, while contravariant components have upper indices. Introduction using the equivalence principle, we have studied the trajectories of free test particles. The terms contravariant and covariant apply based on how they are derived. Covariance and contravariance are collectively referred to as variance. Covariance and contravariance of vectors wikipedia. Aug 03, 2006 essentially, there is no difference between the covariant and contravariant forms of the metric in the sense that they both measure things. This produces a new tensor with the same index structure as the previous tensor, but with lower index generally shown in the same position of the contracted upper index. Covariance and contravariance are terms that are used in different ways in the theory of objectoriented programming and they sound advanced and difficult but in fact the idea they they encapsulate is very, very simple. Co and contravariant tensor components without coordinates. Covariance and contravariance of vectors infogalactic. What are the physical differences between contravariant.
The contravariant components of a tensor, for example, are obtained by resolving the tensor into components in terms of the socalled coordinate basis vectors. Physics 221a fall 2019 appendixe introduction to tensor. The transformation that describes the new basis vectors as a linear combination of the old basis vectors is defined as a covariant transformation. The presentation is based on how various quantities transform under coordinate transformations, and is fairly standard. If you have a metric texgtex on a manifold then it is usually regarded as being a map which takes two vectors into a real number. Essentially, there is no difference between the covariant and contravariant forms of the metric in the sense that they both measure things.
1619 1108 1308 104 1505 940 1588 1287 1083 813 1612 1340 1435 521 835 980 1409 265 92 178 1130 800 1161 738 438 523 1438 532 1043 576 162 38 518 269