5
$\begingroup$

Let $B(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| \leq 1 \}$ and $S(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| = 1 \}$ be the unit ball and the unit sphere of $\mathcal{l}_2$, respectively.

I'm trying to show that $B(\mathcal{l}_2)$ contains an infinite set $A$ such that, for every $x,y \in A$ with $x \neq y$, we have $\|x -y \| > \sqrt{2}$.

My intuition tells me that such a set $A$ should lie inside $S(\mathcal{l}_2)$. Next, I've tried to use a point $z$ such that $d(z,S(\mathcal{l}_2)) = \sqrt{2}$ to define $A$. I know that for such a $z$ there exists $w \in S(\mathcal{l}_2)$ such that $\|z - w \| = \sqrt{2}$, and for every $v \in S(\mathcal{l}_2),v \ne w$, we must have $\|z - v \| > \sqrt{2}$.

So, right now I'm confused about how to go ahead with the definition of $A$ in a way that the distance between any two distinct points in $A$ is greater that $\sqrt{2}$. I get the feeling that I should be able to use what I've described in the previous paragraph, but I don't see how.

Could somebody point me in the right way?

  • 0
    Notice that your result implies that $B(l_2)$ is not compact (or that $l_2$ is not locally compact). In fact, every locally compact normed vector space is finite dimensional (and every finite dimensional normed vector space is locally compact).2012-11-05
  • 0
    @Seirios: I think the OP knows that. The point of the question is that in a Hilbert space an orthonormal set will have its points at distance $\sqrt2$; can points be found that are farther away from each other?2012-11-05

2 Answers 2

5

Let $(e_1,e_2,\ldots)$ be an orthonormal subset of $\ell^2$.

Let $(a_1,a_2,a_3,\ldots)$ be a sequence of real numbers in $(0,1)$ to be specified later.

Define the sequence $(v_1,v_2,\ldots)$ in the unit ball as follows:

$\begin{align*} v_1&=e_1\\ v_2&=-a_1e_1+\sqrt{1-a_1^2}e_2\\ v_3&=-a_2(e_1+e_2)+\sqrt{1-2a_2^2}e_3\\ v_4&=-a_3(e_1+e_2+e_3)+\sqrt{1-3a_3^2}e_4\\ &\vdots\\ v_{k+1}&=-a_k(e_1+\cdots+e_k)+\sqrt{1-ka_k^2}e_{k+1} \end{align*}$

If you work out the distances and simplify, you find that a sufficient condition for this example to work is that $a_k<\dfrac{1}{\sqrt{k+k^2}}$ for all $k$. (I used Mathematica to help.) E.g., if $a_k=\dfrac{1}{2k}$ for all $k$, then $\|v_k-v_j\|>\sqrt{2}$ for all $k\neq j$.

  • 0
    What a beautiful, clean, and clever argument! This is just amazing, Jonas. Thank you so much for sharing it!!2012-11-06
  • 0
    @Jonas Meyer Does your construction say anything about the optimality of $\sqrt{2}$? For example, can you choose your $(a_k)$ to get. say, $\sqrt{3}$. My intuition, which is normally not very good, tells me that $\sqrt{2}$ is optimal. I am curious about this question, but I am having trouble with Norbert's argument bellow that says the distance can be arbitrarily close to $2$.2012-11-06
  • 0
    @Theo: It doesn't say anything about optimality of $\sqrt 2$ in general, but for any example that has this particular form, $\sqrt 2$ is optimal: $a_k\to 0$ is necessary, and this implies that the distances get arbitrarily close to $\sqrt 2$. I haven't understood Norbert's argument, but I haven't seriously studied it either. Clearly for $2$ vectors in the ball we can have distance $2$, but already for $3$ the bound is not clear to me. What I would do to try to better understand (given the time to do so) is look at the problem of how big the pairwise distances among $3$ unit vectors can be.2012-11-06
  • 0
    Such vectors can be expressed in terms of orthonormal vectors $(e_1,e_2,e_3)$ as $(e_1,a_1 e_1+a_2 e_2, b_1e_1+b_2 e_2 +b_3 e_3)$. If say the pairwise distances are greater than $\sqrt 3$ this would imply that $\Re (a_1)<-\frac12$ and $\Re(b_1)<-\frac12$ and it starts to appear difficult for the latter two vectors to be far enough apart...(but this isn't thought through).2012-11-06
  • 0
    @Theo: I still don't know the whole story, but for something concrete if inelegant, if $v_1,v_2,v_3$ are unit vectors in an inner product space, not all of the pairwise distances can be greater than $\sqrt{3.5}$. Let $(e_1,e_2,e_3)$ be orthonormal such that $v_1=e_1$, $v_2=a_1 e_1+a_2e_2$, $v_3=b_1e_1+b_2e_2+b_3e_3$. Suppose $\|v_1-v_2\|^2>3.5$ and $\|v_1-v_3\|^2>3.5$. Then $\Re a_1<-\frac34$ and $\Re b_1<-\frac34$, and these inequalities imply that $\|v_2-v_3\|^2<\frac{43}{16}<3.5$.2012-11-06
  • 0
    @JonasMeyer Suppose that $x, y, z$ are such that they attain the maximum. Then $x-z$, $y-z$, $x-y$ are the sides of an equilateral triangle that lies in a 2-dim section of the sphere AND is the largest of such triangles. This implies that the 2-dimensional section should be as large as possible, thus a central section, "cutting" a circle of radius $1$. In this situation, the distances are $\sqrt{3}$ and this is the best we can get. This is not exactly a proof, but probably it can be translated in an exclusively linear algebra language. If correct, of course.2012-11-06
  • 0
    Same type argument gives the optimal distance $d=4/\sqrt{6}$ for 4 points. It could be interesting to see a formula depending on $n$. I suspect that such a formula would converge to $\sqrt{2}$ when n goes to infinity. My guess is that $d=\sqrt\frac{2n}{n-1}$. Now I need a proof :).2012-11-06
  • 0
    It seems to me that for any sequence $\{e_n:n\in\mathbb{N}\}$ with the property $\Vert e_n-e_k\Vert>\sqrt{2}$ we necessary have $\lim\limits_{k,l\to\infty}\Vert e_k-e_l\Vert=\sqrt{2}$2012-11-07
  • 0
    @JonasMeyer See edits to my answer.2012-11-07
