PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 24 | 4 | 253-259
Tytuł artykułu

The Basic Existence Theorem of Riemann-Stieltjes Integral

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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].
Wydawca
Rocznik
Tom
24
Numer
4
Strony
253-259
Opis fizyczny
Daty
wydano
2016-12-01
otrzymano
2016-10-18
online
2017-02-23
Twórcy
  • Akita Prefectural University, Akita,
autor
  • Hirosaki-city, Aomori,
  • Shinshu University, Nagano,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2016-0021
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.