Related papers: Core-compactness of Smyth powerspaces

M. Escard\'o et al. asked whether the core compactly generated topology of a sober space is again sober and the sobrification of a core compactly generated space again core compactly generated. In this note, we answer the problem by…

In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…

In this paper, we mainly discuss some basic properties of Scott power spaces. For a $T_0$ space $X$, let $\mathsf{K}(X)$ be the poset of all nonempty compact saturated subsets of $X$ endowed with the Smyth order. It is proved that the Scott…

We show that a linearly ordered topological space is initially \lambda-compact if and only if it is \lambda-bounded, that is, every set of cardinality $\leq \lambda$ has compact closure. As a consequence, every product of initially…

In this paper, we first prove that the retract of a consonant space (or co-consonant space) is consonant (co-consonant). Using this result, some related results have obtained. Simultaneously, we proved that (1) the co-consonance of the…

A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…

Let ${\mathscr P}$ be a topological property. We say that a space $X$ is ${\mathscr P}$-connected if there exists no pair $C$ and $D$ of disjoint cozero-sets of $X$ with non-${\mathscr P}$ closure such that the remainder $X\backslash(C\cup…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

We prove that, for an arbitrary topological space $X$, the following two conditions are equivalent: (a) Every open cover of $X$ has a finite subset with dense union (b) $X$ is $D$-pseudocompact, for every ultrafilter $D$. Locally, our…

A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

We investigate when the space $\mathcal O_X$ of open subsets of a topological space $X$ endowed with the Scott topology is core compact. Such conditions turn out to be related to infraconsonance of $X$, which in turn is characterized in…

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the…

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…

It is shown that if a space-time has non-compact Cauchy surface, then its topological, differentiable, and causal structure are completely determined by a class of compact subsets of its Cauchy surface. Since causal structure determines its…

We show that a homeomorphism of a semi-locally connected compact metric space is equicontinuous if and only if the distance between the iterates of a given point and a given subcontinuum (not containing that point) is bounded away from…

We make some remarks on the existence of a geodesically complete core for any compact non-positively curved space.

In this brief note, we provide an example of non complete locally convex space $E$ with a $\sigma(E, E^*)$ closed bounded subset $C\subset E$, which is not $\sigma(E, E^*)$-compact, even if every $\varphi\in E^*$ attains its sup over $C$.

If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…

In this article, we are interested in metric spaces that satisfy a weak non-positive curvature condition in the sense that they admit a conical geodesic bicombing. We show that the analog of a question of Gromov about compactness properties…