Thread:

1. normed vector space

show that in the vector space $<br /> \ell _1 = \left\{ {r_k \,\,:\,\sum {\left| {r_k } \right|} \,converges} \right\}<br />$

(i) $<br /> \left\| {r_k } \right\| = \sum {r_k } <br />$ is a norm
(ii) $<br /> P = \left\{ {\left\{ {x_k } \right\}\,:\,x_k \geqslant 0\,\forall k \in \mathbb{N}} \right\}<br />$ has en empty interior

(iii) $<br /> B\left( {\vec 0,1} \right)<br />$ is not compact

please help im trying to learn this by myself and i would like help on how to do this problems

thanks!

2. Originally Posted by mms
show that in the vector space $<br /> \ell _1 = \left\{ {r_k \,\,:\,\sum {\left| {r_k } \right|} \,converges} \right\}<br />$

(i) $<br /> \left\| {r_k } \right\| = \sum {r_k } <br />$ is a norm
(ii) $<br /> P = \left\{ {\left\{ {x_k } \right\}\,:\,x_k \geqslant 0\,\forall k \in \mathbb{N}} \right\}<br />$ has en empty interior

(iii) $<br /> B\left( {\vec 0,1} \right)<br />$ is not compact

please help im trying to learn this by myself and i would like help on how to do this problems

thanks!
For (i) just remmeber that for all $n\in \mathbb{N}$ we have $\vert x_n + y_n \vert \leq \vert x_n\vert + \vert y_n \vert$ so adding we get $\sum_{i=1}^{n} \vert x_i+y_i \vert \leq \sum_{i=1}^{n} \vert x_i \vert + \vert y_i \vert \leq \sum_{i=1}^{\infty } \vert x_i \vert + \vert y_i \vert < \infty$

For (ii) take a sequence $y^k=(y_{n}^k) \in \ell _1$ such that $y_{n}^k = x_n$ if $n\neq k$ and $y_{n}^k= -\frac{1}{k}$ if $n=k$ then $\Vert x-y^k \Vert = \vert x_k + \frac{1}{k} \vert \rightarrow 0$ as $k\rightarrow \infty$ (since $x_n \rightarrow 0$ )

For (iii) what can you say about the sequence $x^k=(x_{n}^k)$ where $x_{n}^k=0$ if $n\neq k$ and $x_{n}^k=\frac{1}{2}$ if $n=k$ (Notice that $\Vert x^k - x^l \Vert = 1$ for all $k\neq l$)
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 26, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9239837527275085, "perplexity_flag": "head"}