The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space

In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] a...

Full description

Bibliographic Details
Main Authors: Narita Keiko, Endou Noboru, Shidama Yasunari
Format: Article
Language:English
Published: Sciendo 2013-10-01
Series:Formalized Mathematics
Subjects:
Online Access:https://doi.org/10.2478/forma-2013-0020