The Basic Existence Theorem of Riemann-Stieltjes Integral

Pole DC	Wartość	Język
dc.contributor.author	Nakasho, Kazuhisa	-
dc.contributor.author	Narita, Keiko	-
dc.contributor.author	Shidama, Yasunari	-
dc.date.accessioned	2017-06-02T11:55:28Z	-
dc.date.available	2017-06-02T11:55:28Z	-
dc.date.issued	2016	-
dc.identifier.citation	Formalized Mathematics, Volume 24, Issue 4, pp. 253-260	pl
dc.identifier.issn	1426-2630	pl
dc.identifier.issn	1898-9934	pl
dc.identifier.uri	http://hdl.handle.net/11320/5559	-
dc.description.abstract	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].	-
dc.language.iso	en	-
dc.publisher	De Gruyter Open	-
dc.subject	Riemann-Stieltjes integral	-
dc.subject	bounded variation	-
dc.subject	continuous function	-
dc.title	The Basic Existence Theorem of Riemann-Stieltjes Integral	-
dc.type	Article	-
dc.identifier.doi	10.1515/forma-2016-0021	-
dc.description.Affiliation	Nakasho Kazuhisa - Akita Prefectural University, Akita, Japan	-
dc.description.Affiliation	Narita Keiko - Hirosaki-city, Aomori, Japan	-
dc.description.Affiliation	Shidama Yasunari - Shinshu University, Nagano, Japan	-
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.	-
dc.description.references	Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.	-
dc.description.references	Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507–513, 1990.	-
dc.description.references	Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529–536, 1990.	-
dc.description.references	Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.	-
dc.description.references	Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.	-
dc.description.references	Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661–668, 1990.	-
dc.description.references	Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.	-
dc.description.references	Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Darboux’s theorem. Formalized Mathematics, 9(1):197–200, 2001.	-
dc.description.references	S.L. Gupta and Nisha Rani. Fundamental Real Analysis. Vikas Pub., 1986.	-
dc.description.references	Einar Hille. Methods in classical and functional analysis. Addison-Wesley Publishing Co., Halsted Press, 1974.	-
dc.description.references	H. Kestelman. Modern theories of integration. Dover Publications, 2nd edition, 1960.	-
dc.description.references	Keiko Narita, Noboru Endou, and Yasunari Shidama. Riemann integral of functions from ℝ into real Banach space. Formalized Mathematics, 21(2):145–152, 2013. doi:10.2478/forma-2013-0016.	-
dc.description.references	Keiko Narita, Kazuhisa Nakasho, and Yasunari Shidama. Riemann-Stieltjes integral. Formalized Mathematics, 24(3):199–204, 2016. doi:10.1515/forma-2016-0016.	-
dc.description.references	Daniel W. Stroock. A Concise Introduction to the Theory of Integration. Springer Science & Business Media, 1999.	-
dc.description.references	Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329–334, 1990.	-
dc.description.references	Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.	-
dc.description.references	Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569–573, 1990.	-
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73–83, 1990.	-
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

Pokaż uproszczony widok rekordu Zobacz statystyki

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