Extended real-valued double sequence and its convergence

DOI10.1515/FORMA-2015-0021zbMATH Open1321.40001OpenAlexW2295560716MaRDI QIDQ500028FDOQ500028

Authors: 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

Recommendations

• scientific article; zbMATH DE number 774944
• On the almost convergence of double sequences
• scientific article; zbMATH DE number 3962704
• On convergence of double sequences of functions
• Convergence methods for double sequences and applications
• Almost convergence and a core theorem for double sequences
• scientific article; zbMATH DE number 5007458
• Rough convergence of double sequences
• scientific article; zbMATH DE number 4115189
• Generalized almost convergence and core theorems of double sequences

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) Multiple sequences and series (40B05) Mechanization of proofs and logical operations (03B35)

Cites Work

• Title not available (Why is that?)
• Semantics of MML query -- ordering
• The orthogonal projection and the Riesz representation theorem
• Title not available (Why is that?)
• Double sequences and limits
• Double series and sums
• A course in mathematical analysis. Volume 1: Foundations and elementary real analysis

Cited In (4)

• Some properties of a function connecting to exponent of convergence for double sequences
• Double sequences and limits
• Absolutely integrable functions
• Integral of non positive functions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q500028)