Related papers: Strongly sequentially separable function spaces, v…

A metric space is indivisible if for any partition of it into finitely many pieces one piece contains an isometric copy of the whole space. Continuing our investigation of indivisible metric spaces, we show that a countable ultrametric…

We answer two questions from {\it V.Bykov, On Baire class one functions on a product space, Topol. Appl. {199} (2016) 55--62,} and prove that every Baire one function on a subspace of a countable perfectly normal product is the pointwise…

As proved in [16], for a Tychonoff space $X$, a locally convex space $C_{p}(X)$ is distinguished if and only if $X$ is a $\Delta$-space. If there exists a linear continuous surjective mapping $T:C_p(X) \to C_p(Y)$ and $C_p(X)$ is…

We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable strongly jump-traceable set. This allows us to generalise…

We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by…

We show that all density operators of 2$\times N$--dimensional quantum systems that remain invariant after partial transposition with respect to the first system are separable. Based on this criterion, we derive a sufficient separability…

The properties of the spaces of Sugeno integrable functions are quite different from those of the ordinary spaces of Lebesgue integrable functions. The purpose of the paper is to further advance our study of the Sugeno-Lorentz spaces, in…

For a Tychonoff space $X$, we denote by $(C(X), \tau_k, \tau_p)$ the bitopological space of all real-valued continuous functions on $X$ where $\tau_k$ is the compact-open topology and $\tau_p$ is the topology of pointwise convergence. In…

In this note we study the open-point topological games in order to analyze the least upper bound for density of dense subsets of a topological space. This way we may also analyze the behavior of such cardinal invariants in taking products…

We prove that every unconditionally summable sequence in a Hilbert space can be factorized as the product of a square summable scalar sequence and a Bessel sequence. Some consequences on the representation of unconditionally convergent…

The notion of adequate function has been recently introduced in order to characterize the essentially strictly functions on a reflexive Banach space among the weakly lower semicontinuous ones. In this paper we reinforce this concept and…

As a part of our works on effective properties of probability distributions, we deal with the corresponding characteristic functions. A sequence of probability distributions is computable if and only if the corresponding sequence of…

Here we give a necessary and sufficient condition for a Banach space to be separable.

A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property…

We study equivalent descriptions of the vague, weak, setwise and total-variation (TV) convergence of sequences of Borel measures on metrizable and non-metrizable topological spaces in this work. On metrizable spaces, we give some equivalent…

We prove that several results of lineability/spaceability in the framework of sequence spaces are valid in a stricter sense.

Let $X$ and $Y$ be separable Banach spaces and $T:X\to Y$ be a bounded linear operator. We characterize the non-separability of $T^*(Y^*)$ by means of fixing properties of the operator $T$.

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…

In a complete metric space equipped with a doubling measure and supporting a $(1,1)$-Poincar\'e inequality, we show that every set satisfying a suitable capacitary density condition is removable for Newton-Sobolev functions.

Given a bipartite quantum system represented by a tensor product of two Hilbert spaces, we give an elementary argument showing that if either component space is infinite-dimensional, then the set of nonseparable density operators is…