Basis and cardinalityUncountable basis and separabilityWhat is the difference between a Hamel basis and a Schauder basis?little question; nonseperable Hilbert spaces: what kind of basis…?Why isn't every Hamel basis a Schauder basis?Confusion about the Hamel BasisDoes every (non-separable) Hilbert space have the approximation property?An orthogonal basis of a Hilbert space is Schauder?Schauder basis that is not Hilbert basis“Basis” of non-separable Hilbert spaceUncountable basis in Hilbert space vs orthonormal basis

Why didn't Avengers simply jump 5 years back?

Why will we fail creating a self sustaining off world colony?

Odd PCB Layout for Voltage Regulator

What was the first science fiction or fantasy multiple choice book?

Russian equivalents of 能骗就骗 (if you can cheat, then cheat)

English idiomatic equivalents of 能骗就骗 (if you can cheat, then cheat)

A quine of sorts

How to remove system locales

Why do movie directors use brown tint on Mexico cities?

How do I tell my girlfriend she's been buying me books by the wrong author for the last nine months?

Find the closest three-digit hex colour

Tricolour nonogram

How is it possible for tall trees to pull water to heights more than 10m?

Does friction always oppose motion?

Is it possible to alias a column based on the result of a select+where?

iMac 2019: Can I mix the old modules with the new ones when upgrading RAM?

My mom helped me cosign a car and now she wants to take it

How does mmorpg store data?

How does the 'five minute adventuring day' affect class balance?

Multiple tests with effects all in same direction but only few significant

Disk usage confusion: 10G missing on Linux home partition on SSD

Can I deep fry food in butter instead of vegetable oil?

Any Tips On Writing Extended Recollection In A Novel

Robots in a spaceship



Basis and cardinality


Uncountable basis and separabilityWhat is the difference between a Hamel basis and a Schauder basis?little question; nonseperable Hilbert spaces: what kind of basis…?Why isn't every Hamel basis a Schauder basis?Confusion about the Hamel BasisDoes every (non-separable) Hilbert space have the approximation property?An orthogonal basis of a Hilbert space is Schauder?Schauder basis that is not Hilbert basis“Basis” of non-separable Hilbert spaceUncountable basis in Hilbert space vs orthonormal basis













2












$begingroup$


Suppose that $B$ is a separable Hilbert space and $b_i_i in mathbbN$ is a countable linearly independent set. Then is $b_i_i in mathbbN$ necessarily a Schauder basis for $B$?










share|cite|improve this question











