In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation).

Let $E$ and $F$ be two complex Banach spaces, $U$ a nonempty subset of $E$ and $K$ a compact subset of $E$. The concept of holomorphy type $\theta$ between $E$ and $F$, and the natural locally convex topology ${𝒯}_{\omega ,\theta }$ on the vector space ${\mathscr{H}}_{\theta }(U,F)$ of all holomorphic mappings of a given holomorphy type $\theta$ from $U$ to $F$ were considered first by L. Nachbin. Motived by his work, we introduce the locally convex space ${\mathscr{H}}_{\theta }(K,F)$ of all germs of holomorphic mappings into $F$ around $K$ of a given holomorphy type $\theta$, and study its interplay with ${\mathscr{H}}_{\theta }(U,F)$ and some...

The authors have presented some articles about Lebesgue type integration theory. In our previous articles [12, 13, 26], we assumed that some σ-additive measure existed and that a function was measurable on that measure. However the existence of such a measure is not trivial. In general, because the construction of a finite additive measure is comparatively easy, to induce a σ-additive measure a finite additive measure is used. This is known as an E. Hopf's extension theorem of measure [15].