On Riemann integration of functions with values in topological linear spaces
Ch. Klein, S. Rolewicz (1984)
Studia Mathematica
Similarity:
Ch. Klein, S. Rolewicz (1984)
Studia Mathematica
Similarity:
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
Some authors have formalized the integral in the Mizar Mathematical Library (MML). The first article in a series on the Darboux/Riemann integral was written by Noboru Endou and Artur Korniłowicz: [6]. The Lebesgue integral was formalized a little later [13] and recently the integral of Riemann-Stieltjes was introduced in the MML by Keiko Narita, Kazuhisa Nakasho and Yasunari Shidama [12]. A presentation of definitions of integrals in other proof assistants or proof checkers (ACL2, COQ,...
Piotr Sworowski (2011)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Jean Mawhin (1986)
Časopis pro pěstování matematiky
Similarity:
Jae Myung Park (2000)
Czechoslovak Mathematical Journal
Similarity:
In this paper we study the Denjoy-Riemann and Denjoy-McShane integrals of functions mapping an interval into a Banach space It is shown that a Denjoy-Bochner integrable function on is Denjoy-Riemann integrable on , that a Denjoy-Riemann integrable function on is Denjoy-McShane integrable on and that a Denjoy-McShane integrable function on is Denjoy-Pettis integrable on In addition, it is shown that for spaces that do not contain a copy of , a measurable Denjoy-McShane...
Tibor Šalát (1987)
Mathematica Slovaca
Similarity:
M. A. Sofi (2012)
Colloquium Mathematicae
Similarity:
It was proved by Kadets that a weak*-continuous function on [0,1] taking values in the dual of a Banach space X is Riemann-integrable precisely when X is finite-dimensional. In this note, we prove a Fréchet-space analogue of this result by showing that the Riemann integrability holds exactly when the underlying Fréchet space is Montel.