Related papers: $\pi$-spaces and their open images

In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…

Let X be a surface whose Cox ring has a single relation satisfying moreover a kind of linearity property. Under a simple assumption, we show that the geometric Manin's conjectures hold for some degrees lying in the dual of the effective…

A topological space $X$ is defined to have a neighborhood $P$-base at any $x\in X$ from some poset $P$ if there exists a neighborhood base $(U_p[x])_{p\in P}$ at $x$ such that $U_p[x]\subseteq U_{p'}[x]$ for all $p\geq p'$ in $P$. We prove…

A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…

A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…

A set of integers $A$ is computably encodable if every infinite set of integers has an infinite subset computing $A$. By a result of Solovay, the computably encodable sets are exactly the hyperarithmetic ones. In this paper, we extend this…

We introduce and study the notion of overt choice for countably-based spaces and for CoPolish spaces. Overt choice is the task of producing a point in a closed set specified by what open sets intersect it. We show that the question of…

A compact semisimple Lie algebra $\mathfrak{g}$ induces a Poisson structure $\pi$ on the unit sphere $S$ in $\mathfrak{g}^*$. We compute the moduli space of Poisson structures on $S$ around $\pi$. This is the first explicit computation of a…

For spaces of constant, linear, and quadratic splines of maximal smoothness on the Powell-Sabin 12-split of a triangle, the so-called S-bases were recently introduced. These are simplex spline bases with B-spline-like properties on the…

For a Tychonoff space $X$, we will denote by $USC_{p}(X)$ ($B_1(X)$) a set of all real-valued upper semicontinuous functions (a set of all Baire functions of class 1) defined on $X$ endowed with the pointwise convergence topology. In this…

Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we…

We consider coherent sublinear expectations on a measurable space, without assuming the existence of a dominating probability measure. By considering a decomposition of the space in terms of the supports of the measures representing our…

Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from…

We present a translation of Urysohn's description of normal spaces (as those where disjoint closed subsets are separated by a continuous function) into the language of lifting properties in $\mathbf{Top}$, correcting a frequently-cited…

The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal…

It is shown that for any Baire space $X$, linearly ordered compact spaces $Y_1,\dots, Y_n$, compact space $Y\subseteq Y_1\times\cdots \times Y_n$ such that for every parallelepiped $W\subseteq Y_1\times\cdots \times Y_n$ the set $Y\cap W$…

We compute the Parisi overlap distribution for paperfolding sequences. It turns out to be discrete, and to live on the dyadic rationals. Hence it is a pure point measure whose support is the full interval [-1; +1]. The space of paperfolding…

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…