# Difference between revisions of "One-form"

en>Jeremy112233 (Disambiguated: discount rate → discount window) |
en>Cydebot m (Robot - Moving category One to Category:1 (number) per CFD at Wikipedia:Categories for discussion/Log/2014 November 19.) |
||

Line 16: | Line 16: | ||

==Examples== | ==Examples== | ||

+ | |||

===Linear=== | ===Linear=== | ||

Many real-world concepts can be described as one-forms: | Many real-world concepts can be described as one-forms: | ||

− | * Indexing into a vector: The second element of a three-vector is given by the one-form [0, 1, 0]. That is, the second element of [''x'' ,''y'' ,''z''] is | + | * Indexing into a vector: The second element of a three-vector is given by the one-form [0, 1, 0]. That is, the second element of [''x'' ,''y'' ,''z''] is |

:: [0, 1, 0] · [''x'', ''y'', ''z''] = ''y''. | :: [0, 1, 0] · [''x'', ''y'', ''z''] = ''y''. | ||

Line 33: | Line 34: | ||

===Differential=== | ===Differential=== | ||

− | {{ | + | {{further|Winding number}} |

The most basic non-trivial differential one-form is the "change in angle" form <math>d\theta.</math> This is defined as the derivative of the angle "function" <math>\theta(x,y)</math> (which is only defined up to a constant), which can be explicitly defined in terms of the [[atan2]] function <math>\operatorname{atan2}(y,x) = \operatorname{arctan}(y/x).</math> Taking the derivative yields the following formula for the [[total derivative]]: | The most basic non-trivial differential one-form is the "change in angle" form <math>d\theta.</math> This is defined as the derivative of the angle "function" <math>\theta(x,y)</math> (which is only defined up to a constant), which can be explicitly defined in terms of the [[atan2]] function <math>\operatorname{atan2}(y,x) = \operatorname{arctan}(y/x).</math> Taking the derivative yields the following formula for the [[total derivative]]: | ||

:<math>\begin{align} | :<math>\begin{align} | ||

Line 42: | Line 43: | ||

While the angle "function" cannot be continuously defined – the function atan2 is discontinuous along the negative ''y''-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) ''changes'' in 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 the [[winding number]]. | While the angle "function" cannot be continuously defined – the function atan2 is discontinuous along the negative ''y''-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) ''changes'' in 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 the [[winding number]]. | ||

− | In the language of [[differential geometry]], this derivative is a | + | In the language of [[differential geometry]], this derivative is a one-form, and it is [[closed differential form|closed]] (its derivative is zero) but not [[exact differential form|exact]] (it is not the derivative of a 0-form, i.e., a function), and in fact it generates the first [[de Rham cohomology]] of the [[punctured plane]]. This is the most basic example of such a form, and it is fundamental in differential geometry. |

==Differential of a function== | ==Differential of a function== | ||

Line 63: | Line 64: | ||

[[Category:Differential forms]] | [[Category:Differential forms]] | ||

− | [[Category: | + | [[Category:1 (number)]] |

[[de:1-Form]] | [[de:1-Form]] |

## Latest revision as of 22:01, 28 November 2014

In linear algebra, a **one-form** on a vector space is the same as a linear functional on the space. The usage of *one-form* in this context usually distinguishes the one-forms from higher-degree multilinear functionals on the space. For details, see linear functional.

In differential geometry, a **one-form** on a differentiable manifold is a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold *M* is a smooth mapping of the total space of the tangent bundle of *M* to whose restriction to each fibre is a linear functional on the tangent space. Symbolically,

where α_{x} is linear.

Often one-forms are described locally, particularly in local coordinates. In a local coordinate system, a one-form is a linear combination of the differentials of the coordinates:

where the *f*_{i} are smooth functions. From this perspective, a one-form has a covariant transformation law on passing from one coordinate system to another. Thus a one-form is an order 1 covariant tensor field.

## Examples

### Linear

Many real-world concepts can be described as one-forms:

- Indexing into a vector: The second element of a three-vector is given by the one-form [0, 1, 0]. That is, the second element of [
*x*,*y*,*z*] is

- [0, 1, 0] · [
*x*,*y*,*z*] =*y*.

- [0, 1, 0] · [

- Mean: The mean element of an
*n*-vector is given by the one-form [1/*n*, 1/*n*, ..., 1/*n*]. That is,

- Sampling: Sampling with a kernel can be considered a one-form, where the one-form is the kernel shifted to the appropriate location.

- Net present value of a net cash flow,
*R*(*t*), is given by the one-form*w*(*t*) := (1 +*i*)^{−t}where*i*is the discount rate. That is,

### Differential

Template:Rellink The most basic non-trivial differential one-form is the "change in angle" form This is defined as the derivative of the angle "function" (which is only defined up to a constant), which can be explicitly defined in terms of the atan2 function Taking the derivative yields the following formula for the total derivative:

While the angle "function" cannot be continuously defined – the function atan2 is discontinuous along the negative *y*-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) *changes* in 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 the winding number.

In the language of differential geometry, this derivative is a one-form, and it is closed (its derivative is zero) but not exact (it is not the derivative of a 0-form, i.e., a function), and in fact it generates the first de Rham cohomology of the punctured plane. This is the most basic example of such a form, and it is fundamental in differential geometry.

## Differential of a function

- {{#invoke:main|main}}

Let be open (e.g., an interval ), and consider a differentiable function , with derivative *f'*. The differential *df* of *f*, at a point , is defined as a certain linear map of the variable *dx*. Specifically, . (The meaning of the symbol *dx* is thus revealed: it is simply an argument, or independent variable, of the function *df*.) Hence the map sends each point *x* to a linear functional *df(x,dx)*. This is the simplest example of a differential (one-)form.

In terms of the de Rham complex, one has an assignment from zero-forms (scalar functions) to one-forms i.e., .

## See also

## References

- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}