Page 1

Displaying 1 – 5 of 5

Showing per page

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.

Currently displaying 1 – 5 of 5

Page 1