Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5559
Tytuł: | The Basic Existence Theorem of Riemann-Stieltjes Integral |
Autorzy: | Nakasho, Kazuhisa Narita, Keiko Shidama, Yasunari |
Słowa kluczowe: | Riemann-Stieltjes integral bounded variation continuous function |
Data wydania: | 2016 |
Data dodania: | 2-cze-2017 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 24, Issue 4, pp. 253-260 |
Abstrakt: | In this article, the basic existence theorem of Riemann-Stieltjes integral is formalized. This theorem states that if f is a continuous function and ρ is a function of bounded variation in a closed interval of real line, f is Riemann-Stieltjes integrable with respect to ρ. In the first section, basic properties of real finite sequences are formalized as preliminaries. In the second section, we formalized the existence theorem of the Riemann-Stieltjes integral. These formalizations are based on [15], [12], [10], and [11]. |
Afiliacja: | Nakasho Kazuhisa - Akita Prefectural University, Akita, Japan Narita Keiko - Hirosaki-city, Aomori, Japan Shidama Yasunari - Shinshu University, Nagano, Japan |
URI: | http://hdl.handle.net/11320/5559 |
DOI: | 10.1515/forma-2016-0021 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2016, Volume 24, Issue 4 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2016-0021.pdf | 245,11 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL