- ベストアンサー
バナッハ空間vs閉空間
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
すみません、挙げた例には不備がありました。ただ本質的には質問者さんが補足で挙げた例で大丈夫です。不備な点はf(0)=0の全体では弱く閉包は全体になってしまいますね（定数関数が閉包に属するので）。なので訂正します。[0,1/2]上で0になる連続関数全体の閉包を考えればこの閉包は真な部分空間で（f=1は閉包には属さない）後は補足の例（ノルム極限が連続関数ではあり得ない）で良いと思います。
その他の回答 (1)
- ringohatimitu
- ベストアンサー率59% (111/187)
質問内容が定かでないように思われますがお探しの空間というのは あるノルム空間の真部分空間で「閉かつ完備でない」を満たすもの という解釈でいいですか？あるいは単に完備でないノルム空間を探してるのでしょうか？すべてのノルム空間はそれ自身閉じてますので後者だとしたらただ単に完備でないノルム空間（例えば[0,1]上の連続関数全体に絶対値の積分でノルムを入れたものはノルム空間ですが完備ではありません）。前者の場合は同じ空間で考えて例えば「f(0)=0を満たす連続関数」からなる部分空間の閉包をとればそれは真な閉部分空間ですが完備ではありません。
お礼
大変ありがとうございます。まずもともとの質問内容ですが、 ノルム空間Xの部分空間Wで、 ・W内にコーシー列が存在し、その極限がW内に無い（completeでない） ・WはX内でclosed の具体例を知りたいと思って質問しました。ご回答いただいた例、確かにその通りです。私の理解では以下のようなストーリーですが、正しいでしょうか？ X=[0,1]上の連続関数全体に絶対値の積分でノルムを入れたもの W=Xの要素でf(0)=0を満たすものの集合の閉包 と定義すると、当然WはX内でclosedとなるが、たとえばW上では依然として f_n(t)= 0; for 0 ≦ t < 1/2-1/(2n) nt+(1-n)/2; for 1/2-1/(2n)≦t≦1/2+1/(2n) 1; for 1/2+1/(2n) < t ≦ 1 のようなコーシー列を定義でき、その極限は不連続関数になる。 したがってWはcompleteでない。
関連するQ&A
- バナッハ空間
AからBへの写像全体の集合F(A,B)と表記する。 今Sを集合、Xをバナッハ空間とし、 Fb(S,X)={u∈F(S,X)|sup(t∈S)||u(t)||_X < ∞}と定義する。 ||u||=sup(t∈S)||u(t)||_X このときFb(S,X)はバナッハ空間であることを示せ。 バナッハ空間の定義は完備なノルム空間であることで、 ノルム空間であることは示せたのですが、 完備であることがわからなくて…。 どのように考えればいいのでしょう？ なおノルム空間であることの証明は以下のようにしました。 (i)||u||の定義より正値性は明らか。 (ii)|α|sup||u(t)||=sup||αu(t)||は上限の定義より成立。 (iii)三角不等式は||(u+v)(t)||_X≦||u(t)||_X+||v(t)||_X ≦||u||+||v|| よって||u+v||≦||u||+||v||
- 締切済み
- 数学・算数
- 数列空間 l^p についての質問です。
数列空間 l^p ( 1 < p < ∞ ) と、ノルム空間として同型でないバナッハ空間の具体例を、できれば証明も含めて教えてください。 お願いいたします。
- 締切済み
- 数学・算数
- Banach空間で
２つの同値でないノルムを持つベクトル空間がそれぞれのノルムに関して完備であるものをＸとします。このような例として例えば数列空間l_2(N)＝Ｘを考えます。ＸにおけるHamel基底の濃度は連続体濃度で、一方l_1(N)におけるHamel基底の濃度も連続体濃度、したがって両者の間には全単射が存在しそれによってＸ上にl_1ノルムも定義できて明らかに完備になります（ここで当然選択公理は仮定しますが連続体仮説は仮定しません）。ところがこのような構成は全く具体的ではなくl_2ノルムは定義より明らかですがl_1ノルムを計算することは容易ではないように思われます。すなわち基底間の全単射の一つを決定しなければならないわけです。２つのノルムを具体的に計算できるBanach空間の例はあるでしょうか？あるいは上に挙げた例で例えば(1/n)∈Ｘのl_1ノルムも計算できる方法はあるのでしょうか？
- 締切済み
- 数学・算数
- バナッハ空間の双対空間の単位球殻の弱＊－閉包は０を含まないという結果
バナッハ空間の双対空間の単位球殻の弱＊－閉包は０を含まないという結果 が欲しいのですが、これは正しいですか？ いかにも正しそうですが、証明できません。 どなたか教えていただけないでしょうか？ お願いします。
- ベストアンサー
- 数学・算数
- 線形代数の空間
線形代数の空間に関する名称の違い 線形代数を勉強しています。 ベクトル空間(vector space)、 線形空間(linear space)、 アフィン空間(affine space) の３つは同じものなのでしょうか。 また、 内積空間(inner product space)、 計量ベクトル空間(metric vector space)、 前ヒルベルト空間(pre-Hilbert space)、 ユニタリ空間(unitary space) の４つも同じものとして記述されているのをネット上で見かけたのですが、これらには違いがありますか。 別物だとしたら違いを、同じものだとしたらどのように使い分けられるのか教えてください。 その他にもノルム線型型空間、数ベクトル空間、ユークリッド空間、ヒルベルト空間、バナッハ空間と、様々な名前の空間があり、なかなか整理して理解できません。 特にノルム線型空間などは内積空間と区別がつかないのですが、やはり違う空間なのでしょうか。 たくさん考案されたのには、各々それなりの必要性や特色があると思うのですが、こういった空間はそれぞれどういった物理現象を記述する（または計算する）ために考え出されたのでしょうか。 基本的な質問かもしれませんが、どなたかご存じの方、よろしくお願いします。また、こういった空間についてまとまった記述のあるウェブサイト（日or英）などをご存じでしたら教えていただけると幸いです。
- ベストアンサー
- 数学・算数
- バナッハ空間ではない事の証明
書き方がわからないので見にくい部分もあるかと思われますが、 宜しくお願い致します。 C:区間[0,1]上で定めた全ての連続関数の作る集合 ∥x∥＝∫|x(t)|dt (積分範囲は０～１) このノルム空間はバナッハ空間ではないことを証明せよ。 解き方として、基本列が収束する先がCに含まれていないと考えればよいと思っているのですが、どのようにやって良いのかわかりません。
- 締切済み
- 数学・算数
- 同値なノルムについて教えてください＞＜
同値なノルムについて教えてください＞＜ 問題で考え方がわからないのでどなたか教えていただけないでしょうか＞＜ 問、ノルム||・||1において線形空間Ｘが完備ならば、||・||1に同値なノルム||・||２においても完備であ ることを示せ。 です。どう証明すればいいのでしょうか？「同値ならバナッハ空間の構造も同じ」と参考書に書いてあり、それならば||・||２においても完備なのは当たり前じゃないかと思ってしまうのですが・・・ ご指導のほう、よろしくお願いいたします！！
- 締切済み
- 数学・算数
- 色々な空間の包含関係を知りたく思ってます。ベン図は
内積空間,線形空間,ノルム空間,正規直交空間,位相空間,T1空間,ハウスドルフ空間,バナッハ空間,ヒルベルト空間,正規空間,正則空間,距離空間 などなど でどの空間がどの空間を含んでいるのか包含関係を知りたく思っています。 色々な空間の包含関係をベン図で図解してあるサイトをお教え下さい。 そのようなサイトが無ければ"⊂"でお教え下さい。
- 締切済み
- 数学・算数
- コーシー列かどうか
どのようにして良いのかわからず困っています。 宜しくお願い致します。 E：複素バナッハ空間 N：Eの閉部分空間 E/N：商ベクトル空間 E/Nにおいて ∥ξ+N∥=inf{∥ξ+η∥|η∈N} とおくとノルムになる。 E/Nはこのノルムに関してバナッハ空間 ノルムになることは証明できました。 よって、完備である事を示したいのですが、 {ξ_(n)+Ｎ}：E/Nにおけるコーシー列 ξ'_(n)を ξ'_(n)∈ξ_(n)+N ∥ξ'_(n-1)-ξ'_(n)∥＜2^(-n) を満たすようにとる。 そうすると{ξ'_(n)}がコーシ－列となる ここがどうして良いのかわかりません。
- ベストアンサー
- 数学・算数
お礼
そうですね。こちらのほうが明らかに真な部分空間になりますね。どうもありがとうございました。勉強になりました。