Visualization of contangent vector?

In summary: Kronecker delta. so we have a way of writing this covector in terms of the basis: \alpha = 3 dx^1 + 4dx^2 + 5dx^3 this is a differential 1-form. notice that now we can write the map in terms of it's basis and we've managed to get the covector in terms of the basis. this is the same as what we did for the vector field!this is because we can write any vector in terms of it's basis, and we can write any covector in terms of it's basis, and
  • #1
arivero
Gold Member
3,496
173
I'd like to head about how people visualizes a cotangent vector, ie a differential form. I like to use surfaces of f(x)=cte.
 
Physics news on Phys.org
  • #3
another good way is the physical example that Wald gives in his book "General Relativity":

imagine that you have an antenna (e.g. a vector) in a magnetic field. you can use this antenna to measure the strength of the magnetic field in a given direction: you point it one way, and you get a reading (a real number). so we have a mapping from a vector to a real number (i.e. a linear functional).

the problem seems pointless since there are an unlimited number of possible directions that this antenna can be pointed, and yet we want to represent the entire field. but if i told you that the magnetic field varies in a linear fashion, then all we would have to do is pick 3 linearly independent directions, point the antenna in those directions and get those 3 readings.

those 3 readings form the components of a covector. since any vector is a linear combination of it's basis, then by knowing what values the basis vectors map into we can evaluate a linear functional (covector) on ANY vector. therefore our covector represents the magnetic field in it's entirety (well, at least from the fixed point that we measure it from) whereas our vectors do not.

i am not a physicist, but it is my understanding that this is why maxwell's equations can be expressed elegantly in terms of covectors/forms.
 
  • #4
Another way I use, generalizing the parallel planes idea for a full covector field, is to imagine a set of level curves. Generically, n-1 surfaces.
 
  • #5
Does this have anything to do with the contravariant and covariant representations of a vector? Can u explain the antennae example a bit more. That seems to be a nice way to understand. How are these differential forms related to the "concept of an infinitesimal ie. the way we understand things like dx,dy,dz etc..." ...??Since we integrate on differential forms, I believe there has to be a relation to the way we understand dx,dy etc as something very close to zero but not zero. Can someone explain?
Shankar
 
  • #6
shankarvn said:
Does this have anything to do with the contravariant and covariant representations of a vector? Can u explain the antennae example a bit more. That seems to be a nice way to understand. How are these differential forms related to the "concept of an infinitesimal ie. the way we understand things like dx,dy,dz etc..." ...??Since we integrate on differential forms, I believe there has to be a relation to the way we understand dx,dy etc as something very close to zero but not zero. Can someone explain?
Shankar

Shankar,

As far as what you are calling infinitesmals goes, there is an area called Non-standard Analysis which treats these things as you say (an element of the hypereals, reals that are always less than the lowest real but greater than zero).

But it sounds like what you are getting at is that you sense that there is some deeper connection between calculus and differential forms. and indeed there is. and the deeper reason for that is due to the exterior derivative and the fact that it commutes with respect to something called the pullback map.

this is all summarized in a pivotal equation of differential forms, the Generalized Stokes' Theorem:

[tex] \int _{\partial M} \alpha = \int _{M} d\alpha [/tex]

this equations holds everything about diff. forms, exterior differentiation, vector analysis, the fundamental theorem of calculus, and other things. what it says, is that the integral of the form over the bounday of a manifold is equal to the integral of the exterior derivative of the form over the manifold itself.

for example, let [tex] d\alpha = 2x dx [/tex] and the integration be with respect to a 1-dimensional manifold, defined to be an interval of the real line. this interval has a bounds of a and b, so [tex] M = [a,b] \subseteq R [/tex] this means that the boundary of the manifold [tex] M [/tex] is as follows: [tex] \partial M = \{ a, b\} [/tex]

then:

[tex]\int _{M} d\alpha = \int _{[a,b]} 2x dx [/tex]

and then applying the GST:

