Mosis
- 53
- 0
Homework Statement
Prove [tex]c_0[/tex] is closed in [tex]l^{\infty}[/tex].
Homework Equations
A set is closed iff it contains all its accumulation points.
The Attempt at a Solution
Let [tex]\left\{x_n\right\}[/tex] be an accumulation point of [tex]c_0[/tex]. Then for all [tex]\epsilon > 0[/tex], there exists [tex]\left\{y_n\right\}[/tex] in [tex]c_0[/tex] such that [tex]d(x_n, y_n) = sup|x_n - y_n| < \epsilon[/tex]. Then [tex]|x_n - y_n| < \epsilon[/tex] for all n. Now since [tex]\left\{y_n\right\}[/tex] converges to 0, there exists an N such that [tex]|y_n| < \epsilon[/tex] for all n bigger than N. But then by reverse triangle inequality,
[tex]|x_n|\leq |x_n - y_n| + |y_n| < 2\epsilon.[/tex]
Now I want to conclude that [tex]\left\{x_n\right\}[/tex] converges to 0, but I'm not sure how to say it. It's clear that since [tex]\epsilon[/tex] was arbitrary, [tex]\left\{x_n\right\}[/tex] should converge, but somehow I don't feel this is satisfactory enough for my 3rd year analysis course. Suggestions?
Edit: why does my LaTex look so ugly?