Related papers: A note on continuous functions on metric spaces
A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It…
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…
We classify all functions which, when applied term by term, leave invariant the sequences of moments of positive measures on the real line. Rather unexpectedly, these functions are built of absolutely monotonic components, or reflections of…
This paper has two goals: to present some new results that are necessary for further study and applications of quasi-linear functionals, and, by combining known and new results, to serve as a convenient single source for anyone interested…
We show that there are uncountably many mutually non-isomorphic Lipschitz-free spaces over countable, complete, discrete metric spaces. Also there is a countable, complete, discrete metric space whose free space does not embed into the free…
We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…
Reverse Mathematics (RM for short) is a program in the foundations of mathematics with the aim of finding the minimal axioms required for proving theorems about countable and separable objects. RM usually takes place in second-order…
The program Reverse Mathematics in the foundations of mathematics seeks to identify the minimal axioms required to prove theorems of ordinary mathematics. One always assumes the base theory, a logical system embodying computable…
A pair of functions defined on a set X with values in a vector space E is said to be disjoint if at least one of the functions takes the value 0 at every point in X. An operator acting between vector-valued function spaces is disjointness…
In this paper we examine the general theory of continuous frame multipliers in Hilbert space. These operators are a generalization of the widely used notion of (discrete) frame multipliers. Well-known examples include Anti-Wick operators,…
We study non-linear functionals, including quasi-linear functionals, p-conic quasi-linear functionals, d-functionals, r-functionals, and their relationships to deficient topological measures and topological measures on locally compact…
The aim of Reverse Mathematics(RM for short)is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak…
By investigating in detail discontinuities of the first kind of real-valued functions and the analysis of unordered sums, where the summands are given by values of a positive real-valued function, we develop a measure-theoretical framework…
We derive two types of representation results for increasing convex functionals in terms of countably additive measures. The first is a max-representation of functionals defined on spaces of real-valued continuous functions and the second a…
We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…
By using the space of fuzzy numbers, in e.g. [5] have been considered several complete metric spaces (called here {\bf FN}-type spaces) endowed with addition and scalar multiplication, such that the metrics have nice properties but the…
We generalize some classical results about quasicontinuous and separately continuous functions with values in metrizable spaces to functions with values in certain generalized metric spaces, called Maslyuchenko spaces. We establish…
We study the class of compact convex subsets of a topological vector space which admits a strictly convex and lower semicontinuous function. We prove that such a compact set is embeddable in a strictly convex dual Banach space endowed with…
Non-convex functions that yet satisfy a condition of uniform convexity for non-close points can arise in discrete constructions. We prove that this sort of discrete uniform convexity is inherited by the convex envelope, which is the key to…