1

Let $d\in(0,2R)$. We will construct by induction

  • a family of affine subsets $\{P_n\subset H:n\in\mathbb{N}\}$

  • two sequences of vectors $\{e_n\in P_n:n\in\mathbb{N}\}$, $\{c_n\in P_n:n\in\mathbb{N}\}$

  • a sequence of reals $\{r_n:n\in\mathbb{N}\}\subset \mathbb{R}_+$,

such that

$ S (c_n,r_n)\cap P_n= S (0,R)\cap P_n\tag{1}$

$P_n\subset P_{n-1}\tag{2}$

$e_n\in S (c_n,r_n)\cap P_n\tag{3}$

$\Vert x-e_{n-1} \Vert=d\tag{4}$

for all $n\in\mathbb{N}$ and $x\in P_n\cap S (c_n,r_n)$.

Properties $(1)-(4)$ will guarantee that $\Vert e_k-e_l\Vert=d$ for $k\neq l$. Indeed, without loss of generality we assume $l>k$. Conditions $(1)$ and $(2)$ gives $ S (c_n,r_n)\cap P_n\subset S (c_{n-1},r_{n-1})\cap P_{n-1}$. Hence using $(3)$ we get $e_l\in S (c_l,r_l)\cap P_l\subset S (c_n,r_n)\cap P_n$. Then by $(4)$ we conclude that $\Vert e_k-e_l\Vert=d$. Therefore we may take $A:=\{e_n:n\in\mathbb{N}\}$.

Let $c_1=0$, $r_1=R$ and $P_1=H$, then choose arbitrary $e_1\in S (c_1,r_1)\cap P_1$. Assume we have already constructed sequences $\{c_1,\ldots,c_n\}\subset H$, $\{e_1,\ldots,e_n\}\in H$ and $\{r_1,\ldots,r_n\}\subset\mathbb{R}_+$ satisfying $(1)$,$(2)$ and $(3)$. Consider affine function $f_n(x)=\langle x-c_n, e_n-c_n\rangle$ and define $$ P_{n+1}=\{x\in P_n: f_n(x)=r_n^2-d^2/2\} $$ $$ c_{n+1}=c_n+\left(1-\frac{d^2}{2r_n^2}\right)(e_n-c_n) $$ $$ r_{n+1}=d\sqrt{1-\frac{d^2}{4r_n^2}} $$ Later you'll see why, but now just see this picture enter image description here

From definition of $P_{n+1}$ we see $P_{n+1}\subset P_n$, so condition $(2)$ satisfied.