[tex]\int _{M} d\alpha = \int _{\partial M} \alpha = \int _{\{a, b\}} \alpha = \int _a ^b x^2 = x^2(b) - x^2(a) [/tex]

which is the fundamental theorem of calculus. notice that the [tex] \int _a ^b x^2 [/tex] has no [tex] dx [/tex] in it. this is because integrating a function (a 0-form) over the bounds it essentially the difference between the function at those two points. this is why in calculus we always "put a [tex] dx [/tex] at the end" even though this was no doubt not explained when we learned calculus. however, remember that in calculus the derivative was definited as a limit, so there is no need to go through defining covectors and such in order to do calculus.

the reason for this has to do with the fact that given a mapping [tex]k[/tex] between manifolds, that [tex] k^{*}(d\alpha) = d(k^{*}(\alpha)) [/tex]

there is a book on differential forms by Weintraube which explains this well and is fairly easy to follow.
 
  • #7
for a more concrete example from the antenna scenario, consider that you point your antenna in 3 different (linearly independent) directions with respect to a particular coordinate system and get 3 different readings. let these 3 linearly independent vectors form a vector basis of [tex] \{ \partial_1, \partial_2, \partial_3 \} [/tex] and let's say, for example, the mapping goes like this for our covector [tex] \alpha : TM_p \rightarrow R[/tex]

[tex] \alpha(\vec{\partial _1}) = 3[/tex]
[tex]\alpha(\vec{\partial _2}) = 4[/tex]
[tex]\alpha(\vec{\partial _3}) = 5[/tex]

so these are the readings our instrument gives when pointed in one of those 3 directions.

remember that:

