Related papers: Stone-Cech extensions of probability measure space…

Let $X$ be a noncomplete metric space satisfying the usual (local) assumptions of a doubling property and a Poincar\'e inequality. We study extensions of Newtonian Sobolev functions to the completion $\widehat{X}$ of $X$ and use them to…

In these expository notes, intended for students without background in point-set topology, we develop the basic theory of the Stone-Cech compactification without reference to open sets, closed sets, filters, or nets. In particular, this…

We explore the Borel complexity of some basic families of subsets of a countable group (large, small, thin, sparse and other) defined by the size of their elements. Applying the obtained results to the Stone-\v{C}ech compactification $\beta…

Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\le\omega_1$. It is also proved that…

Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned…

We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be…

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…

A space $X$ is called $Ps$-normal($Ps$-Tychonoff) space if there exists a normal(Tychonoff) space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_K:K\mapsto f(K)$ is homeomorphism for any pseudocompact subset $K$ of $X$. We establish…

Tukey order are used to compare the cofinal complexity of partially order sets (posets). We prove that there is a $2^\mathfrak{c}$-sized collection of sub-posets in $2^\omega$ which forms an antichain in the sense of Tukey ordering. Using…

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…

We show that the product of any number of sequentially pseudocompact topological spaces is still sequentially pseudocompact. The definition of sequential pseudocompactness can be given in (at least) two ways: we show their equivalence. Some…

Using the game approach to fragmentability, we give new and simpler proofs of the following known results: (a) If the Banach space admits an equivalent Kadec norm, then its weak topology is fragmented by a metric which is stronger than the…

Sample complexity of bias estimation is a lower bound on the runtime of any bias detection method. Many regulatory frameworks require the bias to be tested for all subgroups, whose number grows exponentially with the number of protected…

We show that if $X$ is a Stein space and, if $\Omega \subset X$ is exhaustable by a sequence $\Omega_1 \subset \Omega_2 \subset \ldots \subset \Omega_n \subset \ldots$ of open Stein subsets of $X$, then $\Omega$ is Stein. This generalizes a…

We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $\Delta$-space in the sense of \cite…

Given a metrizable space $Z$, denote by ${\rm PM}(Z)$ the space of continuous bounded pseudometrics on $Z$, and denote by ${\rm AM}(Z)$ the one of continuous bounded admissible metrics on $Z$, the both of which are equipped with the…

We prove that, for an arbitrary topological space $X$, the following two conditions are equivalent: (a) Every open cover of $X$ has a finite subset with dense union (b) $X$ is $D$-pseudocompact, for every ultrafilter $D$. Locally, our…

For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…

Let $p$ be a real number greater than one and let $X$ be a locally compact, noncompact metric measure space that satisfies certain conditions. The $p$-Royden and $p$-harmonic boundaries of $X$ are constructed by using the $p$-Royden algebra…

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…