Riemann Integral of Functions from R into Real Banach Space 1 Keiko Narita Hirosaki-city Aomori , Japan Noboru Endou Gifu National College of Technology Japan

In this article we deal with the Riemann integral of functions from R into a real Banach space. The last theorem establishes the integrability of continuous functions on the closed interval of reals. To prove the integrability we defined uniform continuity for functions from R into a real normed space, and proved related theorems. We also stated some properties of finite sequences of elements of a real normed space and finite sequences of real numbers. In addition we proved some theorems about the convergence of sequences. We applied definitions introduced in the previous article [21] to the proof of integrability.

[1]  Artur Korni,et al.  Some Basic Properties of Many Sorted Sets , 1996 .

[2]  Nagano Katsumi Wasaki.  Scalar Multiple of Riemann Definite Integral , 2004 .

[3]  Jarosław Kotowicz,et al.  Convergent Sequences and the Limit of Sequences , 2004 .

[4]  Czes Law Byli´nski,et al.  Finite Sequences and Tuples of Elements of a Non-empty Sets , 1990 .

[5]  G. Bancerek.  The Fundamental Properties of Natural Numbers , 1990 .

[6]  Yasunari Shidama,et al.  More on Continuous Functions on Normed Linear Spaces , 2011, Formaliz. Math..

[7]  Adam Naumowicz,et al.  Conjugate Sequences , Bounded Complex Sequences and Convergent Complex Sequences , 1996 .

[8]  Czeslaw Bylinski.  Binary Operations Applied to Finite Sequences , 1990 .

[9]  Andrzej Trybulec,et al.  On the Sets Inhabited by Numbers 1 , 2003 .

[10]  W. Kellaway,et al.  Complex Numbers , 2019, AMS/MAA Textbooks.

[11]  Czeslaw Bylinski.  Functions and Their Basic Properties , 2004 .

[12]  Noboru Endou,et al.  The Definition of the Riemann Definite Integral and some Related Lemmas , 2002 .

[13]  A. Kondracki.  Basic Properties of Rational Numbers , 1990 .

[14]  Józef Białas.  Properties of the Intervals of Real Numbers , 1993 .

[15]  J. Popiołek.  Real Normed Space , 1991 .

[16]  Wojciech A. Trybulec.  Vectors in Real Linear Space , 1990 .

[17]  Yasunari Shidama,et al.  Riemann Integral of Functions from R into Real Normed Space , 2011, Formaliz. Math..

[18]  Y. Shidama.  Banach Space of Bounded Linear Operators , 2003 .

[19]  Czeslaw Bylinski.  Functions from a Set to a Set , 2004 .

[20]  Kenneth Halpern August.  The Cardinal Numbers , 1888, Nature.

[21]  Edmund Woronowicz.  Relations Defined on Sets , 1990 .

[22]  Noboru Endou,et al.  Definition of Integrability for Partial Functions from R to R and Integrability for Continuous Functions , 1994 .

[23]  G. Bancerek,et al.  Ordinal Numbers , 2003 .

[24]  Czeslaw Bylinski.  The Sum and Product of Finite Sequences of Real Numbers , 1990 .

[25]  Wojciech A. Trybulec.  Non-contiguous Substrings and One-to-one Finite Sequences , 1990 .

[26]  Edmund Woronowicz.  Relations and Their Basic Properties , 2004 .

[27]  Konrad Raczkowski,et al.  Topological Properties of Subsets in Real Numbers , 1990 .