Riemann integral of functions from R into real Banach space

DOI10.2478/FORMA-2013-0016MaRDI QIDQ467786zbMATH OpenOpenAlexFDO

Authors Keiko Narita, Noboru Endou, Yasunari Shidama

Publication date 5 November 2014

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/forma-2013-0016

zbMATH Keywords

formalization of Riemann integral

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Integrals of Riemann, Stieltjes and Lebesgue type (26A42)

Recommendations

• Riemann integral of functions from R into real normed space
• The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
• Riemann integral of functions from R into n-dimensional real normed space
• Riemann integration in Banach spaces
• scientific article; zbMATH DE number 465470
• Riemann and Riemann-type integration in Banach spaces
• Integration by means of Riemann sums in Banach spaces. I
• A generalized Riemann integral for Banach-valued functions
• Integration by means of Riemann sums in Banach spaces. II
• Asymptotic structure of Banach spaces and Riemann integration

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Analysis of algorithms: an example of a sort algorithm
• More on continuous functions on normed linear spaces
• Riemann integral of functions from R into real normed space

Cited in

(10)

• Riemann integral of functions from R into real normed space
• Riemann integral of functions from R into n-dimensional real normed space
• Riemann integration in Banach spaces
• Continuity of bounded linear operators on normed linear spaces
• The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
• Integration by means of Riemann sums in Banach spaces. I
• Riemannian integrability of abstract functions
• On L^1 space formed by complex-valued partial functions
• The basic existence theorem of Riemann-Stieltjes integral
• Equi-Riemann and equi-Riemann type integrable functions with values in a Banach space

This page was built for publication: Riemann integral of functions from \(\mathbb{R}\) into real Banach space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467786)