Related papers: Computable Stone spaces

It is proved that two useful and apparently different metrics on the set of Borel probabilities on countable products of Polish spaces of bounded diameters are equal. This paves the way for advances in their computation.

This paper studies topological duals of Banach function spaces (BFS). We assume a finite measure but our arguments extend to general locally convex function spaces whose topology is generated by seminorms that satisfy the usual BFS axioms.…

There exists a real hereditarily indecomposable Banach space $X$ such that the quotient space $L(X)/S(X)$ by strictly singular operators is isomorphic to the complex field (resp. to the quaternionic division algebra). Up to isomorphism, the…

We prove the result stated in the title. This provides a first example of an infinite-dimensional Banach space whose Lipschitz free space is isomorphic to the free space of a compact set.

It is proved that $P(\beta X)=\beta P(X)$ if and only if $P(X)$ is a pseudocompact space, where $P(X)$ is the space of probability Radon measures with weak topology and $\beta X$ is a Stone-Cech extension of the space $X$. A locally compact…

We answer a question of Piotr Minc by proving that there is no compact metrizable space whose set of components contains a unique topological copy of every metrizable compactification of a ray (i.e. a half-open interval) with an arc (i.e.…

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

We show that for a normal locally-${\mathscr P}$ space $X$ (where ${\mathscr P}$ is a topological property subject to some mild requirements) the subset $C_{\mathscr P}(X)$ of $C_b(X)$ consisting of those elements whose support has a…

For metrizable spaces we replace the notion of almost periodic homeomorphism with a similar notion and verify that the usual characterizations of almost periodic homeomorphisms of compact metric spaces are valid for all metrizable spaces.

We investigate (2,1):1 structures, which consist of a countable set $A$ together with a function $f: A \to A$ such that for every element $x$ in $A$, $f$ maps either exactly one element or exactly two elements of $A$ to $x$. These…

This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space $X$ which are obtained by deleting singletons determine $X$…

Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robustness requires the space to be a metric space. Robust…

In this article we give a homological characterization of the topology of Stein spaces over any valued base field. In particular, when working over the field of complex numbers, we obtain a characterization of the usual Euclidean…

In [G. Dimov and E. Ivanova-Dimova, Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces, arXiv:1901.04537v4, 1--33], extending the Stone Duality Theorem, we proved two duality theorems for the category…

We construct infinitely differentiable norms and partitions of unity for a class of Banach spaces which includes all spaces $\C(K)$ with $K$ a countable compact space, and all spaces $\C_0[0,\Omega )$ with $\Omega $ an ordinal.

For every well founded tree $\mathcal{T}$ having a unique root such that every non-maximal node of it has countable infinitely many immediate successors, we construct a $\mathcal{L}_\infty$-space $X_{\mathcal{T}}$. We prove that for each…

We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures…

A convexity space is a set X with a chosen family of subsets (called convex subsets) that is closed under arbitrary intersections and directed unions. There is a lot of interest in spaces that have both a convexity space and a topological…

We investigate certain geometric properties of the spaces of idempotent measures. In particular, we prove that the space of idempotent measures on an infinite compact metric space is homeomorphic to the Hilbert cube.

We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…