Related papers: Separable reduction theorems by the method of elem…
We compare two methods of proving separable reduction theorems in functional analysis -- the method of rich families and the method of elementary submodels. We show that any result proved using rich families holds also when formulated with…
We use a method involving elementary submodels and a partial converse of Foran lemma to prove separable reduction theorems concerning Suslin sigma-P-porous sets where "P" can be from a rather wide class of porosity-like relations in…
We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…
In the framework of Asplund spaces, we use two equivalent instruments - rich families and suitable models from logic - for performing separable reductions of various statements on Frechet subdifferentiability of functions. This way,…
We discuss removability problems concerning differentiability and pointwise Lipschitz conditions for functions of a real variable. We prove that, in each of the settings under consideration, a set is removable if and only if it has no…
In this paper we study the behaviour of selective separability properties in the class of Frech\'{e}t-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frech\'{e}t-Urysohn (hence…
We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra…
The problem of non-iterative one-shot and non-destructive correction of unavoidable mistakes arises in all Artificial Intelligence applications in the real world. Its solution requires robust separation of samples with errors from samples…
We investigate the differentiability properties of real-valued quasiconvex functions f defined on a separable Banach space X. Continuity is only assumed to hold at the points of a dense subset. If so, this subset is automatically residual.…
Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…
We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of…
We prove that the electron density function of a real physical system can be uniquely determined by its values on any finite subsystem. This establishes the existence of a rigorous density-functional theory for any open electronic system.…
In this paper (as in [Ken15]), we consider an effective version of the characterization of separable metric spaces as zero-dimensional iff every nonempty closed subset is a retract of the space (actually, it is a relative result for closed…
We define separating properties for normal ultrafilters. We prove that compactness and supercompactness are separable, yet compactness and measurability are not. We describe how to use separating properties in order to elicit distinct…
We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in…
We study properties of continuous semi-homogeneous operators of degree $k$ via various functions (e.g. measures of noncompactness) on all bounded subsets of a Banach space. We prove necessary and sufficient conditions for these functions to…
This article consists in two independent parts. In the first one, we investigate the geometric properties of almost periodicity of model sets (or cut-and-project sets, defined under the weakest hypotheses); in particular we show that they…
In classical density (or density-functional) estimation, it is standard to assume that the underlying distribution has a density with respect to the Lebesgue measure. However, when the data distribution is a mixture of continuous and…
We investigate the behavior of functional countability and exponential separability in products and subspaces of topological spaces. We solve a problem of Tkachuk by showing that the product of functionally countable pseudocompact spaces is…
We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…