Results 1 to 10 of about 18,126,484 (324)
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].
Hiroshi Yamazaki +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 ...
Lidia Sánchez-Gil +2 more
openaire +2 more sources
A function space integral for a Banach space of functionals on Wiener space [PDF]
Proceedings of the American Mathematical Society, 1974 In an earlier paper the authors established the existence of Cameron and Storvick's function space integral J,(F) for a class of finite-dimensional functionals F. Here we consider a space A of not necessarily finite-dimensional functionals generated by the earlier functionals.
Johnson, G. W., Skoug, D. L.
openaire +2 more sources
Heisenberg modules as function spaces [PDF]
, 2020 Let $\Delta$ be a closed, cocompact subgroup of $G \times \widehat{G}$, where $G$ is a second countable, locally compact abelian group. Using localization of Hilbert $C^*$-modules, we show that the Heisenberg module $\mathcal{E}_{\Delta}(G)$ over the ...
Austad, Are, Enstad, Ulrik
core +2 more sources
Function spaces related to the Dirichlet space [PDF]
Journal of the London Mathematical Society, 2010 We present results about spaces of holomorphic functions associated to the classical Dirichlet space. The spaces we consider have roles similar to the roles of $H^{1}$ and $BMO$ in the Hardy space theory and we emphasize those analogies.
Nicola Arcozzi +3 more
openaire +3 more sources
Compactness Criteria in Function Spaces [PDF]
, 2002 The classical criterion for compactness in Banach spaces of functions can be reformulated into a simple tightness condition in the time-frequency domain.
Dörfler, Monika +2 more
core +2 more sources
Extending Whitney's extension theorem: nonlinear function spaces [PDF]
, 2020 We consider a global, nonlinear version of the Whitney extension problem for manifold-valued smooth functions on closed domains $C$, with non-smooth boundary, in possibly non-compact manifolds.
Roberts, David Michael +1 more
core +4 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
Function Spaces on Singular Manifolds [PDF]
, 2011 It is shown that most of the well-known basic results for Sobolev-Slobodeckii and Bessel potential spaces, known to hold on bounded smooth domains in $\mathbb{R}^n$, continue to be valid on a wide class of Riemannian manifolds with singularities and ...
Amann +33 more
core +2 more sources