Related papers: Metrizable DH-spaces with a dense complete subset

We prove approximate controllability of the bilinear Schr\"odinger equation in the case in which the uncontrolled Hamiltonian has discrete non-resonant spectrum. The results that are obtained apply both to bounded or unbounded domains and…

It is shown that a connected non-compact metrizable manifold of dimension $\ge 2$ is strongly discrete homogeneous if and only if it has one end (in the sense of Freudenthal compactification).

Let M be a complete metric space. It is proved that if the space or scalar-valued bounded continuous functions on M admits an isometric shift, then M is separable.

The density property for a Stein manifold X implies that the group of holomorphic diffeomorphisms of X is infinite-dimensional and, in a certain well-defined sense, as large as possible. We prove that if G is a complex semisimple Lie group…

When a topological group $G$ acts on a compact space $X$, its enveloping semigroup $E(X)$ is the closure of the set of $g$-translations, $g\in G$, in the compact space $X^X$. Assume that $X$ is metrizable. It has recently been shown by the…

In the perfect tiling problem, we aim to cover the vertices of a hypergraph~$G$ with pairwise vertex-disjoint copies of a hypergraph $F$. There are three essentially necessary conditions for such a perfect tiling, which correspond to…

Z-mapping graph is a balanced bipartite graph $G$ of a digraph $D$ by split each vertex of $D$ into a pair of vertices of $G$. Based on the property of the $G$, it is proved that if $D$ is strong connected and $G$ is Hamiltonian, then $D$…

This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the…

We prove that for any complex manifold X, the set of all holomorphic maps from the unit disc to X whose images are everywhere dense in X forms a dense subset in the space of all holomorphic maps from the disc to X. We show by an example…

Given a metrizable space $X$, let $AM(X)$ be the space of continuous bounded admissible metrics on $X$, which is endowed with the sup-metric. In this paper, we shall investigate the Borel complexity and the complete metrizability of $AM(X)$…

A space is called linearly H-closed iff any chain cover possesses a dense member. This property lies strictly between feeble compactness and H-closedness. While regular H-closed spaces are compact, there are linearly H-closed spaces which…

For a metric continuum $X$, we consider the $n^{\tiny\textrm{th}}$-symmetric product $F_{n}(X)$ defined as the hyperspace of all nonempty subsets of $X$ with at most $n$ points. The homogeneity degree $hd(X)$ of a continuum $X$ is the…

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with…

For homogeneous bilinear control systems, the control sets are characterized using a Lie algebra rank condition for the induced systems on projective space. This is based on a classical Diophantine approximation result. For affine control…

We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…

Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface…

An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…

Let $X$ be a set and $2^X$ be a set of all subsets of $X$. The necessary and sufficient conditions under which a mapping $X \to 2^X$ is a closure of one-point sets in some $T_0$-space $(X, \tau)$ are described. It is proved that every…

We characterise $t$-perfect plane triangulations by forbidden induced subgraphs. As a consequence, we obtain that a plane triangulation is $h$-perfect if and only if it is perfect.

We determine sufficient and necessary conditions for a spherically symmetric initial data set to satisfy the dynamical horizon conditions in the spacetime development. The constraint equations reduce to a single second order linear master…