Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  bounded variation
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote On fuzzy number calculus
100%
EN
Some generalizations of the concept of ordered fuzzy numbers (OFN) are defined to handle fuzzy inputs in a quantitative way, exactly as real numbers are handled. Additional two structures, an algebraic one and a normed (topological) one, are introduced to allow for counting with a more general type of membership relations.
2
Content available remote The Basic Existence Theorem of Riemann-Stieltjes Integral
80%
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].
3
Content available remote Riemann-Stieltjes Integral
80%
EN
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].
4
70%
EN
In this paper we extend the well known Riesz lemma to the class of bounded φ-variation functions in the sense of Riesz defined on a rectangle [...].This concept was introduced in [2], where the authors proved that the space [...] of such functions is a Banach Algebra. Moreover, they characterized also the Nemytskii operator acting in this space. Thus our result creates a continuation of the paper [2].
5
Content available remote Generalized Köthe-Toeplitz dual of some double sequence spaces
51%
|
2008
|
tom Nr 40
119-125
EN
In this article we introduce the notion of η-dual of double sequence spaces. We find the η-dual of some double sequence spaces. We verify the perfectness of different double sequence spaces relative to η-dual.
6
Content available remote On the Kantorovich variant of generalized Bernstein type rational functions
51%
|
2006
|
tom Vol. 39, nr 1
117-130
EN
In the present paper we define Kantorovich variant of generalized Bernstein type rational functions. We establish the order of approximation for continuous functions in different normed spaces and also estimate the rate of convergence for functions of bounded variation.
first rewind previous Strona / 1 next fast forward last
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ć.