Extended real-valued double sequence and its convergence

DOI10.1515/FORMA-2015-0021zbMath1321.40001OpenAlexW2295560716MaRDI QIDQ500028

Noboru Endou

Publication date: 7 October 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0021

zbMATH Keywords

double sequenceFatou's lemma for double sequencemonotone convergence theorem for double sequence

Mathematics Subject Classification ID

Convergence and divergence of series and sequences (40A05) Mechanization of proofs and logical operations (03B35) Multiple sequences and series (40B05)

Related Items (2)

Integral of non positive functions ⋮ Absolutely integrable functions

Cites Work

• Unnamed Item
• Unnamed Item
• Double sequences and limits
• Double series and sums
• The orthogonal projection and the Riesz representation theorem
• Semantics of MML Query - Ordering
• A Course in Mathematical Analysis

This page was built for publication: Extended real-valued double sequence and its convergence