Related papers: Complete Multi-Representations of Sets in a Comput…

The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…

We construct a multiset space $\mathbb{N}[X]$ over a metric space $X$ that simultaneously enjoys desirable topological properties and admits a natural matching metric $d_{\mathbb{N}[X]}$, making it a metrizable abelian topological monoid…

We investigate the possibility of replacing the topology of convergence in probability with convergence in $L^1$. A characterization of continuous linear functionals on the space of measurable functions is also obtained.

We study metric measure spaces that have quantitative topological control, as well as a weak form of differentiable structure. In particular, let $X$ be a pointwise doubling metric measure space. Let $U$ be a Borel subset on which the…

Let $\mathcal{E}$ denote the space of entire functions with the topology of uniform convergence on compact sets. The action of $\mathbb C$ by translations on $\mathcal E$ is defined by $T_zf(w) = f(w+z)$. Let $\mathcal{U}$ denote the set of…

There are two definitions of the measurable functional on the topological vector space: as a linear and measurable real-valued function and as a pointwise limit of the sequence of the continious linear functionals. In general case they are…

Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

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 study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$. When $X$ is second countable, we observe that the…

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…

In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…

Generalizing the notion of continuous Hilbert space representations of compact topological groups we define unitary continuous correpresentations of $C^*$-completions of compact quantum group Hopf algebras on arbitrary Hilbert spaces. It is…

Adapting a homotopy reconstruction theorem for general metric compacta, we show that every countable metric or ultrametric compact space can be topologically reconstructed as the inverse limit of a sequence of finite $T_0$ spaces which are…

For any countable group, and also for any locally compact second countable, compactly generated topological group, G, we show the existence of a "universal" hypercyclic (i.e. topologically transitive) representation on a Hilbert space, in…

The aim of this article is to establish basic results in a conditional measure theory. The results are applied to prove that arbitrary kernels and conditional distributions are represented by measures in a conditional set theory. In…

In 1957, Lacombe initiated a systematic study of the different possible notions of "computable topological spaces". However, he interrupted this line of research, settling for the idea that "computably open sets should be computable unions…

We examine the selective screenability property in topological groups. In the metrizable case we also give characterizations in terms of the Haver property and finitary Haver property respectively relative to left-invariant metrics. We…

Inspired from a joint work by A. Beckmann, S. Buss and S. Friedman, we propose a class of set-theoretic functions, predicatively computable functions. Each function in this class is polynomial time computable when we restrict to finite…

In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…