We prove that if the composition operator F generated by a function f: [a, b] × ℝ → ℝ maps the space of bounded (p, k)-variation in the sense of Riesz-Popoviciu, p ≥ 1, k an integer, denoted by RV(p,k)[a, b], into itself and is uniformly bounded then RV(p,k)[a, b] satisfies the Matkowski condition.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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].
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ć.