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

1 Asked on December 27, 2021

1 Asked on December 27, 2021

differential geometry dynamical systems fluid dynamics general topology nonlinear dynamics

2 Asked on December 25, 2021 by mbalasundar

1 Asked on December 25, 2021 by simejanko

1 Asked on December 25, 2021 by dang-dang

2 Asked on December 25, 2021

2 Asked on December 25, 2021

2 Asked on December 25, 2021

density function probability probability distributions uniform distribution

2 Asked on December 25, 2021

cardinals general topology product space separable spaces separation axioms

1 Asked on December 25, 2021 by yuval-eliav

0 Asked on December 25, 2021

borel sets measurable functions measure theory probability theory

1 Asked on December 25, 2021 by datboi

2 Asked on December 25, 2021

1 Asked on December 25, 2021

1 Asked on December 25, 2021 by maths-student

1 Asked on December 25, 2021

0 Asked on December 25, 2021 by enzo-creti

0 Asked on December 25, 2021

1 Asked on December 25, 2021 by nascimento-de-cos

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- Peter Machado on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP