Double Series and Sums

Summary 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 section 3 we show that if a non-negative sequence is summable, then the sequence of rearrangement of terms is summable and it has the same sums. In the last section two basic relations between double sequences and matrices are introduced.

[1]  P. Rosenthal,et al.  The Complex Numbers , 2014 .

[2]  Edmund Woronowicz.  Relations and Their Basic Properties , 2004 .

[3]  Yasunari Shidama,et al.  Double Sequences and Limits , 2013, Formaliz. Math..

[4]  Czeslaw Bylinski.  Binary Operations Applied to Finite Sequences , 1990 .

[5]  Wojciech A. Trybulec.  Non-contiguous Substrings and One-to-one Finite Sequences , 1990 .

[6]  Grzegorz Bancerek,et al.  Representation Theorem for Stacks , 2011, Formaliz. Math..

[7]  Edmund Woronowicz.  Relations Defined on Sets , 1990 .

[8]  A. Kondracki.  Basic Properties of Rational Numbers , 1990 .

[9]  Weighted and Labeled Graphs 1 , 2005 .

[10]  Alexander Ostermann,et al.  Real-Valued Functions , 2011 .

[11]  The Sum and Product of Finite Sequences of Real Numbers , 1990 .

[12]  Grzegorz Bancerek,et al.  Tarski's Classes and Ranks , 1990 .

[13]  Jarosław Kotowicz,et al.  Convergent Sequences and the Limit of Sequences , 2004 .

[14]  Czeslaw Bylinski.  Functions and Their Basic Properties , 2004 .

[15]  Kenneth Halpern August.  The Cardinal Numbers , 1888, Nature.

[16]  W. Kellaway,et al.  Complex Numbers , 2019, AMS/MAA Textbooks.

[17]  G. Bancerek.  The Fundamental Properties of Natural Numbers , 1990 .

[18]  Yatsuka Nakamura,et al.  The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements , 2006 .

[19]  Czes Law Byli´nski,et al.  Finite Sequences and Tuples of Elements of a Non-empty Sets , 1990 .

[20]  Artur Korni,et al.  Some Basic Properties of Many Sorted Sets , 1996 .

[21]  G. Bancerek,et al.  Ordinal Numbers , 2003 .

[22]  Czeslaw Bylinski.  Functions from a Set to a Set , 2004 .

[23]  Yasunari Shidama,et al.  The Lebesgue Monotone Convergence Theorem , 2008, Formaliz. Math..

[24]  Grzegorz Bancerek,et al.  Segments of Natural Numbers and Finite Sequences , 1990 .

[25]  Xiquan Liang,et al.  On the Partial Product of Series and Related Basic Inequalities , 2005 .