Sur l'existence de l'intégrale de Burkill. (Q2580022): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1565272 |
Changed an Item |
||
Property / author | |||
Property / author: M. Paul Romanovski / rank | |||
Normal rank |
Revision as of 00:28, 29 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sur l'existence de l'intégrale de Burkill. |
scientific article |
Statements
Sur l'existence de l'intégrale de Burkill. (English)
0 references
1941
0 references
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^*\).
0 references