Results 11 to 20 of about 4,773,304 (208)
Compactifying a convergence space with functions [PDF]
International Journal of Mathematics and Mathematical Sciences, 1996 A convergence space is a set together with a convergence structure. In this paper we discuss a method of constructing compactifications on a class of convergence spaces by use of functions.
Robert P. André
doaj +2 more sources
λ-Statistical Convergence in Paranormed Space [PDF]
Abstract and Applied Analysis, 2013 The concept of λ-statistical convergence for sequences of real numbers was introduced in Mursaleen (2000). In this paper, we prove decomposition theorem for λ-statistical convergence.
Mohammed A. Alghamdi, Mohammad Mursaleen
doaj +2 more sources
Weak-Polynomial Convergence on a Banach Space [PDF]
, 1993 We show that any super-reflexive Banach space is a LAMBDA-space (i.e., the weak-polynomial convergence for sequences implies the norm convergence). We introduce the notion Of kappa-space (i.e., a Banach space where the weak-polynomial convergence for ...
Prieto Yerro, M. Ángeles +3 more
core +2 more sources
On Statistical Convergence in Credibility Space [PDF]
, 2022 In this paper, we present the notions of statistically convergent sequence for fuzzy variables, statistically Cauchy sequence in credibility space, and present a kind of statistical completeness for credibility space.
Kişi, Ömer +2 more
core +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
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
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
Compactification of a Convergence Space [PDF]
Proceedings of the American Mathematical Society, 1979 A characterization for the class of convergence spaces having the largest Hausdorff compactification is given, and regularity and λ
openaire +2 more sources
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