$endgroup$
















    2












    $begingroup$


    Suppose that $B$ is a separable Hilbert space and $b_i_i in mathbbN$ is a countable linearly independent set. Then is $b_i_i in mathbbN$ necessarily a Schauder basis for $B$?










    share|cite|improve this question











    $endgroup$














      2












      2








      2





      $begingroup$


      Suppose that $B$ is a separable Hilbert space and $b_i_i in mathbbN$ is a countable linearly independent set. Then is $b_i_i in mathbbN$ necessarily a Schauder basis for $B$?










      share|cite|improve this question











      $endgroup$




      Suppose that $B$ is a separable Hilbert space and $b_i_i in mathbbN$ is a countable linearly independent set. Then is $b_i_i in mathbbN$ necessarily a Schauder basis for $B$?







      linear-algebra hilbert-spaces topological-vector-spaces schauder-basis hamel-basis






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 7 hours ago







      N00ber

















      asked 9 hours ago









      N00berN00ber

      4062 silver badges11 bronze badges




      4062 silver badges11 bronze badges




















          3 Answers
          3






          active

          oldest

          votes


















          5












          $begingroup$

          Obviously not, because for example any subset is also independent, but a proper subset of a basis cannot be a basis.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Sorry there wsa a typo. I mean't a countable linearly independent set.
            $endgroup$
            – N00ber
            7 hours ago










          • $begingroup$
            @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
            $endgroup$
            – David C. Ullrich
            7 hours ago










          • $begingroup$
            Oh I tried to accept both but that can't be done. It's good now :)
            $endgroup$
            – N00ber
            7 hours ago


















          4












          $begingroup$

          No. For example, the sequence
          $$beginalign b_0 &= (1,0,0,0,0,dots)\ b_1 &= (0,0,1,0,0,dots)\ b_2 &= (0,0,0,0,1,dots)\ vdots &= vdots endalign$$



          is linearly independent in $ell^2$, but not a Schauder basis. ($b_n$ has a $1$ in position $2n$ and zeros elsewhere.)






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Very clear answer :)
            $endgroup$
            – N00ber
            7 hours ago


















          3












          $begingroup$

          Besides taking a proper subset of a Schauder basis, you can also take a superset that is still (algebraically) linearly independent. For instance, if $(e_n)_ninmathbbN$ is an orthonormal basis, then $e_n_ninmathbbNcupv$ is still linearly independent where $v=sum_n e_n/2^n$, but is not a Schauder basis since the representation of $v$ as an infinite linear combination of basis elements is not unique.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
            $endgroup$
            – N00ber
            5 hours ago














          Your Answer








          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%2f3278030%2fbasis-and-cardinality%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          3 Answers
          3






          active

          oldest

          votes








          3 Answers
          3






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          5












          $begingroup$

          Obviously not, because for example any subset is also independent, but a proper subset of a basis cannot be a basis.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Sorry there wsa a typo. I mean't a countable linearly independent set.
            $endgroup$
            – N00ber
            7 hours ago










          • $begingroup$
            @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
            $endgroup$
            – David C. Ullrich
            7 hours ago










          • $begingroup$
            Oh I tried to accept both but that can't be done. It's good now :)
            $endgroup$
            – N00ber
            7 hours ago















          5












          $begingroup$

          Obviously not, because for example any subset is also independent, but a proper subset of a basis cannot be a basis.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Sorry there wsa a typo. I mean't a countable linearly independent set.
            $endgroup$
            – N00ber
            7 hours ago










          • $begingroup$
            @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
            $endgroup$
            – David C. Ullrich
            7 hours ago










          • $begingroup$
            Oh I tried to accept both but that can't be done. It's good now :)
            $endgroup$
            – N00ber
            7 hours ago













          5












          5








          5





          $begingroup$

          Obviously not, because for example any subset is also independent, but a proper subset of a basis cannot be a basis.






          share|cite|improve this answer









          $endgroup$



          Obviously not, because for example any subset is also independent, but a proper subset of a basis cannot be a basis.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 8 hours ago









          David C. UllrichDavid C. Ullrich

          63.8k4 gold badges44 silver badges99 bronze badges




          63.8k4 gold badges44 silver badges99 bronze badges











          • $begingroup$
            Sorry there wsa a typo. I mean't a countable linearly independent set.
            $endgroup$
            – N00ber
            7 hours ago










          • $begingroup$
            @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
            $endgroup$
            – David C. Ullrich
            7 hours ago










          • $begingroup$
            Oh I tried to accept both but that can't be done. It's good now :)
            $endgroup$
            – N00ber
            7 hours ago
















          • $begingroup$
            Sorry there wsa a typo. I mean't a countable linearly independent set.
            $endgroup$
            – N00ber
            7 hours ago










          • $begingroup$
            @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
            $endgroup$
            – David C. Ullrich
            7 hours ago










          • $begingroup$
            Oh I tried to accept both but that can't be done. It's good now :)
            $endgroup$
            – N00ber
            7 hours ago















          $begingroup$
          Sorry there wsa a typo. I mean't a countable linearly independent set.
          $endgroup$
          – N00ber
          7 hours ago




          $begingroup$
          Sorry there wsa a typo. I mean't a countable linearly independent set.
          $endgroup$
          – N00ber
          7 hours ago












          $begingroup$
          @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
          $endgroup$
          – David C. Ullrich
          7 hours ago




          $begingroup$
          @N00ber ??? It was clear that you were talking about a countable independent set - what does that have to do with the answer I gave?
          $endgroup$
          – David C. Ullrich
          7 hours ago












          $begingroup$
          Oh I tried to accept both but that can't be done. It's good now :)
          $endgroup$
          – N00ber
          7 hours ago




          $begingroup$
          Oh I tried to accept both but that can't be done. It's good now :)
          $endgroup$
          – N00ber
          7 hours ago











          4












          $begingroup$

          No. For example, the sequence
          $$beginalign b_0 &= (1,0,0,0,0,dots)\ b_1 &= (0,0,1,0,0,dots)\ b_2 &= (0,0,0,0,1,dots)\ vdots &= vdots endalign$$



          is linearly independent in $ell^2$, but not a Schauder basis. ($b_n$ has a $1$ in position $2n$ and zeros elsewhere.)






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Very clear answer :)
            $endgroup$
            – N00ber
            7 hours ago















          4












          $begingroup$

          No. For example, the sequence
          $$beginalign b_0 &= (1,0,0,0,0,dots)\ b_1 &= (0,0,1,0,0,dots)\ b_2 &= (0,0,0,0,1,dots)\ vdots &= vdots endalign$$



          is linearly independent in $ell^2$, but not a Schauder basis. ($b_n$ has a $1$ in position $2n$ and zeros elsewhere.)






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Very clear answer :)
            $endgroup$
            – N00ber
            7 hours ago













          4












          4








          4





          $begingroup$

          No. For example, the sequence
          $$beginalign b_0 &= (1,0,0,0,0,dots)\ b_1 &= (0,0,1,0,0,dots)\ b_2 &= (0,0,0,0,1,dots)\ vdots &= vdots endalign$$



          is linearly independent in $ell^2$, but not a Schauder basis. ($b_n$ has a $1$ in position $2n$ and zeros elsewhere.)






          share|cite|improve this answer









          $endgroup$



          No. For example, the sequence
          $$beginalign b_0 &= (1,0,0,0,0,dots)\ b_1 &= (0,0,1,0,0,dots)\ b_2 &= (0,0,0,0,1,dots)\ vdots &= vdots endalign$$



          is linearly independent in $ell^2$, but not a Schauder basis. ($b_n$ has a $1$ in position $2n$ and zeros elsewhere.)







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 8 hours ago









          Alex KruckmanAlex Kruckman

          30.8k3 gold badges29 silver badges60 bronze badges




          30.8k3 gold badges29 silver badges60 bronze badges











          • $begingroup$
            Very clear answer :)
            $endgroup$
            – N00ber
            7 hours ago
















          • $begingroup$
            Very clear answer :)
            $endgroup$
            – N00ber
            7 hours ago















          $begingroup$
          Very clear answer :)
          $endgroup$
          – N00ber
          7 hours ago




          $begingroup$
          Very clear answer :)
          $endgroup$
          – N00ber
          7 hours ago











          3












          $begingroup$

          Besides taking a proper subset of a Schauder basis, you can also take a superset that is still (algebraically) linearly independent. For instance, if $(e_n)_ninmathbbN$ is an orthonormal basis, then $e_n_ninmathbbNcupv$ is still linearly independent where $v=sum_n e_n/2^n$, but is not a Schauder basis since the representation of $v$ as an infinite linear combination of basis elements is not unique.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
            $endgroup$
            – N00ber
            5 hours ago
















          3












          $begingroup$

          Besides taking a proper subset of a Schauder basis, you can also take a superset that is still (algebraically) linearly independent. For instance, if $(e_n)_ninmathbbN$ is an orthonormal basis, then $e_n_ninmathbbNcupv$ is still linearly independent where $v=sum_n e_n/2^n$, but is not a Schauder basis since the representation of $v$ as an infinite linear combination of basis elements is not unique.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
            $endgroup$
            – N00ber
            5 hours ago














          3












          3








          3





          $begingroup$

          Besides taking a proper subset of a Schauder basis, you can also take a superset that is still (algebraically) linearly independent. For instance, if $(e_n)_ninmathbbN$ is an orthonormal basis, then $e_n_ninmathbbNcupv$ is still linearly independent where $v=sum_n e_n/2^n$, but is not a Schauder basis since the representation of $v$ as an infinite linear combination of basis elements is not unique.






          share|cite|improve this answer









          $endgroup$



          Besides taking a proper subset of a Schauder basis, you can also take a superset that is still (algebraically) linearly independent. For instance, if $(e_n)_ninmathbbN$ is an orthonormal basis, then $e_n_ninmathbbNcupv$ is still linearly independent where $v=sum_n e_n/2^n$, but is not a Schauder basis since the representation of $v$ as an infinite linear combination of basis elements is not unique.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 8 hours ago









          Eric WofseyEric Wofsey

          201k14 gold badges234 silver badges365 bronze badges




          201k14 gold badges234 silver badges365 bronze badges











          • $begingroup$
            Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
            $endgroup$
            – N00ber
            5 hours ago

















          • $begingroup$
            Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
            $endgroup$
            – N00ber
            5 hours ago
















          $begingroup$
          Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
          $endgroup$
          – N00ber
          5 hours ago





          $begingroup$
          Wait, so every countable linearly-independent subset of $B$ cannot be "extended" to a Schauder basis of $B$?
          $endgroup$
          – N00ber
          5 hours ago


















          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3278030%2fbasis-and-cardinality%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

          ParseJSON using SSJSUsing AMPscript with SSJS ActivitiesHow to resubscribe a user in Marketing cloud using SSJS?Pulling Subscriber Status from Lists using SSJSRetrieving Emails using SSJSProblem in updating DE using SSJSUsing SSJS to send single email in Marketing CloudError adding EmailSendDefinition using SSJS

          Кампала Садржај Географија Географија Историја Становништво Привреда Партнерски градови Референце Спољашње везе Мени за навигацију0°11′ СГШ; 32°20′ ИГД / 0.18° СГШ; 32.34° ИГД / 0.18; 32.340°11′ СГШ; 32°20′ ИГД / 0.18° СГШ; 32.34° ИГД / 0.18; 32.34МедијиПодациЗванични веб-сајту

          19. јануар Садржај Догађаји Рођења Смрти Празници и дани сећања Види још Референце Мени за навигацијуу