Related papers: Completeness and additive property for submeasures

We describe some sufficient conditions, under which smooth and compactly supported functions are or are not dense in the fractional Sobolev space $W^{s,p}(\Omega)$ for an open, bounded set $\Omega\subset\mathbb{R}^{d}$. The density property…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y),\] and set $M(X) = \sup…

Let $\Omega\subset \mathbb{C}$ be an arbitrary domain in the one-dimensional complex plane equipped with a positive Radon measure $\mu$. For any $1\le p< \infty$, it is shown that the weighted Bergman space $A^p(\Omega, \mu)$ of holomorphic…

Consider a triple of "Bartnik data" $(\Sigma, \gamma,H)$, where $\Sigma$ is a topological 2-sphere with Riemannian metric $\gamma$ and positive function $H$. We view Bartnik data as a boundary condition for the problem of finding a compact…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

For a metric space $(A,d)$, and a set $\Sigma$ of equations, some quantities are introduced that measure the size of discontinuities that must occur in operations satisfying $\Sigma$ (identically) on $A$. We are able to evaluate these…

We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on $\sigma$-compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper…

The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., $\{0\})$ that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed…

Our main result states that, given a finite-dimensional vector space $E$, the pseudometric defined in the set of continuous quasinorms $\mathcal{Q}_0=\{\|\cdot\|:E\to\mathbb{R}\}$ as $$d(\|\cdot\|_X,\|\cdot\|_Y)=\min\{\mu:\|\cdot\|_X…

Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139-167], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the…

We show that if a $\sigma-$finite infinite measure space $(\Omega,\mu)$ is quasi-non-atomic, then the Dunford-Schwartz pointwise ergodic theorem holds for $f\in \mathcal L^1(\Omega)+\mathcal L^{\infty}(\Omega)$ if and only if $\mu\{f\ge…

A new scheme for proving pseudoidentities from a given set {\Sigma} of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when {\Sigma} defines a locally finite variety, a pseudovariety of…

Let $\Omega\subset\mathbb{R}^N$ ($N\geq 3$) be a bounded $C^2$ domain and $\Sigma\subset\partial\Omega$ be a compact $C^2$ submanifold of dimension $k$. Denote the distance from $\Sigma$ by $d_\Sigma$. In this paper, we study positive…

Let $X$ be a compact K\"ahler manifold. Given a big cohomology class $\{\theta\}$, there is a natural equivalence relation on the space of $\theta$-psh functions giving rise to $\mathcal S(X,\theta)$, the space of singularity types of…

Let $\Sigma$ be a $\sigma$-algebra over $\Omega$, and let $M(\Sigma)$ denote the Banach space of complex measures. Consider a representation $T_t$ for $t\in\Bbb R$ acting on $M(\Sigma)$. We show that under certain, very weak hypotheses,…

The Erberlein-Smulian Theorem asserts that for complete normed spaces, that is Banach spaces, a subset is weak compact if and only if it is weak sequentially compact. In this paper it is shown that the completeness of the normed space is…

We construct dense Banach subalgebras $A$ of the null sequence algebra $c_0$ which are spectral invariant, but do not satisfy the $D_1$-condition $\|ab \|_A \leq K(\|a\|_{\infty} \|b\|_A + \|a \|_A \|b \|_{\infty})$, for all $a, b \in A$.…

Let $(X,d)$ be a compact metric space, $f:X \mapsto X$ be a continuous map satisfying a property we call almost specification (which is slightly weaker than the $g$-almost product property of Pfister and Sullivan), and $\phi$ be a…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by $I(mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y)$, and set $M(X) = \sup…

Building on the recent work of Mushaandja and Olela-Otafudu~\cite{MushaandjaOlela2025} on modular metric topologies, this paper investigates extended structural properties of modular (pseudo)metric spaces. We provide necessary and…