请输入您要查询的字词:

 

单词 DeRhamCohomology
释义

de Rham cohomology


Let X be a paracompact 𝒞 differential manifold. Let

ΩX=i=0ΩiX

denote the graded-commutative -algebraPlanetmathPlanetmath of differential formsMathworldPlanetmath on X. Together with the exterior derivative

di:ΩiXΩi+1X(i=0,1,),

ΩX forms a chain complexMathworldPlanetmath (ΩX,d) of -vector spaces. The HdRiX of X are defined as the homology groups of this complex, that is to say

HdRiX:=(kerdi)/(imdi-1)(i=0,1,),

where Ω-1X is taken to be 0, so d-1:0Ω0X is the zero map. The wedge product in ΩX induces the structure of a graded-commutative -algebra on

HdRX:=i=0HdRiX.

If X and Y are both paracompact 𝒞 manifolds and f:XY is a differentiable map, there is an induced map

f*:HdRYHdRX,

defined by

f*[ω]:=[f*ω]for ωkerd.

Here [ω] denotes the class of ω modulo imd, and the second f* is the map ΩYΩX induced by the functorMathworldPlanetmath Ω. This action on differentiable maps makes the de Rham cohomologyMathworldPlanetmath into a contravariant functor from the categoryMathworldPlanetmath of paracompact 𝒞 manifolds to the category of graded-commutative -algebras. It turns out to be homotopy invariant; this implies that homotopy equivalent manifolds have isomorphic de Rham cohomology.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 23:02:48