Math 2.0

Global analysis, analysis on manifolds Definition

One-form

Builds on Differential formLine integral of a vector fieldPartial derivativeVector fieldConservative vector field

Definition

Let U⊆ℝnU \subseteq \mathbb{R}^n be open. A one-form on UU is a differential form of degree 11, that is, a sum ω=f1 dx1+⋯+fn dxn\omega = f_1 \, dx_1 + \dots + f_n \, dx_n with functions fi ⁣:U→ℝf_i \colon U \to \mathbb{R}. At x∈Ux \in U, it gives the linear map ωx(v)=f1(x)v1+⋯+fn(x)vn\omega_x(v) = f_1(x) v_1 + \dots + f_n(x) v_n for v∈ℝnv \in \mathbb{R}^n.

Remarks

For a differentiable function gg on UU, the differential of gg is the one-form dg=∑i∂g∂xi dxidg = \sum_i \frac{\partial g}{\partial x_i} \, dx_i. So dgx(v)dg_x(v) is the directional derivative of gg at xx in direction vv. For a continuous ω\omega and a piecewise C1C^1 curve γ ⁣:[a,b]→U\gamma \colon [a, b] \to U, the integral is ∫γω=∫abωγ(t)(γ′(t)) dt\int_\gamma \omega = \int_a^b \omega_{\gamma(t)}\big( \gamma'(t) \big) \, dt. This is the line integral of the vector field (f1,…,fn)(f_1, \dots, f_n). Under this correspondence, dgdg corresponds to ∇g\nabla g, and ω\omega is of the form dgdg exactly when the field is conservative. On ℝ2∖{0}\mathbb{R}^2 \setminus \{0\}, the angle form dθ=−y dx+x dyx2+y2d\theta = \frac{-y \, dx + x \, dy}{x^2 + y^2} is a one-form. Its integral around a closed curve is 2π2\pi times the winding number of the curve about the origin.

Reading path

To understand this page from the ground up, read these 22 pages in order. The foundations come first.

Show the path as a graph
Euclidean space, object, no evidence levelEuclidean spaceobjectFunction, concept, no evidence levelFunctionconceptFréchet derivative, definition, no evidence levelFréchet derivativedefinitionFunction of several variables, concept, no evidence levelFunction of several v…conceptVector-valued function, concept, no evidence levelVector-valued functionconceptLimit of a function of several variables, concept, no evidence levelLimit of a function o…conceptPartial derivative, concept, no evidence levelPartial derivativeconceptContinuity in R^n, definition, no evidence levelContinuity in R^ndefinitionDifferentiable function of several variables, definition, no evidence levelDifferentiable functi…definitionPartial derivative, definition, no evidence levelPartial derivativedefinitionGradient, definition, no evidence levelGradientdefinitionDifferentiable on an open set, definition, no evidence levelDifferentiable on an …definitionHigher partial derivatives, definition, no evidence levelHigher partial deriva…definitionIterated derivative, definition, no evidence levelIterated derivativedefinitionC^k function characterised by continuous derivatives, statement, no evidence levelC^k function characte…statementDifferential form, definition, no evidence levelDifferential formdefinitionParametrised curve, definition, no evidence levelParametrised curvedefinitionVector field, definition, no evidence levelVector fielddefinitionConservative vector field, definition, no evidence levelConservative vector f…definitionRectifiable curve, definition, no evidence levelRectifiable curvedefinitionLine integral of a vector field, definition, no evidence levelLine integral of a ve…definitionOne-form, definition, no evidence levelOne-formdefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Fréchet derivative definition
  4. Function of several variables concept
  5. Vector-valued function concept
  6. Limit of a function of several variables concept
  7. Partial derivative concept
  8. Continuity in R^n definition
  9. Differentiable function of several variables definition
  10. Partial derivative definition
  11. Gradient definition
  12. Differentiable on an open set definition
  13. Higher partial derivatives definition
  14. Iterated derivative definition
  15. C^k function characterised by continuous derivatives statement
  16. Differential form definition
  17. Parametrised curve definition
  18. Vector field definition
  19. Conservative vector field definition
  20. Rectifiable curve definition
  21. Line integral of a vector field definition
  22. One-form definition

Where this leads

11 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/One-form, Definition and local coordinate description
  2. Web https://en.wikipedia.org/wiki/One-form, Examples
  3. Web https://en.wikipedia.org/wiki/One-form, Differential of a function
About this page
Tag0MTENFBW3Q
URIm2://0MTENFBW3Q
Kinddefinition
WritingW1 stated
MSC58A10
DefinesOne-form
UsesDifferential form, Line integral of a vector field, Partial derivative, Vector field, Conservative vector field

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by