Related papers: Completeness and additive property for submeasures

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

We prove that for any element $L$ in the completion of the space of smooth compact exact Lagrangian submanifolds of a cotangent bundle equipped with the spectral distance, the $\gamma$-support of $L$ coincides with the reduced micro-support…

We provide a sufficient condition for the sum of a finite number of complemented subspaces of a Banach space to be complemented. Under this condition a formula for a projection onto the sum is given. We also show that the condition is sharp…

We provide necessary and sufficient conditions for the space of smooth functions with compact supports $C^\infty_C(\Omega)$ to be dense in Musielak-Orlicz spaces $L^\Phi(\Omega)$ where $\Omega$ is an open subset of $\mathbb{R}^d$. In…

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

Let $A=(a_{ij})\in M_n(\R)$ be an $n$ by $n$ symmetric stochastic matrix. For $p\in [1,\infty)$ and a metric space $(X,d_X)$, let $\gamma(A,d_X^p)$ be the infimum over those $\gamma\in (0,\infty]$ for which every $x_1,...,x_n\in X$ satisfy…

We show that for every countable recursively saturated model $M$ of Peano Arithmetic and every subset $A \subseteq M$, there exists a full satisfaction class $S_A \subset M^2$ such that $A$ is definable in $(M,S_A)$ without parametres. It…

Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-\v{C}ech compactification $\beta X$ of $X$ with the set of…

We prove a local minimizing property for strictly stable free-boundary minimal hypersurfaces in the relative current setting. Let $\Sigma^n$ be a compact, two-sided, properly embedded free-boundary minimal hypersurface in a compact…

Let $f$ be a $C^{1+\alpha}$ diffeomorphism of a compact Riemannian manifold and $\mu$ an ergodic hyperbolic measure with positive entropy. We prove that for every continuous potential $\phi$ there exists a sequence of basic sets $\Omega_n$…

Let $X$ be a topological space and $\mu$ be a nonatomic finite measure on a $\sigma$-algebra $\Sigma$ containing the Borel $\sigma$-algebra of $X$. We say $\mu$ is weakly outer regular, if for every $A \in \Sigma$ and $\epsilon>0$, there…

We extend the structure theory of Burago--Gromov--Perelman for Alexandrov spaces with curvature bounded below, to the setting of Busemann spaces with non-negative curvature. We prove that any finite-dimensional Busemann space with…

We study the completeness of a metric which is related to the Bergman metric of a bounded domain. We provide a criterion for its completeness in the spirit of the Kobayashi criterion for the completeness of the Bergman metric. In particular…

We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of…

In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…

We give several topological/combinatorial conditions that, for a filter on $\omega$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a…

First, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its…

A strong submeasure on a compact metric space X is a sub-linear and bounded operator on the space of continuous functions on X. A strong submeasure is positive if it is non-decreasing. By Hahn-Banach theorem, a positive strong submeasure is…

It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of…

We prove that the supergravity r- and c-maps preserve completeness. As a consequence, any component H of a hypersurface {h=1} defined by a homogeneous cubic polynomial such that -d^2 h is a complete Riemannian metric on H defines a complete…