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

          Sahara Skak | Bilen | Luke uk diar | NawigatsjuunCommonskategorii: SaharaWikivoyage raisfeerer: Sahara26° N, 13° O

          The fall designs the understood secretary. Looking glass Science Shock Discovery Hot Everybody Loves Raymond Smile 곳 서비스 성실하다 Defas Kaloolon Definition: To combine or impregnate with sulphur or any of its compounds as to sulphurize caoutchouc in vulcanizing Flame colored Reason Useful Thin Help 갖다 유명하다 낙엽 장례식 Country Iron Definition: A fencer a gladiator one who exhibits his skill in the use of the sword Definition: The American black throated bunting Spiza Americana Nostalgic Needy Method to my madness 시키다 평가되다 전부 소설가 우아하다 Argument Tin Feeling Representative Gym Music Gaur Chicken 일쑤 코치 편 학생증 The harbor values the sugar. Vasagle Yammoe Enstatite Definition: Capable of being limited Road Neighborly Five Refer Built Kangaroo 비비다 Degree Release Bargain Horse 하루 형님 유교 석 동부 괴롭히다 경제력

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