Abstract
Positive Local Coordmate($(x^1,x^2,{\cdots}x^n)$)을 갖는 Oriented Manifold M을 생각한다. M이 Compact Carrier를 갖는 경우, M위의 n차(次) Differential Form ${\phi}^{(n)}$의 적분(積分)을 $${\int}{\phi}^{(n)}=\sum_{\alpha}{\int}_{-{\infty}}^{\infty}{\cdots}{\int}_{-{\infty}}^{\infty}f_{\alpha}{\phi}^{(n)}dx^1{\cdots}dx^n$$로 정의(定義)하며 (정의(定義) 7), M위의 p 차(次)의 Differential form $\beta^{(p)}$와 Differential simplex $S^{(p)}=(S^{(p)},\;{\pi},\;{\varepsilon})$에 대하여 $S^{(p)}$위의 $\beta^{(p)}$의 적분(積分)을 $${\int}_{^{(p)}S}{\beta}^{(p)}={\int}_{S^{(p)}}{\varepsilon}{\pi}^*{\beta}^{(p)}={\int}_{E^p}f{\cdot}{\varepsilon}{\cdot}{\pi}^*{\beta}^{(p)}$$로 정의(定義)한다 (정의(定義) 9). 단(但) $\bar{S}^{(p)}$는 $S^{(p)}=(p_0{\cdot}p_1{\cdots}p_p)$에 의(依)하여 Spanning 되는 $E^p$의 Subspace이고 f는 $\bar{S}^{(p)}$의 특성함수(特性函數)이다. 이때 (n-1)차(次)의 Differential Form ${\beta}^{(n-1)}$이 Compart인 Carrier를 가지면 ${\int}d{\beta}^{(n-1)}=0$이 됨을 고찰(考察)하며(정리(定理 8), (p-1)차(次) Differential Form ${\beta}^{(p-1)$과 p차(次) Differential Chain $C^{(p)}$에 관(關)하여 $${\int}_{C^{(p)}}d{\beta}^{(p-1)}={\int}_{{\partial}C^{(p)}}{\beta}^{(p-1)}$$이 성립(成立)함을 구명(究明)하려 한다(정리(定理) 10).