Riemann integral of functions from R into n-dimensional real normed space

DOI10.2478/V10037-012-0011-3MaRDI QIDQ2865765zbMATH OpenOpenAlexFDO

Authors Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama

Publication date 3 December 2013

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/v10037-012-0011-3

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42)

Recommendations

• Riemann integral of functions from \(\mathbb R\) into real normed space
• The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space
• A Riemann Integral with Values in a Metric Space: I
• The Net Integral and a Convergence Theorem

Cites work

• More on the continuity of real functions
• Riemann integral of functions from \(\mathbb R\) into real normed space
• Semantics of MML query -- ordering

Cited in

(9)

• Contracting mapping on normed linear space
• Riemann integral of functions from \(\mathbb R\) into real normed space
• scientific article; zbMATH DE number 4130698 (Why is no real title available?)
• Equivalences of Riemann integral based on \(p\)-norm
• The Norm of a Linear Functional
• Riemann integral of functions from \(\mathbb{R}\) into real Banach space
• The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
• The multiple \(\mathbb{K} \)-Riemann integral
• scientific article; zbMATH DE number 2114343 (Why is no real title available?)

This page was built for publication: Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space

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