Results 1 to 9 of 9

Math Help - help with differential forms?

  1. #1
    Newbie
    Joined
    Jun 2010
    Posts
    6

    help with differential forms?

    I'm teaching myself from Spivak's Calculus on Manifolds, and am having trouble understanding differential forms the way he's explaining them. Are they multilinear functions still? Or are they something completely different? Or are they a formalization of vector fields?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23
    when limited to the tangent space of a certain point, differential forms are multi-linear functions. While the existence of a global smooth form depends on the topology of the underlying manifold.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jun 2010
    Posts
    6
    so basically, a differential form is a function that assigns a tensor to each point of  R ^n? And a vector field is just a kind of differential form? Or do I have this totally wrong?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23
    they're both tensors with different types. A vector is a tensor of type (1, 0), while a form like dx \wedge dy is of type (0,2). So vectors are not differential forms.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1
    Quote Originally Posted by enderwiggin View Post
    so basically, a differential form is a function that assigns a tensor to each point of  R ^n? And a vector field is just a kind of differential form? Or do I have this totally wrong?
    There is a one-to-one correspondence between vector fields and one-forms, in the same way there is a one-to-one correspondence between linear forms on V, and maps of the form <\cdot, u> = f_u: v \mapsto <v,u>.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Jun 2010
    Posts
    6
    So then what does it mean to integrate a differential form?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1
    Keep reading!

    Integration of a one-form along a curve is the familiar line integral from vector calculus (i.e. the work integral).
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Newbie
    Joined
    Jun 2010
    From
    Yinchuan City, Ningxia Autonomous Region, P R China
    Posts
    3
    Hi Enderwiggin!
    I suggest you read Marian Fecko's 'Differential Geometry and Lie Groups for Physicists'. This is a great book!!! You will clearly know almost everything in Differential Geometry if you read it and do the exercises in the book!!!

    1.If you are dealing with the vector spaces defined on a single point of a manifold, the covectors are just the elements in the dual space of the tangent vector space. This tanget vector space is actually a finite dim linear algebra over R. Further more, you are able to use the multi-linear map to define tensors on that point. These tensors span a linear space over R. Using the tensor product, tensors form the Tensor Algebra over R.Then, use the anti-symmetric operator(this is actually a projection operator) act on the tensor of type (0,p). You get some anti-symmetric 'covectors'. These anti-symmetic (0,p) tensors with the wedge product form an algebra, which is called the exteria algebra.Those elements are called the forms on a single point...
    2.If you are dealing with the vector field, then you will see that the vector fields an covector fields are actually infinite dim algebras over R. We cannot use a infinite dim stuff. So, as we already know that the functions defined on a chart of a manifold forms a infinite dim linear algebra, called F(M), we then just treat the (co)vector fields as the Modules over F(M) with finite generators! Then you are able to easily use some F-linear maps to define the tensor fields... and use anti-symmetric operators to get he form fileds!
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Newbie
    Joined
    Jun 2010
    From
    Yinchuan City, Ningxia Autonomous Region, P R China
    Posts
    3
    Hi Enderwiggin!
    I suggest you read Marian Fecko's 'Differential Geometry and Lie Groups for Physicists'. This is a great book!!! You will clearly know almost everything in Differential Geometry if you read it and do the exercises in the book!!!

    1.If you are dealing with the vector spaces defined on a single point of a manifold, the covectors are just the elements in the dual space of the tangent vector space. This tanget vector space is actually a finite dim linear algebra over R. Further more, you are able to use the multi-linear map to define tensors on that point. These tensors span a linear space over R. Using the tensor product, tensors form the Tensor Algebra over R.Then, use the anti-symmetric operator(this is actually a projection operator) act on the tensor of type (0,p). You get some anti-symmetric 'covectors'. These anti-symmetic (0,p) tensors with the wedge product form an algebra, which is called the exteria algebra.Those elements are called the forms on a single point...
    2.If you are dealing with the vector field, then you will see that the vector fields an covector fields are actually infinite dim algebras over R. We cannot use a infinite dim stuff. So, as we already know that the functions defined on a chart of a manifold forms a infinite dim linear algebra, called F(M), we then just treat the (co)vector fields as the Modules over F(M) with finite generators! Then you are able to easily use some F-linear maps to define the tensor fields... and use anti-symmetric operators to get he form fileds!
    Remember that this time the tnsor fields are all modules over F(M)! Then, use the wedge and direct sum, you get the algebra of forms: Cartan Algebra.
    Futher more, if you have Cartan Algebra, you can define the exteria derivative operator. Then you get the de-Rahm cohomology group and Poincare Lemma. These two stuff are related to the topology of the manifold.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Differential forms
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: August 23rd 2011, 12:50 PM
  2. problem with differential forms -example
    Posted in the Differential Geometry Forum
    Replies: 10
    Last Post: May 14th 2011, 04:45 PM
  3. differential forms on a manifold
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: December 7th 2010, 01:39 PM
  4. Differential Forms
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: December 17th 2009, 01:17 AM
  5. Differential Forms
    Posted in the Calculus Forum
    Replies: 2
    Last Post: April 14th 2009, 06:00 PM

Search Tags


/mathhelpforum @mathhelpforum