数学吧 关注:911,647贴子:8,827,063
  • 27回复贴,共1

请教一个偏基础的泛函分析命题

只看楼主收藏回复

已知无限维Banach空间E,存在一个无限维闭子空间E0且E0是可分的。(需要的话也可以再假设自反性)
是在Brezis的functional analysis,Sobolev spaces and PDE一书中习题3.22(b)答案里要用到的结论。
楼主想了很久也不知道为啥。。。


IP属地:四川来自Android客户端1楼2021-02-05 17:09回复
    吧友们没有完全证明的话,有想法也可以留言和和楼主讨论。


    IP属地:四川来自Android客户端2楼2021-02-05 17:16
    收起回复
      2025-07-15 23:58:54
      广告
      dalao们帮帮萌新呀!!!


      IP属地:四川来自Android客户端3楼2021-02-05 17:57
      回复
        小猿搜题没有吗


        IP属地:浙江来自Android客户端4楼2021-02-05 19:06
        收起回复
          这里的人只会讨论1是不是等于0.9循环的,要问还是换个有吧主的数学相关吧问吧


          IP属地:广东5楼2021-02-05 19:15
          收起回复
            建议去高数吧


            IP属地:湖北来自Android客户端6楼2021-02-05 23:56
            收起回复
              一个比较粗略的过程:
              banach空间E可分当且仅当{f|‖f‖=1,f∈E}可分。问题是怎么构造一个不在有限维子空间中的柯西序列。
              令F={f|‖f‖=1,f∈E},易得E的任意真子空间不包含F,同时也不包含F中任意一点的领域。
              任取一个f0∈F。那么空间H0={a0f0|a0∈R}不包含F,且B(f0,1)∧F和H0的补集交集非空。
              在B(f0,1)∧F中任取一个f1,使得f1不在H0中。令H1={a0f0+a1f1|a0,a1∈R}。
              在B(f1,2^-1)∧F中任取一个f2,使得f2不在H1中。令H2={a0f0+a1f1+a2f2|a0,a1,a2∈R}
              ......
              在B(f(n-1),2^-(n-1))∧F中任取一个fn,使得fn不在H(n-1)中。令Hn={a0f0+a1f1+a2f2+...+anfn|a0,a1,a2,...,an∈R}
              那么H={a0f0+a1f1+a2f2+...|a0,a1,a2,...∈R}就是E的无限维稠密子空间
              注:H≠H0ⅤH1ⅤH2Ⅴ......


              IP属地:上海来自Android客户端8楼2021-02-06 13:47
              收起回复
                还在上学的吗


                9楼2021-02-18 23:43
                收起回复