Results 1 to 10 of about 243,842 (140)
Functional Space Consisted by Continuous Functions on Topological Space [PDF]
Formalized Mathematics, 2021 Summary In this article, using the Mizar system [1], [2], first we give a definition of a functional space which is constructed from all continuous functions defined on a compact topological space [5]. We prove that this functional space is a Banach space [3].
Yamazaki, Hiroshi +2 more
openaire +2 more sources
Relating function spaces to resourced function spaces [PDF]
Proceedings of the 2011 ACM Symposium on Applied Computing, 2011 In order to prove the computational adequacy of the (operational)natural semantics for lazy evaluation with respect to a standard denotational semantics, Launchbury defines a resourced denotational semantics. This should be equivalent to the standard one when given infinite resources, but this fact cannot be so directly established, because each ...
Sánchez Gil, Lidia +2 more
openaire +2 more sources
Function spaces of completely metrizable spaces [PDF]
Transactions of the American Mathematical Society, 1993 Let X X and Y Y be metric spaces and let ϕ : C p ( X ) → C p ( Y ) \phi :{C_p}(X) \to {C_p}(Y) (resp. ϕ :
Baars, Jan, de Groot, Joost, Pelant, Jan
openaire +2 more sources
International Journal of Mathematics and Mathematical Sciences, 1980 A study is made of the properties on X which characterize when Cπ(X) is a k‐space, where Cπ(X) is the space of real‐valued continuous functions on X having the topology of pointwise convergence. Other properties related to the k‐space property are also considered.
openaire +3 more sources
On Function Spaces on Symmetric Spaces [PDF]
, 2011 8 ...
Krötz, Bernhard, Schlichtkrull, Henrik
openaire +3 more sources
Function-space compactifications of function spaces
Topology and its Applications, 2002 The paper presents a nice discussion of applications of the theory of continuous lattices in topology and analysis. We mention two pure topological results which are consequences of more general results: (1) If \(X\) and \(Y\) are compact Hausdorff spaces, then the space \(C_k(X,Y)\) of continuous mappings from \(X\) into \(Y\) with the compact-open ...
openaire +2 more sources
Topology and its Applications, 1997 For a completely regular space \(X\) and a normed space \(E\) let \(C_k(X,E)\) (respectively \(C_p(X,E)\)) be the set of all continuous maps from \(X\) to \(E\) equipped with the compact-open (respectively pointwise convergence) topology. The paper studies properties which are preserved by linear continuous surjections from \(C_k(X,E)\) onto \(C_p(Y,F)\
openaire +3 more sources
Retracted: Intelligent City 3D Modeling Model Based on Multisource Data Point Cloud Algorithm
Journal of Function Spaces, 2023 Journal of Function Spaces
doaj +1 more source
Retracted: Analysis of Farmer Relocation Selection Behavior Based on Bayesian Network
Journal of Function Spaces, 2023 Journal of Function Spaces
doaj +1 more source