Let $Y$ be the subspace of $B(Bbb N, Bbb F)$ consisting of those sequences tending to zero. Show that $Y$ is...












1














Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.










share|cite|improve this question
























  • A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
    – Mirko
    Nov 20 at 3:16












  • Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
    – Hypathius
    Nov 20 at 3:31


















1














Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.










share|cite|improve this question
























  • A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
    – Mirko
    Nov 20 at 3:16












  • Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
    – Hypathius
    Nov 20 at 3:31
















1












1








1


1





Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.










share|cite|improve this question















Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.







real-analysis general-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 20 at 3:20









Tianlalu

3,12321038




3,12321038










asked Nov 20 at 3:11









Hypathius

62




62












  • A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
    – Mirko
    Nov 20 at 3:16












  • Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
    – Hypathius
    Nov 20 at 3:31




















  • A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
    – Mirko
    Nov 20 at 3:16












  • Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
    – Hypathius
    Nov 20 at 3:31


















A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16






A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16














Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31






Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31












2 Answers
2






active

oldest

votes


















1














I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$





Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$






share|cite|improve this answer





















  • The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
    – Hypathius
    Nov 20 at 3:57












  • Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
    – Chinnapparaj R
    Nov 20 at 4:01










  • Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
    – Hypathius
    Nov 20 at 4:06





















0














Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.



Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.



Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.



This shows density of $D$ in the set of sequences under consideration.






share|cite|improve this answer





















    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005885%2flet-y-be-the-subspace-of-b-bbb-n-bbb-f-consisting-of-those-sequences-ten%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1














    I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$





    Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$






    share|cite|improve this answer





















    • The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
      – Hypathius
      Nov 20 at 3:57












    • Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
      – Chinnapparaj R
      Nov 20 at 4:01










    • Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
      – Hypathius
      Nov 20 at 4:06


















    1














    I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$





    Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$






    share|cite|improve this answer





















    • The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
      – Hypathius
      Nov 20 at 3:57












    • Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
      – Chinnapparaj R
      Nov 20 at 4:01










    • Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
      – Hypathius
      Nov 20 at 4:06
















    1












    1








    1






    I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$





    Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$






    share|cite|improve this answer












    I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$





    Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Nov 20 at 3:35









    Chinnapparaj R

    5,2601826




    5,2601826












    • The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
      – Hypathius
      Nov 20 at 3:57












    • Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
      – Chinnapparaj R
      Nov 20 at 4:01










    • Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
      – Hypathius
      Nov 20 at 4:06




















    • The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
      – Hypathius
      Nov 20 at 3:57












    • Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
      – Chinnapparaj R
      Nov 20 at 4:01










    • Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
      – Hypathius
      Nov 20 at 4:06


















    The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
    – Hypathius
    Nov 20 at 3:57






    The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
    – Hypathius
    Nov 20 at 3:57














    Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
    – Chinnapparaj R
    Nov 20 at 4:01




    Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
    – Chinnapparaj R
    Nov 20 at 4:01












    Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
    – Hypathius
    Nov 20 at 4:06






    Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
    – Hypathius
    Nov 20 at 4:06













    0














    Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.



    Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.



    Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.



    This shows density of $D$ in the set of sequences under consideration.






    share|cite|improve this answer


























      0














      Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.



      Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.



      Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.



      This shows density of $D$ in the set of sequences under consideration.






      share|cite|improve this answer
























        0












        0








        0






        Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.



        Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.



        Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.



        This shows density of $D$ in the set of sequences under consideration.






        share|cite|improve this answer












        Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.



        Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.



        Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.



        This shows density of $D$ in the set of sequences under consideration.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 20 at 4:37









        Henno Brandsma

        104k346113




        104k346113






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005885%2flet-y-be-the-subspace-of-b-bbb-n-bbb-f-consisting-of-those-sequences-ten%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?