Related papers: On Kuratowski partitions
In his 1985 survey of notions of exchangeability, Aldous introduced a form of exchangeability corresponding to the symmetries of the infinite discrete cube, and asked whether these exchangeable probability measures enjoy a representation…
The theory of differentiation of measures originates from works of Besicovitch in the 1940's. His pioneering works, as well as subsequent developments of the theory, rely as fundamental tools on suitable covering properties. The first aim…
We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a…
We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…
We generalize the classical Monge-Kantorovich duality--typically established for tight (Radon) probability measures--to separable Baire probability measures, which are strictly more general than tight measures on completely regular…
A space $X$ is projectively Hurewicz provided every separable metrizable continuous image of $X$ is Hurewicz. In this paper we prove that the projectively Hurewicz property is $t$-invariant, i.e., if $C_p(X)$ is homeomorphic to $C_p(Y)$ and…
Below we discuss the existence of a motherbody measure for the exterior inverse problem in potential theory in the complex plane. More exactly, we study the question of representability almost everywhere (a.e.) in C of (a branch of) an…
In this note we give equivalence of the existence of K-partitions with the existence of the precipitous ideal which is essentially topological. This way we strengthen the main result of Frankiewczi and Kunen (1987).
We investigate the question of when a topological space $X$ has the $\textit{Generalized Bolzano-Weierstrass property}$: every sequence of subsets of $X$ has a convergent subsequence (in the sense of Kuratowski).
Given a completely metrizable space $X$, let $\mathfrak{par}(X)$ denote the smallest possible size of a partition of $X$ into Polish spaces, and $\mathfrak{cov}(X)$ the smallest possible size of a covering of $X$ with Polish spaces. Observe…
Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…
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.…
Given Banach spaces E and F, we denote by ${\mathcal P}(^k!E,F)$ the space of all k-homogeneous (continuous) polynomials from E into F, and by ${\mathcal P}_{wb}(^k!E,F)$ the subspace of polynomials which are weak-to-norm continuous on…
We suggest a new way of defining optimal transport of positive-semidefinite matrix-valued measures. It is inspired by a recent rendering of the incompressible Euler equations and related conservative systems as concave maximization…
A set of all symmetric Banach function spaces defined on [0,1] is equipped with the partial order by the relation of continuous inclusion. Properties of symmetric spaces, which do not depend of their position in the ordered structure, are…
The notions of a proper dyadic subbase and an independent subbase was introduced by H. Tsuiki to investigate in {0, 1, bot}-sequence codings of topological spaces. We show that every separable metrizable space has a proper dyadic subbase…
In 1933, K. Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? In 1965, V. G. Boltyanski and I. T. Gohberg made the following conjecture: Every bounded set in…
In this paper, we show that there are a totally ordered compact K separable (K is Rosenthal compact set), a Hausdorff topology T' on C(K) and two closed subspaces Y1, Y2 of (C(K); Tp) such that (C(K);T') is not universally measurable,…
In this article we will investigate nonmeasurability with respect to some $\sigma$-ideals in Polish space $X,$ of images of subsets of $X$ by selected mappings defined on the space $X$. Among of them we answer the following question: "It is…
We develop a theory of projective Fraisse limits in the spirit of Irwin- Solecki. The structures here will additionally support dual semantics as in [Sl10, Sl12]. Let Y be a compact metrizable space and let G be a closed subgroup of…