# a subset of $l_2$.

Mathematics Asked by Luiza Silva on September 24, 2020

the exercise is: show that the set $$A={x=(x_n)subset l_2: sum(1+frac{1}{i})x_i^2)leq 1}$$ doesn’t contain an element with norm equal to $$sup{|x|_2,xin A}$$.

My attempt: i showed that $$forall xin A, |x|_2^2=sum x_i^2< sum x_i^2+frac{x_i^2}{i}leq 1$$. And $$sup_{xin A} |x|=1$$. Using that $$l_2$$ is a Hilbert space, is there a way to show that, supposing that exists an element that there is norm equal to $$sup{|x|_2,xin A}$$, find some contradiction? This exercise i found at functional analysis and infinite-dimensional geometry- Marián Fabian.

Consider $$xin A$$. Since for all $$ige 1$$ we have $$x_i^2le (i+1/i)x_i^2$$ we conclude by adding these inequalities that $$Vert xVert_2^2le 1$$, so $$sup_{xin A}Vert xVert_2le 1.$$ Now, if we define $$x^{(k)}inell_2$$ by $$x^{(k)}_k=1/sqrt{1+1/k}$$ and $$x^{(k)}_i=0$$ for $$ine k$$, then $$x^{(k)}in A$$ and $$Vert x^{(k)}Vert_2=frac{1}{sqrt{1+1/k}}le sup_{xin A}Vert xVert_2le 1$$ But since $$k$$ is arbitrary we conclude by letting $$k$$ tend to $$infty$$ that $$sup_{xin A}Vert xVert_2=1.$$

Now, suppose that there exists $$yin A$$ such that $$Vert yVert_2=1$$ then $$sum_{ige1}frac1i y_i^2= sum_{ige1}left(1+frac1i right)y_i^2 -sum_{ige1}y_i^2le1-Vert yVert_2^2=0$$ Thus $$sum_{ige1}frac1i y_i^2=0$$ So $$y_i=0$$ for all $$i$$ and this contradicts the fact that $$Vert yVert_2=1$$. This contradiction proves that there is no $$yin A$$ such that $$Vert yVert_2=1$$. $$qquadsquare$$

Correct answer by Omran Kouba on September 24, 2020

## Related Questions

### Action of the $n$-th roots of unity on $mathbb{A}^2$

1  Asked on November 19, 2021

### MIN-FORMULA $in$ NP

1  Asked on November 19, 2021 by ettore

### $forall xinmathbb{R}enspace enspace, forall yinmathbb{R} : (xge y)$ or $(xle y)$ proof?

1  Asked on November 19, 2021

### Interchange of diagonal elements with unitary transformation

2  Asked on November 19, 2021

### How can we prove mgf of sample proportion of binomial distribution converges to exp(pt)?

1  Asked on November 19, 2021

### What is the difference between a measure being “supported on [set] $A$” vs “supported in $A$” vs “supported at $A$”?

0  Asked on November 18, 2021

### Is taking the derivative inside this integral acceptable?

1  Asked on November 18, 2021

### Moduli Space of Tori

1  Asked on November 18, 2021 by bookworm

### Necessary condition for x>0 being an integer

2  Asked on November 18, 2021 by aeternal

### Does the Null spaces of matrix $ntimes n$ matrix $A$ and matrix $BA$ equal to each other if the matrix $B$ is invertible?

1  Asked on November 18, 2021

### Given a basis $mathcal{B}$, can I assume that $mathcal{B}$ is orthonormal?

3  Asked on November 18, 2021

### Hausdorff and non-discrete topology on $mathbb{Z}$

3  Asked on November 18, 2021 by uday-patel

### Rearrangement diverges then original series also diverges?

2  Asked on November 18, 2021 by akash-patalwanshi

### Absolutely continuous function with bounded derivative on an open interval is Lipschitz

2  Asked on November 18, 2021

### Under what condition on $A$ is the following true: $lambda_{min}(A) |x|_2^2 leq x^T Ax leq lambda_{max}(A) |x|_2^2$?

1  Asked on November 18, 2021

### Convergence in L2 (up to a constant) implies convergence in probability?

1  Asked on November 18, 2021 by user3294195

### Find the constant for $int_{0}^{1} {frac{mathrm{d}x}{sqrt{(1-x^2)(1-(kx)^4)}}} sim Cln(1-k)$

1  Asked on November 18, 2021 by nanayajitzuki

### Prove $lim_{nmapsto 0}[(psi(n)+gamma)psi^{(1)}(n)-frac12psi^{(2)}(n)]=2zeta(3)$

2  Asked on November 18, 2021

### Prove or disprove that If $amid c$ and $bmid c$, then $ab mid c$.

1  Asked on November 18, 2021 by mathyviking

### Question on Vectors and Linear equation

1  Asked on November 18, 2021