Démonstration d'un théorème de Gauss relatif aux séries
Some versions of Dieudonné-type convergence and uniform boundedness theorems are proved, for -triangular and regular lattice group-valued set functions. We use sliding hump techniques and direct methods. We extend earlier results, proved in the real case. Furthermore, we pose some open problems.
We introduce two-dimensional substitutions generating two-dimensional sequences related to discrete approximations of irrational planes. These two-dimensional substitutions are produced by the classical Jacobi-Perron continued fraction algorithm, by the way of induction of a -action by rotations on the circle. This gives a new geometric interpretation of the Jacobi-Perron algorithm, as a map operating on the parameter space of -actions by rotations.
An approximation property of divergent sequences in normed vector spaces is discussed.
In this paper, we define some classes of double sequences over -normed spaces by means of an Orlicz function. We study some relevant algebraic and topological properties. Further some inclusion relations among the classes are also examined.
First, we define in Mizar [5], the Cartesian product of two filters bases and the Cartesian product of two filters. After comparing the product of two Fréchet filters on ℕ (F1) with the Fréchet filter on ℕ × ℕ (F2), we compare limF₁ and limF₂ for all double sequences in a non empty topological space. Endou, Okazaki and Shidama formalized in [14] the “convergence in Pringsheim’s sense” for double sequence of real numbers. We show some basic correspondences between the p-convergence and the filter...
Double sequences are important extension of the ordinary notion of a sequence. In this article we formalized three types of limits of double sequences and the theory of these limits.
In this paper the author constructs several properties for double series and its convergence. The notions of convergence of double sequence have already been introduced in our previous paper [18]. In section 1 we introduce double series and their convergence. Then we show the relationship between Pringsheim-type convergence and iterated convergence. In section 2 we study double series having non-negative terms. As a result, we have equality of three type sums of non-negative double sequence. In...