How to prove the following defined metric space is separable

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 2K views
L.S.H
Messages
2
Reaction score
0
Member warned about posting without the homework template
Let ##\mathbb{X}## be the set of all sequences in ##\mathbb{R}## that converge to ##0##. For any sequences ##\{x_n\},\{y_n\}\in\mathbb{X}##, define the metric ##d(\{x_n\},\{y_n\})=\sup_{n}{|x_n−y_n|}##. Show the metric space ##(\mathbb{X},d)## is separable. I understand that I perhaps need to find a countable dense set in ##\mathbb{X}##.
 
Physics news on Phys.org
Depending on whether or not this is an exercise question, you may be able to give a quick answer by noting that the dual space of ##X## is ##\ell_1##.
 
L.S.H said:
Let ##\mathbb{X}## be the set of all sequences in ##\mathbb{R}## that converge to ##0##. For any sequences ##\{x_n\},\{y_n\}\in\mathbb{X}##, define the metric ##d(\{x_n\},\{y_n\})=\sup_{n}{|x_n−y_n|}##. Show the metric space ##(\mathbb{X},d)## is separable. I understand that I perhaps need to find a countable dense set in ##\mathbb{X}##.

Yes, that's exactly what you should do. Any thoughts? To get started do you know a countable dense subset of ##\mathbb{R}##?