<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we define the Riemann Integral on functions R into C and proof the linearity of this operator. Especially, the Riemann integral of complex functions is constituted by the redefinition about the Riemann sum of complex numbers. Our method refers to the [19].</p></abstract>

In this article, we define the Riemann Integral on functions R into C and proof the linearity of this operator. Especially, the Riemann integral of complex functions is constituted by the redefinition about the Riemann sum of complex numbers. Our method refers to the [19].

Riemann Integral of Functions R into C

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 R into C"}

In this article, we define the Riemann Integral on functions R into C and proof the linearity of this operator. Especially, the Riemann integral of complex...

Riemann Integral of Functions R into C

Published Online: Jan 05, 2011

Page range: 201 - 206

DOI: https://doi.org/10.2478/v10037-010-0024-8

This content is open access.