>>14
上に書いてあるじゃん
可微分多様体と全く同じようにすればいい