<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we define the Riemann integral on functions from R into real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to a wider range of functions. The proof method follows the [16].</p></abstract>

In this article, we define the Riemann integral on functions from R into real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to a wider range of functions. The proof method follows the [16].

Riemann Integral of Functions from R into Real Normed Space

Faculty of Engineering, Ibaraki University, Hitachi, Japan

Faculty of Engineering, Graduate School of Ibaraki University, Hitachi, Japan

Formalized Mathematics

{"article-title":"Riemann Integral of Functions from R into Real Normed Space"}

In this article, we define the Riemann integral on functions from R into real normed space and prove the linearity of this operator. As a result, the Riemann...

Riemann Integral of Functions from R into Real Normed Space

Published Online: Jul 18, 2011

Page range: 17 - 22

DOI: https://doi.org/10.2478/v10037-011-0003-8

This content is open access.