The Steiner problem for infinitely many points (Q624844)

Summary: Let \(A\) be a given compact subset of the Euclidean space. We consider the problem of finding a compact connected set \(S\) of minimal one-dimensional Hausdorff measure, among all compact connected sets containing \(A\). We prove that when \(A\) is a finite set any minimizer is a finite tree with straight edges, thus recovering the classical Steiner problem. Analogously, in the case when \(A\) is countable, we prove that every minimizer is a (possibly) countable union of straight segments.