Related papers: Metrizable DH-spaces with a dense complete subset
For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…
It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says…
We say that a graph G has a perfect H-packing if there exists a set of vertex-disjoint copies of H which cover all the vertices in G. We consider various problems concerning perfect H-packings: Given positive integers n, r, D, we…
A space $X$ is H-separable (Bella et al., 2009) if for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and every nonempty open set of $X$ intersects…
Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are…
For a metrizable space $X$, we denote by $\mathrm{Met}(X)$ the space of all metric that generate the same topology of $X$. The space $\mathrm{Met}(X)$ is equipped with the supremum distance. In this paper, for every strongly…
We consider the problem of deciding whether a highly incomplete signal lies within a given subspace. This problem, Matched Subspace Detection, is a classical, well-studied problem when the signal is completely observed. High- dimensional…
This work has been expanded and fully incorporated into arXiv:1203.5837. Cases of equality in the classical 2-negative type inequalities for Hilbert spaces are characterized in terms of balanced signed simplices. It follows that a metric…
It is well-known that a metric space $(X, d)$ is complete iff the set $X$ is closed in every metric superspace of $(X, d)$. For a given pseudometric space $(Y, \rho)$, we describe the maximal class $\mathbf{CEC}(Y, \rho)$ of superspaces of…
I prove that a Hilbert space has the property that each of its dense (not necessarily closed) subspaces contains an orthoormal basis if and only if it is separable.
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…
In this article we prove a necessary and a sufficient condition for a finite subset of the special linear group to be dominated. These conditions are purely geometric in nature, as they only involve the trace and the eigenvectors of the…
In this paper we prove that, for a compact group $G$, a metrizable $G$-space is a $G$-ANR under the following asumptions: (1) if it dominates a $G$-ANR space through a fine $G$-homotopy equivalence; (2) if it is $G$-homotopy dense in a…
In this paper we consider the question of when the space $C_p(X)$ of continuous real-valued functions on $X$ with the pointwise convergence topology is countable dense homogeneous. In particular, we focus on the case when $X$ is countable…
We say that a topological space $X$ is selectively highly divergent (SHD) if for every sequence of non-empty open sets $\{U_n\mid n\in\omega \}$ of $X$, we can find $x_n\in U_n$ such that the sequence $(x_n)$ has no convergent subsequences.…
It is proved that a metric space is sober, as an approach space, if and only if it is Smyth complete.
In the framework of bilinear control of the Schr\"odinger equation with bounded control operators, it has been proved that the reachable set has a dense complemement in ${\cal S}\cap {\cal H}^{2}$. Hence, in this setting, exact quantum…
Let $1\le p<\infty$. A symmetric space $X$ on $[0,1]$ is said to be $p$-disjointly homogeneous (resp. restricted $p$-disjointly homogeneous) if every sequence of normalized pairwise disjoint functions from $X$ (resp. characteristic…
The target space M for the sigma-model appearing in theories with p-branes is considered. It is proved that M is a homogeneous space G/H. It is symmetric if and only if the U-vectors governing the sigma-model metric are either coinciding or…
All spaces are assumed to be separable and metrizable. Ostrovsky showed that every zero-dimensional Borel space is $\sigma$-homogeneous. Inspired by this theorem, we obtain the following results: assuming $\mathsf{AD}$, every…