相关论文: Computational Models of Certain Hyperspaces of Qua…

The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…

Let $X$ be a (topological) space and $Cl(X)$ the collection of nonempty closed subsets of $X$. Given a topology on $Cl(X)$, making $Cl(X)$ a space, a (subset) hyperspace of $X$ is a subspace $\mathcal{J}\subset Cl(X)$ with an embedding…

Let $X$ be a metric space and $BCl(X)$ the collection of nonempty bounded closed subsets of $X$ as a metric space with respect to Hausdorff distance. We study both characterization and representation of Lipschitz paths in $BCl(X)$ in terms…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by $I(mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y)$, and set $M(X) = \sup…

It is shown that if a $T_2$ topological space $X$ contains a closed uncountable discrete subspace, then the spaces $(\omega_1 + 1)^{\omega}$ and $(\omega_1 + 1)^{\omega_1}$ embed into $(CL(X),\tau_F)$, the hyperspace of nonempty closed…

In this paper, using the existence of infinite equidistant subsets of closed balls, we characterize the injectivity of ultrametric spaces for finite ultrametric spaces, which also gives a characterization of the Urysohn universal…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y),\] and set $M(X) = \sup…

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a…

Suppose $(X,\omega)$ is a compact K\"ahler manifold. Following Mabuchi, the space of smooth K\"ahler potentials $\mathcal H$ can be endowed with a Riemannian structure, which induces an infinite dimensional path length metric space…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

The full solenoid over a topological space $X$ is the inverse limit of all finite covers. When $X$ is a compact Hausdorff space admitting a locally path connected universal cover, we relate the pointed homotopy equivalences of the full…

The symbol $\mathcal{S}(X)$ denotes the hyperspace of finite unions of convergent sequences in a Hausdorff space $X$. This hyperspace is endowed with the Vietoris topology. First of all, we give a characterization of convergent sequence in…

Hyperspaces $\mathcal H(X)$ of all countable compact subsets of a metric space $X$ and $\mathcal A_n(X)$ of infinite compact subsets which have at most $n$ ($n\in\mathbb N$), or finitely many ($n=\omega$) or countably many ($n=\omega+1$)…

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…

A classical result of Cembranos and Freniche states that the C(K, X) spaces contains a complemented copy of c_0 whenever K is an infinite compact Hausdorff space and X is an infinite dimensional Banach space. This paper takes this result as…

This paper is about geometric and topological properties of a proper CAT(0) space $X$ which is cocompact - i.e. which has a compact generating domain with respect to the full isometry group. It is shown that geodesic segments in $X$ can…

Given an arbitrary spectral space $X$, we consider the set ${\boldsymbol{\mathcal{X}}}(X)$ of all nonempty subsets of $X$ that are closed with respect to the inverse topology. We introduce a Zariski-like topology on…

Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its…

We establish that every second countable completely regularly preordered space (E,T,\leq) is quasi-pseudo-metrizable, in the sense that there is a quasi-pseudo-metric p on E for which the pseudo-metric p\veep^-1 induces T and the graph of…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…