We prove that density preserving homeomorphisms form a Π11-complete subset in the Polish space ℍ of all increasing autohomeomorphisms of unit interval.

We relate some subsets $G$ of the product $X\times Y$ of nonseparable Luzin (e.g., completely metrizable) spaces to subsets $H$ of ${\mathbb{N}}^{\mathbb{N}}\times Y$ in a way which allows to deduce descriptive properties of $G$ from corresponding theorems on $H$. As consequences we prove a nonseparable version of Kondô’s uniformization theorem and results on sets of points $y$ in $Y$ with particular properties of fibres $f^{-1}\left(y\right)$ of a mapping $fX\to Y$. Using these, we get descriptions of bimeasurable mappings between nonseparable Luzin spaces in terms of fibres.

Let $$𝒦$$ (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that $$\{K\in 𝒦\left(ℝ\right):{\forall }_x\in K(d^{+}(x,K)=1or{d}^{-}(x,K)=1)\}$$ is ⊓11-complete. In this paper we define an abstract density operator ⅅ± and we generalize the above result. Some applications are included.

We investigate some problems of the following type: For which sets H is it true that if f is in a given class ℱ of periodic functions and the difference functions ${\Delta }_{h}f\left(x\right)=f(x+h)-f\left(x\right)$ are in a given smaller class G for every h ∈ H then f itself must be in G? Denoting the class of counter-example sets by ℌ(ℱ,G), that is, $ℌ(ℱ,G)=H\subset ℝ/\mathbb{Z}:\left(\exists f\in ℱG\right)\left(\forall h\in H\right){\Delta }_{h}f\in G$, we try to characterize ℌ(ℱ,G) for some interesting classes of functions ℱ ⊃ G. We study classes of measurable functions on the circle group $𝕋=ℝ/\mathbb{Z}$ that are invariant for changes on null-sets (e.g. measurable...

An archimedean vector lattice A might have the following properties: (1) the sigma property (σ): For each ${aₙ}_{n\in \mathbb{N}}conA⁺$ there are ${\lambda ₙ}_{n\in \mathbb{N}}\subseteq (0,\infty )$ and a ∈ A with λₙaₙ ≤ a for each n; (2) order convergence and relative uniform convergence are equivalent, denoted (OC ⇒ RUC): if aₙ ↓ 0 then aₙ → 0 r.u. The conjunction of these two is called strongly Egoroff. We consider vector lattices of the form D(X) (all extended real continuous functions on the compact space X) showing that (σ) and (OC ⇒ RUC) are equivalent, and equivalent...

We consider special events of Borel sets with the aim to prove, that the set of the irrational numbers is an event of the Borel sets. The set of the natural numbers, the set of the integer numbers and the set of the rational numbers are countable, so we can use the literature [10] (pp. 78-81) as a basis for the similar construction of the proof. Next we prove, that different sets can construct the Borel sets [16] (pp. 9-10). Literature [16] (pp. 9-10) and [11] (pp. 11-12) gives an overview, that...

We show that some classes of small sets are topological versions of some combinatorial properties. We also give a characterization of spaces for which White has a winning strategy in the point-open game. We show that every Lusin set is undetermined, which solves a problem of Galvin.

Christensen has defined a generalization of the property of being of Haar measure zero to subsets of (abelian) Polish groups which need not be locally compact; a recent paper of Hunt, Sauer, and Yorke defines the same property for Borel subsets of linear spaces, and gives a number of examples and applications. The latter authors use the term “shyness” for this property, and “prevalence” for the complementary property. In the present paper, we construct a number of examples of non-shy Borel sets...

In [2] the question was considered in how many directions can a nonmeasurable plane set behave even "better" than the classical one constructed by Sierpiński in [6], in the sense that any line in a given direction intersects the set in at most one point. We considerably improve these results and give a much sharper estimate for the size of the sets of those "better" directions.

We present a categorical approach to the extension of probabilities, i.e. normed $\sigma$-additive measures. J. Novák showed that each bounded $\sigma$-additive measure on a ring of sets $𝔸$ is sequentially continuous and pointed out the topological aspects of the extension of such measures on $𝔸$ over the generated $\sigma$-ring $\sigma \left(𝔸\right)$: it is of a similar nature as the extension of bounded continuous functions on a completely regular topological space $X$ over its Čech-Stone compactification $\beta X$ (or as the extension of continuous...

We prove an abstract version of the Kuratowski extension theorem for Borel measurable maps of a given class. It enables us to deduce and improve its nonseparable version due to Hansell. We also study the ranges of not necessarily injective Borel bimeasurable maps f and show that some control on the relative classes of preimages and images of Borel sets under f enables one to get a bound on the absolute class of the range of f. This seems to be of some interest even within separable spaces.

We prove that an $F_{\sigma }$-additive cover of a Čech complete, or more generally scattered-K-analytic space, has a σ-scattered refinement. This generalizes results of G. Koumoullis and R. W. Hansell.

It is proved that $F_{\sigma }$-mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any $F_{\sigma }$-mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable $F_{\sigma }$-set $X_{\infty }\subset X$ satisfying $f\left(X_{\infty }\right)=Y$.