Acerca de este artículo
Publicado en línea: 21 dic 2022
Páginas: 31 - 52
Aceptado: 30 abr 2022
DOI: https://doi.org/10.2478/forma-2022-0004
Palabras clave
© 2022 Noboru Endou, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
The goal of this article is to clarify the relationship between Riemann’s improper integrals and Lebesgue integrals. In previous articles [6], [7], we treated Riemann’s improper integrals [1], [11] and [4] on arbitrary intervals. Therefore, in this article, we will continue to clarify the relationship between improper integrals and Lebesgue integrals [8], using the Mizar [3], [2] formalism.