Convergence structures
Katětov, M.
Similarity:
Katětov, M.
Similarity:
Herrmann, Robert A. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Liu, Teng-Sun (1964)
Portugaliae mathematica
Similarity:
Frederic Mynard (2007)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Müller, Bernd
Similarity:
Eklund, Patrik E. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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...