On integration with respect to filter

Abstract

This article is devoted to the study of one generalization of the Riemann integral. Namely, in the paper, it was observed that the classical definition of the Riemann integral over a finite segment as a limit of integral sums, when the diameter of the division of the segment tends to zero, can be replaced by a limit of integral sums over a filter of sets, which can be described in a certain "good way". This idea was continued, and in the work we propose a new concept - the integral of a function over a filter on the set of all tagged partitions of a segment. Using of filters is a very good method in questions related to convergence or some of its analogues in general topological vector spaces. Namely, if the space is non-metrizable, then the concept of convergence is introduced precisely with the help of filters. Also, using filters, you can formulate the concept of completeness and its analogues. The completeness of spaces is one of the central concepts of the theory of topological vector spaces, since Banach spaces are complete. That is, using a generalization of the completeness of spaces constructed using filters, we can explore various generalizations of Banach spaces. We study standard issues related to integration. For example, does the integrability of the filter function imply its boundedness? The answer to this question is affirmative. Namely: the concept of filter boundedness of a function is introduced, and it is shown that if a function is integrable over filter, then its integral sums are bounded over the filter, and this function itself is bounded in the classical sense. Next, we showed that the filter integral satisfies the linearity property, namely, the integral over filter of the sum of two functions is the sum of the filter integrals of these functions. In addition, we can to subtract the constant factor from the sign of the integral over filter. We introduce the concept of an exactly tagged filter, and with the help of such filters we study the filter integrability of unbounded functions on a segment. We give an example of a specific unbounded function and a specific filter under which this function is integrable. Next, we prove a theorem that describes unbounded filter-integrable functions on a segment. The last section of the article is devoted to the integration of functions relative to the filter on a subsegment of this segment.