Sur l'existence de l'intégrale de Burkill. (Q2580022)

Es sei \(I\) ein \(n\)-dimensionales Intervall, ferner \(S\) eine Einteilung von \(I\) in endlich viele Intervalle bzw. ein System solcher Intervalle. Ist \(s\) eine zweite Einteilung, welche durch Unterteilung der Intervalle von \(S\) entsteht, so schreibe man \(s \subset S\). Als Regularitätsparameter \(p (i)\) eines Intervalles \(i\) bezeichne man den Quotienten aus dem Inhalt von \(i\) durch den Inhalt des kleinsten, \(i\) enthaltenden Würfels; ferner sei \(p (S) = \underset{i\in S} {\text{Min}}\;p (i)\). Der maximale Durchmesser der Intervalle \(i\in S\) sei \(n(S)\). Dann bezeichnet man als oberes bzw. unteres Burkill-Integral vom Index \(q\) (\(0 < q < 1\)) einer in \(I\) definierten, nicht notwendig additiven Intervallfunktion \(F (i)\) die Limiten \[ \begin{gathered} \underline{B} = \underline{B}(F;I,q) = \underset{n(S)\to 0} {\underline{\lim}} \left(\sum_{i\in S} F(i)\right),\\ \overline{B} = \overline{B}(F;I,q) = \underset{n(S)\to 0} {\overline{\lim}} \left(\sum_{i\in S} F(i)\right) \quad \text{ falls } \quad p(S) \geqq q; \end{gathered} \] für endliches \(\overline{B} = \underline{B}\) wird der gemeinsame Grenzwert als Burkillintegral \(B=B(F;I,q)\) von \(\overline{F}\) vom Index \(q\) (über \(I\)) bezeichnet. Verf. führt daneben noch ein: \[ \underline{B}^* = \underline{B}^*(F;I,q)=\underset{S} {\overline{\text{Grenze}}} \left(\underset{s\subset S,\,p(s)\geqq q} {\underline{\text{Grenze}}} F(s)\right), \;\overline{B}^* = \overline{B}^*(F;I,q) = \underset{S} {\underline{\text{Grenze}}} \left(\underset{s\subset S,\,p(s)\geqq q} {\overline{\text{Grenze}}} F(s)\right), \] wobei \(F (s) = \sum\limits_{i\in s} F(i)\) gesetzt ist. Es wird dann (ohne Beweis) unter anderem behauptet: 1) Es existiert \(B=B(F;I,q)\) dann und nur dann, wenn gilt: a) \(\underline{B} =\underline{B}^*\); b) \(\overline{B}=\overline{B}^*\); c) \(B* = B* (F; I, q) = \underline{B}^* = \overline{B}^*\) und endlich; 2) Es ist \(\underline{B}^* = \overline{B}^*\) und endlich dann und nur dann, wenn für jedes \(\varepsilon > 0\) ein \(S\) existiert derart, daß für \(s\subset S\) und \(p (s) \geqq q\) gilt \(\left|\left(\sum\limits_{i\in s} F(i)\right) -\left(\sum\limits_{j\in s} F(j)\right)\right|<\varepsilon\); 3) Es ist \(B (F; I, q)\), ebenso wie \(B^*(F;I,q)\), eine additive Intervallfunktion. 4) Zu gegebener \(F\) gibt es höchstens \textit{eine} additive Intervallfunktion \(\varPhi(i)\) mit \(B\left(\left|F-\varPhi\right|;I, q\right)=0\) bzw. mit \(B^*\left(\left|F-\varPhi\right|;I, q\right)=0\). Die Existenz einer solchen \(\varPhi\) ist notwendig und hinreichend für die Existenz von \(B\) bzw. \(B^*\). 5) Gilt \(\overline{B}(F- F_{\nu}; I, q) \to 0\), \(\overline{B}(F_{\nu}; I, q) -\underline{B}(F_{\nu};I, q) \to 0\), so existiert \(B(F;I, q)\), und es gilt \(\overline{\underline{B}} (F_{\nu};I, q) \to B (F; I, q)\). Entsprechend für \(B^*\).