Page 1 Next

Displaying 1 – 20 of 46

Showing per page

Double sequence spaces over n -normed spaces

Kuldip Raj, Sunil K. Sharma (2014)

Archivum Mathematicum

In this paper, we define some classes of double sequences over n -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.

Double Sequences and Iterated Limits in Regular Space

Roland Coghetto (2016)

Formalized Mathematics

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 and Limits

Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama (2013)

Formalized Mathematics

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.

Double Series and Sums

Noboru Endou (2014)

Formalized Mathematics

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...

Extended Real-Valued Double Sequence and Its Convergence

Noboru Endou (2015)

Formalized Mathematics

In this article we introduce the convergence of extended realvalued double sequences [16], [17]. It is similar to our previous articles [15], [10]. In addition, we also prove Fatou’s lemma and the monotone convergence theorem for double sequences.

Four dimensional matrix characterization of double oscillation via RH-conservative and RH-multiplicative matrices

Richard Patterson, Mulatu Lemma (2008)

Open Mathematics

In 1939 Agnew presented a series of conditions that characterized the oscillation of ordinary sequences using ordinary square conservative matrices and square multiplicative matrices. The goal of this paper is to present multidimensional analogues of Agnew’s results. To accomplish this goal we begin by presenting a notion for double oscillating sequences. Using this notion along with square RH-conservative matrices and square RH-multiplicative matrices, we will present a series of characterization...

Matrix characterization of oscillation for double sequences

Richard Patterson, Jeff Connor, Jeannette Kline (2008)

Open Mathematics

The notion of oscillation for ordinary sequences was presented by Hurwitz in 1930. Using this notion Agnew and Hurwitz presented regular matrix characterization of the resulting sequence space. The primary goal of this article is to extend this definition to double sequences, which grants us the following definition: the double oscillation of a double sequence of real or complex number is given P-lim sup(m,n)→∞;(α,β)→∞|S m,n-S α,β|. Using this concept a matrix characterization of double oscillation...

Currently displaying 1 – 20 of 46

Page 1 Next