<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Extended Real-Valued Double Sequence and Its Convergence

Gifu National College of Technology Gifu, Japan

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

{"article-title":"Extended Real-Valued Double Sequence and Its Convergence"}

In this article we introduce the convergence of extended realvalued double sequences [16], [17]. It is similar to our previous articles [15], [10]. In...

Extended Real-Valued Double Sequence and Its Convergence

Published Online: Sep 30, 2015

Page range: 253 - 277

Received: Jul 01, 2015

DOI: https://doi.org/10.1515/forma-2015-0021

Keywords
double sequence, Fatou’s lemma for double sequence, monotone convergence theorem for double sequence

© by Noboru Endou

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Extended Real-Valued Double Sequence and Its Convergence

Published Online: Sep 30, 2015

Page range: 253 - 277

Received: Jul 01, 2015

DOI: https://doi.org/10.1515/forma-2015-0021

Keywordsdouble sequence, Fatou’s lemma for double sequence, monotone convergence theorem for double sequence

© by Noboru Endou

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Keywords
double sequence, Fatou’s lemma for double sequence, monotone convergence theorem for double sequence