Quick question - finishing a convergence proof

Click For Summary
SUMMARY

The discussion focuses on proving that the set c_0 is closed in the space l^{\infty}. The proof involves demonstrating that any accumulation point x_n of c_0 converges to 0 by utilizing the definition of convergence and the properties of supremum distance. The participant clarifies their reasoning through the reverse triangle inequality and emphasizes the importance of the arbitrary nature of epsilon in concluding convergence. Suggestions for improving the clarity of the proof are also sought.

PREREQUISITES
  • Understanding of metric spaces and convergence in l^{\infty}
  • Familiarity with the concept of accumulation points
  • Knowledge of the reverse triangle inequality
  • Proficiency in LaTeX for mathematical notation
NEXT STEPS
  • Study the properties of closed sets in metric spaces
  • Learn about convergence criteria in functional analysis
  • Explore the definition and implications of accumulation points
  • Practice writing proofs in LaTeX to enhance clarity and presentation
USEFUL FOR

Mathematics students, particularly those in advanced analysis courses, educators teaching functional analysis, and anyone interested in the properties of convergence in metric spaces.

Mosis
Messages
53
Reaction score
0

Homework Statement


Prove c_0 is closed in l^{\infty}.

Homework Equations


A set is closed iff it contains all its accumulation points.

The Attempt at a Solution


Let \left\{x_n\right\} be an accumulation point of c_0. Then for all \epsilon > 0, there exists \left\{y_n\right\} in c_0 such that d(x_n, y_n) = sup|x_n - y_n| < \epsilon. Then |x_n - y_n| < \epsilon for all n. Now since \left\{y_n\right\} converges to 0, there exists an N such that |y_n| < \epsilon for all n bigger than N. But then by reverse triangle inequality,
|x_n|\leq |x_n - y_n| + |y_n| < 2\epsilon.

Now I want to conclude that \left\{x_n\right\} converges to 0, but I'm not sure how to say it. It's clear that since \epsilon was arbitrary, \left\{x_n\right\} 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?
 
Physics news on Phys.org
You can also choose n big enough and a sequence yk so that d(xk, yk) < epsilon/2, and |yn| < epsilon/2. Then |xn| < epsilon. But epsilon is arbitrary, so this is the actual definition of converging to zero.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
Replies
11
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K