Displaying similar documents to “Convergence theorems for the Perron integral and Sklyarenko's condition”

A descriptive, additive modification of Mawhin's integral and the Divergence Theorem with singularities

Dirk Jens F. Nonnenmacher (1994)

Annales Polonici Mathematici

Similarity:

Modifying Mawhin's definition of the GP-integral we define a well-behaved integral over n-dimensional compact intervals. While its starting definition is of Riemann type, we also establish an equivalent descriptive definition involving characteristic null conditions. This characterization is then used to obtain a quite general form of the divergence theorem.

Riemann Integral of Functions from R into n -dimensional Real Normed Space

Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In this article, we define the Riemann integral on functions R into n-dimensional real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to the wider range. Our method refers to the [21].

Fatou's Lemma and the Lebesgue's Convergence Theorem

Noboru Endou, Keiko Narita, Yasunari Shidama (2008)

Formalized Mathematics

Similarity:

In this article we prove the Fatou's Lemma and Lebesgue's Convergence Theorem [10].MML identifier: MESFUN10, version: 7.9.01 4.101.1015

Inequalities which include q -integrals.

Stanković, M.S., Rajković, P.M., Marinković, Sladjana D. (2006)

Bulletin. Classe des Sciences Mathématiques et Naturelles. Sciences Mathématiques

Similarity:

Riemann Integral of Functions from R into R n

Keiichi Miyajima, Yasunari Shidama (2009)

Formalized Mathematics

Similarity:

In this article, we define the Riemann Integral of functions from R into Rn, and prove the linearity of this operator. The presented method is based on [21].

A concept of absolute continuity and a Riemann type integral

B. Bongiorno, Washek Frank Pfeffer (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We present a descriptive definition of a multidimensional generalized Riemann integral based on a concept of generalized absolute continuity for additive functions of sets of bounded variation.