[tex] dx^i(\partial _j) = \delta ^i _j = \left\{\begin{array}{cc}0,&\mbox{ if }i \neq j\\1, & \mbox{ if }i = j\end{array}\right[/tex]

so our covector is:

[tex] \alpha = 3dx_1 + 4 dx_2 + 5 dx_3[/tex]

and now let's choose an arbitraty vector in [tex]TM_p[/tex], like this one [tex] \vec {v} = 7\partial_1 + 8\partial_2 + 9\partial_3 [/tex] for example.

then by linearity:

[tex] \alpha(\vec{v}) = \alpha(7\partial_1 + 8\partial_2 + 9\partial_3) = \alpha(7\partial_1) + \alpha(8\partial_2) + \alpha(9\partial_3) = 7(\alpha(\partial_1)) + 8(\alpha(\partial_2)) + 9(\alpha(\partial_3)) = (7)(3) + (8)(4) + (9)(5) = 98 [/tex]

you see the idea here? you can visualize a covector as simply being a linear mapping from a vector to a real number. the key is that the covector space has it's own basis of [tex] dx^i [/tex] dual to [tex] \partial_j [/tex]

hope this helps
 
  • #8
Hi quetzalcoatl9

Thanks a lot..That really helped ... I just have one last question. In this antennae example are we not assuming that the field varies linearly??Isn't that a sweeping assumption ??I don't know much about EM theory and maxwell's eqns..But I was just wondering whether we know apriori that the field varies linearly.

Thanks again
Shankar
 
  • #9
Hi quetzalcoatl9
This might not make sense but I still wanted to ask. Can we say that at a pont in the manifold [tex]TM_p [/tex] , the tangent vector has a covariant representation [tex]dx_1[/tex] and a contravariant component [tex]dx^1[/tex].
I was taught that we can think of 2 representations(components) of a vector with respect to a basis and with respect to its dual(reciprocal basis). So are we looking at the tangent vector with respect to its components, with respect to its local basis(call it covariant) and with respect to its reciprocal/dual basis(call it its contravariant comp) . This question is due to the fact that I do not understand the concept of a differential map between tangent spaces. This is because they write out the differential map(Jacobian) between tangent spaces [tex]R^M_{p}\rightarrow R^N_{f(p)} [/tex] and that happens to be the map between the differential forms(cotangent vectors) from what we know " as the way differentials map with respect to coordinate transformation". This kind of forces me to think that cotangent vectors and tangent vectors are kind of representations of the same thing..If you feel I am talking absolute nonsense please ignore this question(do tell me you are ignoring it :smile: ).

Thanks
Shankar
 
  • #10
shankarvn said:
Hi quetzalcoatl9

Thanks a lot..That really helped ... I just have one last question. In this antennae example are we not assuming that the field varies linearly??Isn't that a sweeping assumption ??I don't know much about EM theory and maxwell's eqns..But I was just wondering whether we know apriori that the field varies linearly.

Thanks again
Shankar

i made the assumption that the field varies linearly because i have been told that it does.

i don't know enough about physics to know how someone could figure that out, but it was just a convient example of how such a thing can be modeled.

if the field were not linear, then none of this would apply, since we require (by definition) that our covectors be linear functionals:

[tex] \alpha(\vec{v}) = \alpha(v^i \partial_i) = v^i \alpha(\partial_i) [/tex]

and

[tex] \alpha(\vec{v} + \vec{w}) = \alpha(\vec{v}) + \alpha(\vec{w}) [/tex]
 
  • #11
shankarvn said:
Hi quetzalcoatl9
This might not make sense but I still wanted to ask. Can we say that at a pont in the manifold [tex]TM_p [/tex] , the tangent vector has a covariant representation [tex]dx_1[/tex] and a contravariant component [tex]dx^1[/tex].
I was taught that we can think of 2 representations(components) of a vector with respect to a basis and with respect to its dual(reciprocal basis). So are we looking at the tangent vector with respect to its components, with respect to its local basis(call it covariant) and with respect to its reciprocal/dual basis(call it its contravariant comp) . This question is due to the fact that I do not understand the concept of a differential map between tangent spaces. This is because they write out the differential map(Jacobian) between tangent spaces [tex]R^M_{p}\rightarrow R^N_{f(p)} [/tex] and that happens to be the map between the differential forms(cotangent vectors) from what we know " as the way differentials map with respect to coordinate transformation". This kind of forces me to think that cotangent vectors and tangent vectors are kind of representations of the same thing..If you feel I am talking absolute nonsense please ignore this question(do tell me you are ignoring it :smile: ).

Thanks
Shankar


Shankar,

let me try to help clarify some stuff:

a) [tex] TM_p [/tex] is the tangent space at point [tex] p [/tex] of the manifold [tex] M [/tex]. so some tangent vector [tex] \vec{v} = v^i \partial_i [/tex] is an element of this (linear) vector space [tex] TM_p [/tex]. we may also write this as [tex] \vec{v_p} [/tex] or some ppl use capitals like [tex] X_p [/tex] to be clear that this tangent vector is only defined in the tangent space based at that point.

b) we consider tangent vectors to be linear operators. so for some function [tex] f [/tex] defined in a coordinate chart of [tex] M [/tex], then [tex] \vec{v}(f) = v^i \frac {\partial}{\partial x^i} f [/tex]
note that our tangent vector takes a function and maps it to a real number. this all makes perfect sense because a tangent vector is just the directional derivative of some function. however, given some tangent vector (pick one) our choice of function through that point [tex] p [/tex] really doesn't matter since new components can simply be chosen such that we still have the same vector. this gives us our coordinate independent definition: instead we just write
[tex] \vec{v_p} = v^i \frac {\partial}{\partial x^i} = v^i \partial_i [/tex]

how is this coord. independent you say? let [tex] r^i [/tex] be a coord. system and [tex] s^j = s^j(r^i) [/tex]. so a then a vector [tex] \vec{v} [/tex] is:

[tex] \vec{v_r} = v^i_r \frac {\partial}{\partial x^i_r} [/tex]

in terms of the other coordinates, the same vector is:

