Riemann Integral of Functions from R into n -dimensional Real Normed Space
Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In this article, we define the Riemann integral on functions R into n-dimensional real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to the wider range. Our method refers to the [21].