5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

代数的整数論 016

464 :Kummer ◆g2BU0D6YN2 :2010/01/21(木) 12:10:30
補題
M を n 次元のC^∞級多様体とする。
ω を M 上の連続な1次微分形式(過去スレ014の731)とする。
[a, b] と [c, d] を実数体 R における有限区間とし、
ψ_1: [a, b] → M と ψ_2: [c, d] → M を
区分的に C^1 級のパラメータ付き曲線(>>434)とする。

ψ_1 ≡ ψ_2 のとき ∫[ψ_1] ω = ∫[ψ_2] ω である。

証明
>>410より明らかである。

501 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)