Results 1 to 2 of 2

Math Help - graded Ideal and differential forms

  1. #1
    Member
    Joined
    Oct 2010
    Posts
    131

    graded Ideal and differential forms

    Hello,

    i have a proof of a statement, but i don't understand it very well. I have concrete questions about it and it would be very nice, when someone can help me.

    Let E be a subbundle of TM, we define the (graded) ideal J=\bigoplus_{k=1}^n J^k \; in \; \Omega(M) as follows w \in J^k \;<=> w(X_1,...,X_k)=0 for any sections X_i of E

    Claim: J is locally generated by q linearly independent 1-forms:

    Pf: Choose a local frame  X_1,...,X_n of TM, s.t.  X_1,...,X_{n-q} form a frame of E.
    There is the dual frame of differential 1-forms w_1,...,w_n of TM* and the linearly independent 1-forms w_{n-q+1},..,w_n clearly generate the ideal J.

    Why do they generate the Ideal J????
    What does it mean "generate"? the w_i are 1-forms, i.e. sections: M->TM^*, w_i (p)\in T^{*}_p M.
    and J is the direct sum of k-forms, for k=1,...,n?

    Can you please explain it for me?

    Regards
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23
    means any element in J can be expressed in terms of these q forms.
    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, 11:50 AM
  2. problem with differential forms -example
    Posted in the Differential Geometry Forum
    Replies: 10
    Last Post: May 14th 2011, 03:45 PM
  3. help with differential forms?
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: June 25th 2010, 09:14 AM
  4. Differential Forms
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: December 17th 2009, 12:17 AM
  5. Differential Forms
    Posted in the Calculus Forum
    Replies: 2
    Last Post: April 14th 2009, 05:00 PM

Search Tags


/mathhelpforum @mathhelpforum