Related papers: Preservation of complete Baireness
A classical theorem of Kuratowski says that every Baire one function on a G_\delta subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer…
Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
We prove a new selection theorem for multivalued mappings of C-space. Using this theorem we prove extension dimensional version of Hurewicz theorem for a closed mapping $f\colon X\to Y$ of $k$-space $X$ onto paracompact $C$-space $Y$: if…
The open graph dichotomy for a subset $X$ of the Baire space ${}^\omega\omega$ states that any open graph on $X$ either admits a coloring in countably many colors or contains a perfect complete subgraph. This strong version of the open…
We prove a structural theorem that provides a precise local picture of how a sequence of closed embedded minimal hypersurfaces with uniformly bounded index (and volume if the ambient dimension is greater than three) in a Riemannian manifold…
We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps $f:X\to Y$ of the class $\alpha$ for wide classes of topological spaces. In particular, we prove that for a topological space $X$…
The purpose of this paper is to define for every Polish space $X$ a class of sets, the $EBP(X)$-sets or the extended Baire property sets, to work out many properties of the $EBP(X)$-sets and to show their usefulness in analysis. For…
We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…
Let $(M,\bar{g}, e^{-f}d\mu)$ be a complete metric measure space with Bakry-\'Emery Ricci curvature bounded below by a positive constant. We prove that, in $M$, there is no complete two-sided $L_f$-stable immersed $f$-minimal hypersurface…
We give formulas for calculating the unramified Brauer group of a homogeneous space $X$ of a semisimple simply connected group $G$ with finite geometric stabilizer $\bar F$ over a wide family of fields of characteristic 0. When $k$ is a…
We generalize the Lebesgue-Hausdorff Theorem on Baire classification of mappings defined on strongly zero-dimensional spaces
We investigate the Baire classification of mappings $f:X\times Y\to Z$, where $X$ belongs to a wide class of spaces, which includes all metrizable spaces, $Y$ is a topological space, $Z$ is an equiconnected space, which are continuous in…
Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…
Given a complete Riemannian manifold $M$ with a lower Ricci curvature bound, we consider barycenters in the Wasserstein space $\mathcal{W}_2(M)$ of probability measures on $M$. We refer to them as Wasserstein barycenters, which by…
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$…
On Zariski Main Theorem in Algebraic Geometry and Analytic Geometry. We fill a surprising gap of Complex Analytic Geometry by proving the analogue of Zariski Main Theorem in this geometry, i.e. proving that an holomorphic map from an…
A space $X$ is said to be $\pi$-metrizable if it has a $\sigma$-discrete $\pi$-base. In this paper, we mainly give affirmative answers for two questions about $\pi$-metrizable spaces. The main results are that: (1) A space $X$ is…
Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…
For a set $X\sbst\R$, let $B(X)\sbst\R^X$ denote the space of Borel real-valued functions on $X$, with the topology inherited from the Tychonoff product $\R^X$. Assume that for each countable $A\sbst B(X)$, each $f$ in the closure of $A$ is…