相关论文: On the completeness of the space $\mathcal{O}_C$

A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $\omega$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or…

We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…

We prove that the regularity of the extremal function of a compact subset of a compact K\"ahler manifold is a local property, and that the continuity and H\"older continuity are equivalent to classical notions of the local $L$-regularity…

We prove that for any compact quasi-smooth strictly $k$-analytic space $X$ there exist a finite extension $l/k$ and a quasi-\'etale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a…

We present a necessary and sufficient condition for the strict positive definiteness of a real, continuous, isotropic and positive definite kernel on a two-point compact homogeneous space. The characterization adds to others previously…

Supplementing and expanding classical results, for compact spaces $K$ and $L$, $L$ metric, and their Banach spaces $\mathcal{C}(L)$ and $\mathcal{C}(K)$ of continuous real-valued functions, we provide several characterizations of the…

The Noetherian type of a space is the least k for which the space has a k^op-like base, i.e., a base in which no element has k-many supersets. We prove some results about Noetherian types of (generalized) ordered spaces and products…

Compact symmetric spaces are probably one of the most prominent class of formal spaces, i.e. of spaces where the rational homotopy type is a formal consequence of the rational cohomology algebra. As a generalisation, it is even known that…

The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…

In this paper we have studied the idea of ideal completeness of function spaces Y to the power X with respect to pointwise uniformity and uniformity of uniform convergence. Further involving topological structure on X we have obtained…

Let $G$ be the adjoint group of a real simple Lie algebra $\mathfrak{g}_0$ equal either $\mathfrak{s}\mathfrak{u}(n,1)$ or $\mathfrak{s}\mathfrak{o}(n,1),$ $K$ its maximal compact subgroup, ${\cal U}(\mathfrak{g})$ the universal enveloping…

We prove that a connected locally compact median space of finite rank which admits a transitive action is isometric to $\mathbb{R}^n$ endowed with the $\ell^1$-metric. In the other side, replacing the transitivity assumption on the group of…

Let $(E,\mathcal E,\mu)$ be a measure space and $G\colon E\times E\to [0,\infty]$ be measurable. Moreover, let $\mathcal F\!_{ui}$ denote the set of all $q\in\mathcal E^+$ (measurable numerical functions $q\ge 0$ on $E$) such that…

We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…

We establish Lipschitz regularity of harmonic maps from $\mathrm{RCD}(K,N)$ metric measure spaces with lower Ricci curvature bounds and dimension upper bounds in synthetic sense with values into $\mathrm{CAT}(0)$ metric spaces with…

In this work we are going to establish H\"older continuity of harmonic maps from an open set $\Omega$ in an ${\rm RCD}(K,N)$ space valued into a ${\rm CAT}(\kappa)$ space, with the constraint that the image of $\Omega$ via the map is…

We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…

We describe the strong dual space $({\mathcal O} (D))^*$ for the space ${\mathcal O} (D)$ of holomorphic functions of several complex variables over a bounded Lipschitz domain $D$ with connected boundary $\partial D$ (as usual, ${\mathcal…

We give a new completion for the quasi-uniform spaces. We call the whole procedure {\it $\tau$-completion} and the new space {\it $\tau$-complement of the given}. The basic result is that every $T_{_0}$ quasi-uniform space has a…

The celebrated Josefson-Nissenzweig theorem implies that for a Banach space $C(K)$ of continuous real-valued functions on an infinite compact space $K$ there exists a sequence of Radon measures $\langle\mu_n\colon\ n\in\omega\rangle$ on $K$…