20
$\begingroup$

Let H be a separable (and infinite-dimensional) Hilbert space. Is it known whether there exists an infinite subset C of H with the following properties.? (1) C is connected and closed in H. (2) No infinite proper subset of C is both connected and closed in H.

Perhaps the answer depends upon whether or not the Axiom of Choice is assumed to hold. In any case, no finite-dimensional Euclidean space-because it is locally compact-can contain a subset with these properties.

$\endgroup$
7
  • $\begingroup$ Hilbert space certainly has lines in it, if that's what you mean. $\endgroup$ May 18, 2010 at 20:15
  • 2
    $\begingroup$ ..and lines certainly have closed intervals in them ;) Garabed: what's the analog result for H= R^n ? $\endgroup$ May 18, 2010 at 20:26
  • 2
    $\begingroup$ IIRC the universal properties of $\ell_2$ (in the realm of Polish spaces) guarantee that if there is a Polish space with these properties then there is one which is a closed subspace of $\ell_2$. $\endgroup$ May 18, 2010 at 21:57
  • 1
    $\begingroup$ I did remember correctly, see Theorem 4.17 and the following remark in Kechris's Classical Descriptive Set Theory. $\endgroup$ May 19, 2010 at 1:36
  • $\begingroup$ To Pietro Majer: One analog is-If E(M,p,e) denotes the set of all points of M lying within any positive distance e of any point p belonging to an infinite closed connected subset M of R^n, then E(M,p,e) contains an infinite connected subset. This theorem does not hold in an infinite dimensional and separable Hilbert space. $\endgroup$ May 31, 2010 at 19:49

3 Answers 3

8
$\begingroup$

I solved this problem in 2018 in this paper on arXiv (published version here).

There is a Polish space (a closed subspace of Hilbert space) that is connected, but has no proper closed connected subsets other than singletons. The term used in the paper and elsewhere is widely-connected.

Surely continuum theorists have thought about this question, haven't they?

Indeed this problem appeared in the Houston Problem Book and various other lists of problems by continuum theorists. But it was first asked by Paul Erdős.

EDIT: In response to @SamHopkins comment, I will outline the construction here. Begin with the bucket-handle continuum $K$:

enter image description here

There is a compact set $D\subset K$ such that $D$ intersects each arc-component of $K$ and $K\setminus D$ is connected (shown here). I proved that a countably infinite collection $D_1,D_2\ldots$ of copies of $D$ can be removed from $K$ so that the remainder $X=K\setminus \bigcup_{i=1}^\infty D_n$ is connected, and each arc in $K$ intersects some $D_n$. The space $X$ is Polish, and since each proper subcontinuum of $K$ is an arc it follows that $X$ is widely-connected.

$\endgroup$
0
4
$\begingroup$

Some remarks, not an answer.

  1. As pointed out by BS, the problem is: does there exist a connected Polish space containing no nondegenerate proper closed connected subspace? In the language of continuum theory this sounds suspiciously simple: does there exist a connected Polish space whose all composants are singletons? Or (still equivalently): does there exist a connected Polish space that is irreducible between every pair of distinct points? Surely continuum theorists have thought about this question, haven't they?

  2. As hinted by Garabed, such a space $X$ cannot be locally compact. Indeed, in locally compact spaces, components coincide with quasi-components. Let $F$ be a closed ball of some radius about some $x\in X$, so that $F\ne X$, and let $C$ be the component of $x$ in $F$. If $C\ne\{x\}$, then $C$ is a closed connected nondegenerate subset of $X$. If $C=\{x\}$, then $\{x\}$ is also a quasi-component, so $x$ is contained in arbitrarily small clopen sets in $F$. Then they are also clopen in $X$, so $X$ cannot be connected.

  3. There exists a connected Polish space $X$ containing no nondegenerate compact connected subspace. For instance, the graph of $f(x)=\sum_{n=1}^\infty 2^{-n}\sin(\frac1x-r_n)$, where $r_n$ is the $n$th rational number (in some order) and $\sin(\infty)=0$. See Kuratowski's "Topology" (volume II, section 47.IX in the 1968 edition). In fact, such an $X$ can even be locally connected (of course, it cannot be locally path-connected at any point).

  4. The graph of a discontinuous function $f:\Bbb R\to\Bbb R$ satisfying $f(x+y)=f(x)+f(y)$ can be connected, and in that case it contains no nondegenerate bounded connected subset. (Reference)

$\endgroup$
2
  • $\begingroup$ [The graph of a discontinuous function $f\ :\ \mathbb{R}\rightarrow \mathbb{R}$ satisfying $f(x+y)=f(x)+f(y)$ can be connected]---> do you have a reference for such a construction ? $\endgroup$ Aug 2, 2016 at 4:14
  • $\begingroup$ @DuchampGérardH.E. This is quite late, but a reference was placed in the post over the bullet point, pointing to the following paper: Jones, F. Burton, Connected and disconnected plane sets and the functional equation $f(x) + f(y) = f(x+y)$, Bull. Am. Math. Soc. 48, 115–120 (1942). Zbl 0063.03063. (This comment is more for newer readers who may also have missed that reference in the post.) $\endgroup$ Jul 19, 2022 at 5:35
3
$\begingroup$

This is not really an answer, just remarks on the problem, but it would be too long for a comment. Apologies.

As remarked by François Dorais in a comment, you can phrase the question entirely in terms of polish spaces (i.e. completely metrizable and separable topological spaces). And since a connected metric space with at least two points is infinite, you are asking if there exists an infinite connected polish space such that any proper closed subspace is totally disconnected (equivalently, any proper closed connected subset is a point, or empty).

A first (failed) attempt to an example would be the complete Erdös space $E_c$ (Erdös, Annals of Math vol 41 1940), defined as the subspace of $\ell^2(\mathbb{N})$ where all coordinates are irrationals. It is polish and totally disconnected, but admits a connectification namely a (still polish) topology on $E_c\cup\{\infty\}$ that makes it connected (and of course induces the one on $E_c$). So it is rather "thinly" connected, but maybe not in your sense.

Another amazing property of $E_c$ is that it is homeomorphic to the subspace of $\ell^2(\mathbb{N})$ where all coordinates belong to $\{0\} \cup \{1/n\}_{n\geq 1}$. This sounds rather improbable.

All this (and much more) is explained in papers on JJ Dijkstra publications page e.g. 27, 30 and 32.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.