REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/5554
Tytuł: Riemann-Stieltjes Integral
Autorzy: Narita, Keiko
Nakasho, Kazuhisa
Shidama, Yasunari
Słowa kluczowe: Riemann-Stieltjes integral
bounded variation
linearity
Data wydania: 2016
Data dodania: 2-cze-2017
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 24, Issue 3, pp. 199-204
Abstrakt: 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], we described the definitions. In the last section, we proved theorems about linearity of Riemann-Stieltjes integral. Because there are two types of linearity in Riemann-Stieltjes integral, we proved linearity in two ways. We showed the proof of theorems based on the description of the article [7]. These formalizations are based on [8], [5], [3], and [4].
Afiliacja: Narita Keiko - Hirosaki-city Aomori, Japan
Nakasho Kazuhisa - Akita Prefectural University Akita, Japan
Shidama Yasunari - Shinshu University Nagano, Japan
URI: http://hdl.handle.net/11320/5554
DOI: 10.1515/forma-2016-0016
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2016, Volume 24, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2016-0016.pdf222,75 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons