Double Series and Sums

Pole DC	Wartość	Język
dc.contributor.author	Endou, Noboru	-
dc.date.accessioned	2015-12-09T20:40:38Z	-
dc.date.available	2015-12-09T20:40:38Z	-
dc.date.issued	2014	-
dc.identifier.citation	Formalized Mathematics, Volume 22, Issue 1, 2014, Pages 57-68	-
dc.identifier.issn	1426-2630	-
dc.identifier.issn	1898-9934	-
dc.identifier.uri	http://hdl.handle.net/11320/3702	-
dc.description.abstract	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.	-
dc.description.sponsorship	This work was supported by JSPS KAKENHI 23500029.	-
dc.language.iso	en	-
dc.publisher	De Gruyter Open	-
dc.subject	double series	-
dc.title	Double Series and Sums	-
dc.type	Article	-
dc.identifier.doi	10.2478/forma-2014-0006	-
dc.description.Affiliation	Gifu National College of Technology Gifu, Japan	-
dc.description.references	Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.	-
dc.description.references	Grzegorz Bancerek. Tarski’s classes and ranks. Formalized Mathematics, 1(3):563-567, 1990.	-
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.	-
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.	-
dc.description.references	Grzegorz Bancerek. Representation theorem for stacks. Formalized Mathematics, 19(4): 241-250, 2011. doi:10.2478/v10037-011-0033-2.	-
dc.description.references	Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.	-
dc.description.references	Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.	-
dc.description.references	Czesław Bylinski. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.	-
dc.description.references	Czesław Bylinski. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.	-
dc.description.references	Czesław Bylinski. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241-245, 1996.	-
dc.description.references	Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.	-
dc.description.references	Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.	-
dc.description.references	Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.	-
dc.description.references	Czesław Bylinski. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.	-
dc.description.references	Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.	-
dc.description.references	Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.	-
dc.description.references	Noboru Endou, Keiko Narita, and Yasunari Shidama. The Lebesgue monotone convergence theorem. Formalized Mathematics, 16(2):167-175, 2008. doi:10.2478/v10037-008-0023-1.	-
dc.description.references	Noboru Endou, Hiroyuki Okazaki, and Yasunari Shidama. Double sequences and limits. Formalized Mathematics, 21(3):163-170, 2013. doi:10.2478/forma-2013-0018.	-
dc.description.references	Fuguo Ge and Xiquan Liang. On the partial product of series and related basic inequalities. Formalized Mathematics, 13(3):413-416, 2005.	-
dc.description.references	Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): 841-845, 1990.	-
dc.description.references	Artur Korniłowicz. On the real valued functions. Formalized Mathematics, 13(1):181-187, 2005.	-
dc.description.references	Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.	-
dc.description.references	Gilbert Lee. Weighted and labeled graphs. Formalized Mathematics, 13(2):279-293, 2005.	-
dc.description.references	Konrad Raczkowski and Andrzej Nedzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.	-
dc.description.references	Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.	-
dc.description.references	Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.	-
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.	-
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.	-
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.	-
dc.description.references	Bo Zhang and Yatsuka Nakamura. The definition of finite sequences and matrices of probability, and addition of matrices of real elements. Formalized Mathematics, 14(3): 101-108, 2006. doi:10.2478/v10037-006-0012-1.	-
Występuje w kolekcji(ach):	Formalized Mathematics, 2014, Volume 22, Issue 1

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
forma-2014-0006.pdf		266,98 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL