The linearity of Riemann integral on functions from R into real Banach space

DOI10.2478/FORMA-2013-0020MaRDI QIDQ467790zbMATH 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-0020

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 \(\mathbb{R}\) into real Banach space
• Riemann integral of functions from \(\mathbb R\) into real normed space
• Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
• Riemann integration in Banach spaces
• scientific article; zbMATH DE number 5226581

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• More on continuous functions on normed linear spaces
• Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
• Riemann integral of functions from \(\mathbb R\) into real normed space
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space

Cited in

(5)

• Riemann integral of functions from \(\mathbb R\) into real normed space
• Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
• The Norm of a Linear Functional
• Differential equations on functions from \(\mathbb R\) into real Banach space
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space

This page was built for publication: The linearity of Riemann integral on 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 Q467790)