For arbitrary $x\in S (c_{n+1}, r_{n+1})\cap P_{n+1}$, we have $x\in P_{n+1}\subset P_n\subset\ldots\subset P_1=S (0,R)$, so $x\in S (0,R)\cap P_{n+1}$. This gives inclusion $ S (c_{n+1}, r_{n+1})\cap P_{n+1}\subset S (0,R)\cap P_{n+1}$. Now let $x\in S (0,R)\cap P_{n+1}$, then $\Vert x\Vert=R$ and $f_n(x)=r_n^2-d^2/2$. Moreover since $x\in P_{n+1}\subset P_n$nd $x\in S (0,R)$ we have $x\in S (0,R)\cap P_n$. Recall that $ S (0,R)\cap P_n= S (c_n,r_n)\cap P_n$, so $x\in S(c_n,r_n)$ and $\Vert x-c_n\Vert^2=r_n^2$. Since $e_n\in S(c_n,r_n)\cap P_n$, then $\Vert e_n-c_n\Vert^2=r_n^2$. It is remains to recall definitions of $c_{n+1}$ and $r_{n+1}$ to get $$ \Vert x-c_{n+1}\Vert^2= \Vert x-c_n\Vert^2+\Vert c_{n+1}-c_n\Vert^2-2\langle x-c_n, c_{n+1}-c_n\rangle= $$ $$ \Vert x-c_n\Vert^2+\left(1-\frac{d^2}{2r_n^2}\right)^2\Vert e_n-c_n\Vert^2-2\left(1-\frac{d^2}{2r_n^2}\right)\langle x-c_n, e_n-c_n\rangle= $$ $$ \Vert x-c_n\Vert^2+\left(1-\frac{d^2}{2r_n^2}\right)^2\Vert e_n-c_n\Vert^2-2\left(1-\frac{d^2}{2r_n^2}\right)f_n(x)= $$ $$ r_n^2+\left(1-\frac{d^2}{2r_n^2}\right)^2 r_n^2-2 \left(1-\frac{d^2}{2r_n^2}\right)\left(r_n^2-\frac{d^2}{2}\right)=d^2\left(1-\frac{d^2}{4r_n^2}\right)=r_{n+1}^2 $$ i.e. $x\in S(c_{n+1},r_{n+1})$. Also we know $x\in P_{n+1}$, so $x\in S(c_{n+1},r_{n+1})\cap P_{n+1}$. Since $x\in S (0,R)\cap P_{n+1}$ is arbitrary we get inclusion $S (0,R)\cap P_{n+1}\subset S(c_{n+1},r_{n+1})\cap P_{n+1}$. Both inclusions gives $S (0,R)\cap P_{n+1}= S(c_{n+1},r_{n+1})\cap P_{n+1}$, hence condition $(1)$ is satisfied.

As the consequence $ S (c_{n+1},r_{n+1})\cap P_{n+1}= S(0,R)\cap P_{n+1}\subset S(0,R)\cap P_n=S(c_n,r_n)\cap P_n $.

Now take arbitrary $x\in \ S (c_{n+1},r_{n+1})\cap P_{n+1}$. Since $x\in P_{n+1}$ then $f_n(x)=r_n^2-d^2/2$. Since $x\in S(c_{n+1},r_{n+1})\cap P_n\subset S(c_n,r_n)\cap P_n$, then $\Vert x-c_n\Vert=r_n^2$. Since $e_n\in S(c_n,r_n)\cap P_n$, then $\Vert e_n-c_n\Vert^2=r_n^2$. Thus $$ \Vert x-e_n\Vert^2=\Vert x-c_n\Vert^2+\Vert e_n-c_n\Vert-2\langle x-c_n, e_n-c_n\rangle=r_n^2+r_n^2-2f_n(x)=d^2 $$ Hence for all $x\in S (c_{n+1},r_{n+1})\cap P_{n+1}\subset P_n$ condition $(4)$ holds.

Now take arbitrary $x\in S (c_{n+1}, r_{n+1})\cap P_{n+1}$ and set $e_{n+1}\in x$. By the choice condition $(3)$ holds.

Since all conditions are satisfied we constructed by induction the desired sequences. But in fact this induction may breaks down if at some step $r_n$ becomes a complex number. Thus we need to study when the recurrence defined by $$ r_{n+1}=d\sqrt{1-\frac{d^2}{4r_n^2}} $$ and $r_1=R$ will exist. Denote $x_n=r_n/d$, then we get recurrence $$ x_{n+1}=\sqrt{1-\frac{1}{4x^2}} $$ with $x_1=R/d$. Since $d\in(0,2R)$, then $x_1\in(1/2,+\infty)$. Now take a look a this graph. enter image description here Here we make plots of functions $x$ and $\sqrt{1-\frac{1}{4x^2}}$. We see that they touches at the point $x=2^{-1/2}$

We see that this recurrence is infinite iff $x\geq 2^{-1/2}$, otherwise this is finite. In terms of $d$, this means that our recurrence well defined iff $d\leq R\sqrt{2}$.

