0
$\begingroup$

(I'm sorry if someone has already asked a similar question, I couldn't find anything from my search).

The question is here.

Let $l^1$ denote the space of all absolutely summable sequences, i.e., the space of all sequences ${a_n}$ such that $\sum_{n=1}^{\infty} |a_n|$ converges. Define,

$d_1({a_n},{b_n})$ = $\sum_{n=1}^{\infty} |a_n - b_n|$ for all ${a_n},{b_n}\in l^1$

Show that:
(1) $d_1$ is a metric in $l^1$.
(2) Let 0 be the zero sequence (0,0,...). Describe the close unit ball $B$ with center 0 in ($l^1, d_1$).
(3) Show that $B$ is not sequentially compact.

I'm not exactly sure what the question is asking...I know a metric space is a space in which distances between all members are well-defined, but I'm not sure what it would mean for $d_1$ to be a metric in $l^1$...

  • 0
    Please type your problem in your post. – 2017-02-12
  • 0
    @TimThayer Done. Sorry, still getting familiar with the code. – 2017-02-12
  • 0
    Your characterization of a "metric space" is incomplete. Do you know the definition of a "metric" on a set? – 2017-02-13
  • 0
    @LeeMosher do you mean: 1) $d(x,y) > 0$ 2) $d(x,y) = 0$ implies $x=y$, etc.? – 2017-02-14
  • 0
    Yes, particularly since those things (and the etc.) are what you have to prove. – 2017-02-14

0 Answers 0