Namespaces
Variants
Actions

Difference between revisions of "Burkill integral"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
A concept which was introduced by J.C. Burkill
 
A concept which was introduced by J.C. Burkill
  
to determine surface areas. The Burkill integral is introduced in its modern form for the integration of a non-additive function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177801.png" /> over an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177802.png" />-dimensional segment (a block). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177803.png" /> be a set that can be represented as a sum (union) of a finite number of segments (such a set is called a figure). Each representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177804.png" /> is called a subdivision of the figure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177805.png" />. The upper and the lower Burkill integral of the segment function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177806.png" /> over the figure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177807.png" /> are, respectively, the upper and lower limits of the sums <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177808.png" /> for all possible subdivisions as the maximum of the diameters of the segments involved in the subdivision tends to zero. If these integrals are equal, their common value is the Burkill integral of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b0177809.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778010.png" /> and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778011.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778012.png" /> is integrable over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778013.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778014.png" /> is integrable on each figure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778015.png" />. This enables one to introduce an indefinite Burkill integral, which is an additive set function. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778016.png" /> is continuous, the indefinite Burkill integral is continuous as well.
+
to determine surface areas. The Burkill integral is introduced in its modern form for the integration of a non-additive function $F(J)$ over an $n$-dimensional segment (a block). Let $R$ be a set that can be represented as a sum (union) of a finite number of segments (such a set is called a figure). Each representation $R=\bigcup J_k$ is called a subdivision of the figure $R$. The upper and the lower Burkill integral of the segment function $F(J)$ over the figure $R$ are, respectively, the upper and lower limits of the sums $\sum_kF(J_k)$ for all possible subdivisions as the maximum of the diameters of the segments involved in the subdivision tends to zero. If these integrals are equal, their common value is the Burkill integral of $F$ over $R$ and is denoted by $\int_RF$. If $F$ is integrable over $R$, then $F$ is integrable on each figure $R_1\subset R$. This enables one to introduce an indefinite Burkill integral, which is an additive set function. If $F$ is continuous, the indefinite Burkill integral is continuous as well.
  
The concept of the Burkill integral can be generalized to include the case of a set function defined on some class of subsets of an abstract measure space. This class must meet a number of requirements; in particular, each set of the class must permit a subdivision into sets also of this class that have a measure as small as one pleases. The Burkill integral can then be defined for any set in the class in analogy with the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778017.png" />-dimensional case, the respective limits being taken as the maximum of the measures of the constituent sets tends to zero. The Burkill integral can be naturally generalized to set functions with values in a commutative topological group. The Burkill integral is less general than the subsequently introduced [[Kolmogorov integral|Kolmogorov integral]], which is also known as the Burkill–Kolmogorov integral. Any function that is Burkill-integrable is also Kolmogorov-integrable after a suitable ordering of the subdivisions. The converse statement is true only if certain additional conditions are satisfied. The Burkill integral is used in constructing the [[Denjoy integral|Denjoy integral]] in different spaces.
+
The concept of the Burkill integral can be generalized to include the case of a set function defined on some class of subsets of an abstract measure space. This class must meet a number of requirements; in particular, each set of the class must permit a subdivision into sets also of this class that have a measure as small as one pleases. The Burkill integral can then be defined for any set in the class in analogy with the $n$-dimensional case, the respective limits being taken as the maximum of the measures of the constituent sets tends to zero. The Burkill integral can be naturally generalized to set functions with values in a commutative topological group. The Burkill integral is less general than the subsequently introduced [[Kolmogorov integral|Kolmogorov integral]], which is also known as the Burkill–Kolmogorov integral. Any function that is Burkill-integrable is also Kolmogorov-integrable after a suitable ordering of the subdivisions. The converse statement is true only if certain additional conditions are satisfied. The Burkill integral is used in constructing the [[Denjoy integral|Denjoy integral]] in different spaces.
  
