One-form (differential geometry)
Indifferential geometry,aone-form(orcovector field) on adifferentiable manifoldis adifferential formof degree one, that is, asmoothsectionof thecotangent bundle.[1]Equivalently, a one-form on a manifoldis a smooth mapping of thetotal spaceof thetangent bundleoftowhose restriction to each fibre is a linear functional on the tangent space.[2]Symbolically,
whereis linear.
Often one-forms are describedlocally,particularly inlocal coordinates.In a local coordinate system, a one-form is a linear combination of thedifferentialsof the coordinates: where theare smooth functions. From this perspective, a one-form has acovarianttransformation law on passing from one coordinate system to another. Thus a one-form is an order 1 covarianttensor field.
Examples
[edit]The most basic non-trivial differential one-form is the "change in angle" formThis is defined as the derivative of the angle "function"(which is only defined up to an additive constant), which can be explicitly defined in terms of theatan2function. Taking the derivative yields the following formula for thetotal derivative: While the angle "function" cannot be continuously defined – the function atan2 is discontinuous along the negative-axis – which reflects the fact that angle cannot be continuously defined, this derivative is continuously defined except at the origin, reflecting the fact that infinitesimal (and indeed local)changesin angle can be defined everywhere except the origin. Integrating this derivative along a path gives the total change in angle over the path, and integrating over a closed loop gives thewinding numbertimes
In the language ofdifferential geometry,this derivative is a one-form on thepunctured plane.It isclosed(itsexterior derivativeis zero) but notexact,meaning that it is not the derivative of a 0-form (that is, a function): the angleis not a globally defined smooth function on the entire punctured plane. In fact, this form generates the firstde Rham cohomologyof the punctured plane. This is the most basic example of such a form, and it is fundamental in differential geometry.
Differential of a function
[edit]Letbeopen(for example, an interval), and consider adifferentiable functionwithderivativeThe differentialassigns to each pointa linear map from the tangent spaceto the real numbers. In this case, each tangent space is naturally identifiable with the real number line, and the linear mapin question is given by scaling byThis is the simplest example of a differential (one-)form.
See also
[edit]- Differential form– Expression that may be integrated over a region
- Inner product– Generalization of the dot product; used to define Hilbert spaces
- Reciprocal lattice– Fourier transform of a real-space lattice, important in solid-state physics
- Tensor– Algebraic object with geometric applications
References
[edit]- ^"2 Introducing Differential Geometry‣ General Relativity by David Tong".damtp.cam.ac.uk.Retrieved2022-10-04.
- ^McInerney, Andrew (2013-07-09).First Steps in Differential Geometry: Riemannian, Contact, Symplectic.Springer Science & Business Media. pp. 136–155.ISBN978-1-4614-7732-7.