Displaying similar documents to “A compactness criterion for Hausdorff admissible (jointly continuous) convergence structures in function spaces”

Double Sequences and Iterated Limits in Regular Space

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

First, we define in Mizar [5], the Cartesian product of two filters bases and the Cartesian product of two filters. After comparing the product of two Fréchet filters on ℕ (F1) with the Fréchet filter on ℕ × ℕ (F2), we compare limF₁ and limF₂ for all double sequences in a non empty topological space. Endou, Okazaki and Shidama formalized in [14] the “convergence in Pringsheim’s sense” for double sequence of real numbers. We show some basic correspondences between the p-convergence and...