How to prove the following defined metric space is separable

In summary, we need to find a countable dense set in the metric space ##(\mathbb{X},d)##, where ##\mathbb{X}## is the set of all sequences in ##\mathbb{R}## that converge to ##0## and the metric ##d(\{x_n\},\{y_n\})=\sup_{n}{|x_n−y_n|}##. To do this, we can start by finding a countable dense subset of ##\mathbb{R}##.
  • #1
L.S.H
2
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
  • #2
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##.
 
  • #3
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}##?
 
Back
Top