[tex] \vec{v_s} = v^j_s \frac {\partial}{\partial x^j_s} = (\frac {\partial x^j_s}{\partial x^i_r} v^i_r)(\frac {\partial x^i_r}{\partial x^j_s}\partial x^i_r) = v^i_r \frac {\partial}{\partial x^i_r} [/tex] right back where we started

i don't like the whole "contravariant/covariant" terminology because it is so confusing. when i think "contravariant" i think of the components of a tangent vector (or the basis of a covector) and when i think "covariant" i think of the basis of a tangent vector and the components of a covector. it sounds to me that you are using them in the exact opposite way, which is something that physicists do. i would just rather not use those words.

c) the differential map is defined as follows:

[tex] df(\vec{v}) = \vec{v}(f) [/tex]

so we define some linear functional [tex] df: TM_p \rightarrow R [/tex]
all this means is that there is some linear functional we call [tex] df [/tex] which when acting on a the vector [tex] \vec{v} [/tex] gives us the same value as [tex] \vec{v} [/tex] acting on [tex] f [/tex]

so to answer your question, yes, there is a covector representation of a tangent vector. the differential map takes our vector basis [tex] \{ \partial_i \} [/tex] to a covector basis [tex] \{ dx^j \} [/tex]

[tex] dx^j(\vec{v}) = \vec{v}(x^j) = v^i \frac {\partial}{\partial x_i} x^j = v^i \delta ^i _j = v^j [/tex]

so our [tex] dx[/tex]'s strip of the jth component of our vectors. the antenna example shows this clearly.

the components of our covectors are the linear functionals acting on the vector, so:

[tex] \alpha = \alpha_j dx^j = \alpha(\partial_j) dx^j [/tex]
[tex] \alpha(\vec{v}) = (\alpha_j dx^j)(\vec{v}) = (\alpha_j dx^j)(v^i \partial_i) = \alpha_j(dx^j(v^i \partial_i)) = \alpha_j v^i dx^j(\partial_i) = \alpha_j v^j = \alpha(\partial_j) v^j [/tex]

in the antenna example, the components of the covector [tex] \alpha [/tex] were [tex] \alpha_1 = \alpha(\partial_1) = 3, \alpha_2 = \alpha(\partial_2) = 4, \alpha_3 = \alpha(\partial_3) = 5 [/tex]

to speak of components in one versus components in the other, we need the metric tensor (inner product) to relate them directly:

[tex] v_j = v^i g_{ij} [/tex]
 

FAQ: Visualization of contangent vector?

1. What is a contangent vector?

A contangent vector is a mathematical concept commonly used in differential geometry. It is a vector that represents the rate of change of a function with respect to its independent variables. In simpler terms, it is a vector that describes the direction and magnitude of change of a function at a specific point.

2. Why is visualization of contangent vectors important?

Visualization of contangent vectors helps us understand the behavior of a function at a specific point. It provides a visual representation of the direction and magnitude of change, which can aid in understanding the overall behavior of the function and its relationship to its independent variables.

3. How is a contangent vector visualized?

Contangent vectors can be visualized as arrows on a graph, with the direction and length of the arrow representing the direction and magnitude of change at a specific point. They can also be represented as a set of coordinates in a coordinate system.

4. What are some practical applications of visualizing contangent vectors?

Visualizing contangent vectors can be useful in various fields such as physics, engineering, and computer graphics. It can help in understanding the behavior of physical systems, designing efficient structures, and creating realistic computer simulations.

5. How can one improve their understanding of visualization of contangent vectors?

To improve understanding, one can practice visualizing contangent vectors in different scenarios and with various functions. It can also be helpful to study the underlying mathematical principles and concepts, such as differential calculus, that govern the behavior of contangent vectors.

Similar threads

Replies
5
Views
2K
Replies
8
Views
2K
Replies
11
Views
3K
Replies
2
Views
2K
Replies
9
Views
1K
Replies
2
Views
4K
Replies
14
Views
2K
Replies
3
Views
2K
Replies
3
Views
3K
Back
Top