Related papers: A note on continuous functions on metric spaces
Let $\precsim$ be a reflexive binary relation on a topological space $(X, \tau )$. A pair $(u,v)$ of continuous real-valued functions on $(X, \tau )$ is said to be a {\em continuous representation} of $\precsim$ if, for all $x,y \in X$,…
A transfunction is a function which maps between sets of finite measures on measurable spaces. Push-forward operators form one important class of examples of transfunctions and are identified with their respective measurable functions. In…
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…
We develop an asymptotic expansion of the spectral measures on a degenerating family of hyperbolic Riemann surfaces of finite volume. As an application of our results, we study the asymptotic behavior of weighted counting functions, which,…
Given an uncountable, compact metric space, we show that there exists no reproducing kernel Hilbert space that contains the space of all continuous functions on this compact space.
In this paper we give a simple proof of inequalities of integrals of functions which are the composition of nonnegative continous convex functions on a vector space ${\bf R}^m$ and vector-valued functions in a weakly compact subset of a…
Density of Lipschitz functions in Newtonian spaces based on quasi-Banach function lattices is discussed. Newtonian spaces are first-order Sobolev-type spaces on abstract metric measure spaces defined via (weak) upper gradients. Our main…
A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite…
A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…
In spaces of metrics, we investigate topological distributions of the doubling property, the uniform disconnectedness, and the uniform perfectness, which are the quasi-symmetrically invariant properties appearing in the David--Semmes…
We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models where the continuum is aleph_2 in which no such space can have aleph_2 countable levels.
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…
Given a strictly positive measure, we characterize inner semicontinuous solid convex-valued mappings for which continuous functions which are selections almost everywhere are selections. This class contains continuous mappings as well as…
This paper is about the technique of {\em shadow variables} that was used in the theory of monotone operators. In this paper, we use it to show that certain results that were originally proved for lower semicontinuous convex functions are…
Determination of quasi-invariant generalized functions is important for a variety of problems in representation theory, notably character theory and restriction problems. In this note, we review some new and easy-to-use techniques to show…
We investigate the existence of subinvariant metric functionals for commuting families of nonexpansive mappings in noncompact subsets of Banach spaces. Our findings underscore the practicality of metric functionals when searching for fixed…
We describe the inverse image of the Riemannian exponential map at a basepoint of a compact symmetric space as the disjoint union of so called focal orbits through a maximal torus. These are orbits of a subgroup of the isotropy group acting…
Description of linear continuous functionals on a space of rapidly decreasing infinitely differentiable functions on an unbounded closed convex set in $\mathbb R^n$ in terms of their Fourier-Laplace transform is obtained.
We prove that subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some asymptotically small sets on spheres, are bounded from above everywhere. It follows that subharmonic functions of…
While discrete harmonic functions have been objects of interest for quite some time, this is not the case for discrete polyharmonic functions, as appear for instance in the asymptotics of path counting problems. In this article, a novel…