Differential geometry MOC

Smooth field

An 𝐹-field on a base 𝐢𝛼-manifold 𝑀1 is some 𝐢𝛼-section of a fibre bundle

𝐹→𝐸↠𝑀

The space of fields is thus the space of sections Γ𝛼(𝑀,𝐡).2 diff This generalizes

  • A scalar field πœ‘ βˆˆΞ“π›Ό(𝑀,𝑀 ×ℝ) ≅𝐢𝛼(𝑀) is an ℝ-field, which is equivalently viewed as a smooth function 𝑀 →ℝ;

  • A (tangent) vector field Ξ¦ βˆˆΞ“π›Ό(𝑀,𝑇𝑀) ≅𝔑𝔒𝔯(𝐢𝛼(𝑀)) is an ℝ𝑛-field which is equivalently viewed as a derivation on the algebra of scalar fields, or as assigning a tangent vector to each point in 𝑀;

  • A (tangent) tensor field 𝑇 βˆˆΞ“π›Ό(𝑀,π‘‡π‘π‘žπ‘€) is an π‘‡π‘π‘žβ„π‘›-field, which is equivalently viewed as a 𝐢𝛼(𝑀)-multilinear map eating vector fields and covector fields.


develop | en | SemBr

Footnotes

  1. Usually called spacetime. ↩

  2. 2024. Lagrangian field theory, definition 1.1.1, p. 6. ↩