ON THE INTEGRAL THEORY OVER DIFFERENTIABLE MANIFOLDS (II)

논문(論文)[3] (본(本) 논문(論文) 제1부(第1部))에서 미분가능다양체(微分可能多樣體) M 위의 (n-1)차(次) 미분형식(微分型式) ${\beta}^{(n-1)}$이 Compact인 Carrier를 가지면 ${\int}d{\beta}^{(n-1)}=0$이며, (p-1)차(次) 미분형식(微分型式) ${\beta}^{(p-1)}$과 p차(次) 미분가능쇄(微分可能쇄鎖) $C^{(p)}=\Sigma\limits_ik_iS_i{^{(p)}}$에 대(對)하여 ${\int\limits_{c^{(p)}}}d{\beta}^{(p-1)}={\int\limits_{{\partial}{c}^{(p)}}}{\beta}^{(p-1)}$이 성립(成立) (Stokes 정리(定理)의 일반화(一般化))⋯등(等) M위의 적분(積分)에 관한 여러 가지 성질(性質)들을 구명(究明)하였다. 이 성질(性質)들을 토태(土台)로 하여 본(本) 논문(論文)에서는; 제2절(第2節)에서 미분가능다양체(微分可能多樣體) M위의 Lie 도함수(導函數)의 정의(定義)와 Lie적분(微分)에 관(關)한 여러가지 성질(性質)들을 고찰(考察)하고, 제3절(第3節)에서 div X와 Laplace 작용소(作用素) ${\Delta}f$의 정의(定義) 및 실(實) n차원(次元) 가부호미분가능(可符號微分可能) 다양체(多樣體) M 위에서의 divX와 ${\Delta}f$의 적분(積分)에 관(關)한 성질(性質), 즉(卽) $V=\sqrt{{\mid}g{\mid}}dx^1{\Lambda}{\cdots}{\Lambda}dx^n{\in}A^n(M)$에 대(對)하여 $$\int_MdivXV\limits=\int_M{\Delta}fv=0$$인 관계(關係)가 성립(成立)함을 구명(究明)한다. (정리(定理) 3.3)