We show that it is consistent with ZF that there is a dense-in-itself compact metric space $(X,d)$ which has the countable chain condition (ccc), but $X$ is neither separable nor second countable. It is also shown that $X$ has an open dense subspace which is not paracompact and that in ZF the Principle of Dependent Choice, DC, does not imply the disjoint union of metrizable spaces is normal.

Utilizing the discrete homotopy methods developed for uniform spaces by Berestovskii-Plaut, we define the critical spectrum Cr(X) of a metric space, generalizing to the non-geodesic case the covering spectrum defined by Sormani-Wei and the homotopy critical spectrum defined by Plaut-Wilkins. If X is geodesic, Cr(X) is the same as the homotopy critical spectrum, which differs from the covering spectrum by a factor of 3/2. The latter two spectra are known to be discrete for compact geodesic spaces,...

Yakovlev [On bicompacta in $\Sigma$-products and related spaces, Comment. Math. Univ. Carolin. 21.2 (1980), 263–283] showed that any Eberlein compactum is hereditarily $\sigma$-metacompact. We show that this property actually characterizes Eberlein compacta among compact spaces of finite metrizability number. Uniformly Eberlein compacta and Corson compacta of finite metrizability number can be characterized in an analogous way.

We prove that every planar rational compactum with rim-type ≤ α, where α is a countable ordinal greater than 0, can be topologically embedded into a planar rational (locally connected) continuum with rim-type ≤ α.

Let X be a connected locally compact metric space. It is known that if X is locally connected, then the space of ends (Freudenthal ends), EX, can be represented as the inverse limit of the set (space) S(X C) of components of X C, i.e., as the inverse limit of the inverse system $$EX=\underleftarrow{lim}\left(S(X\setminus C)\right),inclusions,CcompactinX)$$ . In this paper, the above result is significantly improved. It is shown that for a space which is not locally connected, we can replace the space of components by the space of quasicomponents Q(X C) of X C. The following...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

For a σ-ideal I of sets in a Polish space X and for A ⊆ $X^2$, we consider the generalized projection (A) of A given by (A) = x ∈ X: Ax ∉ I, where $A_x$ =y ∈ X: 〈x,y〉∈ A. We study the behaviour of with respect to Borel and analytic sets in the case when I is a ${\sum }_2^0$-supported σ-ideal. In particular, we give an alternative proof of the recent result of Kechris showing that [${\sum }_1^1\left(X^2\right)]={\sum }_1^1\left(X\right)$ for a wide class of ${\sum }_2^0$-supported σ-ideals.

Let X and Y be one-dimensional Peano continua. If the fundamental groups of X and Y are isomorphic, then X and Y are homotopy equivalent. Every homomorphism from the fundamental group of X to that of Y is a composition of a homomorphism induced from a continuous map and a base point change isomorphism.