Page 1

Displaying 1 – 7 of 7

Showing per page

Lebesgue's Convergence Theorem of Complex-Valued Function

Keiko Narita, Noboru Endou, Yasunari Shidama (2009)

Formalized Mathematics

In this article, we formalized Lebesgue's Convergence theorem of complex-valued function. We proved Lebesgue's Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue's Convergence Theorem of complex-valued function. We also defined partial sums of real-valued functional sequences and complex-valued functional sequences and showed their...

Linear Stieltjes integral equations in Banach spaces

Štefan Schwabik (1999)

Mathematica Bohemica

Fundamental results concerning Stieltjes integrals for functions with values in Banach spaces have been presented in [5]. The background of the theory is the Kurzweil approach to integration, based on Riemann type integral sums (see e.g. [3]). It is known that the Kurzweil theory leads to the (non-absolutely convergent) Perron-Stieltjes integral in the finite dimensional case. Here basic results concerning equations of the form x(t) = x(a) +at [A(s)]x(s) +f(t) - f(a) are presented on the basis of...

Currently displaying 1 – 7 of 7

Page 1