请输入您要查询的字词:

 

单词 PullbackOfAKform
释义

pullback of a k-form


If X is a manifoldMathworldPlanetmath, let Ωk(X) be the vector space of k-forms on X.

Definition Suppose X and Y are smooth manifolds, and supposef is a smooth mapping f:XY. Then the pullbackinduced by f is the mapping f:Ωk(Y)Ωk(X) defined asfollows: If ωΩk(Y), then f(ω) is the k-form on Xdefined by the formula

(f*ω)x(X1,,Xk)=ωf(x)((Df)x(X1),,(Df)x(Xk))

where xX, X1,,XkTx(X), and Df is thetangent map Df:TXTY.

0.0.1 Properties

Suppose X and Y are manifolds.

  • If idX is the identity map on X, then (idX)is the identity map on Ωk(X).

  • If X,Y,Z are manifolds, and f,g are mappingsf:XY and g:YZ, then

    (gf)=fg.
  • If f is a diffeomorphism f:XY, then f is a diffeomorphismwith inverse

    (f-1)=(f).
  • If f is a mapping f:XY, and ωΩk(Y), then

    dfω=fdω,

    where d is the exterior derivativeMathworldPlanetmath.

  • Suppose f is a mapping f:XY, ωΩk(Y), and ηΩl(Y). Then

    f(ωη)=f(ω)f(η).
  • If g is a 0-form on Y, that is, g is a real valued function g:Y, and f is a mapping f:XY,then f(g)=fg.

  • Suppose U is a submanifoldMathworldPlanetmath (or an open set) in an manifold X, andι:UX is the inclusion mapping. Then ιrestricts k-forms on X to k-forms on U.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 18:50:36