Talk:Differential form

Latest comment: 1 year ago by Cosmia Nebula in topic Infix notation is fundamentally evil

How exactly is a differential 1-form dual to a vector space?

edit

The duality page doesn't explicitly talk about how differential forms are dual to anything, or how differential relate to duals. In fact, outside this line: "are naturally dual to vector fields on a differentiable manifold", I cannot find any other source communicating the same detail. GeraldMeyers (talk) 14:45, 12 April 2022 (UTC)Reply

A differential form is a section of the cotangent bundle, and a vector field is a section of the tangent bundle. These two vector bundles are dual to each other, in the sense that each is the dual bundle of the other. In particular, this means that every fiber of the cotangent bundle is the dual vector space of the corresponding fiber of the tangent bundle. Ozob (talk) 15:08, 12 April 2022 (UTC)Reply
I understand that the dual is more general than the transpose, but in simple cases the dual is the transpose, correct? E.g. the tangent space (bundle?) of a unit sphere is the collection of all tangent planes. The dual of a tangent basis is the cotangent basis, which are just transposes of each other? GeraldMeyers (talk) 15:43, 12 April 2022 (UTC)Reply

Closed form redirect

edit

I think that closed form should redirect here, rather than to de Rham cohomology as at present; and also should be disambiguated with respect to the 'closed form solution' meaning.

Charles Matthews 14:03, 11 Nov 2003 (UTC)

Disagree with merging closed and exact differential forms into here

edit
See Talk:Closed and exact differential forms (unsigned comment by Oleg Alexandrov (talk))

A question about a calculating technics of differential forms (using abstract index notation)

edit

In appendice B Differential Forms, Integration, and Frobiniu's Theorem of the book General Relativity written by Robert M. Wald, the book discussed the way to apply Stokes' Theorem to the embedded sub-manifold D of an n-dim (pseudo) Riemannian manifold M,

Wald gave the formula (B.2.24):

 

then he derived (B.2.25):

 

where:

  is an arbitrary tangent vector field on M;

  is the normal covector of the hypersurface   (which is the boundary of the embedded sub-manifold D), and   is normalized  ;

  is the adapted volumn element of the (pseudo) Riemannian manifold M;

  is the adapted volumn element on   (  has an induced mtric  );

So the question is: How to derive (B.2.25) from (B.2.24)?

Aphysicsstudent (talk) 08:38, 28 April 2022 (UTC)Reply

Infix notation is fundamentally evil

edit

As a person who just randomly cruised in with essentially zero preexisting knowledge beyond rusty elementary calculus, I'm presented with f(x, y, z) dxdy + g(x, y, z) dzdx + h(x, y, z) dydz . After staring at the article, I think that's meant to be read as (f(x, y, z) (dxdy)) + (g(x, y, z) (dzdx)) + (h(x, y, z) (dydz)) ... but honestly, I would most naturally read it as (f(x, y, z) dx) ∧ (dy + g(x, y, z) dz) ∧ (dx + h(x, y, z) dy) ∧ dz. That thingy looks like something that should bind very loosely. Maybe it's just me. But, hey, I asked somebody else and he agreed, so that's two of us...

I know that the notation is not going to change, and obviously I'm not actually suggesting using something even more confusing... but are parentheses allowed? If not, perhaps an explanation? I don't dare add either myself because I could easily be dead wrong.

I wish I had a more satisfying answer, but: Wikipedia goes by the usage of reliable sources, and in all reliable sources I'm aware of, binds more tightly than +. Ozob (talk) 21:02, 11 December 2022 (UTC)Reply
It doesn't actually matter, because   by definition, for any scalar functions  . pony in a strange land (talk) 18:47, 2 July 2023 (UTC)Reply