Unfortunately we conclude that this method doesn't provide a way to get an infinite set of elements with pairwise distance between elements equal to $d>R\sqrt{2}$. It seems to mee that there is no such sequence. But anyway one can slightly modify formula for $r_{n+1}$ and $c_{n+1}$ to get the sequence of elements with pairwise distance not equalt to the same value but still greater than $R\sqrt{2}$.

  • 0
    @Norbert: Thanks for your argument; it is certainly really clever. However, as Christopher says, it shows that the pairwise distance of elements of $A$ is exactly $d$, and not greater than $d$. I've been working on this for a long time now... and still without any success. Without a doubt, a really nice problem. As usual, I'll keep working.2012-11-05
  • 0
    @ragrigg I don't get what is the problem - just set $d =\sqrt{2}+0.1>\sqrt{2}$2012-11-05
  • 0
    @Norbert: I apologize for my silly comment. I'm really tired. I have some questions: 1) $A$ does not lie on $S(0,R)$, right? 2) What's the geometric intuition behind your definition of $P_{n+1}$? Why the required value of $f_n$?2012-11-05
  • 0
    @ragrigg All points of $A$ are in $\mathrm{Sphere}(0,R)$. $P_{n+1}$ is a plane wich is orthogonal to $e_{n}$ an situated on a certain distance. We choose this distance such that intersection of $P_{n+1}$ with the sphere will be a circle $\mathrm{Sphere}(c_{n+1},r_{n+1})\cap P_{n+1}$ situated from $e_n$ on a distance $d$. You get a bunch of points wich are all good candidates to be come $e_{n+1}$. You choose one and the apply my construction to the circle $\mathrm{Sphere}(c_{n+1},r_{n+1})\cap P_{n+1}$.2012-11-05
  • 2
    @Norbert I am having trouble understanding some details. Why is the distance from $e_{n+1}$ to $e_j$ with $j also $d$? Your argument seem to work in finite dimension too, right? In $3$ dimensions you would be able to find $3$ vectors with this property. However, how can you pick $3$ vectors on $S_2$ such that the distance between them is "almost" equal to the diameter (as you claim $d$ can be chosen)?2012-11-05
  • 0
    @Theo this follows from $(2)$. I nfinite diamensional case some $P_n$ become empty and the process stops2012-11-06
  • 1
    @Norbert I feel dumb, but I still don't see how it follows from (2). Your last claim, that $d$ can be arbitrarily close to the diameter seems highly suspicious to me. To say that all vectors $e_n$ are equally distanced $d$ is equivalent to saying the inner product is the same. For the distance to be arbitrarily close to $2R$, the inner product should be arbitrarily close to $-1$. Now, if you take $x, y, z$ such that $==-1+\varepsilon$, it can be shown that $>1-\delta(\varepsilon)$, which in turn implies $||x-z||$ is necessarily small, so it cannot be close to $2R$.2012-11-06
  • 0
    I feel dumb too. Could you provide rigorous argument in your last comment. As for the my solution, the proofs as follows. Without loss of generality we assume $l>k$, then $e_l\in P_{l}\cap\mathrm{Sphere}(c_l,r_l)\subset\ldots P_{k+1}\cap\mathrm{Sphere}(c_{k+1},r_{k+1})$. Hence $\Vert e_k-e_l\Vert=d$, because for all $x\in P_{k+1}\cap\mathrm{Sphere}(c_{k+1},r_{k+1})$ holds $\Vert x-e_k\Vert=d$.2012-11-06
  • 0
    @Norbert From the condition on $x, y, z$ it follows that $=-2+2\varepsilon$ and Cauchy-Schwarz gives that $||x+z||\geq 2-2\varepsilon$. Therefore, $\geq 4(1-\varepsilon)^{2}$. Expanding on the left and taking into account that $x$ and $z$ are on the sphere, gives that $\geq 1+2\varepsilon^{2}-4\varepsilon$. This implies that $||x-z||^2==2-2\leq 4\varepsilon(2-\varepsilon)$. When $\varepsilon$ is close to $0$, so is $||x-z||$.2012-11-06
  • 0
    @Theo I've a numerical test. Indeed the sequence $r_n$ is not a sequence of reals for $d$ close to $2R$, so I need to change my bounds, but the rest in my proof is ok I think2012-11-06
  • 0
    @Theo See edits to my answer.2012-11-07
  • 0
    @Norbert Yes, the methods doesn't work for $d>R\sqrt{2}$. I tried and I think I can actually show that for $n$ points the largest $d=\sqrt{\frac{2n}{n-1}}$. This implies immediately that for infinitely many points $(e_n)$ one cannot do better than $\sqrt{2}$ and in fact for any $\varepsilon$ there exists $||e_i-e_j||<\sqrt{2}+\varepsilon$. Intresting problem.2012-11-08