The name of Burkill integral is also given to a number of generalizations of the [[Perron integral|Perron integral]] (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778019.png" />-, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778021.png" />-, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017780/b01778023.png" />-integrals), which were also introduced by Burkill. Instead of ordinary derivatives certain generalized derivatives are used in the definition of these integrals. These Burkill integrals are used in the theory of trigonometric series.
+
The name of Burkill integral is also given to a number of generalizations of the [[Perron integral|Perron integral]] ($AP$-, $CP$-, $SCP$-integrals), which were also introduced by Burkill. Instead of ordinary derivatives certain generalized derivatives are used in the definition of these integrals. These Burkill integrals are used in the theory of trigonometric series.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  J.C. Burkill,  "Functions of intervals"  ''Proc. London Math. Soc. (2)'' , '''22'''  (1924)  pp. 275–310</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  J.C. Burkill,  "The expression of area as an integral"  ''Proc. London Math. Soc. (2)'' , '''22'''  (1924)  pp. 311–336</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S. Saks,  "Theory of the integral" , Hafner  (1952)  (Translated from French)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P.I. Romanovskii,  "l'Intégrale de Denjoy en espaces abstractes"  ''Mat. Sb.'' , '''9 (51)''' :  1  (1941)  pp. 67–120</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  J.C. Burkill,  "Integrals and trigonometric series"  ''Proc. London Math. Soc. (3)'' , '''1'''  (1951)  pp. 46–57</TD></TR></table>
 
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  J.C. Burkill,  "Functions of intervals"  ''Proc. London Math. Soc. (2)'' , '''22'''  (1924)  pp. 275–310</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  J.C. Burkill,  "The expression of area as an integral"  ''Proc. London Math. Soc. (2)'' , '''22'''  (1924)  pp. 311–336</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S. Saks,  "Theory of the integral" , Hafner  (1952)  (Translated from French)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P.I. Romanovskii,  "l'Intégrale de Denjoy en espaces abstractes"  ''Mat. Sb.'' , '''9 (51)''' :  1  (1941)  pp. 67–120</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  J.C. Burkill,  "Integrals and trigonometric series"  ''Proc. London Math. Soc. (3)'' , '''1'''  (1951)  pp. 46–57</TD></TR></table>

Latest revision as of 09:54, 27 November 2018

A concept which was introduced by J.C. Burkill

to determine surface areas. The Burkill integral is introduced in its modern form for the integration of a non-additive function $F(J)$ over an $n$-dimensional segment (a block). Let $R$ be a set that can be represented as a sum (union) of a finite number of segments (such a set is called a figure). Each representation $R=\bigcup J_k$ is called a subdivision of the figure $R$. The upper and the lower Burkill integral of the segment function $F(J)$ over the figure $R$ are, respectively, the upper and lower limits of the sums $\sum_kF(J_k)$ for all possible subdivisions as the maximum of the diameters of the segments involved in the subdivision tends to zero. If these integrals are equal, their common value is the Burkill integral of $F$ over $R$ and is denoted by $\int_RF$. If $F$ is integrable over $R$, then $F$ is integrable on each figure $R_1\subset R$. This enables one to introduce an indefinite Burkill integral, which is an additive set function. If $F$ is continuous, the indefinite Burkill integral is continuous as well.

The concept of the Burkill integral can be generalized to include the case of a set function defined on some class of subsets of an abstract measure space. This class must meet a number of requirements; in particular, each set of the class must permit a subdivision into sets also of this class that have a measure as small as one pleases. The Burkill integral can then be defined for any set in the class in analogy with the $n$-dimensional case, the respective limits being taken as the maximum of the measures of the constituent sets tends to zero. The Burkill integral can be naturally generalized to set functions with values in a commutative topological group. The Burkill integral is less general than the subsequently introduced Kolmogorov integral, which is also known as the Burkill–Kolmogorov integral. Any function that is Burkill-integrable is also Kolmogorov-integrable after a suitable ordering of the subdivisions. The converse statement is true only if certain additional conditions are satisfied. The Burkill integral is used in constructing the Denjoy integral in different spaces.

The name of Burkill integral is also given to a number of generalizations of the Perron integral ($AP$-, $CP$-, $SCP$-integrals), which were also introduced by Burkill. Instead of ordinary derivatives certain generalized derivatives are used in the definition of these integrals. These Burkill integrals are used in the theory of trigonometric series.

References

[1a] J.C. Burkill, "Functions of intervals" Proc. London Math. Soc. (2) , 22 (1924) pp. 275–310
[1b] J.C. Burkill, "The expression of area as an integral" Proc. London Math. Soc. (2) , 22 (1924) pp. 311–336
[2] S. Saks, "Theory of the integral" , Hafner (1952) (Translated from French)
[3] P.I. Romanovskii, "l'Intégrale de Denjoy en espaces abstractes" Mat. Sb. , 9 (51) : 1 (1941) pp. 67–120
[4] J.C. Burkill, "Integrals and trigonometric series" Proc. London Math. Soc. (3) , 1 (1951) pp. 46–57
How to Cite This Entry:
Burkill integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Burkill_integral&oldid=43495
This article was adapted from an original article by V.A. Skvortsov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article