Abstract:Summary. In this article, we define the Riemann integral on functions Rinto n-dimensional real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to the wider range. Our method refers to the [21].MML identifier: INTEGR19, version: 7.1 .0 4.1 .11The terminology and notation used in this paper have been introduced in the following papers: [23]
On the Functions from R into n-dimensional Real SpaceFor simplicity, we adopt the following convention: X denotes … Show more
“…The notation and terminology used in this paper have been introduced in the following articles: [2], [12], [3], [4], [9], [10], [7], [8], [16], [1], [17], [13], [14], [5], [15], [20], [21], [18], [19], [22], and [6].…”
Summary
In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] and we referred to the former articles about Riemann integral. We applied definitions and theorems introduced in the article [9] and the article [11] to the proof. Using the definition of the article [10], we also proved some theorems on bounded functions.
“…The notation and terminology used in this paper have been introduced in the following articles: [2], [12], [3], [4], [9], [10], [7], [8], [16], [1], [17], [13], [14], [5], [15], [20], [21], [18], [19], [22], and [6].…”
Summary
In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] and we referred to the former articles about Riemann integral. We applied definitions and theorems introduced in the article [9] and the article [11] to the proof. Using the definition of the article [10], we also proved some theorems on bounded functions.
Summary
In [14] we formalized probability and probability distribution on a finite sample space. In this article first we propose a formalization of the class of finite sample spaces whose element’s probability distributions are equivalent with each other. Next, we formalize the probability measure of the class of sample spaces we have formalized above. Finally, we formalize the sampling and posterior probability.
Summary.In this article, we described the contracting mapping on normed linear space. Furthermore, we applied that mapping to ordinary differential equations on real normed space. Our method is based on the one presented by Schwarz [29].
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.