Integral de Riemann num espaço topológico geral
Integral of Complex-Valued Measurable Function
In this article, we formalized the notion of the integral of a complex-valued function considered as a sum of its real and imaginary parts. Then we defined the measurability and integrability in this context, and proved the linearity and several other basic properties of complex-valued measurable functions. The set of properties showed in this paper is based on [15], where the case of real-valued measurable functions is considered.MML identifier: MESFUN6C, version: 7.9.01 4.101.1015
Integral of multivalued mappings and its connection with differential relations
Integral of Real-Valued Measurable Function 1
Based on [16], authors formalized the integral of an extended real valued measurable function in [12] before. However, the integral argued in [12] cannot be applied to real-valued functions unconditionally. Therefore, in this article we have formalized the integral of a real-value function.
Integral representation of bounded and absolutely integrable functions.
Intégrales généralisées de Stieltjes et convergence des séries de Fourier
Integration by Parts