Results 11 to 20 of about 6,349 (218)
REGULAR CONVERGENCE SPACES [PDF]
Korean Journal of Mathematics, 2013 Summary: In this paper, I introduce the notion of regular convergence space and give some properties of this space. And I give some conditions for the regularity of continuous convergence structure.
openaire +2 more sources
Statistical Convergence in Function Spaces [PDF]
Abstract and Applied Analysis, 2011 We study statistical versions of several classical kinds of convergence of sequences of functions between metric spaces (Dini, Arzelà, and Alexandroff) in different function spaces. Also, we discuss a statistical approach to recently introduced notions of strong uniform convergence and exhaustiveness.
CASERTA, Agata +2 more
openaire +4 more sources
International Journal of Mathematics and Mathematical Sciences, 1981 The relationships between a convergence space and its star compactification is studied. Special attention is given to lifting properties of this compactification.
G. D. Richardson, D. C. Kent
doaj +1 more source
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source
A Formal System of Axiomatic Set Theory in Coq
IEEE Access, 2020 Formal verification technology has been widely applied in the fields of mathematics and computer science. The formalization of fundamental mathematical theories is particularly essential.
Tianyu Sun, Wensheng Yu
doaj +1 more source
Mathematics, 2023 Geographic information systems have undergone rapid growth for decades. Topology has provided valuable modeling tools in the development of this field. Formal verification ofthe model of topological spatial relations can provide a reliable guarantee for ...
Sheng Yan, Wensheng Yu
doaj +1 more source
Probablistic convergence spaces and regularity
International Journal of Mathematics and Mathematical Sciences, 1997 The usual definition of regularity for convergence spaces can be characterized by a diagonal axiom R due to Cook and Fischer. The generalization of R to the realm of probabilistic convergence spaces depends on a t-norm T, and the resulting axiom RT ...
P. Brock, D. C. Kent
doaj +1 more source
On boundedly-convex functions on pseudo-topological vector spaces
International Journal of Mathematics and Mathematical Sciences, 2000 Notions of a boundedly convex function and of a Lipschitz-continuous function are extended to the case of functions on pseudo-topological vector spaces.
Vladimir Averbuch
doaj +1 more source
A quasitopos containing CONV and MET as full subcategories
International Journal of Mathematics and Mathematical Sciences, 1988 We show that convergence spaces with continuous maps and metric spaces with contractions, can be viewed as entities of the same kind. Both can be characterized by a limit function λ which with each filter ℱ associates a map λℱ from the underlying set ...
E. Lowen, R. Lowen
doaj +1 more source
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq
Mathematics, 2020 The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential.
Yaoshun Fu, Wensheng Yu
doaj +1 more source