Related papers: Virtual Continuity of Measurable Functions and Its…
Results on the upper and lower semicontinuity of functionals defined on spaces of convex and more general functions are established. In particular, the following result is obtained. Let $\phi(v; \cdot)$ be the density of the absolutely…
The notion of weakly monotone functions extends the classical definition of monotone function, that can be traced back to H.Lebesgue. It was introduced, in the setting of Sobolev spaces, by J.Manfredi, and thoroughly investigated in the…
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…
In metric measure spaces, we study boundary traces of BV functions in domains equipped with a doubling measure and supporting a Poincar\'e inequality, but possibly having a very large and irregular boundary. We show that the trace exists in…
In the setting of a metric space equipped with a doubling measure that supports a Poincar\'e inequality, we show that any set of finite perimeter can be approximated in the BV norm by a set whose topological and measure theoretic boundaries…
A necessary and sufficient condition for fractional Orlicz-Sobolev spaces to be continuously embedded into $L^\infty(\mathbb R^n)$ is exhibited. Under the same assumption, any function from the relevant fractional-order spaces is shown to…
In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…
Let $0<r<1/4$, and $f$ be a non-vanishing continuous function in $|z|\leq r$, that is analytic in the interior. Voronin's universality theorem asserts that translates of the Riemann zeta function $\zeta(3/4 + z + it)$ can approximate $f$…
The fact that not all measurements can be carried out simultaneously is a peculiar feature of quantum mechanics and responsible for many key phenomena in the theory, such as complementarity or uncertainty relations. For the special case of…
Combining ideas of Troallic and Cascales, Namioka, and Vera, we prove several characterizations of \textit{almost equicontinuity} and \textit{hereditary almost equicontinuity} for subsets of metric-valued continuous functions when they are…
We study the asymptotic behaviour of suitably defined seminorms in general metric measure spaces. As a particular case we provide new and shorter proofs of the Maz'ya-Shaposhnikova's theorem on the asymptotic behaviour of the fractional…
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes…
The concepts of amenable and compatible functions have been introduced in a recent work, in order to state precise mathematical theorems that guarantee that a backward stable algorithm is also forward stable, and that the composition of two…
On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular,…
A Bourgain--Brezis--Mironescu-type theorem for fractional Sobolev spaces with variable exponents is established for sufficiently regular functions. We prove, however, that a limiting embedding theorem for these spaces fails to hold in…
Consider a measurable space with an atomless finite vector measure. This measure defines a mapping of the $\sigma$-field into an Euclidean space. According to the Lyapunov convexity theorem, the range of this mapping is a convex compactum.…
In this thesis, the main objects of study are probability measures on the isomorphism classes of countable, connected rooted graphs. An important class of such measures is formed by unimodular measures, which satisfy a certain equation,…
A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…
Consider a measurable space with a finite vector measure. This measure defines a mapping of the $\sigma$-field into a Euclidean space. According to Lyapunov's convexity theorem, the range of this mapping is compact and, if the measure is…
Pseudo-holomorphic curves on almost complex manifolds have been much more intensely studied than their "dual" objects, the plurisubharmonic functions. These functions are defined classically by requiring that the restriction to each…