Riemann-Stieltjes Integral
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2016)
Formalized Mathematics
Similarity:
In this article, the definitions and basic properties of Riemann-Stieltjes integral are formalized in Mizar [1]. In the first section, we showed the preliminary definition. We proved also some properties of finite sequences of real numbers. In Sec. 2, we defined variation. Using the definition, we also defined bounded variation and total variation, and proved theorems about related properties. In Sec. 3, we defined Riemann-Stieltjes integral. Referring to the way of the article [7],...