相关论文: Degree spectra of homeomorphism types of compact P…

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…

Let G be a closed subgroup of the group of all permutations of a countably infinite set. Let X be a Polish G-space with a countable basis A of clopen sets. Each x from X defines a characteristic function f on A by f(U)=1 iff x belongs to U…

We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For…

We prove that a closed subgroup $H$ of a second countable locally compact group $G$ is amenable if and only if its left regular representation on an Orlicz space $L^\Phi(G)$ for some $\Delta_2$-regular $N$-function $\Phi$ almost has…

Let $X$ be a zero-dimensional metric space and $X'$ its derived set. We prove the following assertions: (1) the space $C_k(X,2)$ is an Ascoli space iff $C_k(X,2)$ is $k_\mathbb{R}$-space iff either $X$ is locally compact or $X$ is not…

We present an extension of the Gromov-Hausdorff metric on the set of compact metric spaces: the Gromov-Hausdorff-Prokhorov metric on the set of compact metric spaces endowed with a finite measure. We then extend it to the non-compact case…

We study when a continuous isometric action of a Polish group on a complete metric space is, or can be, transitive. Our main results consist of showing that certain Polish groups, namely $\mathrm{Aut}^*(\mu)$ and $\mathrm{Homeo}^+[0,1]$,…

We introduce the point degree spectrum of a represented space as a substructure of the Medvedev degrees, which integrates the notion of Turing degrees, enumeration degrees, continuous degrees, and so on. The notion of point degree spectrum…

The Halpern-L\"auchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles…

We prove pseudocompactness of a Tychonoff space $X$ and the space $\mathcal{P}(X)$ of Radon probability measures on it with the weak topology under the condition that the Stone-\v{C}ech compactification of the space $\mathcal{P}(X)$ is…

We show that the strong operator topology, the weak operator topology and the compact-open topology agree on the space of unitary operators of a infinite dimensional separable Hilbert space. Moreover, we show that the unitary group endowed…

We study groups that can be defined as Polish, pro-countable groups, as non-archimedean groups with an invariant metric or as quasi-countable groups, i.e., closed subdirect products of countable, discrete groups, endowed with the product…

The present article constitutes the third part of our study of the large scale geometry of metrisable groups, the first two part appearing in the companion paper "Large scale geometry of metrisable groups". In this third part, we present a…

We give strong necessary conditions on the admissibility of a Polish group topology for an arbitrary graph product of groups $G(\Gamma, G_a)$, and use them to give a characterization modulo a finite set of nodes. As a corollary, we give a…

Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…

We apply the theory of large-scale geometry of Polish groups to groups of absolutely continuous homeomorphisms. Let $M$ be either the compact interval or circle. We prove that the Polish group $\operatorname{AC}_+(M)$ of…

A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{{\downarrow}F}(X)$ be the space of continuous real-valued functions on $X$,…

It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…

$C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether…

The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show…