Skip to main content
2 of 2
removed capitals from title, formatting
YCor
  • 63.9k
  • 5
  • 187
  • 286

Geometry in Hilbert spaces / spheres in high dimensions

Let $H$ be a separable Hilbert space of infinite dimension and let $(e_n)_{n \in \mathbb{N}}$ be an orthonormal basis of $H$. For a series $(\alpha_n)_{n \in \mathbb{N}} \subset \mathbb{R^+}$ we are interested in whether or not the unit ball $$B_1 := \{h \in H \mid 1 \geq \|h\|_H\}$$ is a subset of the closed symmetric convex hull $\overline{\operatorname{sco}}(\alpha_n \, e_n \mid n \in \mathbb{N})$ of the series $(\alpha_n \, e_n)_{n \in \mathbb{N}} \subset H$. It is clear, that such a series exists, since we can iteratively construct one, such that for every $n \in \mathbb{N}$ the $n$-dimensional sphere $B_{1+\frac{1}{n}} \cap \langle e_1,...,e_n \rangle$ is in the convex hull $\overline{\operatorname{sco}}(\alpha_1 \, e_1,...,\alpha_{n} \, e_n)$.

My question is if there are any known bounds on the rate at which such a series $(\alpha_n)_{n \in \mathbb{N}}$ must tend to infinity, i.e. if one can construct the series in a way to have it grow relatively slowly.

I would also be interested in any useful literature and maybe a lower bound on the rate, other than $\mathcal{O}(1)$.

Any help is be much appreciated.

Ben Deitmar
  • 1.3k
  • 1
  • 5
  • 15