Related papers: On sequential separability of functional spaces

It is obtained necessary and sufficient conditions of dependence on $\aleph$ coordinates for functions of several variables, each of which is a product of metrizable factors. The set of discontinuity points of such functions is…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

We show that if $X$ and $Y$ are Banach spaces, where $Y$ is separable and polyhedral, and if $T:X \to Y$ is a bounded linear operator such that $T^*(Y^*)$ contains a boundary $B$ of $X$, then $X$ is separable and isomorphic to a polyhedral…

A topological space $X$ is $\mathbb R^{\omega_1}$-factorizable if any continuous function $f\colon X\to \mathbb R^{\omega_1}$ factors through a continuous function from $X$ to a second-countable space. It is shown that a Tychonoff space $X$…

We present a constructive proof of Tychonoff's fixed point theorem in a locally convex space for sequentially locally non-constant functions, As a corollary to this theorem we also present Schauder's fixed point theorem in a Banach space…

A topological space $X$ is called Piotrowski if every quasicontinuous map $f:Z\to X$ from a Baire space $Z$ to $X$ has a continuity point. In this paper we survey known results on Piotrowski spaces and investigate the relation of Piotrowski…

We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)\times Y$ is $M$-separable for every countable $M$-separable $Y$.

Employing a construction of Tsirelson-like spaces due to Argyros and Deliyanni, we show that the class of all Banach spaces which are isomorphic to a subspace of $c_{0}$ is a complete analytic set with respect to the Effros Borel structure…

We study properties of strongly separately continuous mappings defined on subsets of products of topological spaces equipped with the topology of pointwise convergence. In particular, we give a necessary and sufficient condition for a…

We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the…

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

Necessary and sufficient conditions for a separable Banach space to be a dual space are proved. Some applications are discussed

Let M be a complete metric space. It is proved that if the space or scalar-valued bounded continuous functions on M admits an isometric shift, then M is separable.

In this paper, we present the necessary and sufficient conditions of separability for bipartite pure states in infinite dimensional Hilbert spaces. Let $M$ be the matrix of the amplitudes of $\ket\psi$, we prove $M$ is a compact operator.…

We use lexicographic products to give examples of compact spaces of first Baire class functions on a compact metric space that cannot be represented as spaces of functions with countably many discontinuities.

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…

For a topological space X, let (RX)s := (RX,Ts) be the cartesian product of |X| copies of the real line R with the topology of the uniform convergence on separable subsets of X. In this article we analyze the subspace C(X) of (RX)s of all…

It is proved that every function of finite Baire index on a separable metric space $K$ is a $D$-function, i.e., a difference of bounded semi-continuous functions on $K$. In fact it is a strong $D$-function, meaning it can be approximated…

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$.

Certain subclasses of $B_1(K)$, the Baire-1 functions on a compact metric space $K$, are defined and characterized. Some applications to Banach spaces are given.